The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Re-execution (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1964 (18) 1965-1968 (17) 1969-1971 (15) 1972-1973 (16) 1974 (17) 1975 (18) 1976 (29) 1977 (19) 1978 (23) 1979 (25) 1980 (20) 1981 (21) 1982 (47) 1983 (44) 1984 (54) 1985 (74) 1986 (89) 1987 (146) 1988 (226) 1989 (234) 1990 (285) 1991 (250) 1992 (284) 1993 (300) 1994 (332) 1995 (401) 1996 (483) 1997 (539) 1998 (496) 1999 (781) 2000 (937) 2001 (963) 2002 (1247) 2003 (1431) 2004 (1866) 2005 (2320) 2006 (2505) 2007 (2605) 2008 (2584) 2009 (1878) 2010 (777) 2011 (518) 2012 (527) 2013 (598) 2014 (627) 2015 (661) 2016 (616) 2017 (659) 2018 (707) 2019 (714) 2020 (671) 2021 (779) 2022 (682) 2023 (708) 2024 (135)
Publication types (Num. hits)
article(6678) book(28) data(7) incollection(144) inproceedings(25519) phdthesis(590) proceedings(52)
Venues (Conferences, Journals, ...)
CoRR(865) IPDPS(546) VEE(314) IEEE Trans. Parallel Distribut...(309) Euro-Par(296) IEEE Trans. Computers(250) IEEE Trans. Software Eng.(237) SIGMOD Conference(233) DATE(222) WCET(217) MICRO(216) SAC(210) ISCA(208) PLDI(184) DAC(178) CCGRID(163) More (+10 of total 4167)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28137 occurrences of 7496 keywords

Results
Found 33018 publication records. Showing 33018 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
65Dieter Haban, Kang G. Shin Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF test/measurement processors, random execution times, TMPs, true execution time, pure execution time, resource sharing delay, transparent part, WET, estimated execution time, scheduling, real-time systems, task scheduling, worst-case execution time, system performance, simulated environment, real-time monitoring, real-time monitor, real-time computing system, dedicated hardware
52Yung-Kang Chu, I-Ling Yen, Diane T. Rover Guiding processor allocation with estimated execution time for mesh connected multiple processor systems. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF estimated execution time, mesh connected multiple processor systems, mesh connected parallel architectures, multiprocessor systems design, submesh allocation strategies, two-dimensional mesh systems, estimated execution times, submesh allocation, processor allocation strategies, extensive simulations, system performance improvement, execution failures, scheduling, performance, resource allocation, parallel architectures, response time, processor scheduling, software performance evaluation, execution time, processor allocation, standard deviation, job characteristics, load conditions
50Chang-Burm Cho, Tao Li 0006 Using Wavelet Domain Workload Execution Characteristics to Improve Accuracy, Scalability and Robustness in Program Phase Analysis. Search on Bibsonomy ISPASS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program execution variability, workload execution statistics, program phase analysis, computer architecture design, computer architecture optimization, program execution statistics, SPEC CPU 2000 benchmark, wavelet domain phase analysis, runtime workload execution characteristics, scalable phase analysis, sampled workload statistics, phase classification accuracy, wavelet transform, time domain, wavelet denoising
47Polychronis Xekalakis, Nikolas Ioannou, Marcelo Cintra Combining thread level speculation helper threads and runahead execution. Search on Bibsonomy ICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-cores, thread-level speculation, helper threads, runahead execution
44Gopal Gupta 0001, Manuel V. Hermenegildo ACE: And/Or-parallel Copying-based Execution of Logic Programs. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
44Michel Dorochevsky, Kees Schuerman, André Véron, Jiyang Xu Constraint Handling, Garbage Collection and Execution Model Issues in ElipSys. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
43Markus Lindgren, Hans Hansson, Henrik Thane Using measurements to derive the worst-case execution time. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF execution time analysis, program flow analysis, low level timing information, low level timing analysis, program execution times, timing measurements, instrumented version, program fragments, non-exhaustive measurements, program paths, realistic processor model, scheduling, real-time systems, real time systems, embedded systems, worst-case execution time, pipeline processing, schedulability analysis, program diagnostics, architectural modeling, pipeline architectures, flow graphs, timing estimates, target architecture, system of linear equations
43Bin Xin 0001, William N. Sumner, Xiangyu Zhang 0001 Efficient program execution indexing. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF execution alignment, semantic augmentation, structural indexing, data race, control dependence, execution indexing
42Takayasu Ito Logic of Execution: An Outline. Search on Bibsonomy Concurrency: Theory, Language, And Architecture The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
41Mohamed F. Younis, Thomas J. Marlowe, Alexander D. Stoyen, Grace Tsai Statically Safe Speculative Execution for Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF shadow execution, Real-time systems, distributed computation, static analysis, speculative execution, compiler transformations
39Oliver Trachsel, Thomas R. Gross Variant-based competitive parallel execution of sequential programs. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF algorithmic choice, multi-variant execution, speculative execution, multi-core processors, sequential programs, adaptive execution
39Yan Wen, Jinjing Zhao, Huaimin Wang A Novel Approach for Untrusted Code Execution. Search on Bibsonomy ICICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Virtual execution environment, isolated execution, virtual machine, execution model
39Thomas Bauer 0001, Peter Dadam A Distributed Execution Environment for Large-Scale Workflow Management Systems with Subnets and Server Migration. Search on Bibsonomy CoopIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF distributed execution environment, large-scale workflow management systems, server migration, central workflow server, workload reduction, local area networks, local area network, communication costs, execution environment, execution control, subnets
39Farhana Aleen, Monirul Sharif, Santosh Pande Input-driven dynamic execution prediction of streaming applications. Search on Bibsonomy PPoPP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parallelization, software pipeline, dynamic execution
37Yamini Kannan, Koushik Sen Universal symbolic execution and its application to likely data structure invariant generation. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic analysis, symbolic execution, execution traces, logical inference, program invariants
37Xiangyu Zhang 0001, Sriraman Tallam, Neelam Gupta, Rajiv Gupta 0001 Towards locating execution omission errors. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF execution omission, implicit dependence, potential dependence, predicate switching, relevant slicing, debugging
37Dongkeun Kim, Donald Yeung A study of source-level compiler algorithms for automatic construction of pre-execution code. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF pre-execution, prefetch conversion, speculative loop parallelization, multithreading, program slicing, Data prefetching, memory-level parallelism
36Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum (eds.) Atomicity in System Design and Execution, 25.04. - 30.04.2004 Search on Bibsonomy Atomicity in System Design and Execution The full citation details ... 2004 DBLP  BibTeX  RDF
36Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues The Atomic Manifesto: a Story in Four Quarks. Search on Bibsonomy Atomicity in System Design and Execution The full citation details ... 2004 DBLP  BibTeX  RDF
36Jonas Barklund, Bharat Jayaraman, Jiro Tanaka (eds.) Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994 Search on Bibsonomy ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs The full citation details ... 1994 DBLP  BibTeX  RDF
36Giancarlo Succi, Giuseppe Marino, Giancarlo Colla Modelling the Connection Machine 2 as an Emulator of Subset-Based Declarative Languages. Search on Bibsonomy ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs The full citation details ... 1994 DBLP  BibTeX  RDF
36M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. Search on Bibsonomy ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs The full citation details ... 1994 DBLP  BibTeX  RDF
36Manuel V. Hermenegildo, Manuel Carro A Note on Data-Parallelism and (And-Parallel) Prolog. Search on Bibsonomy ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs The full citation details ... 1994 DBLP  BibTeX  RDF
36Donald A. Smith Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism. Search on Bibsonomy ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs The full citation details ... 1994 DBLP  BibTeX  RDF
36Dongxing Tang, Enrico Pontelli, Gopal Gupta 0001, Manuel Carro Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. Search on Bibsonomy ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs The full citation details ... 1994 DBLP  BibTeX  RDF
36Bart Demoen, Greet Maris A Comparison of Some Schemes for Translating Logic to C. Search on Bibsonomy ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs The full citation details ... 1994 DBLP  BibTeX  RDF
36Olivier Michel 0001, Jean-Louis Giavitto Design and Implementation of a Declarative Data-Parallel Language. Search on Bibsonomy ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs The full citation details ... 1994 DBLP  BibTeX  RDF
36Enrico Pontelli, Gopal Gupta 0001, Manuel V. Hermenegildo &ACE: the And-parallel Component of ACE (A Progress Report on ACE). Search on Bibsonomy ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs The full citation details ... 1994 DBLP  BibTeX  RDF
36Arvind K. Bansal Towards a Formal Computation Model of Associative Logic Programming. Search on Bibsonomy ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs The full citation details ... 1994 DBLP  BibTeX  RDF
36Anthony Joseph Beaumont, Gopal Gupta 0001 (eds.) Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Remco Moolenaar, Henk Van Acker, Bart Demoen KAPPA: A Kernel Andorra Prolog Parallel Architecture Design. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Anthony Joseph Beaumont Scheduling Strategies and Speculative Work. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Khayri A. M. Ali, Roland Karlsson, Shyam Mudambi Performance of Muse on the BBN Butterfly TC2000. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Reem Bahgat The Pandora Abstract Machine: An Extension of JAM. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36H. Bourzoufi, Gilles Goncalves, Pierre Lecouffe, Bernard Toursel An Efficient Binding Management in OR-Parallel Model. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Inês de Castro Dutra A Flexible Scheduler for the Andorra-I System. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Péter Szeredi Solving Optimisation Problems in the Aurora Or-parallel Prolog System. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Giancarlo Succi, Giuseppe Marino Data Parallelism in Logic Programming. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Koenraad De Bosschere Blackboard Communication in Prolog. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Wolfgang Ertel Performance of Competitive OR-Parallelism. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Martin Gittins Debugging Parallel Strand Programs. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Petros Kefalas, T. J. Reynolds Controlling Search with Meta-Brave. Search on Bibsonomy ICLP Workshop on Parallel Execution of Logic Programs The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
35Chansik Im, K. H. (Kane) Kim A Hybrid Approach in TADE for Derivation of Execution Time Bounds of Program-Segments in Distributed Real-Time Embedded Computing. Search on Bibsonomy ISORC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF worst-case execution path, program-segment, methodsegment, acyclic path-segment, path enumeration, curvefitting, execution time bound, TETB, real time, measurement, analysis, hybrid, worst-case execution time
35Sébastien Lapierre, Ettore Merlo, Gilles Savard, Giuliano Antoniol, Roberto Fiutem, Paolo Tonella Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees. Search on Bibsonomy ICSM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation
34Matt Staats, Corina S. Pasareanu Parallel symbolic execution for structural test generation. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parallel, symbolic execution, java pathfinder
34Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis. Search on Bibsonomy VLDB J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF QoS, Web services, Composition, Dependability, Failure, Distributed execution, Transaction model
34Tankut Akgul, Vincent John Mooney III Assembly instruction level reverse execution for debugging. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF reverse code generation, reverse execution, Debugging
34Siamak Arya, Howard Sachs, Sreeram Duvvuru An architecture for high instruction level parallelism. Search on Bibsonomy HICSS (1) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF high instruction level parallelism, sequential order, code execution, dataflow problems, condition bits, nonblocking cache, Software Scheduled SuperScalar, parallel programming, compiler, parallel architectures, parallel architecture, pipelining, program compilers, data flow analysis, software pipelining, pipeline processing, data flow, processor architecture, speculative execution, control flow, hardware support, program control structures, branches, registers, functional units, multiple instructions, conditional execution
33Onur Mutlu, Hyesoon Kim, David N. Armstrong, Yale N. Patt An Analysis of the Performance Impact of Wrong-Path Memory References on Out-of-Order and Runahead Execution Processors. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF processor performance modeling, speculative execution, runahead execution, Single data stream architectures
33Stefan Pleisch, André Schiper Fault-Tolerant Mobile Agent Execution. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF nonblocking execution, exactly-once execution, fault tolerance, Mobile agents, agreement problem
33Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid Debugging Concurrent Ada Programs by Deterministic Execution. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF synchronisation sequences, concurrent Ada programs, deterministic execution debugging, Ada language constructs, SYN-sequences, sufficient information, previous executions, parallel programming, Ada, tools, transformation, program debugging, program execution
32Christine Rochange, Pascal Sainrat A Context-Parameterized Model for Static Analysis of Execution Times. Search on Bibsonomy Trans. High Perform. Embed. Archit. Compil. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF timing analysis, Worst-Case Execution Time
32Joseph A. Tucek, Weiwei Xiong, Yuanyuan Zhou 0001 Efficient online validation with delta execution. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF delta execution, patch validation, testing
32Sridhar Madala, James B. Sinclair Performance of Synchronous Parallel Algorithms with Regular Structures. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF distribution driven simulations, synchronous parallelalgorithms, mean execution time, program-driven simulations, average execution time, multiphasealgorithms, execution time bounds, scheduling, performance evaluation, parallel algorithms, parallel programming, upper bounds, bounding, scheduling policies, partitioning algorithm, parallel tasks, asymptotic approximations, regular structures
31Narayan Ranganathan, Manoj Franklin An Empirical Study of Decentralized ILP Execution Models. Search on Bibsonomy ASPLOS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF execution unit dependence, hardware window, instruction-level parallelism, data dependence, dynamic scheduling, speculative execution, control dependence, decentralization
31Tai-Yi Huang, Jane W.-S. Liu, David Hull A Method for Bounding the Effect of DMA I/O Interference on Program Execution Time. Search on Bibsonomy RTSS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF DMA I/O operation, program execution time, DMA controller, cycle-stealing mode, bus cycles, cycle stealing operation, executing program, machine instruction, instruction-cache architectures, input output operation, simulations, real-time systems, worst-case execution time, data transfer
31Moreno Coli, Paolo Palazzari Global execution time minimization by allocating tasks in parallel systems. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF global execution time minimization, heuristic criterion, starting population, static allocation, genetic algorithms, genetic algorithm, computational complexity, resource allocation, parallel machines, parallel machine, directed graphs, directed acyclic graphs, DAGs, processor scheduling, parallel systems, task allocation, NP-complete problem, execution time, minimisation, cost function, critical path, precedence relations, critical path analysis
31Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa Scheduling DAG's for Asynchronous Multiprocessor Execution. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF asynchronous multiprocessor execution, sequential instructionstream, execution costs, datadependencies, Data General shared memory multiprocessor system, scheduling, scheduling, parallel programming, parallelism, concurrency, shared memory systems, DAG, communication costs, instruction sets, multiprocessing programs, fine grained parallelism
31Jack W. Davidson, Anne M. Holler Subprogram Inlining: A Study of its Effects on Program Execution Time. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF subprogram inlining, execution time performance, inlined versions, inlined program execution time behavior, inlined code, demand-paged virtual memory machines, inlining algorithm, program size constraints, paging behavior, caching, programming, program testing, storage allocation, computer systems, virtual storage, interprocedural data flow analysis
30Marcelo d'Amorim, Steven Lauterburg, Darko Marinov Delta execution for efficient state-space exploration of object-oriented programs. Search on Bibsonomy ISSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF delta execution, model checking
30Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov Optimized Execution of Deterministic Blocks in Java PathFinder. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Aniello Cimitile, Andrea De Lucia, Malcolm Munro Identifying reusable functions using specification driven program slicing: a case study. Search on Bibsonomy ICSM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
30Resit Sendag, Ying Chen, David J. Lilja The Impact of Incorrectly Speculated Memory Operations in a Multithreaded Architecture. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF mispredicted loads, wrong execution, wrong execution cache, prefetching, Speculation, multithreaded architecture
30Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, Chong-Sang Kim An Accurate Worst Case Timing Analysis for RISC Processors. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF pipelined execution, real-time system, Cache memory, worst case execution time, RISC processor
29Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF unit testing, symbolic execution, software model checking, system testing
29Balkrishna Ramkumar, Laxmikant V. Kalé Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Reduce-OR process model, Encore Multimax, Sequent Symmetry, NCUBE 2, Intel i860 hypercube, Chare kernel, scale linearly, performance, parallel programming, parallel programming, compiler, logic programming, logic programs, multiprocessing systems, program compilers, parallel execution, Sun workstations
29Zhen Ming Jiang, Ahmed E. Hassan, Parminder Flora, Gilbert Hamann Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper). Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Log Abstraction, Monitoring, Dynamic Analysis, Clone
29Chandra Krintz, Brad Calder, Han Bok Lee, Benjamin G. Zorn Overlapping Execution with Transfer Using Non-Strict Execution for Mobile Programs. Search on Bibsonomy ASPLOS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Java
29Vijayalakshmi Atluri, Soon Ae Chun, Ravi Mukkamala, Pietro Mazzoleni A decentralized execution model for inter-organizational workflows. Search on Bibsonomy Distributed Parallel Databases The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Decentralized workflow execution, Self-describing workflow, Workflow partition, Dependency split, Workflow stub, Evaluation of workflow execution
29Yan Wen, Huaimin Wang A Secure Virtual Execution Environment for Untrusted Code. Search on Bibsonomy ICISC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Intrusion confinement, isolated execution, virtual execution environment, security, virtual machine
29Phillip M. Dickens A Workstation-Based Parallel Direct-Execution Simulator. Search on Bibsonomy Workshop on Parallel and Distributed Simulation The full citation details ... 1997 DBLP  DOI  BibTeX  RDF LAPSE, context switching costs, heavy-weight Unix processes, high communication costs, light-weight threads, massively parallel machines, parallel direct-execution simulator, performance analysis tools, thread-based simulator, workstation-based parallel direct-execution simulator, discrete event simulation, workstation cluster, Intel Paragon
29Apostolos A. Kountouris Safe and efficient elimination of infeasible execution paths in WCET estimation. Search on Bibsonomy RTCSA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF infeasible execution paths, WCET estimation, time critical systems, R/T programming language, Dynamic Graph representation, real-time systems, SIGNAL, timing properties, Worst Case Execution Time
29Takeshi Ogasawara An algorithm with constant execution time for dynamic storage allocation. Search on Bibsonomy RTCSA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Half-Fit, scheduling, real-time systems, real-time systems, resource allocation, predictability, queueing theory, worst-case execution time, execution time, storage allocation, queueing model, dynamic storage allocation
29Chihping Wang, Arbee L. P. Chen, Shiow-Chen Shyu A Parallel Execution Method for Minimizing Distributed Query Response Time. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF parallel execution method, semi-join processing, one-shot semi-joinexecution, parallel generation, parallel transmission, response timemodel, performance evaluation, parallel processing, parallel execution, distributed query
28Jin Ouyang, Raghuveer Raghavendra, Sibin Mohan, Tao Zhang 0032, Yuan Xie 0001, Frank Mueller 0001 CheckerCore: enhancing an FPGA soft core to capture worst-case execution times. Search on Bibsonomy CASES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF LEON3, checkercore, shadow pipeline, FPGA, embedded system, real-time, WCET, worst-case-execution-time, SPARC
28Yun Liang 0001, Tulika Mitra Cache modeling in probabilistic execution time analysis. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF probabilistic execution time analysis, cache modeling
28António Lopes 0001, Luís Miguel Botelho Executing Semantic Web Services with a Context-Aware Service Execution Agent. Search on Bibsonomy SOCASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Service Execution, Semantic Web, Context-awareness, Agents
28Mike McGavin, Tim Wright, Stuart Marshall Visualisations of execution traces (VET): an interactive plugin-based visualisation tool. Search on Bibsonomy AUIC The full citation details ... 2006 DBLP  BibTeX  RDF execution traces, software visualisation
28Sarfraz Khurshid, Yuk Lai Suen Generalizing symbolic execution to library classes. Search on Bibsonomy PASTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF korat, model checking, symbolic execution, test input generation
28Laurent David, Isabelle Puaut Static Determination of Probabilistic Execution Times. Search on Bibsonomy ECRTS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Probabilistic execution times, Static analysis, Soft real-time systems
28Rajagopalan Desikan, Simha Sethumadhavan, Doug Burger, Stephen W. Keckler Scalable selective re-execution for EDGE architectures. Search on Bibsonomy ASPLOS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF EDGE architectures, load-store dependence prediction, mis-speculation recovery, selective re-execution, selective replay, speculative dataflow machines
28Gábor Dózsa High Performance Application Execution Scenarios in P-GRADE. Search on Bibsonomy PVM/MPI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Guillem Bernat, Antoine Colin, Stefan M. Petters WCET Analysis of Probabilistic Hard Real-Time System. Search on Bibsonomy RTSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF worst case execution time, probabilistic analysis, hard real-time, execution profiles
27George W. Dunlap, Dominic G. Lucchetti, Michael A. Fetterman, Peter M. Chen Execution replay of multiprocessor virtual machines. Search on Bibsonomy VEE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ReVirt, direct memory access, execution replay, hardware page protections, virtual machines, multiprocessors, multithreading, determinism, Xen
27John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, Lyndon While, Sue Wright A Functional Programming Environment Supporting Execution, Partial Execution and Transformation. Search on Bibsonomy PARLE (1) The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Functional programming environment, program transformation, partial evaluation, parallel execution
27Ruth E. Anderson, Thu D. Nguyen, John Zahorjan Cascaded Execution: Speeding Up Unparallelized Execution on Shared-Memory Multiprocessors. Search on Bibsonomy IPPS/SPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Xuemin Lin 0001, Simon Fox An effective parallelization of execution of multijoins in multiprocessor systems. Search on Bibsonomy ISPAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF multijoins execution, synchronous execution strategy, processor allocation problem, inter-operator parallelization problem, parallelization, relational databases, multiprocessing systems, multiprocessor systems, processor scheduling
27Goetz Graefe, Diane L. Davison Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF extensible database query execution, database application domains, high functionality, Volcano query execution engine, query processing operators, arbitrarily complex query evaluation plans, data manipulation operators, exchange operator, generalized exchange operator, database query processing software, bit vector filtering, parallel programming, parallelism, query processing, debugging, distributed databases, computer architectures, high performance, hierarchical architectures
26Cristian Zamfir, George Candea Execution synthesis: a technique for automated software debugging. Search on Bibsonomy EuroSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF symbolic execution, automated debugging
26Geoffrey Lefebvre, Brendan Cully, Michael J. Feeley, Norman C. Hutchinson, Andrew Warfield Tralfamadore: unifying source code and execution experience. Search on Bibsonomy EuroSys The full citation details ... 2009 DBLP  DOI  BibTeX  RDF debugging, dynamic analysis, program understanding, trace analysis, querying execution
26Tobias Conte, Matthias Burghardt A Process Model for Best Execution. Search on Bibsonomy FinanceCom The full citation details ... 2007 DBLP  DOI  BibTeX  RDF MiFID, best execution, smart order routing, process model
26Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis JThreadSpy: teaching multithreading programming by analyzing execution traces. Search on Bibsonomy PADTAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization
26Avinash V. Varadarajan, Ramarathnam Venkatesan, C. Pandu Rangan Data structures for limited oblivious execution of programs while preserving locality of reference. Search on Bibsonomy Digital Rights Management Workshop The full citation details ... 2007 DBLP  DOI  BibTeX  RDF oblivious data structures, oblivious execution, secure data structures, DRM, software protection, secure hardware
26Patrick Riley 0001, Manuela M. Veloso Coach planning with opponent models for distributed execution. Search on Bibsonomy Auton. Agents Multi Agent Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Simulated robot soccer, Planning, Opponent modeling, Advice, Distributed execution
26Genhua Jin, Hyuk-Jae Lee A Parallel and Pipelined Execution of H.264/AVC Intra Prediction. Search on Bibsonomy CIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF block processing order, pipelining, H.264, parallel execution, Intra prediction
26Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi Execution monitoring enforcement for limited-memory systems. Search on Bibsonomy PST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bounded history automata, enforcement mechanisms, locally-testable properties, security policies, execution monitoring, edit automata
26Sorin Manolache, Petru Eles, Zebo Peng Schedulability analysis of applications with stochastic task execution times. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF stochastic task execution times, Schedulability analysis, soft real-time systems
26Zhigang Hu, Alper Buyuktosunoglu, Viji Srinivasan, Victor V. Zyuban, Hans M. Jacobson, Pradip Bose Microarchitectural techniques for power gating of execution units. Search on Bibsonomy ISLPED The full citation details ... 2004 DBLP  DOI  BibTeX  RDF execution units, low power, microarchitecture, power-gating
26Karl Lermer, Colin J. Fidge, Ian J. Hayes Linear Approximation of Execution-Time Constraints. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Automatic constraint determination, Real-time program analysis, Worst-case and best-case execution times, Control-flow analysis, Timing prediction
26Yuhong Feng, Wentong Cai 0001, Jiannong Cao 0001 A Simulation Study of Job Workflow Execution Models over the Grid. Search on Bibsonomy GCC (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF job workflow execution model, dynamic service, Grid computing, mobile agent, code mobility
Displaying result #1 - #100 of 33018 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license