329 search results - page 26 / 66 » Asynchronous Communication in Process Algebra |
ETS
2000
IEEE
2000
IEEE
Using computer-mediated communication to form a knowledge-building community with beginning teachers
13 years 7 months ago
This study investigated how different types of computer-mediated communication (CMC) such as asynchronous forums, synchronous forums and e-mail were used to support an alternative...
PAAPP
2010
13 years 6 months ago
2010
Accurate, reproducible and comparable measurement of the overheads, communication times and progression behavior of blocking and nonblocking collective operations is a complicated...
IPPS
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
FMCO
2008
Springer
13 years 9 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...