2479 search results - page 186 / 496 » A Computational Theory of Working Memory |
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
ISWC
2002
IEEE
14 years 2 months ago
2002
IEEE
VizWear-Active is a wearable active vision system for distributed computing environments. It consists of wearable and infrastructure-side modules that autonomously and cooperative...
DAC
1999
ACM
14 years 1 months ago
1999
ACM
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....
CHI
1998
ACM
14 years 1 months ago
1998
ACM
The Insight Lab is an immersive environment designed to support teams who create design requirements documents. Requirements emerge from a deep understanding of a problem domain, ...
IPPS
1996
IEEE
14 years 1 months ago
1996
IEEE
Multiple instruction issue processors place high demands on register file bandwidth. One solution to reduce this bottleneck is the use of multiple register files. Register allocat...