7167 search results - page 158 / 1434 » A Technique for Invariant Generation |
186
click to vote
ADC
2009
Springer
16 years 1 months ago
2009
Springer
Comparative evaluations of information retrieval systems are based on a number of key premises, including that representative topic sets can be created, that suitable relevance ju...
170
click to vote
ACSC
2006
IEEE
16 years 1 months ago
2006
IEEE
Information Retrieval (IR) is a major component in many of our daily activities, with perhaps its most prominent role manifested in search engines. Today’s most advanced engines...
173
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
Extensive research has proposed the use of multiple on-die power supplies (VDD) for reducing power consumption in CMOS circuits. We present a detailed study and design techniques ...
177
click to vote
GLVLSI
2003
IEEE
16 years 11 days ago
2003
IEEE
In this paper a novel reseeding architecture for scan-based BIST, which uses an LFSR as TPG, is proposed. Multiple cells of the LFSR are utilized as sources for feeding the scan c...
168
click to vote
IPPS
2003
IEEE
16 years 11 days ago
2003
IEEE
The overset grid methodology has significantly reduced time-to-solution of high-fidelity computational fluid dynamics (CFD) simulations about complex aerospace configurations....