Search results for "interlocking"

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