Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | David J. Evans 0001, M. Madalena Martins, W. S. Yousif |
The accelerated overrelaxation quadrant interlocking iterative method. |
Int. J. Comput. Math. |
2000 |
DBLP DOI BibTeX RDF |
|
19 | David J. Evans 0001 |
A systolic processor array for the quadrant interlocking elimination method. |
Int. J. Comput. Math. |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia |
Verification of a safety-critical railway interlocking system with real-time constraints. |
Sci. Comput. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn |
The Vital Processor Interlocking. |
Algebraic Specification in Action |
1999 |
DBLP DOI BibTeX RDF |
|
19 | B. Prameela, Lalit M. Patnaik |
Parallel Implementation of Alternate Quadrant Interlocking Factorisation Method on Star Topology. |
Int. J. High Speed Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Bettina Buth, Mike Schrönen |
Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
19 | David J. Evans 0001, Rosni Abdullah |
The computational complexity of the quadrant interlocking (QI) iterative methods on shared memory parallel computers. |
Int. J. Comput. Math. |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Dietmar Dorninger, Günther Karigl, Josef Loidl |
A cellular automaton model for chromosome interlocking in meiotic pairing. |
Simul. Pract. Theory |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia |
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints. |
FTCS |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Jakob Lyng Petersen |
Automatic verification of railway interlocking systems: a case study. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías |
An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra. |
IEA/AIE (Vol. 2) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | David J. Evans 0001, Marjan Gusev |
The Magic of Interlocking Property: Fast Systolic Design. |
Parallel Algorithms Appl. |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Marjan Gusev, David J. Evans 0001 |
Interlocking Properties of the Linear Data Dependence Method. |
Parallel Algorithms Appl. |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Matthew J. Morley |
Safety assurance in interlocking design. |
|
1996 |
RDF |
|
19 | Lars-Henrik Eriksson |
Specifying Railway Interlocking Requirements for Practical Use. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Manuela Nelli, Andrea Bondavalli, Luca Simoncini |
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. |
EDCC |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Dietmar Dorninger, Günther Karigl, Josef Loidl |
Simulation of Chromosome Interlocking in Meiotic Pairing. |
EUROSIM |
1995 |
DBLP BibTeX RDF |
|
19 | Bernhard Kipper |
Interlocking Multi-Agent and Blackboard Architectures. |
EPIA |
1995 |
DBLP DOI BibTeX RDF |
|
19 | S. Chandra Sekhara Rao |
Parallel Solution of the Linear Systems by an Alternate Quadrant Interlocking Factorization Method. |
Parallel Algorithms Appl. |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Chung Hee Hwang, Lenhart K. Schubert |
Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
19 | Wai Wong |
A formal theory of railway track networks in higher-order logic and its applications in interlocking design. |
|
1992 |
RDF |
|
19 | M. M. Chawla, Kalpdrum Passi |
A new quadrant interlocking factorization for parallel solution of tridiagonal linear systems. |
Int. J. Comput. Math. |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Markus Siegle, Douglas S. Reeves, Krzysztof Kozminski |
The Interlocking Bus Network for Fault-Tolerant Processor Arrays. |
Fault-Tolerant Computing Systems |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Inmaculada García, Juan Julián Merelo Guervós, Javier D. Bruguera, Emilio L. Zapata |
Parallel quadrant interlocking factorization on hypercube computers. |
Parallel Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Errol L. Lloyd |
A Fast Algorithm for Finding Interlocking Sets. |
Inf. Process. Lett. |
1989 |
DBLP DOI BibTeX RDF |
|
19 | A. H. Cribbens |
Microprocessors in railway signalling: the Solid-State Interlocking. |
Microprocess. Microsystems |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Akira Nakamura, Kunio Aizawa |
Detection of interlocking components in three-dimensional digital pictures. |
Inf. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Daniel J. Tylavsky |
Quadrant interlocking factorization: A form of block L-U factorization. |
Proc. IEEE |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Douglas W. Mitchell |
A polygraphic Substitution Cipher Based on Multiple Interlocking Applications of Playfair. |
Cryptologia |
1985 |
DBLP DOI BibTeX RDF |
|
14 | John Baez |
Computation and the Periodic Table. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Raphael Hoffmann, Saleema Amershi, Kayur Patel, Fei Wu 0003, James Fogarty, Daniel S. Weld |
Amplifying community content creation with mixed initiative information extraction. |
CHI |
2009 |
DBLP DOI BibTeX RDF |
community content creation, mixed-initiative interfaces, information extraction |
14 | Michael Philetus Weller, Ellen Yi-Luen Do |
Exploring architectural robotics with the human hive. |
Creativity & Cognition |
2009 |
DBLP DOI BibTeX RDF |
education, distributed algorithms, stigmergy |
14 | Guoyan Zheng, Xuan Zhang, Daniel Haschtmann, P. Gedet, Xiao Dong, Lutz-Peter Nolte |
A Robust and Accurate Two-Stage Approach for Automatic Recovery of Distal Locking Holes in Computer-Assisted IntramedullaryNailing of Femoral Shaft Fractures. |
IEEE Trans. Medical Imaging |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Diomidis Spinellis |
The Antikythera Mechanism: A Computer Science Perspective. |
Computer |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Wilmot Li, Maneesh Agrawala, Brian Curless, David Salesin |
Automated generation of interactive 3D exploded view diagrams. |
ACM Trans. Graph. |
2008 |
DBLP DOI BibTeX RDF |
exploded view illustration, visualization, interactive |
14 | Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige |
Analysis of Hybrid Systems Using HySAT. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Raper |
Design constraints on operational LBS. |
Location Based Services and TeleCartography |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Craig Eichelkraut, Letha H. Etzkorn |
Describing agent based real-time distributed systems using design patterns. |
ACM Southeast Regional Conference |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Guoyan Zheng, Xuan Zhang |
A Novel Parameter Decomposition Approach for Recovering Poses of Distal Locking Holes from Single Calibrated Fluoroscopic Image. |
SCIA |
2007 |
DBLP DOI BibTeX RDF |
distal locking, fluoroscopy, parameter decomposition, pose estimation, hybrid optimization, model-based method |
14 | Lakshmi Narayana Panuku, C. Chandra Sekhar |
Clustering of Nonlinearly Separable Data Using Spiking Neural Networks. |
ICANN (1) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Sarah Kenderdine |
The Irreducible Ensemble: Place-Hampi. |
VSMM |
2007 |
DBLP DOI BibTeX RDF |
co-evolutionary narrative, omnistereoscopic panoramas, autonomous agency, Hampi, Indian mythology, Symmetrical Archaeology, virtual heritage |
14 | Jianying Hu, Bonnie K. Ray, Lanshan Han |
An Interweaved HMM/DTW Approach to Robust Time Series Clustering. |
ICPR (3) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yang-Seung Jeon, Eun-Ha Song, Minyi Guo, Laurence Tianruo Yang, Young-Sik Jeong, Jin-Tak Choi, Sung-Kook Han |
Ontology-Based Composition of Web Services for Ubiquitous Computing. |
ISPA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yasser H. Anis, James K. Mills, William L. Cleghorn |
Active Microgripper Interface Used in Microassembly of MEMS. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Marco Antolovic, Kristen Acton, Naveen Kalappa, Siddharth Mantri, Jonathan Parrott, Jonathan E. Luntz, James R. Moyne, Dawn M. Tilbury |
PLC Communication using PROFINET: Experimental Results and Analysis. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Guoyan Zheng, Xuan Zhang, Lutz-Peter Nolte |
Automatic Pose Recovery of the Distal Locking Holes from Single Calibrated Fluoroscopic Image for Computer-Assisted Intramedullary Nailing of Femoral Shaft Fractures. |
MIAR |
2006 |
DBLP DOI BibTeX RDF |
Fluoroscopic X-ray, computer-assisted intramedullary nailing, pose estimation, constrained optimization |
14 | Elaine Chew |
Foreword to special issue on music visualization. |
Comput. Entertain. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Jong-Sun Kim, Ji-Yoon Yoo |
Application of Real-Time Object-Oriented Modeling Technique for Real-Time Computer Control. |
Asia-Pacific Computer Systems Architecture Conference |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Anne Marchant, Bill Tulloh |
Using pre-release software to SPUR student learning. |
SIGITE Conference |
2005 |
DBLP DOI BibTeX RDF |
SPUR, security, IT education, software evaluation |
14 | Jan vom Brocke, Maik A. Lindner |
Service portfolio measurement: a framework for evaluating the financial consequences of out-tasking decisions. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
IT-controlling, portfolio measurement, service-oriented business applications, service-oriented architectures, return on investment, portfolio management, total cost of ownership |
14 | Judy H. Jeng |
Usability of digital libraries: an evaluation model. |
JCDL |
2004 |
DBLP DOI BibTeX RDF |
evaluation, usability, digital library, efficiency, effectiveness, satisfaction, learnability |
14 | Werner Aigner, Peter Regner, Thomas Wiesinger, Josef Küng |
Supporting Public Software Acquisition Workflows - Implications for Data Models. |
DEXA Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki |
A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. |
KES |
2004 |
DBLP DOI BibTeX RDF |
paraconsistent logic program, discrete event control, EVALPSN, defeasible deontic reasoning |
14 | Meng Li, Zhu Xu |
Study on the Cost/Benefit/Optimization of Software Safety Test. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Fangmei Wu, Lei Huang |
Efficiency Analysis and Safety Assessment of Automatic Testing for Safety-Critical Software. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Dirk Günnewig |
New Copyright for the Digital Age: Political Conflicts in Germany. |
Digital Rights Management |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Frank Wolz, Reiner Kolla |
A Retargetable Macro Generation Method for the Evaluation of Repetitive Configurable Architectures. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, León González-Sotos |
A Computer Algebra Approach to Relational Systems Using Gröbner Bases. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Odd Nordland |
Presenting a Safety Case - A Case Study. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Sander M. Bohté, Johannes A. La Poutré, Joost N. Kok |
Unsupervised Classification of Complex Clusters in Networks of Spiking Neurons. |
IJCNN (3) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita |
Formal Specification and Development of a Safety-Critical Train Management System. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Michael Meyer zu Hörste, Eckehard Schnieder |
Formal Modelling and Simulation of Train Control Systems Using Petri Nets. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Marius Thériault, Anne-Marie Séguin, Yanick Aubé, Paul Y. Villeneuve |
A Spatio-Temporal Data Model for Analyzing Personal Biographies. |
DEXA Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Weiwei Li, Zhongwei Xu, Yan Jin |
An Approach for Testing Safety-Critical Software. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
Failure Severity Level, Failure Frequency, Integrity Level, Safety-Critical Software, Software Safety, Software Validation |
14 | Takashi Yoshino 0001, Jun Munemori, Takaya Yuizono, Yoji Nagasawa, Shiro Ito, Kazutomo Yunokuchi |
Development and Application of a Distance Learning Support System Using Personal Computers via the Internet. |
ICPP |
1999 |
DBLP DOI BibTeX RDF |
Internet, multimedia, groupware, distance learning, personal computer, real-time computing |
14 | Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke |
ProbVerus: Probabilistic Symbolic Model Checking. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Schossmaier, Bettina Weiss |
An Algorithm for Fault-Tolerant Clock State and Rate Synchronization. |
SRDS |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Fokko van Dijk, Wan J. Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen |
EURIS, a Specification Method for Distributed Interlockings. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Eduardo Alonso |
Groups and Societies: One and the Same Thing? |
IBERAMIA |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Arne Borälv |
The Industrial Success of Verification Tools Based on Stålmarck's Method. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Thorsten Schnier, John S. Gero |
Dominant and Recessive Genes in Evolutionary Systems Applied to Spatial Reasoning. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Ti-Yen Yen, Wayne H. Wolf |
An efficient graph algorithm for FSM scheduling. |
IEEE Trans. Very Large Scale Integr. Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi |
Proving Safety Properties for Embedded Control Systems. |
EDCC |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Jacky |
Specifying a Safety-Critical Control System in Z. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
cyclotron, Formal specification, safety, Z, process control, medical applications, radiation therapy |
14 | Matthew J. Morley |
Safety in Railway Signalling Data: A Behavioural Analysis. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
application specific languages, Safety-critical systems, higher-order logic, railway signalling |
14 | Jonathan Jacky |
Specifying a Safety-Critical Control System in Z. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
14 | P.-H. Chang, Wen-mei W. Hwu |
Forward semantic: a compiler-assisted instruction fetch method for heavily pipelined processors. |
MICRO |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Doron Nussbaum, Jörg-Rüdiger Sack |
Disassembling Two-Dimensional Composite Parts via Translations. |
Optimal Algorithms |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Robert P. Colwell, Robert P. Nix, John J. O'Donnell, David B. Papworth, Paul K. Rodman |
A VLIW Architecture for a Trace Scheduling Compiler. |
ASPLOS |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Stephanie Rosenbaum |
Documentation specialists as a solution to the programmer shortage. |
SIGDOC |
1982 |
DBLP DOI BibTeX RDF |
|
14 | Thomas L. Boardman Jr. |
A microprocessor architecture for digital device implementation. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|