With the advent and subsequent popularity of portable computers, power management of system components has become an important issue. Current portable computers implement a number...
Kester Li, Roger Kumpf, Paul Horton, Thomas E. And...
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...
Christoph A. Herrmann, Armelle Bonenfant, Kevin Ha...
Recently, Helmert and Geffner proposed the context-enhanced additive heuristic, where fact costs are evaluated relative to context states that arise from achieving first a pivot c...
Trains often arrive delayed at stations where passengers have to change to other trains. The question of delay management is whether these trains should wait for the original train...
Twan Dollevoet, Dennis Huisman, Marie Schmidt, Ani...
Confocal fluorescence microscopy has become an important tool in biological and medical sciences for imaging thin specimen, even living ones. Due to out-of-focus blurring and noise...