1959 search results - page 50 / 392 » Concerned About Separation |
181
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
130
click to vote
PICS
2000
15 years 1 months ago
2000
In the field of silver-halide photography, color separation was explored about a century ago, using filter mosaics, dichroic mirrors, three-shot filtration, and other techniques, ...
101
click to vote
CCA
2009
Springer
15 years 6 months ago
2009
Springer
In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Mar...
CACM
2005
14 years 11 months ago
2005
Networked communications inherently depend on the ability of the sender of a message to indicate through some token how the message should be delivered to a particular recipient. ...
FORTE
2007
15 years 1 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...