1491 search results - page 74 / 299 » Resource-Passing Concurrent Programming |
74
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
90
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
108
Voted
IPPS
2003
IEEE
15 years 8 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...
104
Voted
COMPSAC
2009
IEEE
15 years 9 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 ...
114
Voted
ICFEM
2004
Springer
15 years 8 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...