Sciweavers

1123 search results - page 75 / 225
» GUI Testing Techniques Evaluation by Designed Experiments
Sort
View
CHI
2005
ACM
16 years 9 days 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»
15 years 1 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 4 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 10 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 6 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