3521 search results - page 4 / 705 » Algorithmic Control in Concurrent Computations |
JACM
2002
14 years 9 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...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
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...
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
VLDB
1994
ACM
15 years 1 months ago
1994
ACM
This paper initially presents a brief but fairly exhaustive survey of solutions to the concurrency control problem for B-trees. We then propose a new solution, which is characteri...