1154 search results - page 43 / 231 » Mathematizing C concurrency |
132
Voted
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
146
Voted
SAC
2002
ACM
15 years 3 months ago
2002
ACM
Distributed cooperative engineering applications require consistent and long-term sharing of large volumes of data, which may cause conflicts due to concurrent read/write operatio...
241
Voted
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
112
Voted
IWMM
2010
Springer
15 years 5 months ago
2010
Springer
With the current developments in CPU implementations, it becomes obvious that ever more parallel multicore systems will be used even in embedded controllers that require real-time...
197
Voted
IS
2000
15 years 3 months ago
2000
Abstract With the rapid advances in mobile computing technology, there is an increasing demand for processing realtime transactions in a mobile environment. This paper studies con...