CAMAD
2006
IEEE
15 years 7 months ago
2006
IEEE
98
Voted
CAMAD
2006
IEEE
15 years 7 months ago
2006
IEEE
132
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper proposes a low-energy solution for CAMbased highly associative I-caches using a segmented wordline and a predictor-based instruction fetch mechanism. Not all instructio...
99
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
131
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Recently, schema mapping has found considerable interest in both research and practice. Determining matching components of database or XML schemas is needed in many applications, e...