Restrict to: Header Title Order by: Expected citations Hubs Usage Date Try: Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
9262 documents found. Only retrieving 250 documents (System busy - maximum reduced).
Retrieving documents...
Order: number of citations.
Pvm 3 User's Guide And Reference Manual - Geist, Beguelin, Dongarra.. (1994)
(Correct) (317 citations)
: 37 9 Debugging Methods :
performance, and fault tolerance. Basic steps for debugging PVM programs are presented, and references to
in batch mode. These register routines also allow debugger writers to plug into PVM and create
www4.informatik.uni-erlangen.de/~tsthiel/Papers/pvm-ug.ps.gz
Uniprocessor Garbage Collection Techniques - Wilson (1992)
(Correct) (252 citations)
they often fail to show up repeatably, making debugging very difficult they may never show up at all
inge-ns.ing.uniroma1.it/~nardi/LT9899/dispense/gcsurvey.ps
Minimizing Conflicts: A Heuristic Repair Method for.. - Minton, Johnston.. (1992)
(Correct) (204 citations)
in problem-solving systems that operate by debugging initial solutions [37, 40]In this paper, we
a long history of AI programs that use repair or debugging strategies to solve problems, primarily in the
Jose, CA, 1992. 37] R.G. Simmons. A theory of debugging plans and interpretations. In Proceedings
www.isi.edu/sims/minton/papers/aij-mc.ps
Implementing lazy functional languages on stock hardware: the.. - Jones (1992)
(Correct) (186 citations)
: 44 6.4 Debugging :
threads (Cooper &Morrisett [1990]and certain debugging mechanisms (Tolmach &Appel [1990]But all
from the stack pointer itself, but it is vital for debuggers. Gnu C provides a compiler flag to suppress
www.esw.inesc.pt/ftp/pub/mirror/ftp.cs.chalmers.se/pub/haskell/papers/glasgow-papers/spineless-tagless-gmachine.ps.gz
Partial-Order Methods for the Verification of Concurrent Systems .. - Godefroid (1995)
(Correct) (118 citations)
techniques are increasingly being used for debugging and proving correct finite-state concurrent
of state-space exploration techniques for debugging and proving correct concurrent reactive systems
www.montefiore.ulg.ac.be/services/verif/papers/thesis.ps.Z
Optimally Profiling and Tracing Programs - Ball, Larus (1992)
(Correct) (118 citations)
and analysis and are used also in trace-driven debugging. The profiling algorithm instruments a program
and analysis and are used also in trace-driven debugging [9, 12, 18]The product of this work is an
Miller And J. D. Choi, a Mechanism For Efficient Debugging Of Parallel Programs,Proc. Of The Acm Siplan
www.deas.harvard.edu/cs/academics/courses/cs248r/readings/qpt-opt-prof-trace.ps.gz
Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999)
(Correct) (109 citations)
D.2.5 [Software Engineering]Testing and Debugging-symbolic execution D.3.3 [Programming
www.cs.wisc.edu/wpis/papers/tr1383.ps
Introducing OBJ - Goguen, Winkler, Meseguer.. (1993)
(Correct) (69 citations)
has been used for many applications, including debugging algebraic specifications [61]rapid
purpose. This in turn greatly facilitates both debugging and reusability. When there are many modules,
it is ignored. This can be convenient during debugging. Allowing files to include top level commands
www-cs.ucsd.edu/users/goguen/pubs/../ps/iobj.ps.gz
Embra: Fast and Flexible Machine Simulation - Witchel, Rosenblum (1996)
(Correct) (65 citations)
years. In addition, Embra has been used in the debugging, development and testing of the Hive
code so all references can be detected. 3.6.3 Debugging One of Embra's primary functions is for
to access the state of the operating system with a debugger. We have modified the serial interface to gdb
hing.lcs.mit.edu/pub/witchel/papers/SIGMetrics96-embra.ps.Z
Consistent Global States of Distributed Systems.. - Babaoglu, Marzullo (1993)
(Correct) (60 citations)
distributed deadlock detection and distributed debugging as two instances of global predicate
collection, checkpointing and restarting, debugging, and in general, monitoring and
by applying them to deadlock detection and to debugging in distributed systems. 2 Asynchronous
www.newcastle.research.ec.org/broadcast/trs/./papers/02.ps
User's Guide to the p4 Parallel Programming System - Ralph Butler (1992)
(Correct) (58 citations)
for Timing p4 Programs 26 13 Functions for Debugging p4 Programs 26 14 Miscellaneous Functions 29 15
Some of these have been found useful during debugging. 3 INSTALLING P4 3 monitors A basic set of
any command line arguments passed to it, e.g. debugging parameters. Similarly, the last executable p4
ntua.gr/parallel/environments/p4/distribution/p4-manual.ps.Z
The Tiger Video Fileserver - Bolosky, Barrera, III, Draves.. (1996)
(Correct) (57 citations)
AVI, compressed AVI, various audio formats, and debugging files containing only test data. We commonly
www.research.microsoft.com/~mbj/papers/tr-96-09.ps
Programming with Intersection Types and Bounded Polymorphism - Pierce (1991)
(Correct) (57 citations)
design. We discuss the novel programming and debugging styles that arise in F We prove the
with the for construct and techniques for debugging programs written in this style. Chapter 8
of programming in F and illustrate some useful debugging techniques. Section 7.9 applies the "encoding"
www.cs.indiana.edu/l/www/pub/pierce/thesis.ps.gz
A World-Wide Distributed System Using Java and the.. - Chandy, Dimitrov, Le.. (1996)
(Correct) (56 citations)
archetypes. Furthermore, approaches for debugging sequential programs are inadequate for ensuring
ftp.cs.caltech.edu/tr/cs-tr-96-08.ps.Z
Trace-Based Mobile Network Emulation - Noble, Satyanarayanan, Nguyen, Katz (1997)
(Correct) (50 citations)
system designs. Third, it is valuable in debugging mobile systems because it enables the
values. Tracing can play an important role in debugging by deterministically reproducing the network
www.cs.cmu.edu/afs/cs/user/bnoble/mosaic/papers/sc97.ps.gz
The Jalapeño Dynamic Optimizing Compiler for Java - Burke, Choi, Fink.. (1999)
(Correct) (47 citations)
It is used to validate the other compilers, for debugging, and as the default compiler until the quick
www.mcs.newpaltz.edu/~hind/papers/grande99.ps
Efficient Detection of All Pointer and Array Access Errors - Austin, Breach, Sohi (1993)
(Correct) (45 citations)
result, it will be difficult to recreate during debugging. The programmer will have to condition the
vernacular of fault tolerant computing circles, debugging can be viewed as correlating the program fault
condition to occur. The primary goal of any good debugging environment is to provide a good int
ftp.cs.wisc.edu/tech-reports/reports/93/tr1197.ps.Z
Stack-Based Typed Assembly Language - Morrisett, Crary, Walker, Glew (1998)
(Correct) (44 citations)
errors, they have proven themselves valuable debugging tools in practice [21]Despite the numerous
reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-178.ps
Fuzz Revisited: A Re-examination of the Reliability of UNIX.. - Miller, al. (1995)
(Correct) (43 citations)
this way. Content Indicators: D.2.5 (Testing and Debugging)D.4.9 (Programs and Utilities)General
pauillac.inria.fr/~lang/hotlist/free/bench/fuzz-revisited-a4.ps
First 20 documents Next 20
Try your query at:
Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
CiteSeer.IST - Copyright Penn State and NEC