Sciweavers

2300 search results - page 1 / 460
» Maximally Concurrent Programs
Sort
View
FAC
2000
94views more  FAC 2000»
13 years 4 months ago
Maximally Concurrent Programs
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
Rajeev Joshi, Jayadev Misra
STOC
2006
ACM
166views Algorithms» more  STOC 2006»
14 years 5 months ago
The Santa Claus problem
The Santa Claus problem is an interesting exercise in concurrent programming which has been used in a comparison of the concurrency mechanisms of Ada and Java. We present a simple...
Nikhil Bansal, Maxim Sviridenko
CONCURRENCY
2000
142views more  CONCURRENCY 2000»
13 years 4 months ago
Concurrent programming in VISO
Muhammed Al-Mulhem