2695 search results - page 140 / 539 » The Complexity of Forecast Testing |
118
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
1 This paper addresses the issue of testing and diagnosing a memory core embedded in a complex SOC. The proposed solution is based on a P1500-compliant wrapper that follows a progr...
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Traditional design and test of complex multimedia systems involves a large number of test vectors and is a difficult and time-consuming task. The simulation times are prohibitivel...
136
click to vote
AI
2005
Springer
15 years 4 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
173
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
Our energy production increasingly depends on renewable energy sources, which impose new challenges for distributed and decentralized systems. One problem is that the availability...
162
click to vote
ICDCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Biclustering refers to simultaneously capturing correlations present among subsets of attributes (columns) and records (rows). It is widely used in data mining applications includ...