1471 search results - page 106 / 295 » Composing concurrency control |
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- The subject area of this paper is discrete-time linear time-invariant systems composed of subsystems whose state updating is asynchronous due to the clock signal arrivin...
PPOPP
2009
ACM
15 years 4 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
SASO
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we describe an application-level emulator for P2P systems with a special focus on high reproducibility. We achieve reproduciblity by taking control over the schedul...
115
click to vote
FROCOS
2000
Springer
15 years 1 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
COOP
2004
14 years 11 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...