Sciweavers

6355 search results - page 907 / 1271
» From Logic to Games
Sort
View
ETS
2006
IEEE
119views Hardware» more  ETS 2006»
16 years 27 days ago
On-Chip Test Generation Using Linear Subspaces
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
Ramashis Das, Igor L. Markov, John P. Hayes
ICAS
2006
IEEE
136views Robotics» more  ICAS 2006»
16 years 27 days ago
Addressing the Signal Grounding Problem for Autonomic Systems
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
Martin Randles, A. Taleb-Bendiab, Philip Miseldine
ISCAS
2006
IEEE
94views Hardware» more  ISCAS 2006»
16 years 26 days ago
On the sensitivity of BDDs with respect to path-related objective functions
— Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synt...
Rüdiger Ebendt, Rolf Drechsler
SIPS
2006
IEEE
16 years 26 days ago
Carry Prediction and Selection for Truncated Multiplication
This paper presents an error compensation method for truncated multiplication. From two n-bit operands, the operator produces an n-bit product with small error compared to the 2n-b...
Romain Michard, Arnaud Tisserand, Nicolas Veyrat-C...
WCRE
2006
IEEE
16 years 25 days ago
How Programs Represent Reality (and how they don't)
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
Daniel Ratiu, Florian Deissenboeck