Search results for "execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Hyesoon Kim, Onur Mutlu, Jared Stark, Yale N. Patt	Wish Branches: Combining Conditional Branching and Predication for Adaptive Predicated Execution.	MICRO	2005	DBLP DOI BibTeX RDF
16	Onur Mutlu, Hyesoon Kim, Yale N. Patt	Address-Value Delta (AVD) Prediction: Increasing the Effectiveness of Runahead Execution by Exploiting Regular Memory Allocation Patterns.	MICRO	2005	DBLP DOI BibTeX RDF
16	Michelangelo Giansiracusa, Selwyn Russell, Andrew J. Clark, John Hynd	An Improved Execution Integrity Solution for Mobile Agents.	ACISP	2005	DBLP DOI BibTeX RDF
16	Ki-Young Choi, Tae-Dong Lee, Chang-Sung Jeong	RTI Execution Environment Using Open Grid Service Architecture.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
16	HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders	Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution.	LADC	2005	DBLP DOI BibTeX RDF
16	Jin Yang 0005, Jiannong Cao 0001, Weigang Wu, Cheng-Zhong Xu 0001	A Framework for Transactional Mobile Agent Execution.	GCC	2005	DBLP DOI BibTeX RDF
16	Xiaodong Yi 0002, Ji Wang 0001, Xuejun Yang	Verification of C Programs using Slicing Execution.	QSIC	2005	DBLP DOI BibTeX RDF
16	Kairong Zhang, Masahiro Nagamatu	Solving Satisfiability Problem by Parallel Execution of Neural Networks with Biases.	ICANN (2)	2005	DBLP DOI BibTeX RDF
16	Yuriy Nevmyvaka, Michael J. Kearns, Amy Papandreou, Katia P. Sycara	Electronic Trading in Order-Driven Markets: Efficient Execution.	CEC	2005	DBLP DOI BibTeX RDF
16	Satish Narayanasamy, Gilles Pokam, Brad Calder	BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging.	ISCA	2005	DBLP DOI BibTeX RDF
16	Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis	Correct Execution of Transactions at Different Isolation Levels.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	transactions, correctness, serializability, Isolation levels
16	Daniel Kroening, Alex Groce, Edmund M. Clarke	Counterexample Guided Abstraction Refinement Via Program Execution.	ICFEM	2004	DBLP DOI BibTeX RDF
16	Violeta Felea, Bernard Toursel	Adaptive Distributed Execution of Java Applications.	PDP	2004	DBLP DOI BibTeX RDF
16	Alexander Maxiaguine, Simon Künzli 0001, Lothar Thiele	Workload Characterization Model for Tasks with Variable Execution Demand.	DATE	2004	DBLP DOI BibTeX RDF
16	Toshiyuki Okamura, Buntarou Shizuki, Jiro Tanaka	Execution Visualization and Debugging in Three-Dimensional Visual Programmin.	IV	2004	DBLP DOI BibTeX RDF
16	Swathi Tanjore Gurumani, Aleksandar Milenkovic	Execution characteristics of SPEC CPU2000 benchmarks: Intel C++ vs. Microsoft VC++.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	SPEC CPU2000 benchmarks, event-based sampling, performance evaluation, compiler optimizations
16	Gordon Fraser 0001, Franz Wotawa	Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains.	RoboCup	2004	DBLP DOI BibTeX RDF
16	Jun Wu 0010, Jian-Jia Chen, Chih-wen Hsueh, Tei-Wei Kuo	Scheduling of Query Execution Plans in Symmetric Multiprocessor Database Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
16	Matthias Kühnemann, Thomas Rauber, Gudula Rünger	Improving the execution time of global communication operations.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	global communication operations, orthogonal processor groups, parallel programs, MPI
16	Michel Dubois 0001	Fighting the memory wall with assisted execution.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	prefetching, cache memories, superscalar processors, simultaneous multithreading, latency tolerance
16	SungJin Choi, MaengSoon Baik, HongSoo Kim, JunWeon Yoon, Jin Gon Shon, Chong-Sun Hwang	Region-based Stage Construction Protocol for Fault tolerant Execution of Mobile Agent.	AINA (2)	2004	DBLP DOI BibTeX RDF
16	Juan Zamorano, Alejandro Alonso 0001, José Antonio Pulido, Juan Antonio de la Puente	Implementing Execution-Time Clocks for the Ada Ravenscar Profile.	Ada-Europe	2004	DBLP DOI BibTeX RDF
16	Oscar Esparza, Miguel Soriano, Jose L. Muñoz, Jordi Forné	A protocol for detecting malicious hosts based on limiting the execution time of mobile agents.	ISCC	2003	DBLP DOI BibTeX RDF
16	Hans-Gerhard Groß, Nikolas Mayer	Search-based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development.	WORDS	2003	DBLP DOI BibTeX RDF
16	Stefan Schemmer, Edgar Nett	Achieving Reliable and Timely Task Execution in Mobile Embedded Applications.	WORDS Fall	2003	DBLP DOI BibTeX RDF
16	Marco Caccamo, Giorgio C. Buttazzo, Lui Sha	Handling Execution Overruns in Hard Real-Time Control Systems.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Overrun management, real-time scheduling, rate adaptation
16	Atakan Dogan, Füsun Özgüner	Matching and Scheduling Algorithms for Minimizing Execution Time and Failure Probability of Applications in Heterogeneous Computing.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	matching and scheduling, precedence-constrained tasks, articulation points and bridges, DLS algorithm, reliability, heterogeneous computing
16	Danny Weyns, Eddy Truyen, Pierre Verbaeten	Serialization of Distributed Execution-State in Java.	NetObjectDays	2002	DBLP DOI BibTeX RDF
16	Sofie Verbaeten, Danny De Schreye	Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Logic Programming, Termination, Tabling
16	Angel Perles Ivars, Xavier Molero, Antonio Martí Campoy, Vicente Santonja, Juan José Serrano	Improving the Execution of Groups of Simulations on a Cluster of Workstations and Its Application to Storage Area Networks.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
16	Toshinori Sato, Itsujiro Arita	Execution Latency Reduction via Variable Latency Pipeline and Instruction Reuse.	Euro-Par	2001	DBLP DOI BibTeX RDF
16	Michael Fisher 0001	Direct Execution of Agent Specifications.	FAABS	2000	DBLP DOI BibTeX RDF
16	Wolf Pfannenstiel	Combining Fusion Optimizations and Piecewise Execution of Nested Data-Parallel Programs.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
16	Douglas Thain, Miron Livny	Bypass: A Tool for Building Split Execution Systems.	HPDC	2000	DBLP DOI BibTeX RDF
16	John C. Munson, Sebastian G. Elbaum	Software Reliability as a Function of User Execution Patterns.	HICSS	1999	DBLP DOI BibTeX RDF
16	Prabhakar Raghavan, Hadas Shachnai, Mira Yaniv	Dynamic Schemes for Speculative Execution of Code.	MASCOTS	1998	DBLP DOI BibTeX RDF
16	Flavio De Paoli, Francesco Tisato, Carlo Bellettini	TDA: A Time Driven Engine for Predictable Execution of Realtime Systems.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
16	Steven Wallace, Brad Calder, Dean M. Tullsen	Threaded Multiple Path Execution.	ISCA	1998	DBLP DOI BibTeX RDF
16	Artur Klauser, Abhijit Paithankar, Dirk Grunwald	Selective Eager Execution on the PolyPath Architecture.	ISCA	1998	DBLP DOI BibTeX RDF
16	Angela Sampogna, David R. Kaeli, Daniel Green, Michael Silva, Christopher J. Sniezek	Performance Modeling Using Object-Oriented Execution-Driven Simulation.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF
16	I-Min A. Chen, Richard Hull 0001, Dennis McLeod	An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	deltas on database states, limited ambiguity rules, semantic data models, active database systems, update propagation, derived data
16	Hui-I Hsiao, Ming-Syan Chen, Philip S. Yu	On Parallel Execution of Multiple Pipelined Hash Joins.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF
16	Kevin B. Theobald, Guang R. Gao, Laurie J. Hendren	Speculative Execution and Branch Prediction on Parallel Machines.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
16	Dave D. Straube, M. Tamer Özsu	Execution Plan Generation for an Object-Oriented Dat Model. (long version: IEEE Trans. Knowl. Data Eng. 7(2): 210-227(1995))	DOOD	1991	DBLP DOI BibTeX RDF
16	Craig B. Stunkel, W. Kent Fuchs	TRAPEDS: Producing Traces for Multicomputers Via Execution Driven Simulation.	SIGMETRICS	1989	DBLP DOI BibTeX RDF	Intel 80386
16	Raghu Karinthi, Mark D. Weiser	Incremental re-execution of programs.	PLDI	1987	DBLP DOI BibTeX RDF
16	David J. DeWitt	Query Execution in DIRECT.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF
15	Allison W. Lee, Mohamed Zaït, Thierry Cruanes, Rafi Ahmed, Yali Zhu	Validating the Oracle SQL engine.	DBTest	2009	DBLP DOI BibTeX RDF	execution plan, test, SQL, validation, query optimization, database systems, Oracle
15	Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens	Test Input Generation for Programs with Pointers.	TACAS	2009	DBLP DOI BibTeX RDF	symbolic execution, pointers, Test input generation
15	Jun Huang, Soo-Young Lee	A heterogeneity-aware approach to load balancing of computational tasks: a theoretical and simulation study.	Clust. Comput.	2008	DBLP DOI BibTeX RDF	Average execution time, Spatial heterogeneity, Temporal heterogeneity, Load balancing, Stochastic model, Random variables
15	Ashley T. McNeile, Ella E. Roubtsova	Executable Protocol Models as a Requirements Engineering Tool.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	event protocols, composition, requirements, CSP, model execution
15	Patrice Godefroid, Michael Y. Levin, David A. Molnar	Active property checking.	EMSOFT	2008	DBLP DOI BibTeX RDF	security, software testing, symbolic execution
15	Weirong Zhu, Yanwei Niu, Guang R. Gao	Performance portability on EARTH: a case study across several parallel architectures.	Clust. Comput.	2007	DBLP DOI BibTeX RDF	Code portability, Programming execution model, Fine-grained multithreading, EARTH, Performance portability
15	MinHwan Ok, Ja-Won Seo, Myong-Soon Park	A Distributed Resource Furnishing to Offload Resource-Constrained Devices in Cyber Foraging Toward Pervasive Computing.	NBiS	2007	DBLP DOI BibTeX RDF	Virtual Network Computing, Mobile Device, Remote Execution, Storage Server, Cyber Foraging
15	Joshua L. Kihm, Samuel D. Strom, Daniel A. Connors	Phase-Guided Small-Sample Simulation.	ISPASS	2007	DBLP DOI BibTeX RDF	SpedOOO benchmark suite, phase-guided small-sample simulation, sampled simulation, phase-based simulation, benchmark evaluation suite, execution-aware sampling-based simulation, design space exploration, sampling method, processor design, cycle-accurate simulation
15	Kamesh Munagala, Utkarsh Srivastava, Jennifer Widom	Optimization of continuous queries with shared expensive filters.	PODS	2007	DBLP DOI BibTeX RDF	expensive predicates, shared execution, query optimization
15	Pallavi Joshi, Koushik Sen, Mark Shlimovich	Predictive testing: amplifying the effectiveness of software testing.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs
15	Manuel Costa, Miguel Castro 0001, Lidong Zhou, Lintao Zhang, Marcus Peinado	Bouncer: securing software by blocking bad input.	SOSP	2007	DBLP DOI BibTeX RDF	precondition slicing, symbolic execution
15	Koushik Sen	Concolic testing.	ASE	2007	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, symbolic execution, testing tools, testing C programs, concolic testing
15	Onur Mutlu, Hyesoon Kim, Yale N. Patt	Address-Value Delta (AVD) Prediction: A Hardware Technique for Efficiently Parallelizing Dependent Cache Misses.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	value prediction, memory-level parallelism, runahead execution, Single data stream architectures
15	Kiran Seth, Aravindh Anantaraman, Frank Mueller 0001, Eric Rotenberg	FAST: Frequency-aware static timing analysis.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	scheduling, Real-time systems, dynamic voltage scaling, worst-case execution time analysis
15	Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Faster WCET flow analysis by program slicing.	LCTES	2006	DBLP DOI BibTeX RDF	hard real time, worst-case execution time analysis
15	Stephan Thesing	Modeling a system controller for timing analysis.	EMSOFT	2006	DBLP DOI BibTeX RDF	aiT, verification, static analysis, VHDL, timing analysis, WCET, worst-case execution time, avionics, peripherals
15	Arun Kejariwal, Xinmin Tian, Wei Li 0015, Milind Girkar, Sergey Kozhukhov, Hideki Saito 0001, Utpal Banerjee, Alexandru Nicolau, Alexander V. Veidenbaum, Constantine D. Polychronopoulos	On the performance potential of different types of speculative thread-level parallelism: The DL version of this paper includes corrections that were not made available in the printed proceedings.	ICS	2006	DBLP DOI BibTeX RDF	DOALL loops, value dependence, performance evaluation, data dependence, speculative execution, control dependence
15	Therani Madhusudan	An experience report on developing an automated web services platform.	Inf. Syst. E Bus. Manag.	2005	DBLP DOI BibTeX RDF	Interleaving execution, Transactions, Web service composition, AI planning
15	Sascha Uhrig, Theo Ungerer	Energy Management for Embedded Multithreaded Processors with Integrated EDF Scheduling.	ARCS	2005	DBLP DOI BibTeX RDF	energy-aware program execution, multithreading, real-time scheduling, energy management, EDF scheduling
15	Minoru Terada	ETV: a program trace player for students.	ITiCSE	2005	DBLP DOI BibTeX RDF	program visualization, execution trace
15	Paul V. Gestwicki	Interactive visualization of object-oriented programs.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	interactive execution, object and sequence diagrams, java, object-oriented programming, program visualization
15	Alan Hartman, Kenneth Nagin	The AGEDIS tools for model based testing.	ISSTA	2004	DBLP DOI BibTeX RDF	test execution framework, validation, UML modeling, coverage analysis, automated test generation, defect analysis
15	Ajay D. Kshemkalyani	A Fine-Grained Modality Classification for Global Predicates.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	distributed system, synchronization, causality, Predicates, distributed execution, global state
15	Yoshihiro Nakaminami, Toshimitsu Masuzawa, Ted Herman	A Method for Evaluating Efficiency of Protocols on the Asynchronous Shared-State Model.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF	asynchronous model, synchronous execution, linear state-transition protocol, Distributed system, distributed algorithm, time complexity
15	Xianfeng Li, Tulika Mitra, Abhik Roychoudhury	Accurate timing analysis by modeling caches, speculation and their interaction.	DAC	2003	DBLP DOI BibTeX RDF	cache, worst case execution time, branch prediction
15	Stein Krogdahl, Olav Lysne	On Verification of Parallel Message-Passing Processes.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Interleaved execution, Parallel processes, Program verification
15	W. Eric Wong, Swapna S. Gokhale, Joseph Robert Horgan	Measuring Distance between Program Features.	COMPSAC	2002	DBLP DOI BibTeX RDF	program features, invoking input, distance between features, program comprehension, execution slice
15	Amr M. M. Ashmawy, Howaida F. Ismail, Aly H. Fahmy	Hybrid Predication Model for Instruction Level Parallelism.	IPDPS	2002	DBLP DOI BibTeX RDF	ILP, predication, masking, guarding, conditional execution
15	Vijayalakshmi Atluri, Soon Ae Chun, Pietro Mazzoleni	A Chinese wall security model for decentralized workflow systems.	CCS	2001	DBLP DOI BibTeX RDF	decentralized workflow execution, self-describing workflow, Chinese wall security policy
15	Ladjel Bellatreche, Kamalakar Karlapalem, Mukesh K. Mohania, Michel Schneider	What Can Partitioning Do for Your Data Warehouses and Data Marts?	IDEAS	2000	DBLP DOI BibTeX RDF	data warehouse star schema, query execution cost, OLAP queries, query processing, distributed databases, partitioning, data warehouses, data warehouses, greedy algorithm, data marts, star schema, data fragmentation
15	Jeffrey B. Rothman, Alan Jay Smith	Multiprocessor Memory Reference Generation Using Cerberus.	MASCOTS	1999	DBLP DOI BibTeX RDF	Multiprocessor Memory References, Execution Driven Simulation, Program Tracing
15	Rajive L. Bagrodia, Ewa Deelman, Steven Docy, Thomas Phan	Performance Prediction of Large Parallel Applications using Parallel Simulations.	PPoPP	1999	DBLP DOI BibTeX RDF	application scalability, parallel program simulation, MPI, parallel discrete event simulation, MPI-IO, direct execution
15	Nitzan Weinberg, David Nagle	Dynamic Elimination of Pointer-Expressions.	IEEE PACT	1998	DBLP DOI BibTeX RDF	pointer-expression, sphinx, sub-expression, SPECint95, memory address, performance analysis, compiler, locality, speech recognition, dynamic, microprocessor, mpeg, cache memory, microarchitecture, jpeg, value, spatial, memory bandwidth, data reuse, temporal, pointer, conditional execution
15	Bogdan Korel	Computation of Dynamic Program Slices for Unstructured Programs.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	removable block, unstructured program, debugging, Program slicing, data dependence, control dependence, execution trace, dynamic program slicing
15	John Z. Lou, John D. Farrara	Performance Analysis and Optimization on a Parallel Atmospheric General Circulation Model Code.	IPPS	1997	DBLP DOI BibTeX RDF	terrestrial atmosphere, parallel atmospheric general circulation model code, AGCM, distributed memory massively parallel computer systems, single node code performance, load balanced FFT algorithm, convolution based algorithm, load balancing scheme, single node performance, load balance, performance analysis, execution time, parallel implementation, Intel Paragon, Cray T3D, numerical efficiency
15	Vincent John Mooney III, Giovanni De Micheli	Real time analysis and priority scheduler generation for hardware-software systems with a synthesized run-time system.	ICCAD	1997	DBLP DOI BibTeX RDF	worst-case execution time, rtos, hardware-software codesign, real-time analysis, run-time scheduler
15	Habib Ammari	Towards Program Debugging and Dynamic Reverse Engineering Using Multi-procedure Program Dynamic Decomposition.	HICSS (5)	1997	DBLP DOI BibTeX RDF	dynamic reverse engineering, dynamic decomposition, dynamic dependency relations, program execution path, dynamic program thread, dynamic lattice, incremental dynamic lattice, Software engineering, debugging
15	Shahram Ghandeharizadeh, Richard Hull 0001, Dean Jacobs	Heraclitus: Elevating Deltas to be First-Class Citizens in a Database Programming Language.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	execution model for rule application, hypothetical access, hypothetical database state, active databases, deltas
15	Luisa Massari, Yves Mahéo	Performance Evualuation of Automatically Generated Data-Parallel Programs.	PDP	1996	DBLP DOI BibTeX RDF	automatically generated data-parallel programs, data-parallel compilers, sequential language, data distribution directives, static description, dynamic description, workload characterization techniques, Pandore environment, profile generation, performance evaluation, parallel programming, software performance evaluation, automatic programming, data partitioning, runtime system, workload model, parallelising compilers, distributed memory parallel computers, performance indices, program execution, trace generation
15	In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon	Applying Conventional Testing Techniques for Class Testing.	COMPSAC	1996	DBLP DOI BibTeX RDF	program testing techniques, class member function testing, code-based testing, formal specification, object-oriented programming, object oriented programming, finite state machines, finite state machines, program testing, symbolic execution, programming theory, specification-based testing, class testing, branch coverage
15	Youssef Latrous, Guy Mazaré	Distributing code in a parallel fine grain machine using the actor model.	PDP	1995	DBLP DOI BibTeX RDF	parallel fine grain machine, I/O operations, code loading, application growth, preferment communication unit, parallel programming, parallel architectures, message passing, parallel machines, execution time, massively parallel systems, actor model, code distribution
15	Jordi Tubella, Antonio González 0001	Exploiting path parallelism in logic programming.	PDP	1995	DBLP DOI BibTeX RDF	path parallelism, partial breadth-first search, SLD-tree, SPMD architecture, non-deterministic programs, parallel programming, logic programming, logic programming, PROLOG, Prolog, data parallelism, Multipath, execution model
15	James Phillips, Stamatis Vassiliadis	High-Performance 3-1 Interlock Collapsing ALU's.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	3-1 interlock collapsing ALU, execution interlocks, multiple instruction issuing machines, parallel architectures, delay, digital arithmetic, CMOS technology, critical path, reduced instruction set computing, Boolean equations
15	Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh	An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	object-oriented performance design, rapid prototyping method, OOPD, prototyping phases, prototype construction, prototype execution, artificial intelligence based methods, rapid construction mechanism, hybrid inference mechanism, declarative knowledge representation, MENDEL, Prolog based concurrent object-oriented language, prototype construction tool, real-time systems, real-time systems, artificial intelligence, object-oriented programming, knowledge representation, expert systems, expert system, software reusability, inference mechanisms, object-oriented languages, parallel languages, software prototyping, qualitative reasoning, reusable software components, prototype evaluation
15	Scott A. Mahlke, William Y. Chen, Roger A. Bringmann, Richard E. Hank, Wen-mei W. Hwu, B. Ramakrishna Rau, Michael S. Schlansker	Sentinel Scheduling for VLIW and Superscalar Processors.	ACM Trans. Comput. Syst.	1993	DBLP DOI BibTeX RDF	exception detection, exception recovery, instruction-level parallelism, instruction scheduling, speculative execution, superscalar processor, VlIW processor
15	Bin Qin	Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	time-cost behavior, real-time systems, performance analysis, parallel programs, parallel programming, multiprocessor system, programming theory, software cost estimation, real-time requirements, shared memory architecture, execution environment, system resources
15	Laura K. Dillon	A Visual Model for Ada Tasking.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	contour model, visual execution model, Ada
15	Uri Abraham	On system executions and states.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	Correctness of programs, system execution, cores of executions, global time, semantics of concurrency
15	Rajiv Gupta 0001	Synchronization and Communication Costs of Loop Partitioning on Shared-Memory Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	static loop scheduling, staticloop decomposition, computer-assisted run-time scheduling, multidimensional loops, operation execution costs, synchronization costs, programexecution, synchronization instruction, Encore multiprocessor system, scheduling, parallel algorithms, parallel programming, program compilers, programming theory, communication costs, nested loops, self-scheduling, shared-memory multiprocessor systems, loop partitioning, program decomposition
15	Yingsha Liao, Donald Cohen	A Specificational Approach to High Level Program Monitoring and Measuring.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	program measurement, specificational approach, high level program monitoring, execution characteristics, instrumentation code, high-level specification language, augmented program, complexities, formal specification, software metrics, specification languages, automatic programming, system monitoring, special-purpose hardware
15	Yuri Breitbart, Dimitrios Georgakopoulos 0001, Marek Rusinkiewicz, Abraham Silberschatz	On Rigorous Transaction Scheduling.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	rigorous transaction scheduling, transaction scheduling mechanisms, transaction serialization order, commitment order, multidatabase system environment, analogous execution, serialization orders, rigorous schedulers, hierarchical transaction management mechanisms, global serializability, scheduling, distributed databases, concurrency control, transaction processing, database theory
15	David Kotz, Carla Schlatter Ellis	Prefetching in File Systems for MIMD Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	concurrent OS, disc caching, MIMD multiprocessors, interleaved file system, Butterfly Plus multiprocessor, I/O requests, performance evaluation, performance, parallel computation, caching, prefetching, multiprocessing systems, file systems, buffer storage, execution time, file organisation, hit ratio
15	Thomas G. Moher	PROVIDE: A Process Visualization and Debugging Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	process visualization environment, PROVIDE, University of Illinois, deferred-binding program animation, process history consistency maintenance, Macintosh workstations, VAX 11/780, 4.2 BSD Unix, computer graphics, programming environments, program debugging, program debugging, program execution, interactive computer graphics, debugging environment