Sciweavers

1720 search results - page 123 / 344
» Unranking Combinations in Parallel
Sort
View
IEEEPACT
2002
IEEE
15 years 10 months ago
Predicting Conditional Branches With Fusion-Based Hybrid Predictors
Researchers have studied hybrid branch predictors that leverage the strengths of multiple stand-alone predictors. The common theme among the proposed techniques is a selection mec...
Gabriel H. Loh, Dana S. Henry
CONCUR
2001
Springer
15 years 10 months ago
Compositional Methods for Probabilistic Systems
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
IFIP
2001
Springer
15 years 10 months ago
A New Efficient VLSI Architecture for Full Search Block Matching Motion Estimation
: A new efficient type I architecture for motion estimation in video sequences based on the Full-Search Block-Matching (FSBM) algorithm is proposed in this paper. This architecture...
Nuno Roma, Leonel Sousa
ICDCS
2000
IEEE
15 years 10 months ago
The Effect of Nogood Learning in Distributed Constraint Satisfaction
We present resolvent-based learning as a new nogood learning method for a distributed constraint satisfaction algorithm. This method is based on a look-back technique in constrain...
Makoto Yokoo, Katsutoshi Hirayama
160
Voted
ICPPW
2000
IEEE
15 years 10 months ago
Active Streaming in Transport Delay Minimization
In this paper we present a technique for reducing response delay for web systems, which is based on a proactive cache scheme. It combines predictive pre-fetching and streaming to ...
Javed I. Khan