2036 search results - page 401 / 408 » From Sampling to Model Counting |
WMASH
2004
ACM
14 years 3 months ago
2004
ACM
With the wide spread growth of mobile computing devices and local area wireless networks, wireless network providers have started to target the users with value-added services bas...
ICS
2004
Tsinghua U.
14 years 3 months ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...
MICRO
2003
IEEE
14 years 3 months ago
2003
IEEE
With increasing clock frequencies and silicon integration, power aware computing has become a critical concern in the design of embedded processors and systems-on-chip. One of the...
HT
2003
ACM
14 years 3 months ago
2003
ACM
This paper addresses the problem of organizing material in mixed digital and physical environments. It presents empirical examples of how people use collectional artefacts and org...
IPSN
2010
Springer
14 years 2 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...