967 search results - page 139 / 194 » Probabilistic Predicative Programming |
124
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
114
Voted
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
118
click to vote
ADBIS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Caching data reduces user-perceived latency and often enhances availability in case of server crashes or network failures. DB caching aims at local processing of declarat...
ISCA
1996
IEEE
15 years 6 months ago
1996
IEEE
Many studies have investigated performance improvement through exploiting instruction-level parallelism (ILP) with a particular architecture. Unfortunately, these studies indicate...
129
Voted
DAC
2007
ACM
16 years 3 months ago
2007
ACM
We discover significant value-dependent programming energy variations in multi-level cell (MLC) flash memories, and introduce an energy-aware data compression method that minimize...