1414 search results - page 115 / 283 » Completion Energies and Scale |
VMCAI
2005
Springer
14 years 3 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...
ESANN
2008
13 years 11 months ago
2008
We test a selection of associative memory models built with different connection strategies, exploring the relationship between the structural properties of each network and its pa...
SIGOPS
2008
13 years 8 months ago
2008
Power management strategies for embedded systems typically rely on static, application driven deactivation of components (e.g. sleep, suspend), or on dynamic voltage and frequency...
USENIX
2000
13 years 11 months ago
2000
Recent highly publicized benchmarks have suggested that Linux systems do not scale as well as other systems, such as Windows NT, when used as network servers. Windows NT contains ...
EMSOFT
2005
Springer
14 years 3 months ago
2005
Springer
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...