240 search results - page 25 / 48 » A Typed Calculus of Synchronous Processes |
WINET
1998
13 years 8 months ago
1998
Abstract— A dual rate synchronous DS/CDMA system provides service to low bit rate and high bit rate users. In a fixed duration interval, a low rate user transmits one bit while ...
SNPD
2003
13 years 10 months ago
2003
Specific requirements of stream processing on the Grid are discussed. We argue that when the stream processing paradigm is used for cluster computing, the processing components c...
ANSS
1998
IEEE
14 years 1 months ago
1998
IEEE
Simulation, especially discrete event simulation (DES), is used in a variety of disciplines where numerical methods are difficult or impossible to apply. One problem with this met...
JLP
2007
13 years 9 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
APLAS
2008
ACM
13 years 11 months ago
2008
ACM
ion of Clocks in Synchronous Data-flow Systems Albert Cohen1 , Louis Mandel2 , Florence Plateau2 , and Marc Pouzet23 1 INRIA Saclay - Ile-de-France, Orsay, France 2 LRI, Univ. Pari...