1199 search results - page 24 / 240 » How to Compare the Power of Computational Models |
SIGMETRICS
2003
ACM
15 years 5 months ago
2003
ACM
The increasing constraints on power consumption in many computing systems point to the need for power modeling and estimation for all components of a system. The Operating System ...
IANDC
1998
14 years 11 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
106
click to vote
ISPASS
2006
IEEE
15 years 5 months ago
2006
IEEE
Applications in Computer Networks often require high throughput access to large data structures for lookup and classification. Many advanced algorithms exist to speed these searc...
128
click to vote
ALGOSENSORS
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we study the connectivity problem for wireless networks under the Signal to Interference plus Noise Ratio (SINR) model. Given a set of radio transmitters distributed ...
100
click to vote
VLSID
2002
IEEE
16 years 3 days ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...