2300 search results - page 16 / 460 » Maximally Concurrent Programs |
91
Voted
LCTRTS
2004
Springer
15 years 6 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
118
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Current language mechanisms for concurrency are largely isolated to the domain of single programs. Furthermore, increasing interest in concurrent programming encourages further res...
UM
2007
Springer
15 years 6 months ago
2007
Springer
127
Voted
ICCL
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
194
Voted
POPL
2008
ACM
16 years 26 days ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...