9110 search results - page 1609 / 1822 » Formally-Based Design Evaluation |
150
click to vote
IPSN
2010
Springer
15 years 9 months ago
2010
Springer
A noise map facilitates monitoring of environmental noise pollution in urban areas. It can raise citizen awareness of noise pollution levels, and aid in the development of mitigat...
130
click to vote
CLUSTER
2002
IEEE
15 years 9 months ago
2002
IEEE
While a number of User-Level Protocols have been developed to reduce the gap between the performance capabilities of the physical network and the performance actually available, a...
161
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
140
click to vote
SIGECOM
2010
ACM
15 years 9 months ago
2010
ACM
It is widely believed that computing payments needed to induce truthful bidding is somehow harder than simply computing the allocation. We show that the opposite is true for singl...
131
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
Energy consumption by computer systems has emerged as an important concern. However, the energy consumed in executing an algorithm cannot be inferred from its performance alone: i...