1015 search results - page 36 / 203 » Syntactic Control of Concurrency |
PIMRC
2008
IEEE
14 years 2 months ago
2008
IEEE
— The Internet of Things, emerging pervasive and sensor networks are low data-rate wireless networks with, a priori, no specific topology and no fixed infrastructure. Their pri...
ATAL
2006
Springer
14 years 7 days ago
2006
Springer
In cooperative peer-to-peer information retrieval systems, each node can be considered an intelligent agent and these agents work collectively to provide an information retrieval ...
IICS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
ICCAD
1994
IEEE
14 years 19 days ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
DAGSTUHL
2001
13 years 10 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...