446 search results - page 13 / 90 » Sentries for the Execution of Concurrent Programs |
EMSOFT
2004
Springer
14 years 24 days ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
PPDP
1999
Springer
13 years 11 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
IPPS
1994
IEEE
13 years 11 months ago
1994
IEEE
As parallel and distributed computers become more widely available and used, the already important process of understanding and debugging concurrent programs will take on even gre...
ICFEM
2004
Springer
14 years 24 days ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...