|
|
Venues (Conferences, Journals, ...)
|
|
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 |
65 | Dieter Haban, Kang G. Shin |
Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(12), pp. 1374-1389, 1990. The full citation details ...](Pics/full.jpeg) |
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 |
52 | Yung-Kang Chu, I-Ling Yen, Diane T. Rover |
Guiding processor allocation with estimated execution time for mesh connected multiple processor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 163-172, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
50 | Chang-Burm Cho, Tao Li 0006 |
Using Wavelet Domain Workload Execution Characteristics to Improve Accuracy, Scalability and Robustness in Program Phase Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: 2007 IEEE International Symposium on Performance Analysis of Systems and Software, April 25-27, 2007, San Jose, California, USA, Proceedings, pp. 136-145, 2007, IEEE Computer Society, 1-4244-1081-9. The full citation details ...](Pics/full.jpeg) |
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 |
47 | Polychronis Xekalakis, Nikolas Ioannou, Marcelo Cintra |
Combining thread level speculation helper threads and runahead execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 23rd international conference on Supercomputing, 2009, Yorktown Heights, NY, USA, June 8-12, 2009, pp. 410-420, 2009, ACM, 978-1-60558-498-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multi-cores, thread-level speculation, helper threads, runahead execution |
44 | Gopal Gupta 0001, Manuel V. Hermenegildo |
ACE: And/Or-parallel Copying-based Execution of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 146-158, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
44 | Michel Dorochevsky, Kees Schuerman, André Véron, Jiyang Xu |
Constraint Handling, Garbage Collection and Execution Model Issues in ElipSys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 17-28, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
43 | Markus Lindgren, Hans Hansson, Henrik Thane |
Using measurements to derive the worst-case execution time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 15-22, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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 |
43 | Bin Xin 0001, William N. Sumner, Xiangyu Zhang 0001 |
Efficient program execution indexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 238-248, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
execution alignment, semantic augmentation, structural indexing, data race, control dependence, execution indexing |
42 | Takayasu Ito |
Logic of Execution: An Outline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency: Theory, Language, And Architecture ![In: Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings, pp. 79-90, 1989, Springer, 3-540-53932-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
41 | Mohamed F. Younis, Thomas J. Marlowe, Alexander D. Stoyen, Grace Tsai |
Statically Safe Speculative Execution for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(5), pp. 701-721, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
shadow execution, Real-time systems, distributed computation, static analysis, speculative execution, compiler transformations |
39 | Oliver Trachsel, Thomas R. Gross |
Variant-based competitive parallel execution of sequential programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010, pp. 197-206, 2010, ACM, 978-1-4503-0044-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
algorithmic choice, multi-variant execution, speculative execution, multi-core processors, sequential programs, adaptive execution |
39 | Yan Wen, Jinjing Zhao, Huaimin Wang |
A Novel Approach for Untrusted Code Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007, Proceedings, pp. 398-411, 2007, Springer, 978-3-540-77047-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Virtual execution environment, isolated execution, virtual machine, execution model |
39 | Thomas Bauer 0001, Peter Dadam |
A Distributed Execution Environment for Large-Scale Workflow Management Systems with Subnets and Server Migration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the Second IFCIS International Conference on Cooperative Information Systems, Kiawah Island, South Carolina, USA, June 24-27, 1997, Sponsored by IFCIS, The Intn'l Foundation on Cooperative Information Systems, pp. 99-108, 1997, IEEE Computer Society, 0-8186-7946-8. The full citation details ...](Pics/full.jpeg) |
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 |
39 | Farhana Aleen, Monirul Sharif, Santosh Pande |
Input-driven dynamic execution prediction of streaming applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 315-324, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parallelization, software pipeline, dynamic execution |
37 | Yamini Kannan, Koushik Sen |
Universal symbolic execution and its application to likely data structure invariant generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 283-294, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, symbolic execution, execution traces, logical inference, program invariants |
37 | Xiangyu Zhang 0001, Sriraman Tallam, Neelam Gupta, Rajiv Gupta 0001 |
Towards locating execution omission errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 415-424, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
execution omission, implicit dependence, potential dependence, predicate switching, relevant slicing, debugging |
37 | Dongkeun Kim, Donald Yeung |
A study of source-level compiler algorithms for automatic construction of pre-execution code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 22(3), pp. 326-379, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
pre-execution, prefetch conversion, speculative loop parallelization, multithreading, program slicing, Data prefetching, memory-level parallelism |
36 | Cliff 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](Pics/bibsonomy.png) |
Atomicity in System Design and Execution ![Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
36 | Cliff 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](Pics/bibsonomy.png) |
Atomicity in System Design and Execution ![In: Atomicity in System Design and Execution, 25.04. - 30.04.2004, 2004, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
36 | Jonas 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](Pics/bibsonomy.png) |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs ![Uppsala University, Computing Science Departent The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
36 | Giancarlo Succi, Giuseppe Marino, Giancarlo Colla |
Modelling the Connection Machine 2 as an Emulator of Subset-Based Declarative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs ![In: Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994, pp. 21-32, 1994, Uppsala University, Computing Science Departent. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
36 | M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo |
IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs ![In: Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994, pp. 107-122, 1994, Uppsala University, Computing Science Departent. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
36 | Manuel V. Hermenegildo, Manuel Carro |
A Note on Data-Parallelism and (And-Parallel) Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs ![In: Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994, pp. 49-64, 1994, Uppsala University, Computing Science Departent. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
36 | Donald A. Smith |
Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs ![In: Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994, pp. 33-47, 1994, Uppsala University, Computing Science Departent. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
36 | Dongxing Tang, Enrico Pontelli, Gopal Gupta 0001, Manuel Carro |
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs ![In: Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994, pp. 93-106, 1994, Uppsala University, Computing Science Departent. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
36 | Bart Demoen, Greet Maris |
A Comparison of Some Schemes for Translating Logic to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs ![In: Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994, pp. 79-91, 1994, Uppsala University, Computing Science Departent. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
36 | Olivier Michel 0001, Jean-Louis Giavitto |
Design and Implementation of a Declarative Data-Parallel Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs ![In: Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994, pp. 1-10, 1994, Uppsala University, Computing Science Departent. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
36 | Enrico Pontelli, Gopal Gupta 0001, Manuel V. Hermenegildo |
&ACE: the And-parallel Component of ACE (A Progress Report on ACE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs ![In: Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994, pp. 65-78, 1994, Uppsala University, Computing Science Departent. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
36 | Arvind K. Bansal |
Towards a Formal Computation Model of Associative Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs ![In: Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994, pp. 11-20, 1994, Uppsala University, Computing Science Departent. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
36 | Anthony 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](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![Springer, 3-540-55038-0 The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Remco Moolenaar, Henk Van Acker, Bart Demoen |
KAPPA: A Kernel Andorra Prolog Parallel Architecture Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 54-69, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Anthony Joseph Beaumont |
Scheduling Strategies and Speculative Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 120-131, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Khayri A. M. Ali, Roland Karlsson, Shyam Mudambi |
Performance of Muse on the BBN Butterfly TC2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 104-119, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Reem Bahgat |
The Pandora Abstract Machine: An Extension of JAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 83-103, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | H. Bourzoufi, Gilles Goncalves, Pierre Lecouffe, Bernard Toursel |
An Efficient Binding Management in OR-Parallel Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 185-195, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Inês de Castro Dutra |
A Flexible Scheduler for the Andorra-I System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 70-82, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Péter Szeredi |
Solving Optimisation Problems in the Aurora Or-parallel Prolog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 39-53, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Giancarlo Succi, Giuseppe Marino |
Data Parallelism in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 173-184, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Koenraad De Bosschere |
Blackboard Communication in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 159-172, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Wolfgang Ertel |
Performance of Competitive OR-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 132-145, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Martin Gittins |
Debugging Parallel Strand Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 1-16, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Petros Kefalas, T. J. Reynolds |
Controlling Search with Meta-Brave. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Parallel Execution of Logic Programs ![In: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings, pp. 29-38, 1991, Springer, 3-540-55038-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
35 | Chansik 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](Pics/bibsonomy.png) |
ISORC ![In: Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea, pp. 408-418, 2006, IEEE Computer Society, 0-7695-2561-X. The full citation details ...](Pics/full.jpeg) |
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 |
35 | Sé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](Pics/bibsonomy.png) |
ICSM ![In: 1999 International Conference on Software Maintenance, ICSM 1999, Oxford, England, UK, August 30 - September 3, 1999, pp. 189-198, 1999, IEEE Computer Society, 0-7695-0016-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation |
34 | Matt Staats, Corina S. Pasareanu |
Parallel symbolic execution for structural test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010, pp. 183-194, 2010, ACM, 978-1-60558-823-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parallel, symbolic execution, java pathfinder |
34 | Neila 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](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(1), pp. 1-56, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
QoS, Web services, Composition, Dependability, Failure, Distributed execution, Transaction model |
34 | Tankut Akgul, Vincent John Mooney III |
Assembly instruction level reverse execution for debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 13(2), pp. 149-198, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
reverse code generation, reverse execution, Debugging |
34 | Siamak Arya, Howard Sachs, Sreeram Duvvuru |
An architecture for high instruction level parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 153-162, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
33 | Onur 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](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(12), pp. 1556-1571, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
processor performance modeling, speculative execution, runahead execution, Single data stream architectures |
33 | Stefan Pleisch, André Schiper |
Fault-Tolerant Mobile Agent Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(2), pp. 209-222, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
nonblocking execution, exactly-once execution, fault tolerance, Mobile agents, agreement problem |
33 | Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid |
Debugging Concurrent Ada Programs by Deterministic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(1), pp. 45-63, 1991. The full citation details ...](Pics/full.jpeg) |
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 |
32 | Christine Rochange, Pascal Sainrat |
A Context-Parameterized Model for Static Analysis of Execution Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. High Perform. Embed. Archit. Compil. ![In: Transactions on High-Performance Embedded Architectures and Compilers II, pp. 222-241, 2009, Springer, 978-3-642-00903-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
timing analysis, Worst-Case Execution Time |
32 | Joseph A. Tucek, Weiwei Xiong, Yuanyuan Zhou 0001 |
Efficient online validation with delta execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 193-204, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
delta execution, patch validation, testing |
32 | Sridhar Madala, James B. Sinclair |
Performance of Synchronous Parallel Algorithms with Regular Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(1), pp. 105-116, 1991. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Narayan Ranganathan, Manoj Franklin |
An Empirical Study of Decentralized ILP Execution Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VIII Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 3-7, 1998., pp. 272-281, 1998, ACM Press, 1-58113-107-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
execution unit dependence, hardware window, instruction-level parallelism, data dependence, dynamic scheduling, speculative execution, control dependence, decentralization |
31 | Tai-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](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 275-285, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Moreno Coli, Paolo Palazzari |
Global execution time minimization by allocating tasks in parallel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 91-97, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa |
Scheduling DAG's for Asynchronous Multiprocessor Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(5), pp. 498-508, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Jack W. Davidson, Anne M. Holler |
Subprogram Inlining: A Study of its Effects on Program Execution Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(2), pp. 89-102, 1992. The full citation details ...](Pics/full.jpeg) |
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 |
30 | Marcelo d'Amorim, Steven Lauterburg, Darko Marinov |
Delta execution for efficient state-space exploration of object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007, pp. 50-60, 2007, ACM, 978-1-59593-734-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
delta execution, model checking |
30 | Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov |
Optimized Execution of Deterministic Blocks in Java PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 549-567, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Aniello Cimitile, Andrea De Lucia, Malcolm Munro |
Identifying reusable functions using specification driven program slicing: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 124-133, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
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 |
30 | Resit Sendag, Ying Chen, David J. Lilja |
The Impact of Incorrectly Speculated Memory Operations in a Multithreaded Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(3), pp. 271-285, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
mispredicted loads, wrong execution, wrong execution cache, prefetching, Speculation, multithreaded architecture |
30 | Sung-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](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(7), pp. 593-604, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
pipelined execution, real-time system, Cache memory, worst case execution time, RISC processor |
29 | Corina 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](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 15-26, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
unit testing, symbolic execution, software model checking, system testing |
29 | Balkrishna Ramkumar, Laxmikant V. Kalé |
Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(2), pp. 181-192, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
29 | Zhen Ming Jiang, Ahmed E. Hassan, Parminder Flora, Gilbert Hamann |
Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 181-186, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Log Abstraction, Monitoring, Dynamic Analysis, Clone |
29 | Chandra Krintz, Brad Calder, Han Bok Lee, Benjamin G. Zorn |
Overlapping Execution with Transfer Using Non-Strict Execution for Mobile Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VIII Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 3-7, 1998., pp. 159-169, 1998, ACM Press, 1-58113-107-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
29 | Vijayalakshmi Atluri, Soon Ae Chun, Ravi Mukkamala, Pietro Mazzoleni |
A decentralized execution model for inter-organizational workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 22(1), pp. 55-83, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Decentralized workflow execution, Self-describing workflow, Workflow partition, Dependency split, Workflow stub, Evaluation of workflow execution |
29 | Yan Wen, Huaimin Wang |
A Secure Virtual Execution Environment for Untrusted Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2007, 10th International Conference, Seoul, Korea, November 29-30, 2007, Proceedings, pp. 156-167, 2007, Springer, 978-3-540-76787-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Intrusion confinement, isolated execution, virtual execution environment, security, virtual machine |
29 | Phillip M. Dickens |
A Workstation-Based Parallel Direct-Execution Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, PADS '97, Lockenhaus, Austria, June 10-13, 1997, pp. 174-177, 1997, IEEE Computer Society, 0-8186-7965-4. The full citation details ...](Pics/full.jpeg) |
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 |
29 | Apostolos A. Kountouris |
Safe and efficient elimination of infeasible execution paths in WCET estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 187-194, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
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 |
29 | Takeshi Ogasawara |
An algorithm with constant execution time for dynamic storage allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 21-, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
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 |
29 | Chihping Wang, Arbee L. P. Chen, Shiow-Chen Shyu |
A Parallel Execution Method for Minimizing Distributed Query Response Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(3), pp. 325-333, 1992. The full citation details ...](Pics/full.jpeg) |
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 |
28 | Jin 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](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2009 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2009, Grenoble, France, October 11-16, 2009, pp. 175-184, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
LEON3, checkercore, shadow pipeline, FPGA, embedded system, real-time, WCET, worst-case-execution-time, SPARC |
28 | Yun Liang 0001, Tulika Mitra |
Cache modeling in probabilistic execution time analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 319-324, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
probabilistic execution time analysis, cache modeling |
28 | António Lopes 0001, Luís Miguel Botelho |
Executing Semantic Web Services with a Context-Aware Service Execution Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCASE ![In: Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings, pp. 1-15, 2007, Springer, 978-3-540-72618-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Service Execution, Semantic Web, Context-awareness, Agents |
28 | Mike McGavin, Tim Wright, Stuart Marshall |
Visualisations of execution traces (VET): an interactive plugin-based visualisation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AUIC ![In: User Interfaces 2006, 7th Australasian User Interface Conference (AUIC 2006), Hobart, Tasmania, Australia, January 16-19 2005, pp. 153-160, 2006, Australian Computer Society, 1-920682-32-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
execution traces, software visualisation |
28 | Sarfraz Khurshid, Yuk Lai Suen |
Generalizing symbolic execution to library classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005, pp. 103-110, 2005, ACM, 1-59593-239-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
korat, model checking, symbolic execution, test input generation |
28 | Laurent David, Isabelle Puaut |
Static Determination of Probabilistic Execution Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June - 2 July 1004, Catania, Italy, Proceedings, pp. 223-230, 2004, IEEE Computer Society, 0-7695-2176-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Probabilistic execution times, Static analysis, Soft real-time systems |
28 | Rajagopalan Desikan, Simha Sethumadhavan, Doug Burger, Stephen W. Keckler |
Scalable selective re-execution for EDGE architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2004, Boston, MA, USA, October 7-13, 2004, pp. 120-132, 2004, ACM, 1-58113-804-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
EDGE architectures, load-store dependence prediction, mis-speculation recovery, selective re-execution, selective replay, speculative dataflow machines |
28 | Gábor Dózsa |
High Performance Application Execution Scenarios in P-GRADE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings, pp. 8, 2004, Springer, 3-540-23163-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Guillem Bernat, Antoine Colin, Stefan M. Petters |
WCET Analysis of Probabilistic Hard Real-Time System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), Austin, Texas, USA, December 3-5, 2002, pp. 279-288, 2002, IEEE Computer Society, 0-7695-1851-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
worst case execution time, probabilistic analysis, hard real-time, execution profiles |
27 | George W. Dunlap, Dominic G. Lucchetti, Michael A. Fetterman, Peter M. Chen |
Execution replay of multiprocessor virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008, pp. 121-130, 2008, ACM, 978-1-59593-796-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ReVirt, direct memory access, execution replay, hardware page protections, virtual machines, multiprocessors, multithreading, determinism, Xen |
27 | John 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](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 286-305, 1989, Springer, 3-540-51284-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Functional programming environment, program transformation, partial evaluation, parallel execution |
27 | Ruth E. Anderson, Thu D. Nguyen, John Zahorjan |
Cascaded Execution: Speeding Up Unparallelized Execution on Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS/SPDP ![In: 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 12-16 April 1999, San Juan, Puerto Rico, Proceedings, pp. 714-719, 1999, IEEE Computer Society, 0-7695-0143-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Xuemin Lin 0001, Simon Fox |
An effective parallelization of execution of multijoins in multiprocessor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 63-69, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
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 |
27 | Goetz Graefe, Diane L. Davison |
Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(8), pp. 749-764, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
26 | Cristian Zamfir, George Candea |
Execution synthesis: a technique for automated software debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010, pp. 321-334, 2010, ACM, 978-1-60558-577-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
symbolic execution, automated debugging |
26 | Geoffrey Lefebvre, Brendan Cully, Michael J. Feeley, Norman C. Hutchinson, Andrew Warfield |
Tralfamadore: unifying source code and execution experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, pp. 199-204, 2009, ACM, 978-1-60558-482-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
debugging, dynamic analysis, program understanding, trace analysis, querying execution |
26 | Tobias Conte, Matthias Burghardt |
A Process Model for Best Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FinanceCom ![In: Enterprise Applications and Services in the Finance Industry, 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers, pp. 15-31, 2007, Springer, 978-3-540-78549-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
MiFID, best execution, smart order routing, process model |
26 | Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis |
JThreadSpy: teaching multithreading programming by analyzing execution traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007, pp. 3-13, 2007, ACM, 978-1-59593-748-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization |
26 | Avinash V. Varadarajan, Ramarathnam Venkatesan, C. Pandu Rangan |
Data structures for limited oblivious execution of programs while preserving locality of reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Rights Management Workshop ![In: Proceedings of the Seventh ACM Workshop on Digital Rights Management, Alexandria, VA, USA, October 29, 2007, pp. 63-69, 2007, ACM, 978-1-59593-884-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
oblivious data structures, oblivious execution, secure data structures, DRM, software protection, secure hardware |
26 | Patrick Riley 0001, Manuela M. Veloso |
Coach planning with opponent models for distributed execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 13(3), pp. 293-325, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Simulated robot soccer, Planning, Opponent modeling, Advice, Distributed execution |
26 | Genhua Jin, Hyuk-Jae Lee |
A Parallel and Pipelined Execution of H.264/AVC Intra Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea, pp. 246, 2006, IEEE Computer Society, 0-7695-2687-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
block processing order, pipelining, H.264, parallel execution, Intra prediction |
26 | Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi |
Execution monitoring enforcement for limited-memory systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, PST 2006, Markham, Ontario, Canada, October 30 - November 1, 2006, pp. 38, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
bounded history automata, enforcement mechanisms, locally-testable properties, security policies, execution monitoring, edit automata |
26 | Sorin Manolache, Petru Eles, Zebo Peng |
Schedulability analysis of applications with stochastic task execution times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 3(4), pp. 706-735, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
stochastic task execution times, Schedulability analysis, soft real-time systems |
26 | Zhigang Hu, Alper Buyuktosunoglu, Viji Srinivasan, Victor V. Zyuban, Hans M. Jacobson, Pradip Bose |
Microarchitectural techniques for power gating of execution units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2004 International Symposium on Low Power Electronics and Design, 2004, Newport Beach, California, USA, August 9-11, 2004, pp. 32-37, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
execution units, low power, microarchitecture, power-gating |
26 | Karl Lermer, Colin J. Fidge, Ian J. Hayes |
Linear Approximation of Execution-Time Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(4), pp. 319-348, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Automatic constraint determination, Real-time program analysis, Worst-case and best-case execution times, Control-flow analysis, Timing prediction |
26 | Yuhong Feng, Wentong Cai 0001, Jiannong Cao 0001 |
A Simulation Study of Job Workflow Execution Models over the Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (2) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, pp. 935-943, 2003, Springer, 3-540-21993-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|