9110 search results - page 30 / 1822 » Formally-Based Design Evaluation |
97
Voted
HCI
2009
14 years 7 months ago
2009
Game developers have begun applying formal human-computer interaction (HCI) principles in design. Desurvire et al [2] adapted a set of Heuristics for productivity software to games...
77
Voted
DATE
2000
IEEE
15 years 2 months ago
2000
IEEE
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
Abstract. In this paper we suggest a strategy to design job scheduling systems. To this end, we first split a scheduling system into three components: Scheduling policy, objective ...
MICRO
2008
IEEE
15 years 4 months ago
2008
IEEE
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...
82
Voted
CHI
2010
ACM
15 years 4 months ago
2010
ACM
We present the design, development, and evaluation of an end-user installable, whole house power consumption sensing system capable of gathering accurate real-time power use that ...