4385 search results - page 55 / 877 » Abstraction for Concurrent Objects |
101
Voted
SPDP
1993
IEEE
15 years 3 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
113
Voted
PLDI
2006
ACM
15 years 4 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
77
Voted
JLP
2011
14 years 1 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
ICCAD
1994
IEEE
15 years 3 months 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 ...
104
click to vote
CSFW
2007
IEEE
15 years 2 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...