2695 search results - page 256 / 539 » The Complexity of Forecast Testing |
141
Voted
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
123
click to vote
TRIDENTCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes the motivation, methodology and implementation approach of the testbed that has been developed in the framework of the EVEREST project. Such testbed is used f...
131
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
126
Voted
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Statistical timing analysis has been widely applied to predict the timing yield of VLSI circuits when process variations become significant. Existing statistical latch timing met...
139
Voted
ISLPED
2006
ACM
15 years 10 months ago
2006
ACM
—An increasing number of architectural techniques rely on hardware counting bloom filters (CBFs) to improve upon the enegy, delay and complexity of various processor structures. ...