Sciweavers

3686 search results - page 349 / 738
» Comprehensive comprehensions
Sort
View
99
Voted
CHI
2005
ACM
16 years 3 months ago
Augmented reading: presenting additional information without penalty
We present a new interaction technique for computer-based reading tasks. Our technique leverages users' peripheral vision as a channel for information transfer by using a vid...
Eric Bahna, Robert J. K. Jacob
VLSID
2007
IEEE
130views VLSI» more  VLSID 2007»
16 years 3 months ago
Impact of NBTI on FPGAs
Device scaling such as reduced oxide thickness and high electric field has given rise to various reliability concerns. One such growing issue of concern is the degradation of PMOS...
Krishnan Ramakrishnan, S. Suresh, Narayanan Vijayk...
139
Voted
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 3 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
VLSID
2002
IEEE
122views VLSI» more  VLSID 2002»
16 years 3 months ago
Evaluating Run-Time Techniques for Leakage Power Reduction
While some leakage power reduction techniques require modification of process technology achieving savings at the fabrication stage, others are based on circuit-level optimization...
David Duarte, Yuh-Fang Tsai, Narayanan Vijaykrishn...
HPCA
2007
IEEE
16 years 3 months ago
Illustrative Design Space Studies with Microarchitectural Regression Models
We apply a scalable approach for practical, comprehensive design space evaluation and optimization. This approach combines design space sampling and statistical inference to ident...
Benjamin C. Lee, David M. Brooks