Sciweavers

1123 search results - page 75 / 225
» GUI Testing Techniques Evaluation by Designed Experiments
Sort
View
CHI
2005
ACM
15 years 10 months ago
Evaluating an ambient display for the home
We present our experiences with evaluating an ambient display for the home using two different evaluation techniques: the recently proposed `Heuristic Evaluation of Ambient Displa...
Sunny Consolvo, Jeffrey Towle
ATVA
2008
Springer
102views Hardware» more  ATVA 2008»
14 years 11 months ago
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
Farn Wang
ICCAD
1996
IEEE
121views Hardware» more  ICCAD 1996»
15 years 2 months ago
Identification of unsettable flip-flops for partial scan and faster ATPG
State justification is a time-consuming operation in test generation for sequential circuits. In this paper, we present a technique to rapidly identify state elements (flip-flops)...
Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs
ICMLC
2010
Springer
14 years 8 months ago
Initiated language learning machine with multi-media and speech-recognition techniques
: Facing the 21st century the age of exploration-increasing of all kinds of knowledge and quickly development of information, how to promote the competition potential of our citize...
Dong-Liang Lee, Chun-Liang Hsu, Sheng-Yuan Yang, W...
CODES
2009
IEEE
15 years 4 months ago
A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
Alireza Ejlali, Bashir M. Al-Hashimi, Petru Eles