485 search results - page 10 / 97 » Embedded intelligent SRAM |
FMCAD
2007
Springer
15 years 1 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
APN
2004
Springer
15 years 2 months ago
2004
Springer
AAAI
2012
12 years 12 months ago
2012
Many noise models do not faithfully reflect the noise processes introduced during data collection in many real-world applications. In particular, we argue that a type of noise re...
EVOW
2007
Springer
15 years 3 months ago
2007
Springer
87
Voted
IJCNLP
2004
Springer
15 years 2 months ago
2004
Springer
This paper describes an intelligent text archive system in which typed feature structures are embedded. The aim of the system is to associate feature structures with regions in tex...