Analysis of concurrent software by cooperative application of static and dynamic techniques
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
A debugger for concurrent programs
Software—Practice & Experience
A distributed programs monitor for Berkeley UNIX
Software—Practice & Experience
A probe effect in concurrent programs
Software—Practice & Experience
A structural view of the Cedar programming environment
ACM Transactions on Programming Languages and Systems (TOPLAS)
Development of a debugger for a concurrent language
IEEE Transactions on Software Engineering
Dbxtool: A window-based symbolic debugger for sun workstations
Software—Practice & Experience
Graphical views of parallel programs
ACM SIGSOFT Software Engineering Notes
Microprocessing and Microprogramming
DISDEB: an interactive high-level debugging system for a multi-microprocessor system
Microprocessing and Microprogramming
Monitoring tools for multiprocessors
Microprocessing and Microprogramming
Monitoring distributed systems
ACM Transactions on Computer Systems (TOCS)
A programming environment for CSP
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Pi: a case study in object-oriented programming
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Monit: a performance monitoring tool for parallel and pseudo-parallel programs
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
A relational approach to monitoring complex systems
ACM Transactions on Computer Systems (TOCS)
CDDT—concurrent system operation display and debugging tool
Microprocessing and Microprogramming - Special Volume: Euromicro '87 Microcomputers: Usage, Methods and Structures
ISCA '88 Proceedings of the 15th Annual International Symposium on Computer architecture
Parallel programming support in ParaScope
4th International DFVLR Seminar on Foundations of Engineering Sciences on Parallel Computing in Science and Engineering
Understanding concurrent programming through program animation
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
A mechanism for efficient debugging of parallel programs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Debugging concurrent processes: a case study
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Developing multitasking applications programs
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Practical support for parallel programming
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Global events and global breakpoints in distributed systems
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
A debugger for parallel processes
Software—Practice & Experience
Algorithm debugging of GHC programs and its implementation in GHC
Concurrent Prolog: collected papers
Graphical representations of program performance on hypercube message-passing multiprocessors
Graphical representations of program performance on hypercube message-passing multiprocessors
Non-intrusive and interactive profiling in parasight
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Program development for a systolic array
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Characterizing the synchronization behavior of parallel programs
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Performance evaluation of scientific programs on advanced architecture computers
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Interactive performance display and debugging using the NCUBE real-time graphicssystem
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Graphics facility useful for performance monitoring on an NCUBE
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
FAUST: an environment for programming parallel scientific applications
Proceedings of the 1988 ACM/IEEE conference on Supercomputing
IEEE Transactions on Software Engineering
ACM SIGAda Ada Letters
Efficient debugging primitives for multiprocessors
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
A distributed debugger for Amoeba
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Debugging heterogeneous distributed systems using event-based models of behavior
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Event-based debugging of object/action programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Experience with topaz telebugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
The mach exception handling facility
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Debugging distributed C programs by real time reply
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A real-time monitor for a distributed real-time operating system
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Integrating tools for debugging and developing multitasking programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Automatic detection of nondeterminacy in parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Static analysis of low-level synchronization
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
IGOR: a system for program debugging via reversible execution
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Supporting reverse execution for parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Debugging of heterogeneous parallel systems
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A mechanism for efficient debugging of parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
High-level debugging in parasight
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A program debugger for a systolic array: design and implementation
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Partial orders for parallel debugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Initial experiences with a pattern-oriented parallel debugger
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Voyeur: graphical views of parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Debugging parallel programs in parallel
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A graphical representation of concurrent processes
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Data path debugging: data-oriented debugging for a concurrent programming language
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Concurrent algorithmic debugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
The IC* system for debugging parallel programs via interactive monitoring and control
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Interactive blackbox debugging for concurrent languages
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A system for analyzing Ada programs at run-time
Software—Practice & Experience
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Interactive monitor for a communication kernal
Computer Systems Science and Engineering
ACM SIGAda Ada Letters
On-the-fly detection of access anomalies
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Demonic memory for process histories
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Visualizing Performance Debugging
Computer
Integrated concurrency analysis in a software development enviornment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Event synchronization analysis for debugging parallel programs
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
An environment for performance experiment on multiprocessors
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Models for visualization in parallel debuggers
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
ACM Computing Surveys (CSUR)
Models for monitoring and debugging tools for parallel and distributed software
Journal of Parallel and Distributed Computing - Special issue: software tools for parallel programming and visualization
Journal of Parallel and Distributed Computing - Special issue: software tools for parallel programming and visualization
Analyzing parallel program executions using multiple views
Journal of Parallel and Distributed Computing - Special issue: software tools for parallel programming and visualization
On the use of diagnostic dependence-analysis tools in parallel programming
The Journal of Supercomputing
Runtime observation of parallel programs
Proceedings of the conference on CONPAR 88
Software monitoring of parallel programs
Proceedings of the conference on CONPAR 88
Tools for deadlock detection on a hypercube
Proceedings of the conference on CONPAR 88
An empirical comparison of monitoring algorithms for access anomaly detection
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Modeling concurrency in parallel debugging
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Analysis of event synchronization in a parallel programming tool
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Real-time, concurrent checkpoint for parallel programs
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Compile-time detection of race conditions in a parallel program
ICS '89 Proceedings of the 3rd international conference on Supercomputing
Reproducible testing of concurrent Ada programs
Proceedings of the second conference on Software development tools, techniques, and alternatives
An interactive debugger for a concurrent language
ICSE '85 Proceedings of the 8th international conference on Software engineering
Saving traces for Ada debugging
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Execution monitoring and debugging tool for Ada using relational algebra
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
An approach to testing concurrent Ada programs
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
PM: a system for prototyping and monitoring remote procedure call programs
ACM SIGSOFT Software Engineering Notes
A graphical notation for describing executions of concurrent Ada programs
ACM SIGAda Ada Letters
A Parallel-Programming Process Model
IEEE Software
Start/Pat: A Parallel-Programming Toolkit
IEEE Software
High Level Interpretaton of Execution Traces of Ada Tasks
ESEC '87 Proceedings of the 1st European Software Engineering Conference
Traveler: The Apiary Observatory
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Anomaly detection in concurrent programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
Metric (Extended Abstract): A kernel instrumentation system for distributed environments
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
The Mesa programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Session summary: Distributed Debugging
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Development of a debugger for a concurrent language
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
An approach to high-level debugging of distributed systems (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Interactive debugging of concurrent programs (Extended Abstract)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Monitoring in a software development environment: A relational approach
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Models for Visualization in Parallel Debuggers
Models for Visualization in Parallel Debuggers
Advances in Parallel Debuggers: New Approaches to Visualization
Advances in Parallel Debuggers: New Approaches to Visualization
MAM: A SEMI-AUTOMATIC DEBUGGING TOOL FOR DISTRIBUTED PROGRAMS
MAM: A SEMI-AUTOMATIC DEBUGGING TOOL FOR DISTRIBUTED PROGRAMS
DEBUGGING DISTRIBUTED COMPUTATIONS IN A NESTED ATOMIC ACTION SYSTEM
DEBUGGING DISTRIBUTED COMPUTATIONS IN A NESTED ATOMIC ACTION SYSTEM
Runtime and description of deadness errors in ADA tasking
Runtime and description of deadness errors in ADA tasking
A Distributed Programs Monitor for Berkeley UNIX
A Distributed Programs Monitor for Berkeley UNIX
Development of a Control Process for the Berkeley UNIX Distributed
Development of a Control Process for the Berkeley UNIX Distributed
Performance of a Remote Instrumentation Program
Performance of a Remote Instrumentation Program
Debugging Programs in a Distributed System Environment
Debugging Programs in a Distributed System Environment
Shuffle Automat: A Formal Model for Behavior Recognition in Distributed
Shuffle Automat: A Formal Model for Behavior Recognition in Distributed
EBBA Modelling Tool a.k.a Event Definition Language
EBBA Modelling Tool a.k.a Event Definition Language
Monitoring system behavior in a complex computational environment.
Monitoring system behavior in a complex computational environment.
Monitoring distributed systems: a relational approach
Monitoring distributed systems: a relational approach
Performance of parallel programs: model and analyses
Performance of parallel programs: model and analyses
Performance characterization of distributed programs (debugging)
Performance characterization of distributed programs (debugging)
A knowledge-based system for debugging concurrent software (ada, temporal logic)
A knowledge-based system for debugging concurrent software (ada, temporal logic)
The design of a distributed debugger for action-based object-oriented programs
The design of a distributed debugger for action-based object-oriented programs
Pat: an interactive fortran parallelizing assistant tool
Pat: an interactive fortran parallelizing assistant tool
Parallel program debugging with flowback analysis
Parallel program debugging with flowback analysis
Debugging and analysis of large-scale parallel programs
Debugging and analysis of large-scale parallel programs
Ada debugging and testing support environments
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Debugging methodology: session summary
SIGSOFT '83 Proceedings of the symposium on High-level debugging
The Mesa Spy: an interactive tool for performance debugging
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Graphical animation of parallel Fortran programs
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
The RP3 program visualization environment
IBM Journal of Research and Development
Debugging in a Distributed World: Observation and Control
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Hi-index | 0.00 |