Sciweavers

1471 search results - page 52 / 295
» Composing concurrency control
Sort
View
PERCOM
2003
ACM
15 years 9 months ago
MACA-P: A MAC for Concurrent Transmissions in Multi-Hop Wireless Networks
: 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....
Arup Acharya, Archan Misra, Sorav Bansal
ADAEUROPE
2007
Springer
15 years 4 months ago
Modelling Remote Concurrency with Ada
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...
Claude Kaiser, Christophe Pajault, Jean-Fran&ccedi...
JACM
2002
87views more  JACM 2002»
14 years 9 months ago
Bounded concurrent timestamp systems using vector clocks
Abstract. Shared registers are basic objects used as communication mediums in asynchronous concurrent computation. A concurrent timestamp system is a higher typed communication obj...
Sibsankar Haldar, Paul M. B. Vitányi
ISIM
2007
14 years 11 months ago
Performance Comparison of Distributed Object Server Implementation
Abstract. In this paper we presentperformancemeasurementsin a cluster environment. First, we briefly explain our version of optimistic concurrency control and load balance.Then we ...
Petr Kroha, Mathias Kurth, Michael Fleischer
SIGSOFT
2003
ACM
15 years 10 months ago
Context-sensitive slicing of concurrent programs
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
Jens Krinke