3872 search results - page 125 / 775 » The Java memory model |
119
Voted
ICNP
1999
IEEE
15 years 6 months ago
1999
IEEE
The design of software-based algorithms for fast IP address lookup targeted for general purpose processors has received tremendous attention in recent years due to its low cost im...
121
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
117
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper we study various chain codes, which are representations of binary image contours, in terms of their ability to compress in the best way the contour information using...
ICANNGA
2009
Springer
15 years 7 months ago
2009
Springer
The problem we address in this paper is that of finding effective and parsimonious patterns of connectivity in sparse associative memories. This problem must be addressed in real n...
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Some visual search tasks require to memorize the location of stimuli that have been previously scanned. Considerations about the eye movements raise the question of how we are able...