Sciweavers

5149 search results - page 39 / 1030
» Timed Asynchronous Distributed Systems
Sort
View
MFCS
1994
Springer
14 years 1 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
COOPIS
2004
IEEE
14 years 1 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
HICSS
2005
IEEE
151views Biometrics» more  HICSS 2005»
14 years 3 months ago
Inheritance in the Presence of Asynchronous Method Calls
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
Einar Broch Johnsen, Olaf Owe
ISLPED
2005
ACM
147views Hardware» more  ISLPED 2005»
14 years 3 months ago
System level power and performance modeling of GALS point-to-point communication interfaces
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
Koushik Niyogi, Diana Marculescu
TWC
2008
105views more  TWC 2008»
13 years 9 months ago
An EM approach to multiple-access interference mitigation in asynchronous slow FHSS systems
In this paper, we apply the EM algorithm for mitigation of multi-access interference (MAI) in asynchronous slow frequency-hop spread spectrum (FHSS) systems that employ binary freq...
Xing Tan, John M. Shea