9110 search results - page 40 / 1822 » Formally-Based Design Evaluation |
134
click to vote
CHI
2007
ACM
16 years 5 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...
138
click to vote
CHI
2004
ACM
16 years 5 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...
134
Voted
LCN
2006
IEEE
15 years 11 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 ...
136
Voted
EUROPAR
2005
Springer
15 years 10 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...
158
Voted
PLDI
2003
ACM
15 years 10 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 ...