2035 search results - page 211 / 407 » Working memory |
173
click to vote
IMR
2004
Springer
16 years 11 days ago
2004
Springer
Generating large 3D unstructured meshes with over 1 billion elements has been a challenging task. Fortunately, for a large class of applications with relatively simple geometries,...
189
click to vote
SPIN
2004
Springer
16 years 10 days 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...
179
click to vote
ARITH
2003
IEEE
16 years 9 days ago
2003
IEEE
This work uses a partially redundant number system as an internal format for floating point arithmetic operations. The redundant number system enables carry free arithmetic opera...
162
click to vote
DATE
2003
IEEE
16 years 9 days ago
2003
IEEE
This paper details the first step of the Design Trotter framework for design space exploration applied to dedicated SOCs. The aim of this step is to provide metrics in order to gu...
153
click to vote
DATE
2003
IEEE
16 years 9 days ago
2003
IEEE
This work presents a soft IP description of Rijndael, the Advanced Encryption Standard (AES) of National Institute of Standards and Technology (NIST). This Rijndael implementation...