Search results for "Re-execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
65	Dieter Haban, Kang G. Shin	Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	test/measurement processors, random execution times, TMPs, true execution time, pure execution time, resource sharing delay, transparent part, WET, estimated execution time, scheduling, real-time systems, task scheduling, worst-case execution time, system performance, simulated environment, real-time monitoring, real-time monitor, real-time computing system, dedicated hardware
52	Yung-Kang Chu, I-Ling Yen, Diane T. Rover	Guiding processor allocation with estimated execution time for mesh connected multiple processor systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	estimated execution time, mesh connected multiple processor systems, mesh connected parallel architectures, multiprocessor systems design, submesh allocation strategies, two-dimensional mesh systems, estimated execution times, submesh allocation, processor allocation strategies, extensive simulations, system performance improvement, execution failures, scheduling, performance, resource allocation, parallel architectures, response time, processor scheduling, software performance evaluation, execution time, processor allocation, standard deviation, job characteristics, load conditions
50	Chang-Burm Cho, Tao Li 0006	Using Wavelet Domain Workload Execution Characteristics to Improve Accuracy, Scalability and Robustness in Program Phase Analysis.	ISPASS	2007	DBLP DOI BibTeX RDF	program execution variability, workload execution statistics, program phase analysis, computer architecture design, computer architecture optimization, program execution statistics, SPEC CPU 2000 benchmark, wavelet domain phase analysis, runtime workload execution characteristics, scalable phase analysis, sampled workload statistics, phase classification accuracy, wavelet transform, time domain, wavelet denoising
47	Polychronis Xekalakis, Nikolas Ioannou, Marcelo Cintra	Combining thread level speculation helper threads and runahead execution.	ICS	2009	DBLP DOI BibTeX RDF	multi-cores, thread-level speculation, helper threads, runahead execution
44	Gopal Gupta 0001, Manuel V. Hermenegildo	ACE: And/Or-parallel Copying-based Execution of Logic Programs.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
44	Michel Dorochevsky, Kees Schuerman, André Véron, Jiyang Xu	Constraint Handling, Garbage Collection and Execution Model Issues in ElipSys.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
43	Markus Lindgren, Hans Hansson, Henrik Thane	Using measurements to derive the worst-case execution time.	RTCSA	2000	DBLP DOI BibTeX RDF	execution time analysis, program flow analysis, low level timing information, low level timing analysis, program execution times, timing measurements, instrumented version, program fragments, non-exhaustive measurements, program paths, realistic processor model, scheduling, real-time systems, real time systems, embedded systems, worst-case execution time, pipeline processing, schedulability analysis, program diagnostics, architectural modeling, pipeline architectures, flow graphs, timing estimates, target architecture, system of linear equations
43	Bin Xin 0001, William N. Sumner, Xiangyu Zhang 0001	Efficient program execution indexing.	PLDI	2008	DBLP DOI BibTeX RDF	execution alignment, semantic augmentation, structural indexing, data race, control dependence, execution indexing
42	Takayasu Ito	Logic of Execution: An Outline.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
41	Mohamed F. Younis, Thomas J. Marlowe, Alexander D. Stoyen, Grace Tsai	Statically Safe Speculative Execution for Real-Time Systems.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	shadow execution, Real-time systems, distributed computation, static analysis, speculative execution, compiler transformations
39	Oliver Trachsel, Thomas R. Gross	Variant-based competitive parallel execution of sequential programs.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	algorithmic choice, multi-variant execution, speculative execution, multi-core processors, sequential programs, adaptive execution
39	Yan Wen, Jinjing Zhao, Huaimin Wang	A Novel Approach for Untrusted Code Execution.	ICICS	2007	DBLP DOI BibTeX RDF	Virtual execution environment, isolated execution, virtual machine, execution model
39	Thomas Bauer 0001, Peter Dadam	A Distributed Execution Environment for Large-Scale Workflow Management Systems with Subnets and Server Migration.	CoopIS	1997	DBLP DOI BibTeX RDF	distributed execution environment, large-scale workflow management systems, server migration, central workflow server, workload reduction, local area networks, local area network, communication costs, execution environment, execution control, subnets
39	Farhana Aleen, Monirul Sharif, Santosh Pande	Input-driven dynamic execution prediction of streaming applications.	PPoPP	2010	DBLP DOI BibTeX RDF	parallelization, software pipeline, dynamic execution
37	Yamini Kannan, Koushik Sen	Universal symbolic execution and its application to likely data structure invariant generation.	ISSTA	2008	DBLP DOI BibTeX RDF	dynamic analysis, symbolic execution, execution traces, logical inference, program invariants
37	Xiangyu Zhang 0001, Sriraman Tallam, Neelam Gupta, Rajiv Gupta 0001	Towards locating execution omission errors.	PLDI	2007	DBLP DOI BibTeX RDF	execution omission, implicit dependence, potential dependence, predicate switching, relevant slicing, debugging
37	Dongkeun Kim, Donald Yeung	A study of source-level compiler algorithms for automatic construction of pre-execution code.	ACM Trans. Comput. Syst.	2004	DBLP DOI BibTeX RDF	pre-execution, prefetch conversion, speculative loop parallelization, multithreading, program slicing, Data prefetching, memory-level parallelism
36	Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum (eds.)	Atomicity in System Design and Execution, 25.04. - 30.04.2004	Atomicity in System Design and Execution	2004	DBLP BibTeX RDF
36	Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues	The Atomic Manifesto: a Story in Four Quarks.	Atomicity in System Design and Execution	2004	DBLP BibTeX RDF
36	Jonas Barklund, Bharat Jayaraman, Jiro Tanaka (eds.)	Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
36	Giancarlo Succi, Giuseppe Marino, Giancarlo Colla	Modelling the Connection Machine 2 as an Emulator of Subset-Based Declarative Languages.	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
36	M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo	IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups.	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
36	Manuel V. Hermenegildo, Manuel Carro	A Note on Data-Parallelism and (And-Parallel) Prolog.	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
36	Donald A. Smith	Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism.	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
36	Dongxing Tang, Enrico Pontelli, Gopal Gupta 0001, Manuel Carro	Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
36	Bart Demoen, Greet Maris	A Comparison of Some Schemes for Translating Logic to C.	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
36	Olivier Michel 0001, Jean-Louis Giavitto	Design and Implementation of a Declarative Data-Parallel Language.	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
36	Enrico Pontelli, Gopal Gupta 0001, Manuel V. Hermenegildo	&ACE: the And-parallel Component of ACE (A Progress Report on ACE).	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
36	Arvind K. Bansal	Towards a Formal Computation Model of Associative Logic Programming.	ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs	1994	DBLP BibTeX RDF
36	Anthony Joseph Beaumont, Gopal Gupta 0001 (eds.)	Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	Remco Moolenaar, Henk Van Acker, Bart Demoen	KAPPA: A Kernel Andorra Prolog Parallel Architecture Design.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	Anthony Joseph Beaumont	Scheduling Strategies and Speculative Work.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	Khayri A. M. Ali, Roland Karlsson, Shyam Mudambi	Performance of Muse on the BBN Butterfly TC2000.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	Reem Bahgat	The Pandora Abstract Machine: An Extension of JAM.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	H. Bourzoufi, Gilles Goncalves, Pierre Lecouffe, Bernard Toursel	An Efficient Binding Management in OR-Parallel Model.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	Inês de Castro Dutra	A Flexible Scheduler for the Andorra-I System.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	Péter Szeredi	Solving Optimisation Problems in the Aurora Or-parallel Prolog System.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	Giancarlo Succi, Giuseppe Marino	Data Parallelism in Logic Programming.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	Koenraad De Bosschere	Blackboard Communication in Prolog.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	Wolfgang Ertel	Performance of Competitive OR-Parallelism.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	Martin Gittins	Debugging Parallel Strand Programs.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
36	Petros Kefalas, T. J. Reynolds	Controlling Search with Meta-Brave.	ICLP Workshop on Parallel Execution of Logic Programs	1991	DBLP DOI BibTeX RDF
35	Chansik Im, K. H. (Kane) Kim	A Hybrid Approach in TADE for Derivation of Execution Time Bounds of Program-Segments in Distributed Real-Time Embedded Computing.	ISORC	2006	DBLP DOI BibTeX RDF	worst-case execution path, program-segment, methodsegment, acyclic path-segment, path enumeration, curvefitting, execution time bound, TETB, real time, measurement, analysis, hybrid, worst-case execution time
35	Sébastien Lapierre, Ettore Merlo, Gilles Savard, Giuliano Antoniol, Roberto Fiutem, Paolo Tonella	Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees.	ICSM	1999	DBLP DOI BibTeX RDF	execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation
34	Matt Staats, Corina S. Pasareanu	Parallel symbolic execution for structural test generation.	ISSTA	2010	DBLP DOI BibTeX RDF	parallel, symbolic execution, java pathfinder
34	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis.	VLDB J.	2009	DBLP DOI BibTeX RDF	QoS, Web services, Composition, Dependability, Failure, Distributed execution, Transaction model
34	Tankut Akgul, Vincent John Mooney III	Assembly instruction level reverse execution for debugging.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	reverse code generation, reverse execution, Debugging
34	Siamak Arya, Howard Sachs, Sreeram Duvvuru	An architecture for high instruction level parallelism.	HICSS (1)	1995	DBLP DOI BibTeX RDF	high instruction level parallelism, sequential order, code execution, dataflow problems, condition bits, nonblocking cache, Software Scheduled SuperScalar, parallel programming, compiler, parallel architectures, parallel architecture, pipelining, program compilers, data flow analysis, software pipelining, pipeline processing, data flow, processor architecture, speculative execution, control flow, hardware support, program control structures, branches, registers, functional units, multiple instructions, conditional execution
33	Onur Mutlu, Hyesoon Kim, David N. Armstrong, Yale N. Patt	An Analysis of the Performance Impact of Wrong-Path Memory References on Out-of-Order and Runahead Execution Processors.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	processor performance modeling, speculative execution, runahead execution, Single data stream architectures
33	Stefan Pleisch, André Schiper	Fault-Tolerant Mobile Agent Execution.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	nonblocking execution, exactly-once execution, fault tolerance, Mobile agents, agreement problem
33	Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid	Debugging Concurrent Ada Programs by Deterministic Execution.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	synchronisation sequences, concurrent Ada programs, deterministic execution debugging, Ada language constructs, SYN-sequences, sufficient information, previous executions, parallel programming, Ada, tools, transformation, program debugging, program execution
32	Christine Rochange, Pascal Sainrat	A Context-Parameterized Model for Static Analysis of Execution Times.	Trans. High Perform. Embed. Archit. Compil.	2009	DBLP DOI BibTeX RDF	timing analysis, Worst-Case Execution Time
32	Joseph A. Tucek, Weiwei Xiong, Yuanyuan Zhou 0001	Efficient online validation with delta execution.	ASPLOS	2009	DBLP DOI BibTeX RDF	delta execution, patch validation, testing
32	Sridhar Madala, James B. Sinclair	Performance of Synchronous Parallel Algorithms with Regular Structures.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	distribution driven simulations, synchronous parallelalgorithms, mean execution time, program-driven simulations, average execution time, multiphasealgorithms, execution time bounds, scheduling, performance evaluation, parallel algorithms, parallel programming, upper bounds, bounding, scheduling policies, partitioning algorithm, parallel tasks, asymptotic approximations, regular structures
31	Narayan Ranganathan, Manoj Franklin	An Empirical Study of Decentralized ILP Execution Models.	ASPLOS	1998	DBLP DOI BibTeX RDF	execution unit dependence, hardware window, instruction-level parallelism, data dependence, dynamic scheduling, speculative execution, control dependence, decentralization
31	Tai-Yi Huang, Jane W.-S. Liu, David Hull	A Method for Bounding the Effect of DMA I/O Interference on Program Execution Time.	RTSS	1996	DBLP DOI BibTeX RDF	DMA I/O operation, program execution time, DMA controller, cycle-stealing mode, bus cycles, cycle stealing operation, executing program, machine instruction, instruction-cache architectures, input output operation, simulations, real-time systems, worst-case execution time, data transfer
31	Moreno Coli, Paolo Palazzari	Global execution time minimization by allocating tasks in parallel systems.	PDP	1995	DBLP DOI BibTeX RDF	global execution time minimization, heuristic criterion, starting population, static allocation, genetic algorithms, genetic algorithm, computational complexity, resource allocation, parallel machines, parallel machine, directed graphs, directed acyclic graphs, DAGs, processor scheduling, parallel systems, task allocation, NP-complete problem, execution time, minimisation, cost function, critical path, precedence relations, critical path analysis
31	Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa	Scheduling DAG's for Asynchronous Multiprocessor Execution.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	asynchronous multiprocessor execution, sequential instructionstream, execution costs, datadependencies, Data General shared memory multiprocessor system, scheduling, scheduling, parallel programming, parallelism, concurrency, shared memory systems, DAG, communication costs, instruction sets, multiprocessing programs, fine grained parallelism
31	Jack W. Davidson, Anne M. Holler	Subprogram Inlining: A Study of its Effects on Program Execution Time.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	subprogram inlining, execution time performance, inlined versions, inlined program execution time behavior, inlined code, demand-paged virtual memory machines, inlining algorithm, program size constraints, paging behavior, caching, programming, program testing, storage allocation, computer systems, virtual storage, interprocedural data flow analysis
30	Marcelo d'Amorim, Steven Lauterburg, Darko Marinov	Delta execution for efficient state-space exploration of object-oriented programs.	ISSTA	2007	DBLP DOI BibTeX RDF	delta execution, model checking
30	Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov	Optimized Execution of Deterministic Blocks in Java PathFinder.	ICFEM	2006	DBLP DOI BibTeX RDF
30	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
30	Resit Sendag, Ying Chen, David J. Lilja	The Impact of Incorrectly Speculated Memory Operations in a Multithreaded Architecture.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	mispredicted loads, wrong execution, wrong execution cache, prefetching, Speculation, multithreaded architecture
30	Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, Chong-Sang Kim	An Accurate Worst Case Timing Analysis for RISC Processors.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	pipelined execution, real-time system, Cache memory, worst case execution time, RISC processor
29	Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape	Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.	ISSTA	2008	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
29	Balkrishna Ramkumar, Laxmikant V. Kalé	Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	Reduce-OR process model, Encore Multimax, Sequent Symmetry, NCUBE 2, Intel i860 hypercube, Chare kernel, scale linearly, performance, parallel programming, parallel programming, compiler, logic programming, logic programs, multiprocessing systems, program compilers, parallel execution, Sun workstations
29	Zhen Ming Jiang, Ahmed E. Hassan, Parminder Flora, Gilbert Hamann	Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Log Abstraction, Monitoring, Dynamic Analysis, Clone
29	Chandra Krintz, Brad Calder, Han Bok Lee, Benjamin G. Zorn	Overlapping Execution with Transfer Using Non-Strict Execution for Mobile Programs.	ASPLOS	1998	DBLP DOI BibTeX RDF	Java
29	Vijayalakshmi Atluri, Soon Ae Chun, Ravi Mukkamala, Pietro Mazzoleni	A decentralized execution model for inter-organizational workflows.	Distributed Parallel Databases	2007	DBLP DOI BibTeX RDF	Decentralized workflow execution, Self-describing workflow, Workflow partition, Dependency split, Workflow stub, Evaluation of workflow execution
29	Yan Wen, Huaimin Wang	A Secure Virtual Execution Environment for Untrusted Code.	ICISC	2007	DBLP DOI BibTeX RDF	Intrusion confinement, isolated execution, virtual execution environment, security, virtual machine
29	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
29	Apostolos A. Kountouris	Safe and efficient elimination of infeasible execution paths in WCET estimation.	RTCSA	1996	DBLP DOI BibTeX RDF	infeasible execution paths, WCET estimation, time critical systems, R/T programming language, Dynamic Graph representation, real-time systems, SIGNAL, timing properties, Worst Case Execution Time
29	Takeshi Ogasawara	An algorithm with constant execution time for dynamic storage allocation.	RTCSA	1995	DBLP DOI BibTeX RDF	Half-Fit, scheduling, real-time systems, real-time systems, resource allocation, predictability, queueing theory, worst-case execution time, execution time, storage allocation, queueing model, dynamic storage allocation
29	Chihping Wang, Arbee L. P. Chen, Shiow-Chen Shyu	A Parallel Execution Method for Minimizing Distributed Query Response Time.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	parallel execution method, semi-join processing, one-shot semi-joinexecution, parallel generation, parallel transmission, response timemodel, performance evaluation, parallel processing, parallel execution, distributed query
28	Jin Ouyang, Raghuveer Raghavendra, Sibin Mohan, Tao Zhang 0032, Yuan Xie 0001, Frank Mueller 0001	CheckerCore: enhancing an FPGA soft core to capture worst-case execution times.	CASES	2009	DBLP DOI BibTeX RDF	LEON3, checkercore, shadow pipeline, FPGA, embedded system, real-time, WCET, worst-case-execution-time, SPARC
28	Yun Liang 0001, Tulika Mitra	Cache modeling in probabilistic execution time analysis.	DAC	2008	DBLP DOI BibTeX RDF	probabilistic execution time analysis, cache modeling
28	António Lopes 0001, Luís Miguel Botelho	Executing Semantic Web Services with a Context-Aware Service Execution Agent.	SOCASE	2007	DBLP DOI BibTeX RDF	Service Execution, Semantic Web, Context-awareness, Agents
28	Mike McGavin, Tim Wright, Stuart Marshall	Visualisations of execution traces (VET): an interactive plugin-based visualisation tool.	AUIC	2006	DBLP BibTeX RDF	execution traces, software visualisation
28	Sarfraz Khurshid, Yuk Lai Suen	Generalizing symbolic execution to library classes.	PASTE	2005	DBLP DOI BibTeX RDF	korat, model checking, symbolic execution, test input generation
28	Laurent David, Isabelle Puaut	Static Determination of Probabilistic Execution Times.	ECRTS	2004	DBLP DOI BibTeX RDF	Probabilistic execution times, Static analysis, Soft real-time systems
28	Rajagopalan Desikan, Simha Sethumadhavan, Doug Burger, Stephen W. Keckler	Scalable selective re-execution for EDGE architectures.	ASPLOS	2004	DBLP DOI BibTeX RDF	EDGE architectures, load-store dependence prediction, mis-speculation recovery, selective re-execution, selective replay, speculative dataflow machines
28	Gábor Dózsa	High Performance Application Execution Scenarios in P-GRADE.	PVM/MPI	2004	DBLP DOI BibTeX RDF
28	Guillem Bernat, Antoine Colin, Stefan M. Petters	WCET Analysis of Probabilistic Hard Real-Time System.	RTSS	2002	DBLP DOI BibTeX RDF	worst case execution time, probabilistic analysis, hard real-time, execution profiles
27	George W. Dunlap, Dominic G. Lucchetti, Michael A. Fetterman, Peter M. Chen	Execution replay of multiprocessor virtual machines.	VEE	2008	DBLP DOI BibTeX RDF	ReVirt, direct memory access, execution replay, hardware page protections, virtual machines, multiprocessors, multithreading, determinism, Xen
27	John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, Lyndon While, Sue Wright	A Functional Programming Environment Supporting Execution, Partial Execution and Transformation.	PARLE (1)	1989	DBLP DOI BibTeX RDF	Functional programming environment, program transformation, partial evaluation, parallel execution
27	Ruth E. Anderson, Thu D. Nguyen, John Zahorjan	Cascaded Execution: Speeding Up Unparallelized Execution on Shared-Memory Multiprocessors.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
27	Xuemin Lin 0001, Simon Fox	An effective parallelization of execution of multijoins in multiprocessor systems.	ISPAN	1996	DBLP DOI BibTeX RDF	multijoins execution, synchronous execution strategy, processor allocation problem, inter-operator parallelization problem, parallelization, relational databases, multiprocessing systems, multiprocessor systems, processor scheduling
27	Goetz Graefe, Diane L. Davison	Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	extensible database query execution, database application domains, high functionality, Volcano query execution engine, query processing operators, arbitrarily complex query evaluation plans, data manipulation operators, exchange operator, generalized exchange operator, database query processing software, bit vector filtering, parallel programming, parallelism, query processing, debugging, distributed databases, computer architectures, high performance, hierarchical architectures
26	Cristian Zamfir, George Candea	Execution synthesis: a technique for automated software debugging.	EuroSys	2010	DBLP DOI BibTeX RDF	symbolic execution, automated debugging
26	Geoffrey Lefebvre, Brendan Cully, Michael J. Feeley, Norman C. Hutchinson, Andrew Warfield	Tralfamadore: unifying source code and execution experience.	EuroSys	2009	DBLP DOI BibTeX RDF	debugging, dynamic analysis, program understanding, trace analysis, querying execution
26	Tobias Conte, Matthias Burghardt	A Process Model for Best Execution.	FinanceCom	2007	DBLP DOI BibTeX RDF	MiFID, best execution, smart order routing, process model
26	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: teaching multithreading programming by analyzing execution traces.	PADTAD	2007	DBLP DOI BibTeX RDF	execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization
26	Avinash V. Varadarajan, Ramarathnam Venkatesan, C. Pandu Rangan	Data structures for limited oblivious execution of programs while preserving locality of reference.	Digital Rights Management Workshop	2007	DBLP DOI BibTeX RDF	oblivious data structures, oblivious execution, secure data structures, DRM, software protection, secure hardware
26	Patrick Riley 0001, Manuela M. Veloso	Coach planning with opponent models for distributed execution.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	Simulated robot soccer, Planning, Opponent modeling, Advice, Distributed execution
26	Genhua Jin, Hyuk-Jae Lee	A Parallel and Pipelined Execution of H.264/AVC Intra Prediction.	CIT	2006	DBLP DOI BibTeX RDF	block processing order, pipelining, H.264, parallel execution, Intra prediction
26	Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi	Execution monitoring enforcement for limited-memory systems.	PST	2006	DBLP DOI BibTeX RDF	bounded history automata, enforcement mechanisms, locally-testable properties, security policies, execution monitoring, edit automata
26	Sorin Manolache, Petru Eles, Zebo Peng	Schedulability analysis of applications with stochastic task execution times.	ACM Trans. Embed. Comput. Syst.	2004	DBLP DOI BibTeX RDF	stochastic task execution times, Schedulability analysis, soft real-time systems
26	Zhigang Hu, Alper Buyuktosunoglu, Viji Srinivasan, Victor V. Zyuban, Hans M. Jacobson, Pradip Bose	Microarchitectural techniques for power gating of execution units.	ISLPED	2004	DBLP DOI BibTeX RDF	execution units, low power, microarchitecture, power-gating
26	Karl Lermer, Colin J. Fidge, Ian J. Hayes	Linear Approximation of Execution-Time Constraints.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Automatic constraint determination, Real-time program analysis, Worst-case and best-case execution times, Control-flow analysis, Timing prediction
26	Yuhong Feng, Wentong Cai 0001, Jiannong Cao 0001	A Simulation Study of Job Workflow Execution Models over the Grid.	GCC (2)	2003	DBLP DOI BibTeX RDF	job workflow execution model, dynamic service, Grid computing, mobile agent, code mobility