3872 search results - page 286 / 775 » The Java memory model |
138
Voted
PST
2008
15 years 5 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
116
click to vote
ICPP
1995
IEEE
15 years 7 months ago
1995
IEEE
Data-parallel primitives for performing operations on the PM1 quadtree and the bucket PMR quadtree are presented using the scan model. Algorithms are described for building these ...
112
Voted
AGI
2008
15 years 5 months ago
2008
We provide an overview of Vector Symbolic Architectures (VSA), a class of structured associative memory models that offers a number of desirable features for artificial general int...
138
Voted
APPINF
2003
15 years 5 months ago
2003
This paper presents a new technique of recovery for object-based Distributed Shared Memory (DSM) systems. The new technique, integrated with a coherence protocol for atomic consis...
146
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Parallel random access memory, or PRAM, is a now venerable model of parallel computation that that still retains its usefulness for the design and analysis of parallel algorithms....