469 search results - page 73 / 94 » Language and library support for practical PRAM programming |
156
click to vote
CPHYSICS
2006
15 years 5 months ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...
168
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
247
Voted
SMALLTALK
2007
Springer
15 years 12 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
264
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
159
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
The goal of this paper is to propose a scheme that provides comprehensive security protection for the heap. Heap vulnerabilities are increasingly being exploited for attacks on co...