Search results for "direct-execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Phillip M. Dickens	A Workstation-Based Parallel Direct-Execution Simulator.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF	LAPSE, context switching costs, heavy-weight Unix processes, high communication costs, light-weight threads, massively parallel machines, parallel direct-execution simulator, performance analysis tools, thread-based simulator, workstation-based parallel direct-execution simulator, discrete event simulation, workstation cluster, Intel Paragon
45	Danièle Dromard, François Dromard	Direct Execution Of An Algebraic Oriented Language.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Algebraic oriented language, Call for need, Reentrant mechanism, Specific mechanism, High level language, Single assignment, Direct execution
43	Yaohan Chu	Direct Execution In A High-Level Computer Architecture.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Control processor, Data processor, Lexical processing, Computer architecture, Interactive system, High-level architecture, Associative memory, Direct execution
42	Xuhui Li 0001, Jiannong Cao 0001, Yanxiang He	A Direct Execution Approach to Simulating Mobile Agent Algorithms.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	direct execution simulation, MADES, mobile agent, parallel and distributed simulation
38	Phillip M. Dickens, Philip Heidelberger, David M. Nicol	Parallelized Direct Execution Simulation of Message-Passing Parallel Programs.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Direct execution simulation, synchronization, contention, parallel simulation, MIMD, architectural simulation, message-passing programs
31	Rajive L. Bagrodia, Ewa Deelman, Steven Docy, Thomas Phan	Performance Prediction of Large Parallel Applications using Parallel Simulations.	PPoPP	1999	DBLP DOI BibTeX RDF	application scalability, parallel program simulation, MPI, parallel discrete event simulation, MPI-IO, direct execution
30	Tim Schattkowsky, Wolfgang Müller 0003	Transformation of UML State Machines for Direct Execution.	VL/HCC	2005	DBLP DOI BibTeX RDF
29	Jason Liu 0001, Yougu Yuan, David M. Nicol, Robert S. Gray, Calvin C. Newport, David Kotz, L. Felipe Perrone	Simulation Validation Using Direct Execution of Wireless Ad-Hoc Routing Protocols.	PADS	2004	DBLP DOI BibTeX RDF
26	Rhon Williams	A Multiprocessing System for the Direct Execution of LISP.	Computer Architecture for Non-Numeric Processing	1978	DBLP DOI BibTeX RDF	LISP
25	Michael Fisher 0001	Direct Execution of Agent Specifications.	FAABS	2000	DBLP DOI BibTeX RDF
24	Eric Schnarr, James R. Larus	Fast Out-Of-Order Processor Simulation Using Memoization.	ASPLOS	1998	DBLP DOI BibTeX RDF	out-of-order processor simulation, memoization, direct-execution
24	Sashikanth Chandrasekaran, Mark D. Hill	Optimistic Simulation of Parallel Architectures Using Program Executables.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	Parallel Machines, Optimistic Simulation, State Saving, Direct Execution
24	Phillip M. Dickens, Matthew Haines, Piyush Mehrotra, David M. Nicol	Towards a Thread-Based Parallel Direct Execution Simulator.	HICSS (1)	1996	DBLP DOI BibTeX RDF
23	Jiannong Cao 0001, Xuhui Li, Sou King, Yanxiang He	Direct Execution Simulation of Mobile Agent Algorithms.	ISPA	2003	DBLP DOI BibTeX RDF
20	Basile Schaeli, Sebastian Gerlach, Roger D. Hersch	A simulator for parallel applications with dynamically varying compute node allocation.	IPDPS	2006	DBLP DOI BibTeX RDF
19	Alvin R. Lebeck, David A. Wood 0001	Active Memory: A New Abstraction for Memory System Simulation.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF	direct-execution simulation, on-the-fly simulation, memory hierarchy, Cache memory, trace-driven simulation
19	Yaohan Chu	Architecture of a Hardware Data Interpreter.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	data declarations, direct-execution computer, hardware interpreter, high-level language computer, Computer architecture, memory structure
19	Yoshifumi Uemura, Yoshihiro Nakajima, Mitsuhisa Sato	Direct Execution of Linux Binary on Windows for Grid RPC Workers.	IPDPS	2007	DBLP DOI BibTeX RDF
19	Michael Brady	A direct execution architecture for Prolog?	MICRO	1989	DBLP DOI BibTeX RDF	Prolog
19	John R. Hayes, Martin E. Fraeman, Robert L. Williams, Thomas Zaremba	An Architecture for the Direct Execution of the Forth Programming Language.	ASPLOS	1987	DBLP DOI BibTeX RDF	FORTH
19	Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez	Direct Execution of Lisp on a List-Directed Architecture.	ASPLOS	1982	DBLP DOI BibTeX RDF	LISP
16	Vijay S. Pai, Parthasarathy Ranganathan, Sarita V. Adve	The Impact of Instruction-Level Parallelism on Multiprocessor Performance and Simulation Methodology.	HPCA	1997	DBLP DOI BibTeX RDF
15	Ashley T. McNeile, Ella E. Roubtsova	Executable Protocol Models as a Requirements Engineering Tool.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	event protocols, composition, requirements, CSP, model execution
15	Thomas Phan, Rajive L. Bagrodia	Optimistic simulation of parallel message-passing applications.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF
14	Chong Shum, Wing Hong Lau, Tian Mao, Henry Shu-Hung Chung, Kim Fung Tsang, Norman Chung-Fai Tse, Loi Lei Lai	Co-Simulation of Distributed Smart Grid Software Using Direct-Execution Simulation.	IEEE Access	2018	DBLP DOI BibTeX RDF
14	David Aveiro	The Future of Information Systems - Direct Execution of Enterprise Models, Almost Zero Programming.	ICEIS (1)	2018	DBLP BibTeX RDF
14	Kuniyasu Suzaki, Hidetaka Koie, Ryousei Takano	Bare-Metal Container: Direct Execution of a Container Image on a Remote Machine with an Optimized Kernel.	HPCC/SmartCity/DSS	2016	DBLP DOI BibTeX RDF
14	Andrew Miller, Rob Jansen	Shadow-Bitcoin: Scalable Simulation via Direct Execution of Multi-threaded Applications.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
14	Toshio Fukui	A Multi-way Constraint Computational Model with Purple Constraint Solver for Direct Execution of the Specification	CoRR	2011	DBLP BibTeX RDF
14	Evgeni Bikov, Pavel Boyko	Direct execution of OLSR MANET routing daemon in ns-3.	SimuTools	2011	DBLP DOI BibTeX RDF
14	Simon Yuan, Li Hsien Yoong, Sidharta Andalam, Partha S. Roop, Zoran Salcic	A New Multithreaded Architecture Supporting Direct Execution of Esterel.	EURASIP J. Embed. Syst.	2009	DBLP DOI BibTeX RDF
14	Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic	STARPro - A new multithreaded direct execution platform for Esterel.	SLAP@ETAPS	2008	DBLP DOI BibTeX RDF
14	Riad Ben Mouhoub, Omar Hammami	MOCDEX: Multiprocessor on Chip Multiobjective Design Space Exploration with Direct Execution.	EURASIP J. Embed. Syst.	2006	DBLP DOI BibTeX RDF
14	Riad Ben Mouhoub, Omar Hammami	Multiprocessor on chip: beating the simulation wall through multiobjective design space exploration with direct execution.	IPDPS	2006	DBLP DOI BibTeX RDF
14	Xinyu Li, Omar Hammami	NOCDEX: Network on Chip Design Space Exploration Through Direct Execution and Options Selection Through Principal Component Analysis.	IES	2006	DBLP DOI BibTeX RDF
14	Riad Ben Mouhoub, Omar Hammami	System-Level Design Methodology with Direct Execution For Multiprocessors on SoPC.	ISQED	2006	DBLP DOI BibTeX RDF
14	Khemaies Ghali, L. Dorie, Omar Hammami	Dynamically reconfigurable analog circuit design automation through multiobjective optimization and direct execution.	ICECS	2005	DBLP DOI BibTeX RDF
14	Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne	Towards direct execution of esterel programs on reactive processors.	EMSOFT	2004	DBLP DOI BibTeX RDF	ARE-Bench Auckland reactive benchmark, direct ESTEREL execution, reactive processor architectures
14	Sanjeev Kumar 0004, Philip R. Cohen, Marcus J. Huber	Direct execution of team specifications in STAPLE.	AAMAS	2002	DBLP DOI BibTeX RDF
14	Jiannong Cao 0001, Graeme Bennett, Kang Zhang 0001	Direct execution simulation of load balancing algorithms with real workload distribution.	J. Syst. Softw.	2000	DBLP DOI BibTeX RDF
14	Harlan McGhan, Mike O'Connor	PicoJava: A Direct Execution Engine For Java Bytecode.	Computer	1998	DBLP DOI BibTeX RDF
14	Venkata Krishnan, Josep Torrellas	An Direct-Execution Framework for Fast and Accurate Simulation of Superscalar Processors.	IEEE PACT	1998	DBLP DOI BibTeX RDF
14	Michael Fisher 0001	Implementing BDI-like Systems by Direct Execution.	IJCAI (1)	1997	DBLP BibTeX RDF
14	C. K. Yuen, W. F. Wong	A bidirectional data driven Lisp engine for the direct execution of Lisp in parallel.	SIGARCH Comput. Archit. News	1989	DBLP DOI BibTeX RDF
14	Y. Paul Chiang, Mark L. Manwaring	Direct execution lisp and cell memory.	SIGARCH Comput. Archit. News	1987	DBLP DOI BibTeX RDF
14	Seppo Puuronen	Direct Execution of an Extended Decision Grid Chart.	Angew. Inform.	1987	DBLP BibTeX RDF
14	Richard M. Fujimoto, William B. Campbell	Direct execution models of processor behavior and performance.	WSC	1987	DBLP DOI BibTeX RDF
14	Loke-Soo Hsu	A direct execution PROLOG system.	SIGSMALL	1985	DBLP DOI BibTeX RDF
14	A.-N. S. Abo-Rezeq	Techniques for realizing a direct-execution high-level language processor.		1985	RDF
14	Hossam El-Halabi, Dharma P. Agrawal	Some remarks on direct execution computers.	SIGARCH Comput. Archit. News	1982	DBLP DOI BibTeX RDF
14	Yaohan Chu, Marc Abrams	Programming Languages and Direct-Execution Computer Architecture.	Computer	1981	DBLP DOI BibTeX RDF
14	Charles W. Bridges, Abd-Elfattah Mohamed Abd-alla	Direct execution of C-string compiler texts.	MICRO	1979	DBLP BibTeX RDF
14	Yaohan Chu	An LSI Modular Direct-Execution Computer Organization.	Computer	1978	DBLP DOI BibTeX RDF
14	Granino A. Korn	Closing the software gap for interactive mini/microcomputation: Direct execution of microprogrammed block-diagram primitives.	COMPSAC	1978	DBLP DOI BibTeX RDF
14	Rhon Williams	A Multiprocessing System for the Direct Execution of Lisp		1978	RDF
14	Yaohan Chu	Direct-execution computer architecture.	SIGARCH Comput. Archit. News	1977	DBLP DOI BibTeX RDF
14	Yaohan Chu	Direct-Execution Computer Architecture.	IFIP Congress	1977	DBLP BibTeX RDF
14	Anthony Hassitt, Leonard E. Lyon	Direct execution of APL on an IBM/370.	APL	1975	DBLP DOI BibTeX RDF
14	M. Wells, A. Denson	Direct Execution of Programming Languages.	Comput. J.	1974	DBLP DOI BibTeX RDF
14	Yaohan Chu	Structure of a direct-execution high-level Chinese programming language processor.	ACM Annual Conference (1)	1974	DBLP DOI BibTeX RDF
14	Lee W. Hoevel	Languages for direct execution.	MICRO	1974	DBLP DOI BibTeX RDF
14	Yaohan Chu	Direct Execution of Programs in Floating Code by Address Interpretation.	IEEE Trans. Electron. Comput.	1965	DBLP DOI BibTeX RDF
14	James P. Anderson	A computer for direct execution of algorithmic languages.	AFIPS Eastern Joint Computing Conference	1961	DBLP DOI BibTeX RDF
13	Nivea de Carvalho Ferreira, Michael Fisher 0001, Wiebe van der Hoek	Logical Implementation of Uncertain Agents.	EPIA	2005	DBLP DOI BibTeX RDF
11	Ryo Kanbayashi, Mitsuhisa Sato	A Distributed Architecture of Sensing Web for Sharing Open Sensor Nodes.	GPC	2009	DBLP DOI BibTeX RDF
9	Xuhui Li 0001, Jiannong Cao 0001, Yanxiang He, Yifeng Chen	MADESE: A Simulation Environment for Mobile Agent.	CIT	2006	DBLP DOI BibTeX RDF
9	Xin Li 0020, Jan Lukoschus, Marian Boldt, Michael Harder, Reinhard von Hanxleden	An Esterel processor with full preemption support and its worst case reaction time analysis.	CASES	2005	DBLP DOI BibTeX RDF	reaction time analysis, reactive processing, WCET, synchronous languages, Esterel
7	Tim Schattkowsky, Gregor Engels, Alexander Förster	A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency.	HICSS	2007	DBLP DOI BibTeX RDF
7	Tim Schattkowsky, Wolfgang Müller 0003	Model-Based Design of Embedded Systems.	ISORC	2004	DBLP DOI BibTeX RDF
7	Huaxia Xia, Holly Dail, Henri Casanova, Andrew A. Chien	The MicroGrid: Using Online Simulation to Predict Application Performance in Diverse Grid Network Environments.	CLADE	2004	DBLP DOI BibTeX RDF
7	Thin-Fong Tsuei, Wayne Yamamoto	Queuing Simulation Model for Multiprocessor Systems.	Computer	2003	DBLP DOI BibTeX RDF
7	José Meseguer 0001, Grigore Rosu	A Total Approach to Partial Algebraic Specification.	ICALP	2002	DBLP DOI BibTeX RDF
7	Heidi Pan, Krste Asanovic	Heads and tails: a variable-length instruction format supporting parallel fetch and decode.	CASES	2001	DBLP DOI BibTeX RDF
7	Thierry Lafage, André Seznec	Combining Light Static Code Annotation and Instruction-Set Emulation for Flexible and Efficient On-the-Fly Simulation (Research Note).	Euro-Par	2000	DBLP DOI BibTeX RDF
7	Mladen Berekovic, Helge Kloos, Peter Pirsch	Hardware Realization of a Java Virtual Machine for High Performance Multimedia Applications.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
7	Murthy Durbhakula, Vijay S. Pai, Sarita V. Adve	Improving the Accuracy vs. Speed Tradeoff for Simulating Shared-Memory Multiprocessors with ILP Processors.	HPCA	1999	DBLP DOI BibTeX RDF
7	Riccardo Mattolini, Paolo Nesi	Using TILCO for Specifying Real-Time Systems.	ICECCS	1996	DBLP DOI BibTeX RDF
7	Kim Marriott, Peter J. Stuckey	The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering.	POPL	1993	DBLP DOI BibTeX RDF
7	Jared L. Darlington	Search Direction by Goal Failure in Goal-Directed Programming.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
5	Hillel Kugler, Cory Plock, Amir Pnueli	Controller Synthesis from LSC Requirements.	FASE	2009	DBLP DOI BibTeX RDF
5	Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere	Semantics of static pointcuts in aspectJ.	POPL	2007	DBLP DOI BibTeX RDF	logic programming, aspect-oriented programming, datalog, term rewriting, pointcuts
5	Sam Jansen, Anthony McGregor	Performance, Validation and Testing with the Network Simulation Cradle.	MASCOTS	2006	DBLP DOI BibTeX RDF
5	Shahar Maoz, David Harel	From multi-modal scenarios to code: compiling LSCs into aspectJ.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	inter-object approach, aspect oriented programming, code generation, scenarios, live sequence charts, visual formalisms, UML sequence diagrams, scenario-based programming
5	John M. Rushby	Tutorial: Automated Formal Methods with PVS, SAL, and Yices.	SEFM	2006	DBLP DOI BibTeX RDF
5	Andrew Guillory, Hai Nguyen, Tucker R. Balch, Charles Lee Isbell Jr.	Learning executable agent behaviors from observation.	AAMAS	2006	DBLP DOI BibTeX RDF	input/output hidden markov models, behavior modeling
5	Amine Chaieb, Tobias Nipkow	Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic.	LPAR	2005	DBLP DOI BibTeX RDF
5	Jeffrey K. Hollingsworth, Allan Snavely, Simone Sbaraglia, Kattamuri Ekanadham	EMPS: An Environment for Memory Performance Studies.	IPDPS	2005	DBLP DOI BibTeX RDF
5	Daniel S. Poznanovic	Application Development on the SRC Computers, Inc. Systems.	IPDPS	2005	DBLP DOI BibTeX RDF
5	Michael Fisher 0001	MetateM: The Story so Far.	PROMAS	2005	DBLP DOI BibTeX RDF
5	Chris Bailey 0002	A Proposed Mechanism for Super-Pipelined Instruction-Issue for ILP Stack Machines.	DSD	2004	DBLP DOI BibTeX RDF
5	Massimo Poncino, Jianwen Zhu	DynamoSim: a trace-based dynamically compiled instruction set simulator.	ICCAD	2004	DBLP DOI BibTeX RDF
5	Khemaies Ghali, Omar Hammami, I. Hermann	Multiobjective Design of Embedded Processors on FPGA Platforms.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	FPGA, Embedded, processor, multiobjective
5	José Ignacio Gómez, Luis Piñuel, Manuel Prieto 0001, Francisco Tirado	Analysis of simulation-adapted SPEC 2000 benchmarks.	SIGARCH Comput. Archit. News	2002	DBLP DOI BibTeX RDF	Reduced input datasets, Spec CPU 2000, Execution-driven simulation, Fast-forwarding, Hardware counters
5	L. Felipe Perrone, David M. Nicol	Network modeling and simulation: a scalable simulator for TinyOS applications.	WSC	2002	DBLP DOI BibTeX RDF
5	Michael Fisher 0001, Chiara Ghidini	The abc of rational agent modelling.	AAMAS	2002	DBLP DOI BibTeX RDF	goal selection & theories, logic motivation, theories of agency
5	Paolo Bottoni, Bernd Meyer 0001, Francesco Parisi-Presicce	On a Uniform Logical Framework for Diagrammatic Reasoning.	HCC	2001	DBLP DOI BibTeX RDF
5	Nikolay Pelov, Maurice Bruynooghe	Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.	LPAR	1999	DBLP DOI BibTeX RDF
5	Jon M. Kerridge, Peter H. Welch, David Wood	Synchronization Primitives for Highly Parallel Discrete Event Simulations.	HICSS	1999	DBLP DOI BibTeX RDF
5	Richard C. Holt	Software architecture abstraction and aggregation as algebraic manipulations.	CASCON	1999	DBLP BibTeX RDF
5	Paul Mukherjee	Automatic Translation of VDM-SL Specifications into Gofer.	FME	1997	DBLP DOI BibTeX RDF