7421 search results - page 39 / 1485 » In search of dependable design |
156
click to vote
BCS
2008
15 years 7 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
141
click to vote
IDA
2000
Springer
15 years 6 months ago
2000
Springer
Discovery of multivalueddependenciesfrom database relations isviewed as a search in a hypothesis space de ned according to the generalisation relationship among multivalued depend...
157
click to vote
LREC
2008
15 years 7 months ago
2008
This paper presents a freely available evaluation tool for dependency parsing, MaltEval (http://w3.msi.vxu.se/users/jni/malteval). It is flexible and extensible, and provides func...