Search results for "Concert"

Found 412 publication records. Showing 412 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Martín Abadi, Leslie Lamport	Composing Specifications.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	concurrent programming, compositionality, safety properties, liveness properties, modular specification
11	Hui-Min Huang, John Horst, Richard Quintero	A motion control algorithm for a continuous mining machine based on a hierarchical Real-time Control System design methodology.	J. Intell. Robotic Syst.	1992	DBLP DOI BibTeX RDF	Continuous mining machine, real-time, plan, control, hierarchy, error analysis, task, task decomposition
11	Ken Kennedy, Kathryn S. McKinley	Optimizing for parallelism and data locality.	ICS	1992	DBLP DOI BibTeX RDF
11	Beth Sundheim	Overview of the third message understanding evaluation and conference.	MUC	1991	DBLP DOI BibTeX RDF
11	David Guaspari, Carla Marceau, Wolfgang Polak	Formal Verification of Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs
11	Alexander D. Stoyenko	A general model and mechanisms for model-level heterogeneous RPC interoperability.	SPDP	1990	DBLP DOI BibTeX RDF
11	Anne F. Brindle, Richard N. Taylor, David F. Martin	A Debugger for Ada Tasking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking
11	Martín Abadi, Leslie Lamport	Composing Specifications.	REX Workshop	1989	DBLP DOI BibTeX RDF
11	Adam Stettner, Donald P. Greenberg	Computer graphics visualization for acoustic simulation.	SIGGRAPH	1989	DBLP DOI BibTeX RDF
11	Allan Silburt, A. R. Boothroyd, M. Digiovanni	Automated parameter extraction and modeling of the MOSFET below threshold.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
11	David E. Thompson, William L. Buford Jr., Loyd M. Myers, David J. Giurintano, John A. Brewer III	A hand biomechanics workstation.	SIGGRAPH	1988	DBLP DOI BibTeX RDF	CT and MR imaging, hand surgery, hand therapy, orthopedic surgery, computer graphics, computer aided design
11	Margo K. Apostolos	A Comparison of the Artistic Aspects of Various Industrial Robots.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF

Displaying result #401 - #412 of 412 (100 per page; Change: )
Pages: [<<][1][2][3][4][5]