Sciweavers

2861 search results - page 199 / 573
» Modelling Adaptive Systems in ForSyDe
Sort
View
QEST
2010
IEEE
13 years 7 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
SIGMETRICS
2011
ACM
161views Hardware» more  SIGMETRICS 2011»
13 years 2 days ago
Modeling program resource demand using inherent program characteristics
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...
Jian Chen, Lizy Kurian John, Dimitris Kaseridis
AIMS
2007
Springer
14 years 3 months ago
Malware Models for Network and Service Management
Different kinds of malware like the botnets and the worms are a main threat on Internet for the current and future. Their efficiency to control systems is proved and we are invest...
Jérôme François, Radu State, O...
PAMI
2007
194views more  PAMI 2007»
13 years 8 months ago
Robust Object Tracking Via Online Dynamic Spatial Bias Appearance Models
This paper presents a robust object tracking method via a spatial bias appearance model learned dynamically in video. Motivated by the attention shifting among local regions of a ...
Datong Chen, Jie Yang
IPPS
2005
IEEE
14 years 2 months ago
Self-Adaptive Scheduler Parameterization via Online Simulation
High-end parallel systems present a tremendous research challenge on how to best allocate their resources to match dynamic workload characteristics and user habits that are often ...
Barry Lawson, Evgenia Smirni