4604 search results - page 77 / 921 » Concurrency in Synchronous Systems |
RTS
2006
13 years 9 months ago
2006
This paper proposes the integration of internal and external clock synchronization by a combination of a fault-tolerant distributed algorithm for clock state correction with a cent...
CCS
2004
ACM
14 years 3 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
CODES
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we present a framework for a distributed and very low-cost implementation of synchronization controllers and protocols for embedded multiprocessors. The proposed arc...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents a novel non-flat synchronization model where the synchronization capacity of each agent is different regarding its social rank and strategy dominance. In the p...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...