1499 search results - page 176 / 300 » Chopping Concurrent Programs |
COORDINATION
2007
Springer
14 years 4 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
— Embedded multiprocessors pose new challenges in the design and implementation of embedded software. This has led to the need for programming interfaces that expose the capabili...
CIE
2005
Springer
14 years 4 months ago
2005
Springer
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
IWMM
2004
Springer
14 years 3 months ago
2004
Springer
Garbage-First is a server-style garbage collector, targeted for multi-processors with large memories, that meets a soft real-time goal with high probability, while achieving high ...
IFIP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Context-aware computing involves the automatic tailoring of information and services based on the current location of the user. In this paper, we describe our experience ...