24 search results - page 4 / 5 » Scheduling with uncertainty: A proactive approach using Part... |
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper we study the problem of dynamic optimization of ping schedule in an active sonar buoy network deployed to provide persistent surveillance of a littoral area throu...
128
Voted
PPOPP
2009
ACM
16 years 3 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
113
click to vote
TCAD
2008
14 years 11 months ago
2008
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Meta-level control manages the allocation of limited resources to deliberative actions. This paper discusses efforts in adding meta-level control capabilities to a Markov Decision...
120
click to vote
ICAC
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper introduces a transparent self-configuring architecture for automatic scaling with temperature awareness in the database tier of a dynamic content web server. We use a ...