1992 search results - page 386 / 399 » Memory modeling for system synthesis |
SAMOS
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a model for instruction-level distributed computing that allows the implementation of scalable chip multiprocessors. Based on explicit microthreading it serves ...
111
click to vote
SIGGRAPH
1999
ACM
15 years 2 months ago
1999
ACM
A simple, fast, and approximate voxel-based approach to 6DOF haptic rendering is presented. It can reliably sustain a 1000 Hz haptic refresh rate without resorting to asynchronous...
133
click to vote
CAV
1998
Springer
15 years 2 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
AUSAI
2006
Springer
15 years 1 months ago
2006
Springer
There is increasing evidence to suggest that the neocortex of the mammalian brain does not consist of a collection of specialised and dedicated cortical architectures, but instead ...
SCA
2007
15 years 7 days ago
2007
We describe a method for animating incompressible liquids with detailed free surfaces. For each time step, semiLagrangian contouring computes a new fluid boundary (represented as ...