290 search results - page 10 / 58 » A Study of Branch Prediction Strategies |
CCGRID
2010
IEEE
14 years 10 months ago
2010
IEEE
Volunteer-based grid computing resources are characteristically volatile and frequently become unavailable due to the autonomy that owners maintain over them. This resource volati...
SAT
2004
Springer
15 years 3 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
100
click to vote
JIRS
2008
14 years 9 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
Experience sampling has been employed for decades to collect assessments of subjects' intentions, needs, and affective states. In recent years, investigators have employed au...
119
click to vote
PODS
2002
ACM
15 years 9 months ago
2002
ACM
We consider the fundamental operation of applying a conjunction of selection conditions to a set of records. With large main memories available cheaply, systems may choose to keep...