Search results for "simulated execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch	Using simulated execution in verifying distributed algorithms.	STTT	2004	DBLP DOI BibTeX RDF	Invariant detection, Static analysis, Theorem proving, Dynamic analysis
2	Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch	Using Simulated Execution in Verifying Distributed Algorithms.	VMCAI	2003	DBLP DOI BibTeX RDF
2	Alois Ferscha, James Johnson	N-MAP: a virtual processor discrete event simulation tool for performance prediction in the CAPSE environment.	HICSS	1995	DBLP DOI BibTeX RDF	virtual processor discrete event simulation tool, CAPSE environment, N-MAP, CAPSE, Computer Aided Parallel Software Engineering, performance oriented parallel program development, simulation based performance analysis, coding phase, N-MAP tool, automatic parse, performance critical program parts, simulated execution, linear system solver, formal specification, testing, parallel programming, specification, virtual machines, monitoring, software tools, programming environments, discrete event simulation, performance prediction, correction, software performance evaluation, CM-5
1	Kyle Rupnow, Jacob Adriaens, Wenyin Fu, Katherine Compton	Accurately evaluating application performance in simulated hybrid multi-tasking systems.	FPGA	2010	DBLP DOI BibTeX RDF	performance evaluation, hybrid systems, heterogeneous systems, full system simulation, multi-tasking systems
1	Anton Yrjönen, Mika Hongisto, Kari Kolehmainen	PROPHET: speculative load prediction algorithm for dynamic performance scaling.	IWCMC	2007	DBLP DOI BibTeX RDF	load prediction algorithm, low-energy computing, dynamic voltage scaling, performance tuning
1	Lukasz Masko, Gregory Mounie, Denis Trystram, Marek Tudruj	Program Graph Structuring for Execution in Dynamic SMP Clusters Using Moldable Tasks.	PARELEC	2006	DBLP DOI BibTeX RDF
1	Marek Tudruj, Lukasz Masko	Fast Matrix Multiplication in Dynamic SMP Clusters with Communication on the Fly in Systems on Chip Technology.	PARELEC	2006	DBLP DOI BibTeX RDF
1	Selim Gurun, Ye Wen, Navraj Chohan, Richard Wolski, Chandra Krintz	SimGate: Full-System, Cycle-Close Simulation of the Stargate Sensor Network Intermediate Node.	ICSAMOS	2006	DBLP DOI BibTeX RDF
1	David Jackson	Evolution of Processor microcode.	IEEE Trans. Evolutionary Computation	2005	DBLP DOI BibTeX RDF
1	Dmitry V. Ponomarev, Gurhan Kucuk, Oguz Ergin, Kanad Ghose	Energy Efficient Comparators for Superscalar Datapaths.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
1	Dmitry Ponomarev, Gurhan Kucuk, Oguz Ergin, Kanad Ghose	Power efficient comparators for long arguments in superscalar processors.	ISLPED	2003	DBLP DOI BibTeX RDF	low-power comparators, superscalar datapath
1	David A. Holland, Ada T. Lim, Margo I. Seltzer	A new instructional operating system.	SIGCSE	2002	DBLP DOI BibTeX RDF
1	Maria Hybinette, Richard M. Fujimoto	Scalability of Parallel Simulation Cloning.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF	parallel algorithms, multiprocessor, Parallel simulation, model execution
1	Lucian Codrescu, D. Scott Wills, James D. Meindl	Architecture of the Atlas Chip-Multiprocessor: Dynamically Parallelizing Irregular Applications.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Thread speculation, multiscalar, parallelization, chip-multiprocessor, multithreading, value prediction
1	Jeff Gibson, Robert Kunz, David Ofelt, Mark Heinrich	FLASH vs. (Simulated) FLASH: Closing the Simulation Loop.	ASPLOS	2000	DBLP DOI BibTeX RDF
1	Stephanie M. Doane, Young Woo Sohn	ADAPT: A Predictive Cognitive Model of User Visual Attention and Action Planning.	User Model. User-Adapt. Interact.	2000	DBLP DOI BibTeX RDF	action planning, modeling expertise, cognitive models, hybrid models
1	Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss	Type-Based Alias Analysis.	PLDI	1998	DBLP DOI BibTeX RDF
1	Krzysztof Sacha	Safety Verification of Software Using Structured Petri Nets.	SAFECOMP	1998	DBLP DOI BibTeX RDF