Search results for "execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Eric Leu, André Schiper	Execution Replay: A Mechanism for Integrating a Visualization Tool with a Symbolic Debugger.	CONPAR	1992	DBLP DOI BibTeX RDF
20	Makoto Amamiya, Rin-Ichiro Taniguchi	An Ultra-Multiprocessing Machine Architecture for Efficient Parallel Execution of Functional Languages.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF	Keyword Functional language, Massively parallel machine architecture, Dataflow analysis, Multiprocessing, Dataflow machine
19	Tihomir Gvero, Milos Gligoric 0001, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid	State extensions for java pathfinder.	ICSE	2008	DBLP DOI BibTeX RDF	delta execution, jpf, mixed execution, java pathfinder
19	Raimund Kirner, Peter P. Puschner	Classification of WCET Analysis Techniques.	ISORC	2005	DBLP DOI BibTeX RDF	Classification, Execution Times, Worst-Case Execution Time Analysis, Generic Framework
19	Onur Mutlu, Hyesoon Kim, David N. Armstrong, Yale N. Patt	Understanding the effects of wrong-path memory references on processor performance.	WMPI	2004	DBLP DOI BibTeX RDF	processor performance analysis, wrong path modeling, wrong-path memory references, speculative execution, data prefetching, execution-driven simulation, cache pollution
19	Dileep Bhandarkar, Jianxun Jason Ding	Performance Characterization of the Pentium(r) Pro Processor.	HPCA	1997	DBLP DOI BibTeX RDF	Pentium® Pro processor, SPEC CPU95, SYSmark/NT, performance evaluation, computer architecture, workload characterization, speculative execution, out of order execution
19	Eric Hao, Po-Yung Chang, Yale N. Patt	The effect of speculatively updating branch history on branch prediction accuracy, revisited.	MICRO	1994	DBLP DOI BibTeX RDF	two-level adaptive branch prediction, speculative execution, superscalar processors, out-of-order execution, dynamic branch prediction
19	Dasarath Weeratunge, Xiangyu Zhang 0001, Suresh Jagannathan	Analyzing multicore dumps to facilitate concurrency bug reproduction.	ASPLOS	2010	DBLP DOI BibTeX RDF	reproduction, multi-core, concurrency bugs, execution indexing
19	Qiang Zhu 0001, Jaidev Haridas, Wen-Chi Hou	Query optimization via contention space partitioning and cost error controlling for dynamic multidatabase systems.	Distributed Parallel Databases	2008	DBLP DOI BibTeX RDF	Multistate cost model, Execution plan, Algorithm, Query optimization, Dynamic environment, Multidatabase system
19	Murali Haran, Alan F. Karr, Michael Last, Alessandro Orso, Adam A. Porter, Ashish P. Sanil, Sandro Fouché	Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Execution classification, remote analysis/measurement
19	Rupak Majumdar, Ru-Gang Xu	Directed test generation using symbolic grammars.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	concolic execution, grammar based testing, symbolic grammars, random testing, testing C programs
19	Rupak Majumdar, Ru-Gang Xu	Directed test generation using symbolic grammars.	ASE	2007	DBLP DOI BibTeX RDF	concolic execution, grammar based testing, symbolic grammars, random testing, testing C programs
19	Xianfeng Li, Tulika Mitra, Abhik Roychoudhury	Modeling Control Speculation for Timing Analysis.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	micro-architectural modeling, worst case execution time, branch prediction, schedulability analysis, instruction cache
19	Yuxing Tang, Kun Deng, Xiaodong Wang 0002, Yong Dou, Xingming Zhou	RIMP: Runtime Implicit Predication.	APPT	2005	DBLP DOI BibTeX RDF	runtime execution, RIMP, predication, trace cache
19	Serguei Mourachov	ATCT: a Java framework that offers new approach to developing asynchronous processes.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java framework, execution context reification, asynchronous processes
19	Eui-Young Chung, Giovanni De Micheli, Luca Benini	Contents provider-assisted dynamic voltage scaling for low energy multimedia applications.	ISLPED	2002	DBLP DOI BibTeX RDF	DVS(Dynamic Voltage Scaling), contents provider, multimedia, low-power, worst case execution time, characterization
19	Peter P. Puschner, Alan Burns 0001	Writing Temporally Predictable Code.	WORDS	2002	DBLP DOI BibTeX RDF	Real-Time Systems, Predictability, Computer Architectures, Programming Paradigms, Worst-Case Execution-Time Analysis
19	Dulcineia Carvalho, Fabio Kon, Francisco J. Ballesteros, Manuel Román, Roy H. Campbell, M. Dennis Mickunas	Management of Environments in 2K.	ICPADS	2000	DBLP DOI BibTeX RDF	Distributed Component-based Operating Systems, Middleware, Execution Environments
19	K. A. Momin, K. Vidyasankar	Flexible Integration of Optimistic and Pessimistic Concurrency Control in Mobile Environments.	ADBIS-DASFAA	2000	DBLP DOI BibTeX RDF	Re-execution, Pessimistic mode, Mobile computing, Concurrency control, Transaction processing
19	Rafael H. Saavedra, Alan Jay Smith	Analysis of Benchmark Characteristics and Benchmark Performance Prediction.	ACM Trans. Comput. Syst.	1996	DBLP DOI BibTeX RDF	abstract machine performance model, benchmark analysis, execution time prediction, microbenchmarking
19	Bogdan Korel	Automated Software Test Data Generation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis
19	James R. Larus	Abolish runtime systems: operating systems should control the execution.	VEE	2006	DBLP DOI BibTeX RDF
19	Shiwen Hu, Lizy Kurian John	Impact of virtual execution environments on processor energy consumption and hardware adaptation.	VEE	2006	DBLP DOI BibTeX RDF	hardware adaptation, energy efficiency, power dissipation
19	Shinpei Kato, Hidenori Kobayashi, Nobuyuki Yamasaki	U-Link Scheduling: Bounding Execution Time of Real-Time Tasks with Multi-Case Execution Time on SMT Processors.	RTCSA	2005	DBLP DOI BibTeX RDF
19	Tien-Hsiung Weng, Barbara M. Chapman	Implementing OpenMP Using Dataflow Execution Model for Data Locality and Efficient Parallel Execution.	IPDPS	2002	DBLP DOI BibTeX RDF
19	Nobuyuki Yamasaki, Ikuo Magaki, Tsutomu Itou	Prioritized SMT Architecture with IPC Control Method for Real-Time Processing.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
19	Edward H. Bensley, Thomas J. Brando, J. C. Fohlin, Myra Jean Prelle, Ann Wollrath	MITRE's future generation computer architectures program.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
18	Yue Lu 0005, Thomas Nolte, Iain Bate	Timing analyzing for systems with execution dependencies between tasks.	SAC	2010	DBLP DOI BibTeX RDF	parametric worst-case execution-time estimates on tasks, TIMES, response-time analysis, complex real-time systems
18	Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa	Contention aware execution: online contention detection and response.	CGO	2010	DBLP DOI BibTeX RDF	cross-core interference, dynamic techniques, execution runtimes, online adaptation, multicore, contention
18	Lili Tan	The worst-case execution time tool challenge 2006.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Embedded systems, Timing analysis, Worst-case execution time, WCET, Hard real time
18	Wolfgang Narzt, Heinrich Schmitzberger	Location-Triggered Code Execution - Dismissing Displays and Keypads for Mobile Interaction.	HCI (6)	2009	DBLP DOI BibTeX RDF	Location-Triggered Code Execution, Natural Interaction Paradigms
18	Jason Belt, Robby, Xianghua Deng	Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	program analysis, symbolic execution, decision procedure
18	Nicolas Rapin	Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF	Input Output Symbolic Transition Systems, Verification, Symbolic Execution, Linear Temporal Logic
18	Reda Bendraou, Jean-Marc Jézéquel, Franck Fleurey	Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution.	ICSP	2009	DBLP DOI BibTeX RDF	process modeling and execution, UML, Executable models
18	Yuzhong Jiao, Xin'an Wang, Xuewen Ni	A Fully Data-Driven Reconfigurable Architecture with Very Coarse-Grained Execution Units.	Infoscale	2009	DBLP DOI BibTeX RDF	Processing element (PE), Execution unit (EU), Very-coarse-grained, Fully-data-driven, Reconfigurable architecture
18	Wassim Bouaziz, Eric Andonoff	Dynamic Execution of Coordination Protocols in Open and Distributed Multi-Agent Systems.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Coordination Protocols, Protocol Execution, Multi-Agents Systems
18	Md. Musfiquzzaman Akanda, Ben A. Abderazek, Masahiro Sowa	Dual-execution mode processor architecture.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Dual-execution, Queue computation, Dynamic switching, Hardware usability, Parallel, Embedded core
18	Jun Yan 0008, Wei Zhang 0002	Analyzing the worst-case execution time for instruction caches with prefetching.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	instruction caches, hard real-time, Worst-case execution time analysis, instruction prefetching
18	James H. Hill, Douglas C. Schmidt, Adam A. Porter, John M. Slaby	CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments.	ECBS	2008	DBLP DOI BibTeX RDF	serialized phasing, system execution modeling, integration testing, continuous integration
18	Christian Ferdinand, Reinhold Heckmann	Worst-Case Execution Time - A Tool Provider's Perspective.	ISORC	2008	DBLP DOI BibTeX RDF	WCET worst-case execution time prediction
18	Raimund Kirner, Peter P. Puschner	Obstacles in Worst-Case Execution Time Analysis.	ISORC	2008	DBLP DOI BibTeX RDF	measurement-based timing analysis, static analysis, WCET, worst-case execution time analysis
18	Jan-Erik Ekberg, N. Asokan, Kari Kostiainen, Aarne Rantala	Scheduling execution of credentials in constrained secure environments.	STC	2008	DBLP DOI BibTeX RDF	onboard credentials, secure execution environments, trusted hardware, scheduling
18	Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Tavares, Meuse N. Oliveira Jr.	A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption.	PATMOS	2008	DBLP DOI BibTeX RDF	Energy Consumption and Execution Time, Simulation, Embedded System, Coloured Petri Net
18	Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Antonio Guimarães Tavares	A coloured petri net based approach for estimating execution time and energy consumption in embedded systems.	SBCCI	2008	DBLP DOI BibTeX RDF	simulation, energy consumption, embedded software, coloured petri net, execution time
18	Yunqing Rao, Fei He, Xinyu Shao, Chaoyong Zhang	On-Line Simulation for Shop Floor Control in Manufacturing Execution System.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Shop floor control, Manufacturing Execution System, On-Line Simulation
18	Xiang Fu 0001, Kai Qian	SAFELI: SQL injection scanner using symbolic execution.	TAV-WEB	2008	DBLP DOI BibTeX RDF	symbolic execution, automated testing, constraint solver, SQL injection attack
18	Weiwu Hu, Ji-Ye Zhao, Shi-Qiang Zhong, Xu Yang, Elio Guidetti, Chris Wu	Implementing a 1GHz Four-Issue Out-of-Order Execution Microprocessor in a Standard Cell ASIC Methodology.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	superscalar pipeline, non-blocking cache, synthesis flow, bit-sliced placement, crafted cell, performance evaluation, physical design, out-of-order execution, general-purpose processor
18	Levent Guner, Pinar Senkul	Frequent Itemset Minning with Trie Data Structure and Parallel Execution with PVM.	PVM/MPI	2007	DBLP DOI BibTeX RDF	Message Passing, PVM, Parallel Execution, Apriori, Trie
18	Avik Paul, Rajeev Kumar	Precise dynamic slicing using execution-summary.	SAC	2007	DBLP DOI BibTeX RDF	program slicing, execution trace, dynamic slicing
18	Chengmo Yang, Alex Orailoglu	Predictable execution adaptivity through embedding dynamic reconfigurability into static MPSoC schedules.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	multiprocessor task schedulihng, reconfiguration, adaptive execution
18	Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison 0001, Mark Wilding, David Godwin	An iterative, multi-level, and scalable approach to comparing execution traces.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	dynamic information flow analysis, traces comparison, software testing, code coverage, execution traces
18	Darren Mutz, William K. Robertson, Giovanni Vigna, Richard A. Kemmerer	Exploiting Execution Context for the Detection of Anomalous System Calls.	RAID	2007	DBLP DOI BibTeX RDF	System Call Argument Analysis, Execution Context, Intrusion Detection
18	Susan Eisenbach, Chris Sadler, Dominic Wong	Component Adaptation in Contemporary Execution Environments.	DAIS	2007	DBLP DOI BibTeX RDF	component evolution, runtime systems, .NET, dynamic linking, execution environments, component adaptation
18	Klaus Peter Fischer, Udo Bleimann, Steven Furnell	Pre-execution Security Policy Assessment of Remotely Defined BPEL-Based Grid Processes.	TrustBus	2007	DBLP DOI BibTeX RDF	Business Process Execution Language (BPEL), Grid Processes, Security Policy Enforcement, Virtual Organizations, Grid Services, Information Flow Analysis
18	Stelios Sidiroglou, Angelos D. Keromytis	Execution transactions for defending against software failures: use and evaluation.	Int. J. Inf. Sec.	2006	DBLP DOI BibTeX RDF	Transactional Execution, Buffer overflows, Exception
18	Hyesoon Kim, Onur Mutlu, Yale N. Patt, Jared Stark	Wish Branches: Enabling Adaptive and Aggressive Predicated Execution.	IEEE Micro	2006	DBLP DOI BibTeX RDF	Wish branches, wish loops, branch prediction, predicated execution
18	Nikolai Tillmann, Wolfram Schulte	Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	test coverage of code, formal methods, validation, symbolic execution, testing tools, test design
18	Eugene Santos, Scott A. DeLoach, Michael T. Cox	Achieving dynamic, multi-commander, multi-mission planning and execution.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Mobile multiagent systems, Mixed-initiative planning, Distributed mission planning and execution, Intelligent resource allocation, Agent oriented software engineering
18	Hossein Safyallah, Kamran Sartipi	Dynamic Analysis of Software Systems using Execution Pattern Mining.	ICPC	2006	DBLP DOI BibTeX RDF	Feature Extraction, Scenario, Dynamic Analysis, Execution Trace, Sequential Pattern Mining
18	Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke	Using model checking with symbolic execution to verify parallel numerical programs.	ISSTA	2006	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
18	Marco Caccamo, Giorgio C. Buttazzo, Deepu C. Thomas	Efficient Reclaiming in Reservation-Based Real-Time Systems with Variable Execution Times.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Overrun management, resource reclaiming, variable execution times, overload control
18	Wolfgang Emmerich, Ben Butchart, Liang Chen, Bruno Wassermann, Sarah L. Price	Grid Service Orchestration Using the Business Process Execution Language (BPEL).	J. Grid Comput.	2005	DBLP DOI BibTeX RDF	Grid computing, workflow, Grid services, business process execution language
18	Emil Vassev, Joey Paquet	A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed Environment.	CNSR	2005	DBLP DOI BibTeX RDF	Demand-Driven Execution, Distributed Computing, JINI, JavaSpaces, GIPSY
18	Wookjin Lee, Sanghyun Park, Keeyoull Lee, Chunwoo Lee, Byungjeong Lee, Woosung Jung, Taeksu Kim, Heechern Kim, Chisu Wu	Agile Development of Web Application by Supporting Process Execution and Extended UML Model.	APSEC	2005	DBLP DOI BibTeX RDF	extended UML model, Web Application, Agile Methodology, Process Execution
18	Lu Luo, Bonnie E. John	Predicting task execution time on handheld devices using the keystroke-level model.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	task execution time, cognitive modeling, handheld device, keystroke-level model
18	Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla	Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems.	SOSP	2005	DBLP DOI BibTeX RDF	dynamic root of trust, self-check-summing code, software-based code attestation, verifiable code execution, rootkit detection
18	Jan Staschulat, Rolf Ernst	Multiple process execution in cache related preemption delay analysis.	EMSOFT	2004	DBLP DOI BibTeX RDF	scheduling, embedded systems, cache, worst case execution time analysis
18	J. Doyle, C. Meudec	IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming.	PPPJ	2003	DBLP DOI BibTeX RDF	logic programming, symbolic execution, constraint logic programming, Java Bytecode, automatic tests data generation, coverage testing
18	Augustus K. Uht	Disjoint Eager Execution: what it is / what it is not.	SIGARCH Comput. Archit. News	2002	DBLP DOI BibTeX RDF	eager execution, high-performance computing, microarchitecture, control speculation
18	Jan Gustafsson	Worst Case Execution Time Analysis of Object-Oriented Programs.	WORDS	2002	DBLP DOI BibTeX RDF	real-time systems, Object-oriented programming, worst case execution time
18	Faisal Rashid, Kewal K. Saluja, Parameswaran Ramanathan	Fault Tolerance through Re-Execution in Multiscalar Architecture.	DSN	2000	DBLP DOI BibTeX RDF	Multiscalar architecture, Re-execution, Static configuration, Fault-tolerance, Dynamic configuration, Time redundancy
18	Alexander Münnich, Georg Färber	Calculating Worst-Case Execution Times of Transactions in Databases for Event-Driven, Hard Real-Time Embedded Systems.	IDEAS	2000	DBLP DOI BibTeX RDF	worst-case execution, transaction managenrent, real-time systems, concurrency control, real-time embedded systems, safety-critical
18	Jianli Xu, Juha Kuusela	Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Execution archi-tecture, Modeling, Performance, Software architecture, Colored Petri nets
18	George Xirogiannis	Granularity Control for Distributed Execution of Logic Programs.	ICDCS	1998	DBLP DOI BibTeX RDF	grain size, communication, distributed execution
18	Paul Tarau, Verónica Dahl, Koenraad De Bosschere	A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents.	WETICE	1997	DBLP DOI BibTeX RDF	BinProlog, intuitionistic implication, strong metaprogramming, high-order call/N, filtering interactors, security, agents, logic programming, logic programming, mobile code, remote execution
18	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
18	Jun Sun 0002, Jane W.-S. Liu	Bounding completion times of jobs with arbitrary release times and variable execution times.	RTSS	1996	DBLP DOI BibTeX RDF	job completion time bounding, arbitrary release times, variable execution times, linear precedence constraints, priority-driven basis, simulation, scheduling, performance, real-time systems, real-time systems, complexity, upper bounds, workload
18	Bruce W. Weber	Trade execution costs and disintermediated order crossing systems on the London Stock Exchange.	HICSS (4)	1995	DBLP DOI BibTeX RDF	securities trading, disintermediated order crossing systems, trade execution costs, securities exchanges, screen-based markets, investors' orders, intermediation costs, bid-ask spread, broker commission costs, SEAQ market, quote-driven trading mechanism, order arrival, information change, competing dealer market, low-cost trading systems, economics, costing, transactions costs, commerce, electronic trading
18	Kuei Yu Wang, Dan C. Marinescu	Correlation of the paging activity of individual node programs in the SPMD execution mode.	HICSS (1)	1995	DBLP DOI BibTeX RDF	paging activity, individual node programs, SPMD execution mode, parallel program monitoring, scheduling, scheduling, parallel programming, parallel programs, program diagnostics, paged storage
18	Balkrishna Ramkumar, Laxmikant V. Kalé	Machine Independent AND and OR Parallel Execution of Logic Programs: Part I-The Binding Environment.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	binding environment, nonshared memory multiprocessors, Chare Kernel, parallel programming, compiler, logic programming, logic programs, multiprocessing systems, shared memory multiprocessors, parallel execution
18	Luk Levrouw, Koenraad Audenaert	Minimizing the Log Size for Execution Replay of Shared-Memory Programs.	CONPAR	1994	DBLP DOI BibTeX RDF	Execution Replay, Logical Clocks, Parallel Debugging
18	Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli	Software Specialization Via Symbolic Execution.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	environment-supporting specialization, generalized software components, reengineering technique, transformation tools, symbolic executor/simplifier, loop refolder, conceptual basis, Ada programming language, optimizer, Ada, software maintenance, software reuse, maintenance, software reusability, program compilers, symbolic execution, subroutines, interactive environment
18	Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson	CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CTDNet, lambda graphs, data-driven reduction machine, applicative functional programs, lambda calculus expressions, binary-tree-structured process graphs, ancestor, master processes, slave processes, distributed eager evaluation scheme, conditional expressions, distributed string reduction, parallel programmingas, graph theory, children, parallel machines, pointers, concurrent execution, neighbors
18	Kazim Yumbul, Erkay Savas	Efficient, secure, and isolated execution of cryptographic algorithms on a cryptographic unit.	SIN	2009	DBLP DOI BibTeX RDF	security, computer architecture, public key cryptography, instruction set extensions, cryptographic algorithms, aes
18	Trosky Boris Callo Arias, Pierre America, Paris Avgeriou	Defining execution viewpoints for a large and complex software-intensive system.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
18	Michael Hauck 0001, Michael Kuperberg, Klaus Krogmann, Ralf H. Reussner	Modelling Layered Component Execution Environments for Performance Prediction.	CBSE	2009	DBLP DOI BibTeX RDF
18	Narayanan Sundaram, Anand Raghunathan, Srimat T. Chakradhar	A framework for efficient and scalable execution of domain-specific templates on GPUs.	IPDPS	2009	DBLP DOI BibTeX RDF
18	Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song	Loop-extended symbolic execution on binary programs.	ISSTA	2009	DBLP DOI BibTeX RDF	loop summaries, vulnerability discovery and diagnosis
18	Jason Crampton, Hemanth Khambhammettu	On delegation and workflow execution models.	SAC	2008	DBLP DOI BibTeX RDF	delegation, workflow management systems
18	Sanghyun Park, Aviral Shrivastava, Yunheung Paek	Hiding Cache Miss Penalty Using Priority-based Execution for Embedded Processors.	DATE	2008	DBLP DOI BibTeX RDF
18	Kalyan S. Perumalla, Brandon G. Aaby	Data parallel execution challenges and runtime performance of agent simulations on GPUs.	SpringSim	2008	DBLP DOI BibTeX RDF	graphical processing units, parallel simulation, agent-based simulation, emergent behavior, large-scale simulation
18	Xiaochun Zhu, Bo Zhou 0010, Li Hou, Junbo Chen, Lu Chen	An Experience-Based Approach for Test Execution Effort Estimation.	ICYCS	2008	DBLP DOI BibTeX RDF
18	Weiyu Chen, Jingjing Wu, Weiwei Sun, Zhenying He	A Location Based Execution Path Selection for Composite Service in MANETs.	ICYCS	2008	DBLP DOI BibTeX RDF
18	Nagarajan Venkateswaran, Vinoth Krishnan Elangovan, Karthik Ganesan 0006, T. R. S. Sagar, S. Aananthakrishanan, S. Ramalingam, Shyamsundar Gopalakrishnan, Madhavan Manivannan, Deepak Srinivasan, Viswanath Krishnamurthy, Karthik Chandrasekar 0001, Viswanath Venkatesan, Balaji Subramaniam, V. Sangkar, Aravind Vasudevan, Shrikanth Ganapathy, Sriram Murali, M. Thyagarajan	On the concept of simultaneous execution of multiple applications on hierarchically based cluster and the silicon operating system.	IPDPS	2008	DBLP DOI BibTeX RDF
18	Krishnamurthy Vidyasankar, P. Radha Krishna 0001, Kamalakar Karlapalem	Study of Execution Centric Payment Issues in E-contracts.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	transaction properties, composition graph, payment tree, payments, e-contracts
18	HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders	A Parsimonious Approach for Obtaining Resource-Efficient and Trustworthy Execution.	IEEE Trans. Dependable Secur. Comput.	2007	DBLP DOI BibTeX RDF	fault tolerance, Distributed systems, Byzantine faults
18	Najwa Aaraj, Anand Raghunathan, Srivaths Ravi 0001, Niraj K. Jha	Energy and execution time analysis of a software-based trusted platform module.	DATE	2007	DBLP DOI BibTeX RDF
18	Erik Elmroth, Francisco Hernández-Rodriguez, Johan Tordsson	A Light-Weight Grid Workflow Execution Engine Enabling Client and Middleware Independence.	PPAM	2007	DBLP DOI BibTeX RDF
18	Qin Zhao, Joon Edward Sim, Weng-Fai Wong, Larry Rudolph	DEP: detailed execution profile.	PACT	2006	DBLP DOI BibTeX RDF	memory reference, profile, control flow, dynamic instrumentation
18	Hervé Ménager, Zoé Lacroix	A Workflow Engine for the Execution of Scientific Protocols.	ICDE Workshops	2006	DBLP DOI BibTeX RDF