Software Development and Management Lab., Dept. of ComputingRefereed conference paper2001-2002 > Academic research: refereed > Refereed conference paperVersion of RecordPublishe
In concurrent programming, mutual exclusion algorithms are used to avoid the simultaneous access of ...
Runtime verification of multithreaded systems, that is, the process of finding errors in multithread...
A method for fault tolerance in concurrently executing computer programs is presented. The present i...
The monitor concept provides a structured and flexible high-level programming construct to control c...
The monitor concept provides a structured and flexible high-level programming construct to control c...
A goal of runtime software-fault monitoring is to observe software behavior to determine whether it ...
Formal methods have been used to establish the idea of safety and monitorable properties. Drawing fr...
Poster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS ...
A runtime analysis technique is presented, which can predict con-currency errors in multithreaded sy...
A fundamental problem with parallel program monitoring tools is the intrusiveness introduced by inst...
The Java programming language supports concurrency. Concurrent programs are hard to test due to thei...
Concurrency faults are one of the most damaging types of faults that can affect the dependability of...
Abstract. Concurrent programs often exhibit bugs due to unintended interfer-ences among the concurre...
A runtime analysis technique is presented, which can predict concurrency errors in multithreaded sys...
159 leaves : ill. ; 30 cm.PolyU Library Call No.: [THS] LG51 .H577M COMP 2002 CheungBeing a structur...
In concurrent programming, mutual exclusion algorithms are used to avoid the simultaneous access of ...
Runtime verification of multithreaded systems, that is, the process of finding errors in multithread...
A method for fault tolerance in concurrently executing computer programs is presented. The present i...
The monitor concept provides a structured and flexible high-level programming construct to control c...
The monitor concept provides a structured and flexible high-level programming construct to control c...
A goal of runtime software-fault monitoring is to observe software behavior to determine whether it ...
Formal methods have been used to establish the idea of safety and monitorable properties. Drawing fr...
Poster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS ...
A runtime analysis technique is presented, which can predict con-currency errors in multithreaded sy...
A fundamental problem with parallel program monitoring tools is the intrusiveness introduced by inst...
The Java programming language supports concurrency. Concurrent programs are hard to test due to thei...
Concurrency faults are one of the most damaging types of faults that can affect the dependability of...
Abstract. Concurrent programs often exhibit bugs due to unintended interfer-ences among the concurre...
A runtime analysis technique is presented, which can predict concurrency errors in multithreaded sys...
159 leaves : ill. ; 30 cm.PolyU Library Call No.: [THS] LG51 .H577M COMP 2002 CheungBeing a structur...
In concurrent programming, mutual exclusion algorithms are used to avoid the simultaneous access of ...
Runtime verification of multithreaded systems, that is, the process of finding errors in multithread...
A method for fault tolerance in concurrently executing computer programs is presented. The present i...
DOI
Add to ORKG