Search results for "execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Shinpei Kato, Nobuyuki Yamasaki	Extended U-Link Scheduling to Increase the Execution Efficiency for SMT Real-Time Systems.	RTCSA	2006	DBLP DOI BibTeX RDF
18	Lamine Bougueroua, Hui Xue Zhao, Laurent George 0001, Serge Midonnet	Execution Overrun Management for Fixed-Priority Preemptive Scheduling of Sporadic Graph Tasks.	ETFA	2006	DBLP DOI BibTeX RDF
18	Nicolas Loriant, Jean-Marc Menaud	The Case for Distributed Execution Replay Using a Virtual Machine.	WETICE	2006	DBLP DOI BibTeX RDF
18	H. C. Wang, C. K. Yuen	A general framework to build new CPUs by mapping abstract machine code to instruction level parallel execution hardware.	SIGARCH Comput. Archit. News	2005	DBLP DOI BibTeX RDF
18	Panu Phinjaroenphan, Savitri Bevinakoppa, Panlop Zeephongsekul	A Method for Estimating the Execution Time of a Parallel Task on a Grid Node.	EGC	2005	DBLP DOI BibTeX RDF
18	K. Vidyasankar, V. S. Ananthanarayana	Binding and Execution of Web Service Compositions.	WISE	2005	DBLP DOI BibTeX RDF
18	Martin Skambraks	A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts.	SAFECOMP	2005	DBLP DOI BibTeX RDF
18	Jawad Khan, Ranga Vemuri	Battery-Efficient Task Execution on Reconfigurable Computing Platforms with Multiple Processing Units.	IPDPS	2005	DBLP DOI BibTeX RDF
18	Zhaoxia Lu, Guangzhou Zeng, Yaping Zhong, Gongping Yang	Enable Efficient Stage Construction for Replication based Fault-tolerant Execution of Mobile Agent.	ICEBE	2005	DBLP DOI BibTeX RDF
18	Tim Schattkowsky, Wolfgang Müller 0003	Transformation of UML State Machines for Direct Execution.	VL/HCC	2005	DBLP DOI BibTeX RDF
18	Chao-Tung Yang, Po-Chi Shih, Cheng-Fang Lin, Ching-Hsien Hsu, Kuan-Ching Li	A Chronological History-Based Execution Time Estimation Model for Embarrassingly Parallel Applications on Grids.	ISPA	2005	DBLP DOI BibTeX RDF	time estimation model, embarrassingly parallelization, performance evaluation, Grid computing
18	Gordon Fraser 0001, Gerald Steinbauer, Franz Wotawa	Plan Execution in Dynamic Environments.	IEA/AIE	2005	DBLP DOI BibTeX RDF
18	Jing Wang 0002, Yanbo Han	Decentralized execution of composite e-services with VINCA micro engine.	GrC	2005	DBLP DOI BibTeX RDF
18	Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj	QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.	CAV	2004	DBLP DOI BibTeX RDF
18	Steve Goddard, Xin Liu	A Variable Rate Execution Model.	ECRTS	2004	DBLP DOI BibTeX RDF
18	Won Woo Ro, Jean-Luc Gaudiot	SPEAR: A Hybrid Model for Speculative Pre-Execution.	IPDPS	2004	DBLP DOI BibTeX RDF
18	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	THROWS: An Architecture for Highly Available Distributed Execution of Web Services Compositions.	RIDE	2004	DBLP DOI BibTeX RDF
18	K. Kalapriya, S. K. Nandy 0001, V. Satish, R. Uma Maheshwari, Deepti Srinivas	An Architectural View of the Entities Required for Execution of Task in Pervasive Space.	FTDCS	2004	DBLP DOI BibTeX RDF
18	Karin Högstedt, Larry Carter, Jeanne Ferrante	On the Parallel Execution Time of Tiled Loops.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	compiler optimization, parallel compilers, Tiling, blocking
18	Debra E. VanderMeer, Anindya Datta, Kaushik Dutta, Helen M. Thomas, Krithi Ramamritham, Shamkant B. Navathe	FUSION: A System Allowing Dynamic Web Service Composition and Automatic Execution.	CEC	2003	DBLP DOI BibTeX RDF
18	Kazuya Tanigawa, Tetsuo Hironaka, Akira Kojima, Noriyoshi Yoshida	A Generalized Execution Model for Programming on Reconfigurable Architectures and an Architecture Supporting the Model.	FPL	2002	DBLP DOI BibTeX RDF
18	Marek Tudruj, Lukasz Masko	Program Execution Control for Communication on the Fly in Dynamic Shared Memory Processor Clusters.	PARELEC	2002	DBLP DOI BibTeX RDF
18	Damian Kopanski, Eryk Laskowski, Marek Tudruj	Modeling Parallel program Execution Control by Directed Graphs with Synchronous Communication.	PARELEC	2002	DBLP DOI BibTeX RDF
18	Gopal Gupta 0001, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo	Parallel execution of prolog programs: a survey.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	parallelism, logic programming, prolog, constraint programming, Automatic parallelization
18	C. Koutsikas, Nicos Malevris	A Unified Symbolic Execution System.	AICCSA	2001	DBLP DOI BibTeX RDF
18	Johann Eder, Wolfgang Gruber, Euthimios Panagos	Temporal Modeling of Workflows with Conditional Execution Paths.	DEXA	2000	DBLP DOI BibTeX RDF
18	Bill Stoddart	An Execution Architecture for GSL.	ZB	2000	DBLP DOI BibTeX RDF	Animation, Virtual Machines, Reversible Computation, B
18	Richard Vlach	Efficient Execution Strategies for Mobile Procedures Querying Distributed Databases.	DOA	2000	DBLP DOI BibTeX RDF
18	Artur Klauser, Dirk Grunwald	Instruction Fetch Mechanisms for Multipath Execution Processors.	MICRO	1999	DBLP DOI BibTeX RDF
18	Zachary G. Ives, Daniela Florescu, Marc T. Friedman, Alon Y. Levy, Daniel S. Weld	An Adaptive Query Execution System for Data Integration.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
18	Jakob Engblom, Andreas Ermedahl, Peter Altenbernd	Facilitating worst-case execution times analysis for optimized code.	ECRTS	1998	DBLP DOI BibTeX RDF
18	Hui-I Hsiao, Ming-Syan Chen, Philip S. Yu	Parallel Execution of Hash Joins in Parallel Databases.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Hash filters, bushy trees, pipelining, hash joins
18	Samir R. Das	Estimating the Cost of Throttled Execution in Time Warp.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	performance model, discrete event simulation, parallel simulation, time warp
18	Allen D. Malony, John L. Larson, Daniel A. Reed	Tracing application program execution on the Cray X-MP and Cray 2.	SC	1990	DBLP DOI BibTeX RDF	CRAY X-MP
18	Stefano Ceri, Giuseppe Pelagatti	Correctness of Query Execution Strategies in Distributed Databases.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	correctness of database access, distributed database access, relational algebra, read-only transactions
17	Matthias Wieland 0001, Peter Kaczmarczyk, Daniela Nicklas	Context Integration for Smart Workflows.	PerCom	2008	DBLP DOI BibTeX RDF	uibiqitous computing, Bussines Process Execution Language (BPEL), Smart Factory, context awareness, process modelling, workflow execution
17	David Brumley, Pongsin Poosankam, Dawn Xiaodong Song, Jiang Zheng 0002	Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications.	SP	2008	DBLP DOI BibTeX RDF	exploit generation, combined execution, symbolic execution, test case generation, patch
17	Sibsankar Haldar, K. Vidyasankar	On specification of Read/Write shared variables.	J. ACM	2007	DBLP DOI BibTeX RDF	defining condition, defining relation, illegality, nonatomic operation execution, system execution, framework, multiprocessor, consistency, Atomicity, causality, partial order, linearization, axiom, shared variable, linear extension
17	Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman	Achieving both model and code coverage with automated gray-box testing.	A-MOST	2007	DBLP DOI BibTeX RDF	concolic execution, parameterized unit testing, model-based testing, symbolic execution, test-case generation
17	Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews	A Tool-Supported Approach to Testing UML Design Models.	ICECCS	2005	DBLP DOI BibTeX RDF	UML, software testing, code generation, class diagram, test adequacy criteria, model execution, test execution, interaction diagrams
17	Joachim von Buttlar, Wilhelm G. Spruth	Forschungs- und Entwicklungsprojekte: Virtuelle Maschinen: zSeries- und S/390-Partitionierung.	Inform. Forsch. Entwickl.	2004	DBLP DOI BibTeX RDF	Intelligent Resource Director, IRD, Interpretive Execution Facility, LPAR, LIC, OS/390, Parallel Sysplex, Partitionierung, PR/SM, Shadow Page Table, S/390, SIE, Start Interpretive Execution, zSeries, z/OS, z/VM, Virtual Machine, Hypervisor, VMM
17	Lucian N. Vintan, Marius Sbera, Ioan Z. Mihu, Adrian Florea	An alternative to branch prediction: pre-computed branches.	SIGARCH Comput. Archit. News	2003	DBLP DOI BibTeX RDF	complexity evaluations, multiple instruction issue, performance, pipelining, speculative execution, execution driven simulation, dynamic branch prediction
17	Sibsankar Haldar, Paul M. B. Vitányi	Bounded concurrent timestamp systems using vector clocks.	J. ACM	2002	DBLP DOI BibTeX RDF	Concurrent reading while writing, labeling and scan, nonatomic operation execution, operation execution, operation-read and write, regular and atomic, shared variable-safe, timestamp system, traceability, label, wait-freedom, vector clock
17	Rakefet Kol, Ran Ginosar	Kin: A High Performance Asynchronous Processor Architecture.	International Conference on Supercomputing	1998	DBLP DOI BibTeX RDF	asynchronous architecture, avid execution, dynamic instance tag, multi-execution, pruning
17	Eric Sprangle, Yale N. Patt	Facilitating superscalar processing via a combined static/dynamic register renaming scheme.	MICRO	1994	DBLP DOI BibTeX RDF	superscalar processors, out-of-order execution, register renaming, predicated execution
17	Bin Qin, Howard A. Sholl, Reda A. Ammar	Micro Time Cost Analysis of Parallel Computations.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	micro time cost analysis, time cost behavior, processing power allocation, execution overhead, computation structure model, TCAS, time cost analysis system, performance evaluation, algorithm, communication, parallel programming, parallel computations, data structure, software tool, software metrics, shared memory, programming theory, input, execution environment, processor speed
17	Benedikt Schmidt 0001, Todor Stoitsev, Max Mühlhäuser	Activity-centric support for weakly-structured business processes.	EICS	2010	DBLP DOI BibTeX RDF	knowledge work support, task execution support, human-computer interaction
17	Amin Ansari, Shuguang Feng, Shantanu Gupta, Scott A. Mahlke	Necromancer: enhancing system throughput by animating dead cores.	ISCA	2010	DBLP DOI BibTeX RDF	execution abstraction, heterogeneous core coupling, manufacturing defects
17	Dongyoon Lee, Benjamin Wester, Kaushik Veeraraghavan, Satish Narayanasamy, Peter M. Chen, Jason Flinn	Respec: efficient online multiprocessor replayvia speculation and external determinism.	ASPLOS	2010	DBLP DOI BibTeX RDF	external determinism, speculative execution, replay
17	Christof Pitter	Time-predictable memory arbitration for a Java chip-multiprocessor.	JTRES	2008	DBLP DOI BibTeX RDF	Java, chip-multiprocessor, shared memory, worst-case execution time
17	Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam	Conformance Testing of Distributed Concurrent Systems with Executable Designs.	FMCO	2008	DBLP DOI BibTeX RDF	concolic execution, Creol, Model-based testing, conformance testing, Maude
17	Najwa Aaraj, Anand Raghunathan, Niraj K. Jha	Dynamic Binary Instrumentation-Based Framework for Malware Defense.	DIMVA	2008	DBLP DOI BibTeX RDF	control-data flow, execution context, dynamic binary instrumentation, virtualization, Malware
17	Mohamed G. Gouda, F. Furman Haddix	The alternator.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	System transformation, Serial execution, Distributed systems, Concurrency, Self-stabilization
17	Zuling Kang, Hongbing Wang, Patrick C. K. Hung	WS-CDL+ for web service collaboration.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	WS-CDL+, Execution engine, Web service, Collaboration
17	Erez Perelman, Jeremy Lau, Harish Patil, Aamer Jaleel, Greg Hamerly, Brad Calder	Cross Binary Simulation Points.	ISPASS	2007	DBLP DOI BibTeX RDF	cross binary simulation point, SimPoint, architectural design space exploration, compiler optimization evaluation, program execution, program evaluation
17	Yonghong Yan 0001, Barbara M. Chapman	Campus Grids Meet Applications: Modeling, Metascheduling and Integration.	J. Grid Comput.	2006	DBLP DOI BibTeX RDF	Campus Grid, Workflow Description, Metascheduling, Execution Plan, Resource Co-allocation and Reservation
17	Jörg Platte, Raúl Durán Díaz, Edwin Naroska	An Operating System Design for the Security Architecture for Microprocessors.	ICICS	2006	DBLP DOI BibTeX RDF	Encrypted Programs, Secure Processors, Secure Operating Systems, Certified Execution
17	David N. Morley, Karen L. Myers, Neil Yorke-Smith	Continuous refinement of agent resource estimates.	AAMAS	2006	DBLP DOI BibTeX RDF	belief-desire-intention agents, resource approximation, procedural knowledge, plan execution
17	Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla	Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System.	Euro-Par	2004	DBLP DOI BibTeX RDF	granularity control, mobile code certification, GRIDs, resource awareness, distributed execution
17	Li-Ling Chen, Youfeng Wu	Aggressive Compiler Optimization and Parallelization with Thread-Level Speculation.	ICPP	2003	DBLP DOI BibTeX RDF	high-performance architecture and region formation, compiler optimizations, speculative execution, thread-level parallelism
17	Jinwoo Suh, Viktor K. Prasanna	An Efficient Algorithm for Out-of-Core Matrix Transposition.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	data transfer time, index computation time, I/O time, execution time, out-of-core, matrix transpose
17	James M. Lebak, Adam W. Bojanczyk	Design and Performance Evaluation of a Portable Parallel Library for Space-Time Adaptive Processing.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Space-time adaptive processing, library development, execution-time modeling, fine-grain parallelism, portable software
17	Gerasimos Xydas, Jérôme Tassel	Experimentation in CPU Control with Real-Time Java.	ISORC	2000	DBLP DOI BibTeX RDF	host resource manager, QoS, worst case execution time, streaming media, real-time Java, CPU, end-to-end, rate-monotonic
17	David I. August, Wen-mei W. Hwu, Scott A. Mahlke	A Framework for Balancing Control Flow and Predication.	MICRO	1997	DBLP DOI BibTeX RDF	conditional instructions, if-conversion, predicated instructions, program control flow, schedule time, scheduling decisions, compiler, parallel architecture, instruction-level parallelism, optimising compilers, predicated execution
17	Nasser Kalantery	Parallel discrete event processing of sequential computations.	ICPADS	1997	DBLP DOI BibTeX RDF	parallel discrete event processing, discrete event methods, sequential software parallelization, optimistic execution strategy, temporal coordinate system, logical time mechanism, adaptive synchronisation, data dependent parallelism, conditional parallelism, coherency violation, coarse grain mapping, parallel discrete event simulation, program control structures, program control structure, sequential computations
17	Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima	A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.	APSEC	1996	DBLP DOI BibTeX RDF	Ada programming language, Event InterActions Graph(EIAG), nondeterministic execution, software testing, concurrent programs, test-cases, structural testing, testing criteria
17	Aloysius K. Mok, Deji Chen 0001	A multiframe model for real-time tasks.	RTSS	1996	DBLP DOI BibTeX RDF	multiframe model, periodic task model, worst-case execution time bound, number sequence, preemptive fixed priority scheduling policy, scheduling, schedulability problem, utilization bound, real-time tasks
17	David W. Binkley	Reducing the cost of regression testing by semantics guided test case selection.	ICSM	1995	DBLP DOI BibTeX RDF	semantics guided test case selection, semantic differences, common execution patterns, interprocedural slice, calling context slice, software maintenance, software maintenance, program testing, program testing, regression testing, cost, software cost estimation, language semantics
17	Shmuel Katz, Doron A. Peled	An efficient verification method for parallel and distributed programs.	REX Workshop	1988	DBLP DOI BibTeX RDF	Proof lattices, Verification, Temporal logic, Partial order semantics, Execution sequences
17	Glenn Ammons, Jonathan Appavoo, Maria A. Butrico, Dilma Da Silva, David Grove, Kiyokuni Kawachiya, Orran Krieger, Bryan S. Rosenburg, Eric Van Hensbergen, Robert W. Wisniewski	Libra: a library operating system for a jvm in a virtualized execution environment.	VEE	2007	DBLP DOI BibTeX RDF	exokernels, virtualization, JVM, xen
17	Shukang Zhou, Bruce R. Childers, Mary Lou Soffa	Planning for code buffer management in distributed virtual execution environments.	VEE	2005	DBLP DOI BibTeX RDF	adaptive code cache, code buffer, distributed environments, program partitioning, dynamic translation, generational cache
17	Hong-ning Zhu, Bin Zhang 0001, Xian-wen Gao	A Service Selection Method of Non-critical Task in Parallel Structure.	WKDD	2009	DBLP DOI BibTeX RDF
17	Sukhdeep Sodhi, Jaspal Subhlok, Qiang Xu	Performance prediction with skeletons.	Clust. Comput.	2008	DBLP DOI BibTeX RDF	Perfromance skeletons, Scheduling, Grid computing, Performance modeling, Resource management, Performance prediction
17	Sérgio Manuel Serra da Cruz, Fernando Seabra Chirigati, Rafael Dahis, Maria Luiza Machado Campos, Marta Mattoso	Using Explicit Control Processes in Distributed Workflows to Gather Provenance.	IPAW	2008	DBLP DOI BibTeX RDF	distributed computing, workflow, scientific workflow, provenance
17	Panagiotis G. Ipeirotis, Eugene Agichtein, Pranay Jain, Luis Gravano	Towards a query optimizer for text-centric tasks.	ACM Trans. Database Syst.	2007	DBLP DOI BibTeX RDF	text database selection, information extraction, distributed information retrieval, Metasearching, focused crawling
17	Hasyim Gautama, Arjan J. C. van Gemund	Low-Cost Static Performance Prediction of Parallel Stochastic Task Compositions.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	stochastic graphs, Performance prediction, workload distribution
17	Jeremy Lau, Erez Perelman, Brad Calder	Selecting Software Phase Markers with Code Structure Analysis.	CGO	2006	DBLP DOI BibTeX RDF
17	Mohammad Hussein, Franck Morvan, Abdelkader Hameurlain	Embedded cost model in mobile agents for large scale query optimization.	ISPDC	2005	DBLP DOI BibTeX RDF
17	Eryk Laskowski, Marek Tudruj	Inter-processor Connection Reconfiguration Based on Dynamic Look-Ahead Control of Multiple Crossbar Switches.	FPL	2003	DBLP DOI BibTeX RDF
17	Hasyim Gautama, Arjan J. C. van Gemund	Low-Cost Performance Prediction of Data-Dependent Data Parallel Programs.	MASCOTS	2001	DBLP DOI BibTeX RDF
17	Bruce G. Lindsay 0001, Laura M. Haas, C. Mohan 0001, Paul F. Wilms, Robert A. Yost	Computation & Communication in R*: A Distributed Database Manager (Extended Abstract). (long version: ACM Trans. Comput. Syst. 2(1): 24-38(1984))	SOSP	1983	DBLP DOI BibTeX RDF
16	Kalyan S. Perumalla, Alfred Park	Improving Multi-million Virtual Rank MPI Execution in [MUPI].	MASCOTS	2011	DBLP DOI BibTeX RDF	Virtual Execution, Message Passing Interface, Parallel Discrete Event Simulation, Exascale
16	Heidar Pirzadeh, Sara Shanian, Abdelwahab Hamou-Lhadj, Ali Mehrabian	The Concept of Stratified Sampling of Execution Traces.	ICPC	2011	DBLP DOI BibTeX RDF	execution phases, program comprehension, Trace analysis, stratified sampling, sampling techniques
16	Jens Brüning, Martin Gogolla	UML Metamodel-based Workflow Modeling and Execution.	EDOC	2011	DBLP DOI BibTeX RDF	Business process metamodels, Unified Modeling Language, Business process models, Model Validation, Workflow execution
16	Simon Tragatschnig, Uwe Zdun	Runtime Process Adaptation for BPEL Process Execution Engines.	EDOCW	2011	DBLP DOI BibTeX RDF	Runtime Process Adaptation, Process Execution Engine, BPEL, Adaptation Model
16	T. Manjula Peirs, James H. Hill	Towards Adapting System Execution Traces for Validation of Enterprise Distributed System QoS Properties.	EDOCW	2011	DBLP DOI BibTeX RDF	SETAF, QoS validation, system execution traces, adaption
16	Sudarshan K. Srinivasan	Automatic Refinement Checking of Pipelines with Out-of-Order Execution.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	Pipelined machine verification, refinement, out-of-order execution
16	Richard Murphy, Thomas L. Sterling, Chirag Dekate	Advanced Architectures and Execution Models to Support Green Computing.	Comput. Sci. Eng.	2010	DBLP DOI BibTeX RDF	Multicore, systems engineering, supercomputer, power efficiency, execution model
16	Shali Yan, Zhenyu Chen 0001, Zhihong Zhao, Chen Zhang, Yuming Zhou	A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information.	ICST	2010	DBLP DOI BibTeX RDF	cluster filtering, cluster sampling, execution spectra, test selection
16	Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa	When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.	ICST	2010	DBLP DOI BibTeX RDF	symbolic input-output conformance, symbolic test case generation, model-based testing, conformance testing, symbolic execution
16	Zhen Ming Jiang, Alberto Avritzer, Emad Shihab, Ahmed E. Hassan, Parminder Flora	An Industrial Case Study on Speeding Up User Acceptance Testing by Mining Execution Logs.	SSIRI	2010	DBLP DOI BibTeX RDF	Execution logs, Mining Repositories, Reliability
16	Juan Fang, Hongbo Zhang	Analysis and Improvement of Dynamic Multi-core Hardware Prefetch Technology Based on Pre-execution.	FCST	2010	DBLP DOI BibTeX RDF	multi-core prefetch, pre-execution based prefetching, coherency of cache, CMP, multicore architecture
16	James H. Hill	Context-Based Analysis of System Execution Traces for Validating Distributed Real-Time and Embedded System Quality-of-Service Properties.	RTCSA	2010	DBLP DOI BibTeX RDF	system execution traces, QoS validation, aspects, viewpoints
16	Dominique Devriese, Frank Piessens	Noninterference through Secure Multi-execution.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	Secure Multi-Execution, Information Flow, Noninterference
16	Edward J. Schwartz, Thanassis Avgerinos, David Brumley	All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask).	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	dynamic analysis, symbolic execution, taint analysis
16	Jun Sawamoto, Eiji Sugino, Norihisa Segawa, Yuji Wada	Program Learning Using Static Information and Dynamic Program Execution Slices.	AINA Workshops	2010	DBLP DOI BibTeX RDF	execution history, program reuse, program understanding, program learning, program maintenance
16	Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry	Event Listener Analysis and Symbolic Execution for Testing GUI Applications.	ICFEM	2009	DBLP DOI BibTeX RDF	symbolic execution, GUI testing, test input generation
16	Andreas Ermedahl, Johan Fredriksson, Jan Gustafsson, Peter Altenbernd	Deriving the Worst-Case Execution Time Input Values.	ECRTS	2009	DBLP DOI BibTeX RDF	Worst-Case Execution Time (WCET) analysis, real-time systems
16	Béla Genge, Piroska Haller	Towards Automated Secure Web Service Execution.	Networking	2009	DBLP DOI BibTeX RDF	automated execution, ontology, Web services, Security protocols
16	Lingyun Ying, Purui Su, Dengguo Feng, Xianggen Wang, Yi Yang 0040, Yu Liu	ReconBin: Reconstructing Binary File from Execution for Software Analysis.	SSIRI	2009	DBLP DOI BibTeX RDF	software security analysis, binary analysis, execution monitoring, malware analysis