727 search results - page 120 / 146 » A Replicator Dynamics Analysis of Difference Evaluation Func... |
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
ICDCS
2000
IEEE
14 years 1 days ago
2000
IEEE
This paper describes an architecture that provides support for quality of service (QoS) specification and enforcement in heterogeneous distributed computing systems. The Quartz Qo...
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
Abstract-- Process scaling and higher leakage power have resulted in increased power densities and elevated die temperatures. Due to the interdependence of temperature and leakage ...
HPDC
2000
IEEE
13 years 11 months ago
2000
IEEE
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...
APPT
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper presents a simulator for of a decentralized modular grid scheduler named MaGate. MaGate’s design emphasizes scheduler interoperability by providing intellige...