Sciweavers

849 search results - page 77 / 170
» The Early Restart Algorithm
Sort
View
ICFEM
2010
Springer
13 years 8 months ago
A Methodology for Automatic Diagnosability Analysis
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
Jonathan Ezekiel, Alessio Lomuscio
CIDR
2011
249views Algorithms» more  CIDR 2011»
13 years 1 months ago
The Case for Predictive Database Systems: Opportunities and Challenges
This paper argues that next generation database management systems should incorporate a predictive model management component to effectively support both inward-facing application...
Mert Akdere, Ugur Çetintemel, Matteo Rionda...
ECRTS
2006
IEEE
14 years 4 months ago
Real-Time Scheduling with Regenerative Energy
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...
Clemens Moser, Lothar Thiele, Luca Benini, Davide ...
GECCO
2010
Springer
148views Optimization» more  GECCO 2010»
14 years 2 months ago
Guarding against premature convergence while accelerating evolutionary search
The fundamental dichotomy in evolutionary algorithms is that between exploration and exploitation. Recently, several algorithms [8, 9, 14, 16, 17, 20] have been introduced that gu...
Josh C. Bongard, Gregory S. Hornby
IPPS
2010
IEEE
13 years 8 months ago
Highly scalable parallel sorting
Sorting is a commonly used process with a wide breadth of applications in the high performance computing field. Early research in parallel processing has provided us with comprehen...
Edgar Solomonik, Laxmikant V. Kalé