A Unified Model for Concurrent Debugging
- 1 August 1993
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Improving the accuracy of data race detectionACM SIGPLAN Notices, 1991
- Analyzing parallel program executions using multiple viewsJournal of Parallel and Distributed Computing, 1990
- Debugging concurrent programsACM Computing Surveys, 1989
- CODE: a unified approach to parallel programmingIEEE Software, 1989
- Modeling concurrency by partial orders and nonlinear transition systemsPublished by Springer Nature ,1989
- An integrated approach to parallel program debugging and performance analysis onlarge-scale multiprocessorsACM SIGPLAN Notices, 1988
- Static analysis of low-level synchronizationACM SIGPLAN Notices, 1988
- Debugging heterogeneous distributed systems using event-based models of behaviorACM SIGPLAN Notices, 1988
- Debugging Parallel Programs with Instant ReplayIEEE Transactions on Computers, 1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986