2114 search results - page 2 / 423 » A model of cooperative threads |
CONCURRENCY
2006
13 years 5 months ago
2006
PPL
2008
13 years 5 months ago
2008
In this paper we argue that it is possible to couple the advantages of programming with the well-known abstraction of RPC with asynchronous programming models adequate for wide-ar...
PPL
2008
13 years 5 months ago
2008
In this paper, we present HirondML, an Objective Caml library implementing migrating threads. Our library is based on a simplified implementation of the Fair Threads, a reactive t...
MST
2008
13 years 5 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
ENTCS
2006
13 years 5 months ago
2006
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...