Sciweavers

1875 search results - page 24 / 375
» A Calculus of Broadcasting Systems
Sort
View
RTSS
2009
IEEE
15 years 4 months ago
Multiprocessor Extensions to Real-Time Calculus
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
Hennadiy Leontyev, Samarjit Chakraborty, James H. ...
73
Voted
RTAS
1996
IEEE
15 years 1 months ago
AIDA-based real-time fault-tolerant broadcast disks
The proliferation of mobile computers and wireless networks requires the design of future distributed real-time applications to recognize and deal with the signi cant asymmetry be...
Azer Bestavros
BIRTHDAY
2000
Springer
15 years 2 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner
HASE
2008
IEEE
15 years 4 months ago
Transaction Calculus
Jifeng He