4385 search results - page 67 / 877 » Abstraction for Concurrent Objects |
77
Voted
DAGSTUHL
2003
15 years 10 days ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
70
Voted
ECEASST
2010
14 years 5 months ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...
107
Voted
IPPS
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
78
Voted
FATES
2005
Springer
15 years 4 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
99
Voted
CISC
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. A public-key cryptosystem is usually used for key management, in particular to session key management. The paper presents a method for handling a batch of concurrent keys...