Sciweavers

508 search results - page 80 / 102
» DNS performance and the effectiveness of caching
Sort
View
AAAI
1990
13 years 8 months ago
Symbolic Probabilistic Inference in Belief Networks
The Symbolic Probabilistic Inference (SPI) Algorithm [D'Ambrosio, 19891 provides an efficient framework for resolving general queries on a belief network. It applies the conc...
Ross D. Shachter, Bruce D'Ambrosio, Brendan Del Fa...
PSTV
1992
113views Hardware» more  PSTV 1992»
13 years 8 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
ICASSP
2011
IEEE
12 years 11 months ago
Online learning with minority class resampling
This paper considers using online binary classification for target detection where the goal is to identify signals of interest within a sequence of received signals generated by ...
Michael J. Pekala, Ashley J. Llorens
ISCA
1993
IEEE
115views Hardware» more  ISCA 1993»
13 years 11 months ago
Parity Logging Overcoming the Small Write Problem in Redundant Disk Arrays
Parity encoded redundant disk arrays provide highly reliable, cost effective secondary storage with high performance for read accesses and large write accesses. Their performance ...
Daniel Stodolsky, Garth A. Gibson, Mark Holland
MICRO
1995
IEEE
102views Hardware» more  MICRO 1995»
13 years 11 months ago
Zero-cycle loads: microarchitecture support for reducing load latency
Untolerated load instruction latencies often have a significant impact on overall program performance. As one means of mitigating this effect, we present an aggressive hardware-b...
Todd M. Austin, Gurindar S. Sohi