2610 search results - page 114 / 522 » Computational Probabilistic Non-interference |
GLVLSI
2007
IEEE
14 years 2 months ago
2007
IEEE
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...
PPOPP
2003
ACM
14 years 3 months ago
2003
ACM
Speculative multithreading (SpMT) architecture can exploit thread-level parallelism that cannot be identified statically. Speedup can be obtained by speculatively executing threa...
APSEC
2001
IEEE
14 years 1 months ago
2001
IEEE
A probabilistic scheduling model for software projects is presented. The model explicitly takes a scheduling strategy as input. When the scheduling strategy is fixed, the model ou...
ECAI
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Conflict-based diagnosis is a recently proposed probabilistic method for model-based diagnosis, inspired by consistencybased diagnosis, that uses a measure of data confli...
ESANN
2001
13 years 11 months ago
2001
Probabilistic algorithms o er a means of computing that works with the grain of analogue hardware, rather than against it. This paper proposes the use of such an algorithm in appli...