Search results for "execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Ariane Gravel, Xiang Fu 0001, Jianwen Su	An Analysis Tool for Execution of BPEL Services.	CEC/EEE	2007	DBLP DOI BibTeX RDF
26	Hideaki Fuju, Shigeo Kawata, Hideaki Sugiura, Yuichi Saitoh, Yoshikazu Hayase, Hitohide Usami, Motohiro Yamada, Yutaka Miyahara, Hiroyuki Kanazawa, Takashi Kikuchi	Scientific Simulation Execution Support on a Closed Distributed Computer Environment.	e-Science	2006	DBLP DOI BibTeX RDF
26	Amir Roth	Store Vulnerability Window (SVW): Re-Execution Filtering for Enhanced Load Optimization.	ISCA	2005	DBLP DOI BibTeX RDF
26	Yousuke Watanabe, Hiroyuki Kitagawa	A Multiple Continuous Query Optimization Method Based on Query Execution Pattern Analysis.	DASFAA	2004	DBLP DOI BibTeX RDF
25	Michael Stillger, Johann K. Obermaier, Johann Christoph Freytag	AQuES: An Agent-based Query Evaluation System.	CoopIS	1997	DBLP DOI BibTeX RDF	AQuES, agent-based query evaluation system, heterogeneous hardware modules, agent-based query optimization, independent data parallelism, dynamic execution strategies, distributed symmetric processes, distributed query execution, parallel algorithms, distributed databases, distributed database, cooperative system, resource scheduling, parallel database, runtime, algebra operators, database optimization
25	Nirmal R. Saxena, Edward J. McCluskey	Linear Complexity Assertions for Sorting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data
25	Jack W. Davidson, David B. Whalley	Ease: An Environment for Architecture Study and Experimentation.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
24	Hongbin Yang, Chen Li, Yue Wu	Research in Re-execution of the Thread Granule.	ISPA	2010	DBLP DOI BibTeX RDF	re-execution optimization, thread granule re-execution, Chip Multi-Processors
24	Bryan Black, Brian Mueller, Stephanie Postal, Ryan N. Rakvic, Noppanunt Utamaphethai, John Paul Shen	Load Execution Latency Reduction.	International Conference on Supercomputing	1998	DBLP DOI BibTeX RDF	load address prediction, load execution, load/store alias, speculative execution, value prediction
24	Hwa C. Torng, Martin Day	Interrupt Handling for Out-of-Order Execution Processors.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	out-of-order execution processors, low-level execution concurrency, vexing problem, hardware mechanism, concurrency control, latency, exception handling, exception handling, interrupts, superscalars, performance degradation, performance enhancement, instruction window, multiple instructions, interrupt handling
24	K. H. Kim, Howard O. Welch	Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of Hardware and Software Faults in Real-Time Applications.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	uniform treatment, time cost, distributed recovery blocks scheme, DRB scheme, forward recovery, load-sharing multiprocessing scheme, multimicrocomputer networks, fault tolerant computing, distributed processing, real-time applications, tolerance, software faults, distributed execution, distributed execution, recovery blocks, real-time computer systems, hardware faults
24	Janet L. Wiener, Harumi A. Kuno, Goetz Graefe	Benchmarking Query Execution Robustness.	TPCTC	2009	DBLP DOI BibTeX RDF	robust query processing, robust query execution, operational business intelligence, data warehouses
24	Susmit Biswas, Diana Franklin, Alan Savage, Ryan Dixon, Timothy Sherwood, Frederic T. Chong	Multi-execution: multicore caching for data-similar executions.	ISCA	2009	DBLP DOI BibTeX RDF	data similar execution, multicore cache design, cmp
24	Shelly Park, Frank Maurer	Multi-modal Functional Test Execution.	XP	2008	DBLP DOI BibTeX RDF	Executable Acceptance Testing, Func-tional Specifications, Multi-modal Test Execution, Test Driven Development, Functional Testing, Architectural Design Decisions, Validation Testing
24	Zhou Lei, Zhifeng Yun, Gabrielle Allen, Xin Li, Nian-Feng Tzeng, Christopher D. White	Improving Application Execution in Multicluster Grids.	CSE	2008	DBLP DOI BibTeX RDF	Multicluster Grid, scientific and engineering applications, task farming, execution models, inverse modeling
24	Edison Mera, Pedro López-García 0001, Manuel Carro, Manuel V. Hermenegildo	Towards execution time estimation in abstract machine-based languages.	PPDP	2008	DBLP DOI BibTeX RDF	logic programming, profiling, cost models, cost analysis, resource awareness, execution time estimation
24	Hans Vandierendonck, Philippe Manet, Thibault Delavallee, Igor Loiselle, Jean-Didier Legat	By-passing the out-of-order execution pipeline to increase energy-efficiency.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	instruction wake-up, energy-efficiency, instruction scheduling, out-of-order execution
24	Edmund B. Nightingale, Peter M. Chen, Jason Flinn	Speculative execution in a distributed file system.	ACM Trans. Comput. Syst.	2006	DBLP DOI BibTeX RDF	causality, speculative execution, Distributed file systems
24	Ilya Ganusov, Martin Burtscher	Future execution: A prefetching mechanism that uses multiple cores to speed up single threads.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	Future execution, chip multiprocessors, prefetching, memory wall
24	Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Test Purpose Definition.	TestCom	2006	DBLP DOI BibTeX RDF	Input/Output Symbolic Transition Systems, Conformance testing, Symbolic Execution, Coverage Criteria, Test Purposes
24	Andrei Kirshin, Dolev Dotan, Alan Hartman	A UML Simulator Based on a Generic Model Execution Engine.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	Model Debugger, UML, State Machines, Activities, Model Execution, Model Simulator
24	Mark Silberstein, Dan Geiger, Assaf Schuster, Miron Livny	Scheduling Mixed Workloads in Multi-grids: The Grid Execution Hierarchy.	HPDC	2006	DBLP DOI BibTeX RDF	throughput-oriented parallel task, mixed workload scheduling algorithm, multigrid execution hierarchy, multilevel feedback queue approach, task resource requirement, shortest processing time first policy, SPTF, Superlink-online production system, genetic linkage analysis
24	Emilia Farcas, Claudiu Farcas, Wolfgang Pree, Josef Templ	Transparent distribution of real-time components based on logical execution time.	LCTES	2005	DBLP DOI BibTeX RDF	LET, MoDECS, TDL, logical execution time, timing definition language, embedded systems, real-time, distribution, transparent, component model
24	Edmund B. Nightingale, Peter M. Chen, Jason Flinn	Speculative execution in a distributed file system.	SOSP	2005	DBLP DOI BibTeX RDF	causality, speculative execution, distributed file systems
24	Mario Nakazawa, David K. Lowenthal, Wenduo Zhou	The MHETA Execution Model for Heterogeneous Clusters.	SC	2005	DBLP DOI BibTeX RDF	Modeling Parallel Execution, Data Distribution, I/O
24	Kairong Zhang, Masahiro Nagamatu	Mixed Parallel Execution of Algorithms for Satisfiability Problem.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	neural network, parallel execution, Satisfiability problem, Lagrangian method
24	Matteo Corti 0002, Thomas R. Gross	Approximation of the worst-case execution time using structural analysis.	EMSOFT	2004	DBLP DOI BibTeX RDF	worst-case execution time (WCET), structural analysis, real-time computing
24	Yuhong Feng, Wentong Cai 0001	MCCF: A Distributed Grid Job Workflow Execution Framework.	ISPA	2004	DBLP DOI BibTeX RDF	job workflow execution model, job workflow programming model, dynamic service, Grid computing, mobile agent, code mobility
24	S.-Y. Lee, C.-H. Cho	Load Balancing for Minimizing Execution Time of a Target Job on a Network of Heterogeneous Workstations.	JSSPP	2000	DBLP DOI BibTeX RDF	Round-robin job scheduling, Stochastic model, Network of workstation, Dynamic load balancing, Execution time, Standard deviation, Static load balancing
24	Michael A. Iverson, Füsun Özgüner, Lee C. Potter	Statistical Prediction of Task Execution Times through Analytic Benchmarking for Scheduling in a Heterogeneous Environment.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	Heterogeneous distributed computing, analytic benchmarking, distance matrices, nonparametric regression, execution time estimation
24	Yan Alexander Li, John K. Antonio	Estimating the execution time distribution for a task graph in a heterogeneous computing system.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	execution time distribution estimation, static estimation, subtasks, calculation time, numerical studies, scheduling, directed graph, communication network, open systems, mathematical model, task graph, computer performance, probabilistic approach, heterogeneous computing system
24	Val Donaldson, Jeanne Ferrante	Determining Asynchronous Acyclic Pipeline Execution Times.	IPPS	1996	DBLP DOI BibTeX RDF	asynchronous pipelining, parallel execution time, loop parallelism, task graph scheduling, pipeline scheduling
24	Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe, Alexander D. Stoyenko	Using speculative execution for fault tolerance in a real-time system.	ICECCS	1995	DBLP DOI BibTeX RDF	primary-backup approach, timeliness properties, fault tolerance, real-time systems, real-time system, compiler, fault tolerant computing, program compilers, simulation results, speculative execution
24	Gopal Gupta 0001, Bharat Jayaraman	Analysis of Or-Parallel Execution Models.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	Or-parallel execution models
24	Nihal Yazici-Pekergin, Jean-Marc Vincent	Stochastic Bounds on Execution Times of Parallel Programs.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	stochastic bound methods, interdependent tasks, acyclic directed graph, NBUE, exponential random variables, performance evaluation, parallel programs, parallel programming, performance measure, directed graphs, stochastic processes, execution times, task graph, synchronization constraints
24	Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani	The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	execution policies, atomic transitions, race policy, continuous time homogeneous Markov chain, performance evaluation, Petri nets, semantics, Markov processes, stochastic Petri nets
24	Michal Young, Richard N. Taylor	Combining Static Concurrency Analysis with Symbolic Execution.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	static concurrency analysis, synchronization patterns, path selection mechanism, concurrency analysis, parallel programming, program analysis, program testing, program testing, concurrent programs, symbolic execution, software development environment
24	Neha Rungta, Eric G. Mercer, Willem Visser	Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.	SPIN	2009	DBLP DOI BibTeX RDF
24	Yixin Shi, Gyungho Lee	Augmenting Branch Predictor to Secure Program Execution.	DSN	2007	DBLP DOI BibTeX RDF	Control Flow Validation, Indirect Branch, Bloom Filter, Software Protection, Branch Predictor
24	Vlad Petric, Amir Roth	Energy-Effectiveness of Pre-Execution and Energy-Aware P-Thread Selection.	ISCA	2005	DBLP DOI BibTeX RDF
24	Dongkeun Kim, Donald Yeung	Design and evaluation of compiler algorithms for pre-execution.	ASPLOS	2002	DBLP DOI BibTeX RDF
24	Krishna M. Kavi, Roberto Giorgi, Joseph Arul	Scheduled Dataflow: Execution Paradigm, Architecture, and Performance Evaluation.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	superscalar, Thread Level Parallelism, Multithreaded architectures, decoupled architectures, dataflow architectures
24	Eric Leu, André Schiper, Abdel Wahab Zramdini	Execution Replay on Distributed Memory Architectures.	SPDP	1990	DBLP DOI BibTeX RDF
24	Mounira Belmesk	An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract).	ISSAC	1990	DBLP DOI BibTeX RDF
23	Ying Chen, Resit Sendag, David J. Lilja	Using Incorrect Speculation to Prefetch Data in a Concurrent Multithreaded Processor.	IPDPS	2003	DBLP DOI BibTeX RDF	superthreaded architecture, wrong-thread executioin, wrong-path execution, wrong execution cache (WEC), data prefetch, multithreaded processor
23	Chang-Gun Lee, Joosun Hahn, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim	Analysis of cache-related preemption delay in fixed-priority preemptive scheduling.	RTSS	1996	DBLP DOI BibTeX RDF	cache-related preemption delay, unpredictable variation, task execution time, per-task analysis, preemption cost, execution point, linear programming technique, experimental results, cache storage, worst case response time, fixed-priority preemptive scheduling
23	Alois Ferscha, Johannes Lüthi	Estimating rollback overhead for optimism control in Time Warp.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	rollback overhead, adaptive optimism control mechanism, performance pitfall, Time Warp distributed discrete event simulation protocol, DDES protocol, overoptimistic progression, event execution, simulated future, premature event execution, causality violations, performance inefficiencies, observed model parallelism, local virtual time, LVT progression per unit CPU time, arriving messages, simulation engine, optimal CPU delay interval, rollback probability, synchronization behavior, iPSC/860, protocols, virtual machines, discrete event simulation, adaptive systems, optimal control, cost model, distributed memory multiprocessor, time warp simulation, logical processes
23	Wouter B. Teeuw, Henk M. Blanken	Control Versus Data Flow in Parallel Database Machines.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	parallel database machines, control messages, database system performance, local areanetworks, message management, parallel query execution, query processing, distributed databases, distributed databases, data flow, control flow, database queries, query execution, parallelmachines
23	Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen, Yao-Dong Bi	A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	real-time software testing, recorded execution history, noninterference monitoring architecture, program execution data, target real-time software system, replay mechanism, Motorola 68000 computer, Unix system environment, real-time software systems, real-time systems, program testing, program debugging, monitoring system, program behavior, timing errors
23	Ugur Halici, Asuman Dogac	Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	concurrent transaction execution, distributed database management systems, ordering by serialization numbers, OSN method, certifier model, time-interval techniques, short-term locks, standard transaction execution policy, log classification, concurrency, distributed databases, distributed databases, concurrency control, concurrency control, deadlocks, serializability, complexity analysis, two-phase locking, distributed scheduler, timestamp ordering
23	Chunming Gao, Xiaojuan Yuan, Huowang Chen	Execution Mechanism of Service Proxy in Web Services Composition Execution Engine.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
22	Raúl A. Santelices, Mary Jean Harrold	Exploiting program dependencies for scalable multiple-path symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition
22	Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz	Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space.	EuroSys	2009	DBLP DOI BibTeX RDF	multi-variant execution, intrusion detection, vulnerability, multi-core processors, process monitoring
22	Joan Vila i Carbó, Enrique Hernández-Orallo	An analysis method for variable execution time tasks based on histograms.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	Probabilistic execution times, Statistical real-time analysis, Multimedia transmission and processing, Streaming applications
22	James J. Hunt, Isabel Tonin, Fridtjof Siebert	Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs.	JTRES	2008	DBLP DOI BibTeX RDF	realtime Java, verification, data flow analysis, worst case execution time, formal analysis
22	Vikas Agarwal, Girish Chafle, Sumit Mittal, Biplav Srivastava	Understanding approaches for web service composition and execution.	Bangalore Compute Conf.	2008	DBLP DOI BibTeX RDF	web services composition and execution, QoS, planning
22	Gerald Steinbauer, Franz Wotawa	Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	dynamic domains, diagnosis, autonomous robot, model-based reasoning, plan execution
22	Yoshihisa Abe, Hiroshi Yamada, Kenji Kono	Enforcing appropriate process execution for exploiting idle resources from outside operating systems.	EuroSys	2008	DBLP DOI BibTeX RDF	background execution, idle resources
22	Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo	Combining Static Analysis and Profiling for Estimating Execution Times.	PADL	2007	DBLP DOI BibTeX RDF	Mobile Computing, Profiling, Cost Models, Cost Analysis, Resource Awareness, Execution Time Estimation
22	Stephen S. Yau, Dazhi Huang, Luping Zhu	An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF	adaptive execution monitoring, virtual machine-based architecture and automated generation, workflow, Service-based systems
22	Yuhong Feng, Wentong Cai 0001	Provenance Provisioning in Mobile Agent-Based Distributed Job Workflow Execution.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Distributed Job Workflow Execution, Provenance Recording and Collection, Grid Computing
22	Frederic Montagut, Refik Molva	Traceability and Integrity of Execution in Distributed Workflow Management Systems.	ESORICS	2007	DBLP DOI BibTeX RDF	Integrity of execution, Decentralized workflows, Traceability
22	Craig Anslow, Stuart Marshall, James Noble 0001, Robert Biddle	VET3D: a tool for execution trace web 3D visualization.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	software visualization, XSLT, X3D, execution traces
22	D. Kebbal	Automatic Flow Analysis Using Symbolic Execution and Path Enumeration.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	static WCET analysis, automatic parametric flow analysis, block-based symbolic execution, path enumeration, hard real-time systems
22	Ruby B. Lee, Xiao Yang 0001, Zhijie Shi	Single-Cycle Bit Permutations with MOMR Execution.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	bit permutations, cryptographic acceleration, multi-word operation, datarich execution, MOMR, high performance secure computing, security, cryptography, permutation, processor, instruction set architecture, ISA
22	Gurmeet Singh, Carl Kesselman, Ewa Deelman	Optimizing Grid-Based Workflow Execution.	J. Grid Comput.	2005	DBLP DOI BibTeX RDF	optimizing workflow performance, workflow execution engine, scheduling, Grid computing, resource allocation
22	Ping Luo 0001, Qing He 0003, Rui Huang, Fen Lin, Zhongzhi Shi	Execution Engine of Meta-learning System for KDD in Multi-agent Environment.	AIS-ADM	2005	DBLP DOI BibTeX RDF	execution engine, data mining workflow, multi-agent environment, meta-learning
22	Xiangyu Zhang 0001, Rajiv Gupta 0001	Matching execution histories of program versions.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	piracy detection, debugging, dynamic analysis, execution traces
22	Yuhong Feng, Wentong Cai 0001, Jiannong Cao 0001	Communication Partner Identification in Distributed Job Workflow Execution over the Grid.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF	Distributed Job Workflow Execution, Mobile Agent Communication, Communication Partner Identification, Grid Computing
22	Changhee Jung, Daeseob Lim, Jaejin Lee, Sangyong Han	Adaptive execution techniques for SMT multiprocessor architectures.	PPoPP	2005	DBLP DOI BibTeX RDF	simultaneous multi-threading, compilers, performance estimation, performance counters, adaptive execution
22	Maayan Roth, Reid G. Simmons, Manuela M. Veloso	Reasoning about joint beliefs for execution-time communication decisions.	AAMAS	2005	DBLP DOI BibTeX RDF	communication, POMDP, distributed execution, robot teams
22	Toshihiko Koju, Shingo Takada 0001, Norihisa Doi	An efficient and generic reversible debugger using the virtual machine based approach.	VEE	2005	DBLP DOI BibTeX RDF	reverse execution, virtual machine, debugger
22	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
22	Weihaw Chuang, Brad Calder	Predicate prediction for efficient out-of-order execution.	ICS	2003	DBLP DOI BibTeX RDF	predicate prediction, predicated execution
22	Javier Miranda, Michael González Harbour	A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95.	Ada-Europe	2003	DBLP DOI BibTeX RDF	Scheduling, Execution-Time, Ada 95, Hard Real-Time, GNAT
22	Sándor Juhász, Hassan Charaf	Execution Time Prediction for Parallel Data Processing Tasks.	PDP	2002	DBLP DOI BibTeX RDF	execution time prediction, parallel algorithms, clusters of workstations, parallel performance, integer sorting
22	Iffat H. Kazi, David J. Lilja	Coarse-Grained Thread Pipelining: A Speculative Parallel Execution Model for Shared-Memory Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	Runtime parallelization, thread pipelining, superthreaded architecture, shared-memory multiprocessors, speculative execution, coarse-grained parallelization
22	Ramón García-Martínez, Daniel Borrajo	An Integrated Approach of Learning, Planning, and Execution.	J. Intell. Robotic Syst.	2000	DBLP DOI BibTeX RDF	autonomous intelligent systems, embedded machine learning, planning and execution, theory formation, reinforcement learning, unsupervised machine learning, theory revision
22	Brent N. Chun, David E. Culler	REXEC: A Decentralized, Secure Remote Execution Environment for Clusters.	CANPC	2000	DBLP DOI BibTeX RDF	Clusters, Distributed systems, Decentralized control, Remote execution
22	Michael A. Iverson, Füsun Özgüner, Lee C. Potter	Statistical Prediction of Task Execution Times Through Analytic Benchmarking for Scheduling in a Heterogeneous Environment.	Heterogeneous Computing Workshop	1999	DBLP DOI BibTeX RDF	Heterogeneous Distributed Computing, Analytic Benchmarking, Distance Matrices, Nonparametric Regression, Execution Time Estimation
22	José Flich, Manuel P. Malumbres, Pedro López 0001, José Duato	Performance Evaluation of Networks of Workstations with Hardware Shared Memory Model Using Execution-Driven Simulation.	ICPP	1999	DBLP DOI BibTeX RDF	adaptive routing, Networks of workstations, wormhole switching, irregular topologies, execution-driven simulation
22	Freddy Gabbay, Avi Mendelson	Using Value Prediction to Increase the Power of Speculative Execution Hardware.	ACM Trans. Comput. Syst.	1998	DBLP DOI BibTeX RDF	stride value prediction, speculative execution, value prediction
22	Lionel Brunie, Harald Kosch	DPL Graphs - A Powerful Representation of Parallel Relational Query Execution Plans.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF	Parallel query optimization, parallel query execution plan, scheduling graph
22	M. Anton Ertl, Andreas Krall	Delayed Exceptions - Speculative Execution of Trapping Instructions.	CC	1994	DBLP DOI BibTeX RDF	instruction-level parallelism, software pipelining, exception, speculative execution, superscalar
22	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
22	Djemai Kebbal, Pascal Sainrat	Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis.	WCET	2006	DBLP BibTeX RDF
22	Mark D. Syer	Looking at Execution Logs Beyond Execution Events: Enriching Execution Events to Compare the Behaviour of Large-Scale Software Systems Against Their Historical Behaviour.		2016	RDF
22	Andrei Arusoaie	A Generic Framework for Symbolic Execution:Theory and Applications : Theory and Applications. (Un cadre générique pour exécution symbolique / Un cadre générique pour exécution symbolique : Theorie et Applications).		2014	RDF
22	Sriraman Tallam, Chen Tian 0002, Rajiv Gupta 0001, Xiangyu Zhang 0001	Enabling tracing Of long-running multithreaded programs via dynamic execution reduction.	ISSTA	2007	DBLP DOI BibTeX RDF	dependence tracing, debugging, checkpointing, control flow, replay, event logging
22	Stefan Pleisch, André Schiper	Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view.	ACM Comput. Surv.	2004	DBLP DOI BibTeX RDF	ACID, malicious places, security, fault tolerance, mobile agents, replication, transaction, commit, asynchronous system, crash failures, Byzantine failures, agreement problem
22	Christian Panis, Ulrich Hirnschrott, Andreas Krall, Gunther Laure, Wolfgang Lazian, Jari Nurmi	FSEL - Selective Predicated Execution for a Configurable DSP Core.	ISVLSI	2004	DBLP DOI BibTeX RDF
22	Sarah Tasneem, Reda A. Ammar, Howard A. Sholl	A methodology to compute task remaining execution time.	ISCC	2004	DBLP DOI BibTeX RDF
22	Philip W. L. Fong	Access Control By Tracking Shallow Execution History.	S&P	2004	DBLP DOI BibTeX RDF
22	Ying Jin 0001, Susan Darling Urban, Amy Sundermier, Suzanne W. Dietrich	An Execution and Transaction Model for Active, Rule-Based Component Integration Middleware.	EDCIS	2002	DBLP DOI BibTeX RDF
22	Ganesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha	Incorporating speculative execution into scheduling ofcontrol-flow-intensive designs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
22	Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca	Generation of Execution Sequences for Modular Time Critical Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	time critical systems, modular notations, formal specifications, Functional testing, structural testing, specification testing
22	Navin Kabra, David J. DeWitt	Efficient Mid-Query Re-Optimization of Sub-Optimal Query Execution Plans.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
22	Ganesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha	Incorporating Speculative Execution into Scheduling of Control-Flow Intensive Behavioral Descriptions.	DAC	1998	DBLP DOI BibTeX RDF	high-level synthesis, telecommunication
22	Leon Alkalaj	Performance of multi-threaded execution in a shared-memory multiprocessor.	SPDP	1991	DBLP DOI BibTeX RDF
21	Sibin Mohan, Frank Mueller 0001	Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	hybrid timing anlalysis, hardware/software interactions, real-time systems, embedded systems, computer architecture, timing analysis, worst-case execution time, out-of-order execution