880 search results - page 34 / 176 » Semantics-Based Concurrency Control |
ICCAD
1994
IEEE
14 years 29 days ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
ISSS
1995
IEEE
14 years 11 days ago
1995
IEEE
Systems composed of microprocessors interacting with ASICs are necessarily multiple-process systems, since the controller in the microprocessor is separate from any controllers on...
PERCOM
2003
ACM
14 years 8 months ago
2003
ACM
: This paper presents the initial design and performance study of MACA-P, a RTS/CTS based MAC protocol that enables simultaneous transmissions in multihop ad-hoc wireless networks....
ADAEUROPE
2007
Springer
14 years 3 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
JACM
2002
13 years 8 months ago
2002
Abstract. Shared registers are basic objects used as communication mediums in asynchronous concurrent computation. A concurrent timestamp system is a higher typed communication obj...