760 search results - page 3 / 152 » A visualization system for multithreaded programming |
ISVLSI
2005
IEEE
14 years 28 days ago
2005
IEEE
SIGCSE
1998
ACM
13 years 11 months ago
1998
ACM
CC
2005
Springer
14 years 27 days ago
2005
Springer
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
HICSS
2000
IEEE
13 years 11 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...