Search results for "execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra 0001, Xu Cheng 0001	A Retargetable Software Timing Analyzer Using Architecture Description Language.	ASP-DAC	2007	DBLP DOI BibTeX RDF	retargetable software timing analyzer, static WCET analysis, program path analysis, microarchitecture modeling, graph-based execution models, pipeline model, real-time systems, architecture description language, worst case execution time, embedded processors, branch prediction, schedulability analysis
21	Ronald D. Barnes, John W. Sias, Erik M. Nystrom, Sanjay J. Patel, Nacho Navarro, Wen-mei W. Hwu	Beating In-Order Stalls with "Flea-Flicker" Two-Pass Pipelining.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	cache-miss tolerance, prefetching, out-of-order execution, Runahead execution
21	Raimund Kirner, Peter P. Puschner	Timing Analysis of Optimised Code.	WORDS	2003	DBLP DOI BibTeX RDF	Compiler Op- timisations, Execution Times, Code Transformation, Worst-Case Execution Time Analysis, Real-Time Languages
21	Christopher A. Healy, David B. Whalley	Automatic Detection and Exploitation of Branch Constraints for Timing Analysis.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	best-case execution time, branch constraints, Real-time systems, timing analysis, worst-case execution time, infeasible paths
21	Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner	Low-level analysis of a portable Java byte code WCET analysis framework.	RTCSA	2000	DBLP DOI BibTeX RDF	low-level analysis, portable Java byte code, machine-independent program flow analysis, machine-dependent timing analysis, worst-case execution frequencies, platform-dependent information, processor pipeline, platform-independent approach, Java, timing, software performance evaluation, pipeline processing, software portability, program diagnostics, worst-case execution time analysis, program constructs
21	Christopher A. Healy, Robert D. Arnold, Frank Mueller 0001, David B. Whalley, Marion G. Harmon	Bounding Pipeline and Instruction Cache Performance.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	best case execution time, Real-time systems, pipelining, timing analysis, worst case execution time, instruction cache
21	Thomas Lundqvist, Per Stenström	Timing Anomalies in Dynamically Scheduled Microprocessors.	RTSS	1999	DBLP DOI BibTeX RDF	timing anomaly, Real-time systems, resource allocation, timing analysis, worst-case execution time, out-of-order execution, dynamically scheduled processor
21	Yücel Saygin, Özgür Ulusoy	Involving Fuzzy Concepts in Active Mobile Databases.	DEXA	1998	DBLP DOI BibTeX RDF	rule execution, fuzzy triggers, fuzzy rule execution, mobile databases, Active databases, fuzzy databases
21	David W. Matula, Asger Munk Nielsen	Pipelined Packet-Forwarding Floating Point: I. Foundations and a Rounder.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	pipelined packet forwarding floating point, packet forwarding floating point format, rounder design, packet forwarding format, standard binary IEEE 754 floating point format, multiplication algorithms, ALU pipeline paradigm, data hazards, pipelined floating point operations, execution phases, multiplier packet forwarding pipelines, execution phase, logic levels, multiplier pipelines, forwarding pipelines, IEEE 754 binary floating point compatibility, pipeline arithmetic, data dependent operations
21	Gabriele Luculli, Marco Di Natale	A cache-aware scheduling algorithm for embedded systems.	RTSS	1997	DBLP DOI BibTeX RDF	cache aware scheduling algorithm, task layout, static systems, cache miss costs, normal execution time, time driven dispatching, application tasks, pre defined sequence, optimal cache sequencing, simulated annealing techniques, real-time systems, embedded systems, execution time, computation time, instruction caching, real time task scheduling, scheduling model
21	Patrick C. K. Hung, Kamalakar Karlapalem	A Paradigm for Security Enforcement in CapBasED-AMS.	CoopIS	1997	DBLP DOI BibTeX RDF	security enforcement paradigm, CapBasED-AMS, capability-based event-driven activity management system, activity execution, problem-solving agent, multiple interdependent tasks, task execution, unauthorized modification, pilferage, illegal privacy violation, specification-time data, compile-time data, run-time data, system infrastructure, secure match-making, security constraints, task coordination model, security resource control, role-based resource security model, security policies, task scheduling, security of data, security threats, unauthorized access
21	Esin Gokkoca, Mehmet Altinel, Ibrahim Cingil, Nesime Tatbul, Pinar Koksal, Asuman Dogac	Design and Implementation of a Distributed Workflow Enactment Service.	CoopIS	1997	DBLP DOI BibTeX RDF	distributed workflow enactment service, coordinated task execution, processing entities, distributed heterogeneous environments, commercial workflow systems, block-structured workflow specification language, process instance distributed scheduling, system debugging, execution efficiency, performance, distributed processing, messages, system testing, workflow schedulers, failure resiliency
21	C. K. Yuen, M. D. Feng	BaLinda: a simple parallel programming model with active objects.	ISPAN	1997	DBLP DOI BibTeX RDF	BaLinda model, last in first out threads, shared tuplespace, function based objects, two-level parallel execution, scalable parallel platforms, shared memory nodes, parallel programming, object oriented programming, high speed networks, hierarchical structure, parallel execution, active objects, parallel programming model
21	Chun Gong, Rami G. Melhem, Rajiv Gupta 0001	Loop Transformations for Fault Detection in Regular Loops on Massively Parallel Systems.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Compiler-assisted approach, duplicating execution, execution pattern, fault detection, distributed-memory systems, loop transformation, data dependence analysis
21	Moreno Coli, Paolo Palazzari	Load Balancing with Internode Precedence Relations: A New Method for Static Allocation of DAGs into Parallel Systems.	PDP	1996	DBLP DOI BibTeX RDF	internode precedence relations, static allocation, parallel execution times, performance, parallel algorithms, load balancing, parallel programming, parallel program, resource allocation, NP-complete, parallel machine, directed graphs, DAG, directed acyclic graphs, processor scheduling, software performance evaluation, parallel systems, execution time, processor allocation, mapping algorithms, computational load
21	Chris H. L. Moller, Gerald G. Pechanek	Architectural simulation system for M.f.a.s.t.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	pulse transformers, architectural simulation system, architecture verification, Mwave folded array signal transform processor, single chip scalable very long instruction word processor array, independent processes, socket mechanism, execution-unit operations, execution emulation, M.f.a.s.t. processor, parallel architectures, virtual machines, reconfigurable architectures, digital signal processing chips, instruction sets, functional models, array signal processing, simulator performance
21	Mark J. Clement, Michael J. Quinn	Multivariate statistical techniques for parallel performance prediction.	HICSS (2)	1995	DBLP DOI BibTeX RDF	multivariate statistical techniques, parallel performance prediction, multicomputer efficiency, program execution time, architectural characterization, algorithmic characterization, critical model parameters, cache miss penalty, predicted execution time, standard error values, large variance values, performance evaluation, parallel processing, performance model, statistical analysis, data analysis, software performance evaluation, variance, confidence interval, random variables, message latency, multivariate data analysis, model parameters
21	Abdul Waheed, Vincent F. Melfi, Diane T. Rover	A model for instrumentation system management in concurrent computer systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel application software development, performance related parameter space, run-time tools, performance tuning aids, performance specification, speed characteristics, Portrayal Specification Language, performance evaluation, parallel programming, reverse engineering, monitoring, software tools, specification languages, performance prediction, data flow analysis, software performance evaluation, dataflow, parallel applications, control flow, program diagnostics, execution trace, program execution
21	Mark Russinovich, Zary Segall	Application-transparent checkpointing in Mach 3.O/UX.	HICSS (1)	1995	DBLP DOI BibTeX RDF	application-transparent checkpointing, Mach 3/UX, software based recovery techniques, virtual memory checkpointing algorithms, concurrent Unix applications, stable storage medium, snapshot algorithm execution, checkpoint commit execution, disk storage requirement, external pager facility, parallel programming, distributed computation, Unix, Unix, system recovery, software fault tolerance, operating systems (computers), system performance, virtual storage, concurrent processes, hard disk
21	John D. Bunda, Donald S. Fussell, William C. Athas	Energy-efficient instruction set architecture for CMOS microprocessors.	HICSS (1)	1995	DBLP DOI BibTeX RDF	energy-efficient instruction set architecture, CMOS microprocessors, portable battery-based applications, performance-driven designs, processor architecture tradeoffs, program encoding size, instruction set richness, energy cost, speculative instruction fetching, execution resources, instruction-level parallel machines, multiple-path instruction fetching, high execution bandwidth, power management, microprocessor chips, instruction sets, power dissipation, CMOS digital integrated circuits, reduced instruction set computing, cooling, design constraint, instruction delivery, code density
21	Orly Kremien, Jeff Kramer	Methodical Analysis of Adaptive Load Sharing Algorithms.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	adaptive load sharing algorithms, allocation decision making, local decisions, efficient state, dissemination techniques, efficiency measures, delay characteristics, load-sharing hit-ratio, remote execution requests, performance evaluation, parallel algorithms, information dissemination, information dissemination, storage allocation, quantitative analysis, qualitative analysis, remote execution
21	Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean	Computer-Assisted Microanalysis of Parallel Programs.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	execution graph, microanalysis, Prolog, execution trace, speed up, event graph
21	Karl J. Ottenstein	A Simplified Framework for Reduction in Strength.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	loop execution, sequential processors, induction variable substitution, register requirements, array dependences, language fragments, iteration test replacement, target code, program compilers, parallelizing compilers, execution time, teaching tool, inverse transformation
21	Shishir Bharathi, Ann L. Chervenak	Scheduling data-intensive workflows on storage constrained resources.	SC-WORKS	2009	DBLP DOI BibTeX RDF	data management, workflow execution
21	Yu Cao 0004, Gopal C. Das, Chee Yong Chan, Kian-Lee Tan	Optimizing complex queries with multiple relation instances.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	interleaved execution, shared scan, query processing, query optimization
21	Anmol Mathur, Ali Dasdan, Rajesh K. Gupta 0001	Rate analysis for embedded systems.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	average execution rate, concurrent system modeling, interactive rate violation debugging, rate constraints, embedded systems, rate analysis
21	Roger Ferguson, Bogdan Korel	The Chaining Approach for Software Test Data Generation.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	heuristics, dynamic analysis, data dependency, program execution
21	Bowen Alpern, Joshua S. Auerbach, Vasanth Bala, Thomas Frauenhofer, Todd W. Mummert, Michael Pigott	PDS: a virtual execution environment for software deployment.	VEE	2005	DBLP DOI BibTeX RDF	management, virtualization, streaming, deployment, installation
21	A. Murat Fiskiran, Ruby B. Lee	Runtime Execution Monitoring (REM) to Detect and Prevent Malicious Code Execution.	ICCD	2004	DBLP DOI BibTeX RDF
21	Cheng-Wen Cheng, Jonas Rabin	Synthesis of Decision Rules.	Commun. ACM	1976	DBLP DOI BibTeX RDF
20	Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster	Mixing type checking and symbolic execution.	PLDI	2010	DBLP DOI BibTeX RDF	mix rules, mixed off-the-shelf analysis, symbolic execution, precision, type checking, mix, false alarms
20	Brett Daniel, Tihomir Gvero, Darko Marinov	On test repair using symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	pex, reassert, symbolic test repair, test repair, symbolic execution
20	Éric Tanter	Execution levels for aspect-oriented programming.	AOSD	2010	DBLP DOI BibTeX RDF	execution level, infinite regression, scoping mechanism, aspect-oriented programming, meta-programming, conflation
20	Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson	Energy-efficient redundant execution for chip multiprocessors.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	redundant execution, microarchitecture, transient faults, permanent faults
20	Eric Sanchis	Mobility and Remote-Code Execution.	MOBILWARE Workshops	2009	DBLP DOI BibTeX RDF	design abstraction, remote-code execution, remote code-loading, distributed systems, mobile code
20	Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller 0001, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström	The worst-case execution-time problem - overview of methods and survey of tools.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	worst-case execution times, Hard real time
20	Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke	Combining symbolic execution with model checking to verify parallel numerical programs.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program
20	Adrien Guillon, Deborah Loach	YetiSim: a C++ simulation library with execution graphs instead of coroutines.	SpringSim	2008	DBLP DOI BibTeX RDF	execution graph, threading building blocks, UML, C++, coroutines
20	Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu	Differential symbolic execution.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	program differencing, software evolution, symbolic execution
20	Yui Watanabe, Takashi Ishio, Katsuro Inoue	Feature-level phase detection for execution trace using object cache.	WODA	2008	DBLP DOI BibTeX RDF	dynamic analysis, sequence diagram, execution trace, Java program, phase detection
20	Xiaoyin Wang, Lu Zhang 0023, Tao Xie 0001, John Anvik, Jiasu Sun	An approach to detecting duplicate bug reports using natural language and execution information.	ICSE	2008	DBLP DOI BibTeX RDF	duplicate bug report, execution information, information retrieval
20	Muhammad Asif 0011, Shikharesh Majumdar, Raluca Dragnea	Partitioning the WS Execution Environment for Hosting Mobile Web Services.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	distributed SOAP engine, WS execution environment, mobile computing, partitioning, mobile web service
20	Stefan Jablonski, Bernhard Volz, M. Abdul Rehman	A conceptual modeling and execution framework for process based scientific applications.	CIMS	2007	DBLP DOI BibTeX RDF	process modeling and execution, data integration, scientific workflow, scientific applications, scientific data management, architectural frameworks
20	Wubin Li, Zhuofeng Zhao, Jun Fang 0006, Kun Chen	Execution Optimization for Composite Services Through Multiple Engines.	ICSOC	2007	DBLP DOI BibTeX RDF	Execution Optimization, Multiple Engines, Web Services, Dynamic Programming
20	Marwan Abi-Antoun	Compile-time execution structure of object-oriented programs with practical ownership domain annotations.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	execution structure, ownership domains, runtime structure, ownership types, dynamic structure
20	Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Refinement Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic transition system, refinement, conformance testing, symbolic execution
20	Onur Mutlu, Hyesoon Kim, Yale N. Patt	Efficient Runahead Execution: Power-Efficient Memory Latency Tolerance.	IEEE Micro	2006	DBLP DOI BibTeX RDF	memory latency tolerance, processors, Runahead execution
20	Karim Sehaba, Pascal Estraillier	Game execution control by analysis of player's behavior.	Advances in Computer Entertainment Technology	2006	DBLP DOI BibTeX RDF	analysis of player's behavior, adaptive systems, execution control
20	Wei Hu, Jason Hiser, Daniel W. Williams, Adrian Filipi, Jack W. Davidson, David Evans 0001, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill	Secure and practical defense against code-injection attacks using software dynamic translation.	VEE	2006	DBLP DOI BibTeX RDF	software dynamic translation, virtual execution
20	Roly Perera, Jeff Foster	A delta-driven execution model for semantic computing.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	adaptive functions, delta-driven execution, lazy memoization, relational programming, incremental computation
20	Roly Perera, Jeff Foster, György Koch	A delta-driven execution model for semantic computing.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	adaptive functions, delta-driven execution, lazy memoization, relational programming, incremental computation
20	Baru S. Rao, Nandlal L. Sarda	Execution Model for Outsourced Corrective Maintenance.	CIT	2005	DBLP DOI BibTeX RDF	execution flow, model, fault analysis, corrective maintenance
20	Gregory M. Kapfhammer, Mary Lou Soffa, Daniel Mossé	Testing in resource constrained execution environments.	ASE	2005	DBLP DOI BibTeX RDF	code unloading, test suite execution
20	Ian Lintault	A transaction execution engine architecture for multiplayer online games.	NETGAMES	2004	DBLP DOI BibTeX RDF	transaction execution, transaction level parallelism, task scheduling, distributed simulation, dynamic scheduling, online games, game architecture, data flow architecture
20	W. Eric Wong, Yu Qi	An Execution Slice and Inter-Block Data Dependency-Based Approach for Fault Localization.	APSEC	2004	DBLP DOI BibTeX RDF	inter-block data dependency, Software testing, program debugging, fault localization, execution slice
20	Milena Milenkovic, Aleksandar Milenkovic, Emil Jovanov	A framework for trusted instruction execution via basic block signature verification.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	trusted execution, intrusion detection, computer security
20	Tobias Schüle, Klaus Schneider 0001	Abstraction of assembler programs for symbolic worst case execution time analysis.	DAC	2004	DBLP DOI BibTeX RDF	program slicing assembler programs, real-time systems, abstraction, worst case execution time, symbolic simulation
20	Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat	Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis.	OTM Workshops	2003	DBLP DOI BibTeX RDF	Worst-Case Execution Time (WCET) Analysis, Portable WCET, Real-Time Java
20	Khaled Z. Ibrahim, Gregory T. Byrd	Extending OpenMP to Support Slipstream Execution Mode.	IPDPS	2003	DBLP DOI BibTeX RDF	slipstream, redundant execution, multiprocessor, shared memory, OpenMP, dynamic scheduling
20	Péter Kacsuk	Parallel Program Development and Execution in the Grid.	PARELEC	2002	DBLP DOI BibTeX RDF	parallel program development, parallel job execution, grid monitoring
20	Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè	Using symbolic execution for verifying safety-critical systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	verification, formal methods, C, symbolic execution, safety-critical system
20	Shoukat Ali, Howard Jay Siegel, Muthucumaru Maheswaran, Debra A. Hensgen, Sahra Ali	Task Execution Time Modeling for Heterogeneous Computing Systems.	Heterogeneous Computing Workshop	2000	DBLP DOI BibTeX RDF	task heterogeneity, machine heterogeneity, execution time modeling, system characterization, heterogeneity modeling
20	Stefan M. Petters	Bounding the execution time of real-time tasks on modern processors.	RTCSA	2000	DBLP DOI BibTeX RDF	task execution time, modern processors, embedded hard real time systems, up-to-date processors, fast core frequency, systematic information, real-time systems, computer architecture, complex systems, control flow graph, main memory, flow graphs, optimising compilers, real time tasks, acceleration techniques
20	Mari Omori, Nobuyuki Ikeda, Jun-ichi Yamamoto	Answerer: A Design Pattern for Dynamical Conditional Execution.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	reflection architecture pattern, object-oriented, design pattern, adaptable system, conditional execution
20	Sylvain Lauzac, Taieb Znati	Comparative evaluation of cooperative plan execution strategies in multiagent environments.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	cooperative plan execution strategies, multiagent environments, coordinated action, dynamically changing environment, dynamic threshold-based scheme, client-initiated strategy, server-initiated strategy, hybrid strategy, load balancing, resource allocation, planning (artificial intelligence), client-server systems, cooperative systems, communication overhead, comparative analysis, distributed agents
20	Sandhya Dwarkadas, J. Robert Jump, James B. Sinclair	Execution-Driven Simulation of Multiprocessors: Address and Timing Analysis.	ACM Trans. Model. Comput. Simul.	1994	DBLP DOI BibTeX RDF	parallel tracing, distributed systems, shared-memory multiprocessors, execution-driven simulation
20	Albert C. Chen, Chuan-lin Wu	A Parallel Execution Model of Logic Programs.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	parallel execution model, nondeterministic logic program, frame inheritance, dynamic construction, computational complexity, computational complexity, logic programs, logic programming, modularity, communication channels, OR parallelism, AND parallelism, data-dependency graphs
20	Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan	Translation and Execution of Distributed Ada Programs: Is It Still Ada?	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	distributed Ada programs, memory access architecture, binding time, system homogeneity, library packages, Ada, distributed processing, programming, program interpreters, distributed execution
20	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
20	Marcelo d'Amorim, Steven Lauterburg, Darko Marinov	Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
20	Trosky Boris Callo Arias, Paris Avgeriou, Pierre America	Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies.	WCRE	2008	DBLP DOI BibTeX RDF
20	Sriraman Tallam, Chen Tian 0002, Rajiv Gupta 0001, Xiangyu Zhang 0001	Avoiding Program Failures Through Safe Execution Perturbations.	COMPSAC	2008	DBLP DOI BibTeX RDF	avoiding failures, environmental faults, logging/replay tools, bad user requests, heap overflow, atomicity violation
20	Yang Ding, Mahmut T. Kandemir, Padma Raghavan, Mary Jane Irwin	A helper thread based EDP reduction scheme for adapting application execution in CMPs.	IPDPS	2008	DBLP DOI BibTeX RDF
20	Seyed Masoud Sadjadi, Shu Shimizu, Javier Figueroa, Raju Rangaswami, Javier Delgado, Hector A. Duran, Xabriel J. Collazo-Mojica	A modeling approach for estimating execution time of long-running scientific applications.	IPDPS	2008	DBLP DOI BibTeX RDF
20	Chengmo Yang, Alex Orailoglu	A light-weight cache-based fault detection and checkpointing scheme for MPSoCs enabling relaxed execution synchronization.	CASES	2008	DBLP DOI BibTeX RDF	fault detection, checkpointing, fault recovery
20	Juan A. Colmenares, Chansik Im, K. H. (Kane) Kim, Raymond Klefstad, Chae-Deok Lim	Measurement Techniques in a Hybrid Approach for Deriving Tight Execution-time Bounds of Program Segments in Fully-featured Processors.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF
20	Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis	DySy: dynamic symbolic execution for invariant inference.	ICSE	2008	DBLP DOI BibTeX RDF	daikon, dynamic invariant inference, dysy, pex, symbolic reasoning
20	Ola Pettersson, Lars Karlsson, Alessandro Saffiotti	Model-Free Execution Monitoring in Behavior-Based Robotics.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
20	Davide Cipolla, Fabrizio Cosso, Matteo Demartini, Marc Drewniok, Francesco Moggia, Paola Renditore, Jürgen Sienel	Web Service Based Asynchronous Service Execution Environment.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
20	Quanzhong Li 0002, Minglong Shao, Volker Markl, Kevin S. Beyer, Latha S. Colby, Guy M. Lohman	Adaptively Reordering Joins during Query Execution.	ICDE	2007	DBLP DOI BibTeX RDF
20	Kung-Kiu Lau, Vladyslav Ukis	A Study of Execution Environments for Software Components.	CBSE	2007	DBLP DOI BibTeX RDF
20	Yang Xiao 0003, Susan Darling Urban, Ning Liao	The DeltaGrid Abstract Execution Model: Service Composition and Process Interference Handling.	ER	2006	DBLP DOI BibTeX RDF
20	Xiangyu Zhang 0001, Sriraman Tallam, Rajiv Gupta 0001	Dynamic slicing long running programs through execution fast forwarding.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	debugging, checkpointing, replay, event logging, data slicing
20	Keiji Yamamoto, Yutaka Ishikawa, Toshihiro Matsui	Portable Execution Time Analysis Method.	RTCSA	2006	DBLP DOI BibTeX RDF
20	Derek Uluski, Micha Moffie, David R. Kaeli	Characterizing antivirus workload execution.	SIGARCH Comput. Archit. News	2005	DBLP DOI BibTeX RDF
20	Femke de Jonge, Nico Roos, H. Jaap van den Herik	Keeping Plan Execution Healthy.	CEEMAS	2005	DBLP DOI BibTeX RDF
20	Thomas Friese, Jörg P. Müller, Bernd Freisleben	Self-healing Execution of Business Processes Based on a Peer-to-Peer Service Architecture.	ARCS	2005	DBLP DOI BibTeX RDF
20	Hans Schuster	Pros and Cons of Distributed Workflow Execution Algorithms.	Data Management in a Connected World	2005	DBLP DOI BibTeX RDF
20	Onur Mutlu, Hyesoon Kim, Yale N. Patt	Techniques for Efficient Processing in Runahead Execution Engines.	ISCA	2005	DBLP DOI BibTeX RDF
20	Malú Castellanos, Fabio Casati, Umeshwar Dayal, Ming-Chien Shan	A Comprehensive and Automated Approach to Intelligent Business Processes Execution Analysis.	Distributed Parallel Databases	2004	DBLP DOI BibTeX RDF	metrics, prediction, business process, process analysis, business process intelligence, star schema
20	Tankut Akgul, Vincent John Mooney III, Santosh Pande	A Fast Assembly Level Reverse Execution Method via Dynamic Slicing.	ICSE	2004	DBLP DOI BibTeX RDF
20	Onur Mutlu, Jared Stark, Chris Wilkerson, Yale N. Patt	Runahead Execution: An Alternative to Very Large Instruction Windows for Out-of-Order Processors.	HPCA	2003	DBLP DOI BibTeX RDF
20	Jakob Engblom	Analysis of the Execution Time Unpredictability caused by Dynamic Branch Prediction.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF
20	Julien Bidot	Using Constraint Programming and Simulation for Execution Monitoring and On-Line Rescheduling with Uncertainty.	CP	2003	DBLP DOI BibTeX RDF
20	Amir Roth, Gurindar S. Sohi	A quantitative framework for automated pre-execution thread selection.	MICRO	2002	DBLP DOI BibTeX RDF
20	Chi-Keung Luk	Tolerating memory latency through software-controlled pre-execution in simultaneous multithreading processors.	ISCA	2001	DBLP DOI BibTeX RDF
20	Christopher J. Hughes, Praful Kaul, Sarita V. Adve, Rohit Jain, Chanik Park, Jayanth Srinivasan	Variability in the execution of multimedia applications and implications for architecture.	ISCA	2001	DBLP DOI BibTeX RDF
20	Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez	Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications.	Ada-Europe	1998	DBLP DOI BibTeX RDF
20	Scott A. Mahlke, Richard E. Hank, James E. McCormick, David I. August, Wen-mei W. Hwu	A Comparison of Full and Partial Predicated Execution Support for ILP Processors.	ISCA	1995	DBLP DOI BibTeX RDF
20	Hideki Ando, Chikako Nakanishi, Tetsuya Hara, Masao Nakaya	Unconstrained Speculative Execution with Predicated State Buffering.	ISCA	1995	DBLP DOI BibTeX RDF	MIPS R3000