Sciweavers

5722 search results - page 333 / 1145
» Dynamic inference control
Sort
View
ICCD
2011
IEEE
296views Hardware» more  ICCD 2011»
14 years 4 months ago
DPPC: Dynamic power partitioning and capping in chip multiprocessors
—A key challenge in chip multiprocessor (CMP) design is to optimize the performance within a power budget limited by the CMP’s cooling, packaging, and power supply capacities. ...
Kai Ma, Xiaorui Wang, Yefu Wang
ASPLOS
2004
ACM
15 years 10 months ago
Secure program execution via dynamic information flow tracking
Dynamic information flow tracking is a hardware mechanism to protect programs against malicious attacks by identifying spurious information flows and restricting the usage of sp...
G. Edward Suh, Jae W. Lee, David Zhang, Srinivas D...
IJCAI
2003
15 years 6 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
CVPR
2012
IEEE
13 years 7 months ago
Nonparametric discovery of activity patterns from video collections
We propose a nonparametric framework based on the beta process for discovering temporal patterns within a heterogenous video collection. Starting from quantized local motion descr...
Michael C. Hughes, Erik B. Sudderth
146
Voted
GECCO
2006
Springer
154views Optimization» more  GECCO 2006»
15 years 8 months ago
Dynamic fitness inheritance proportion for multi-objective particle swarm optimization
In this paper, we propose a dynamic mechanism to vary the probability by which fitness inheritance is applied throughout the run of a multi-objective particle swarm optimizer, in ...
Margarita Reyes Sierra, Carlos A. Coello Coello