1257 search results - page 239 / 252 » A Novel Sequencer Hardware for Application Specific Computin... |
MICRO
1999
IEEE
15 years 1 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
83
Voted
TEI
2012
ACM
13 years 5 months ago
2012
ACM
Recent technological advances in input sensing, as well as ultra-small projectors, have opened up new opportunities for interaction – the use of the body itself as both an input...
TEI
2010
ACM
15 years 4 months ago
2010
ACM
Tangible user interfaces enable the interaction with digital information through the physical world. For the binding of physical representations with the underlying digital inform...
89
Voted
ISCA
2007
IEEE
15 years 3 months ago
2007
IEEE
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...
ICCAD
2009
IEEE
14 years 7 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...