Sciweavers

1798 search results - page 32 / 360
» Considerations for the design of exergames
Sort
View
DATE
2004
IEEE
131views Hardware» more  DATE 2004»
15 years 1 months ago
Testing of Quantum Dot Cellular Automata Based Designs
There has been considerable research on quantum dots cellular automata as a new computing scheme in the nano-scale regimes. The basic logic element of this technology is a majorit...
Mehdi Baradaran Tahoori, Fabrizio Lombardi
CHI
2008
ACM
14 years 11 months ago
Healthcare in everyday life: designing healthcare services for daily life
Today the design of most healthcare technology is driven by the considerations of healthcare professionals and technology companies. This has several benefits, but we argue that t...
Stinne Aaløkke Ballegaard, Thomas Riisgaard...
MTV
2006
IEEE
138views Hardware» more  MTV 2006»
15 years 3 months ago
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
Marc Herbstritt, Bernd Becker, Christoph Scholl
DATE
2002
IEEE
80views Hardware» more  DATE 2002»
15 years 2 months ago
Test Planning and Design Space Exploration in a Core-Based Environment
This paper proposes a comprehensive model for test planning in a core-based environment. The main contribution of this work is the use of several types of TAMs and the considerati...
Érika F. Cota, Luigi Carro, Marcelo Lubasze...
GLVLSI
1999
IEEE
90views VLSI» more  GLVLSI 1999»
15 years 2 months ago
A Memory Design in QCAs using the SQUARES Formalism
We present a formalism for implementing circuits with Quantum-dot Cellular Automata (QCA), comprising a set of standard circuit elements with uniform layout rules. The formalism s...
Daniel Berzon, Terry J. Fountain