2214 search results - page 404 / 443 » Complexity of Reasoning |
102
click to vote
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
113
click to vote
ICTAI
2008
IEEE
15 years 6 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
109
click to vote
P2P
2008
IEEE
15 years 6 months ago
2008
IEEE
Redundancy is the basic technique to provide reliability in storage systems consisting of multiple components. A redundancy scheme defines how the redundant data are produced and...
101
click to vote
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
102
click to vote
CGO
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper proposes the use of empirical modeling techniques for building microarchitecture sensitive models for compiler optimizations. The models we build relate program perform...