9110 search results - page 40 / 1822 » Formally-Based Design Evaluation |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
We present the results of a field study of some of the work practices and software used by dentists. We also present the design, implementation, and evaluation of a user interface...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes an approach to managing tasks and processes that are distributed across a large number of people. The basic idea is to use a social visualization called a tas...
LCN
2006
IEEE
15 years 3 months ago
2006
IEEE
The Internet and the devices that connect to it consume a growing and significant amount of electricity. The utilization of desktop to switch Ethernet links is generally very low ...
EUROPAR
2005
Springer
15 years 3 months ago
2005
Springer
Mobile devices increasingly offer functionality beyond the one provided by traditional resources – processor, memory and applications. This includes, for example, integrated mul...
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
This paper presents the design and implementation of a compiler algorithm that effectively optimizes programs for energy usage using dynamic voltage scaling (DVS). The algorithm ...