3565 search results - page 468 / 713 » Modeling a system controller for timing analysis |
173
click to vote
ICDAR
1999
IEEE
15 years 9 months ago
1999
IEEE
We propose a two-state Markov chain model of degraded document images. The model generates random and burst noise to simulate isolated pixel reversal as well as blurring of a larg...
190
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Memory trace analysis is an important technology for architecture research, system software (i.e., OS, compiler) optimization, and application performance improvements. Many appro...
138
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
131
click to vote
COMPUTER
1999
15 years 4 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
164
click to vote
WSC
1997
15 years 6 months ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...