Search results for "abstract machine model"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Giuseppe Iazeolla, Raffaela Mirandola, Andrea D'Ambrogio	Collaborative IV&V by SPEED: a tool-kit for the performance IV&V of critical software. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	collaborative software verification, Software Performance Evaluation and Modeling, Master Model, performance analysis model, software workload model, abstract machine model, database management systems, program verification, performance predictions, software performance evaluation, database design, computer aided software engineering, safety-critical software, software performance engineering, SPEED, life cycle, hybrid simulation, software engineering methodology, software toolkit, critical software
1	Victor Jauregui, Son Bao Pham	An Imperative Account of Actions.	PRICAI	2008	DBLP DOI BibTeX RDF
1	Francois Labonte, Peter R. Mattson, William Thies, Ian Buck, Christos Kozyrakis, Mark Horowitz	The Stream Virtual Machine.	IEEE PACT	2004	DBLP DOI BibTeX RDF
1	Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore	An abstract machine model of dynamic module replacement.	Future Generation Comp. Syst.	2000	DBLP DOI BibTeX RDF
1	Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich	Static checking of system behaviors using derived component assumptions.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	chemical abstract machine model, static analysis, component-based systems, assumptions
1	Paola Inverardi, Alexander L. Wolf	Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	chemical abstract machine, Software architecture, formal methods, specification, analysis
1	Rafael H. Saavedra, Alan Jay Smith	Performance Characterization of Optimizing Compilers.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	execution time prediction, CPU performance characterization, Performance evaluation, benchmarking, optimizing compilers
1	Wim Bronnenberg	POOL and DOOM: A survey of Esprit 415 subproject A, Philips Research Laboratories.	PARLE	1989	DBLP DOI BibTeX RDF
1	Prasenjit Biswas, Shyh-Chang Su, David Y. Y. Yun	A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs.	ICLP/SLP	1988	DBLP BibTeX RDF
1	Prasenjit Biswas, Chien-Chao Tseng	LogDf: A Data-Driven Abstract Machine Model for Parallel Execution of Logic Programs.	FGCS	1988	DBLP BibTeX RDF
1	Benjamin Goldberg	Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
1	Eddy Odijk	The DOOM System and its Applications: A Survey of Esprit 415 Subproject A, Philips Research Laboratries.	PARLE	1987	DBLP DOI BibTeX RDF