3256 search results - page 603 / 652 » Applications of Formal Methods to System Design and Verifica... |
MOBISYS
2010
ACM
15 years 1 days ago
2010
ACM
This paper presents MAUI, a system that enables fine-grained energy-aware offload of mobile code to the infrastructure. Previous approaches to these problems either relied heavily...
SIGMETRICS
2002
ACM
14 years 9 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
VIS
2004
IEEE
15 years 11 months ago
2004
IEEE
Coronary heart disease (CHD) is the number one killer in the United States. Although it is well known that CHD mainly occurs due to blocked arteries, there are contradictory resul...
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Energy consumption is of significant concern in battery operated embedded systems. In the processors of such systems, the instruction cache consumes a significant fraction of the ...
76
Voted
CSCW
2010
ACM
15 years 6 months ago
2010
ACM
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...