1673 search results - page 319 / 335 » Generalized Elastic Scheduling |
PLDI
2003
ACM
14 years 19 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
SENSYS
2003
ACM
14 years 19 days ago
2003
ACM
An effective approach for energy conservation in wireless sensor networks is scheduling sleep intervals for extraneous nodes, while the remaining nodes stay active to provide cont...
SIGECOM
2003
ACM
14 years 19 days ago
2003
ACM
Some recent trends in business and manufacturing hold the promise of greater profits, yet, due to profit-robbing inventory increases, this promise has not been fully realized. [9]...
SIGMETRICS
2003
ACM
14 years 19 days 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 ...
SIGUCCS
2003
ACM
14 years 19 days ago
2003
ACM
IAT Services, the central Information Technology group at the University of Missouri-Columbia, operates computing sites in general access, classroom, and residence hall settings. ...