1491 search results - page 74 / 299 » Resource-Passing Concurrent Programming |
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
COMPSAC
2009
IEEE
14 years 4 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
ICFEM
2004
Springer
14 years 3 months 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...