2035 search results - page 124 / 407 » Working memory |
110
click to vote
MM
2006
ACM
15 years 9 months ago
2006
ACM
The paper discusses the digital artwork series Impossible Geographies, works that weave dynamic cartographies of invisible, fragile and hybrid spaces. Impossible Geographies 01: M...
118
click to vote
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
137
click to vote
ADHOCNETS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper addresses the detection and reporting of abnormal building access with a wireless sensor network. A common office room, offering space for two working persons...
121
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...
125
click to vote
ANCS
2009
ACM
15 years 1 months ago
2009
ACM
In this paper we introduce the Range Trie, a new multiway tree data structure for address lookup. Each Range Trie node maps to an address range [Na, Nb) and performs multiple comp...