6709 search results - page 26 / 1342 » Performance Modelling of the Computational Hardware: A Stati... |
ICICS
2009
Springer
14 years 3 months ago
2009
Springer
We propose a novel approach for statistical risk modeling of network attacks that lets an operator perform risk analysis using a data model and an impact model on top of an attack ...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
Nonlinear registration is mostly performed after initialization by a global, linear transformation (in this work, we focus on similarity transformations), computed by a linear reg...
DAC
2001
ACM
14 years 10 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
JILP
2002
13 years 8 months ago
2002
As microprocessor designs continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models...
CPAIOR
2008
Springer
13 years 11 months ago
2008
Springer
We consider the problem of estimating the model count (number of solutions) of Boolean formulas, and present two techniques that compute estimates of these counts, as well as eith...