4747 search results - page 569 / 950 » Shuffle Memory System |
157
click to vote
COSIT
1993
Springer
15 years 11 months ago
1993
Springer
The importance of scale to the psychology of space (perception, thinking, memory, behavior) is discussed. It is maintained that scale has an important influence on how humans treat...
204
click to vote
OOPSLA
1993
Springer
15 years 11 months ago
1993
Springer
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the prog...
171
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
172
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
210
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...