Sciweavers

2904 search results - page 190 / 581
» Number Forms in the Brain
Sort
View
VISUALIZATION
2003
IEEE
16 years 13 days ago
Extraction of topologically simple isosurfaces from volume datasets
There are numerous algorithms in graphics and visualization whose performance is known to decay as the topological complexity of the input increases. On the other hand, the standa...
Andrzej Szymczak, James Vanderhyde
PLDI
2003
ACM
16 years 13 days ago
Optimizing indirect branch prediction accuracy in virtual machine interpreters
Interpreters designed for efficiency execute a huge number of indirect branches and can spend more than half of the execution time in indirect branch mispredictions. Branch target...
M. Anton Ertl, David Gregg
SBCCI
2003
ACM
94views VLSI» more  SBCCI 2003»
16 years 13 days ago
A New Pipelined Array Architecture for Signed Multiplication
– We present a new architecture for signed multiplication which maintains the pure form of an array multiplier, exhibiting a much lower overhead than the Booth architecture. This...
Eduardo A. C. da Costa, Sergio Bampi, José ...
ECAL
2003
Springer
16 years 12 days ago
Contextual Random Boolean Networks
Abstract. We propose the use of Deterministic Generalized Asynchronous Random Boolean Networks [1] as models of contextual deterministic discrete dynamical systems. We show that ch...
Carlos Gershenson, Jan Broekaert, Diederik Aerts
FM
2003
Springer
98views Formal Methods» more  FM 2003»
16 years 12 days ago
Generating Counterexamples for Multi-valued Model-Checking
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
Arie Gurfinkel, Marsha Chechik