7167 search results - page 1233 / 1434 » A Technique for Invariant Generation |
187
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
— The rapid increase in IC design complexity and wide-spread use of intellectual-property (IP) blocks have made the so-called mixed-size placement a very important topic in recen...
211
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Lexical chaining is a technique for identifying semanticallyrelated terms in text. We propose concept chaining to link semantically-related concepts within biomedical text togethe...
224
click to vote
VALUETOOLS
2006
ACM
16 years 1 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
184
click to vote
APCSAC
2005
IEEE
16 years 25 days ago
2005
IEEE
Conditional branch induced control hazards cause significant performance loss in modern out-of-order superscalar processors. Dynamic branch prediction techniques help alleviate th...
200
click to vote
GLVLSI
2005
IEEE
16 years 25 days ago
2005
IEEE
Embedded software is a preferred choice for implementing system functionality in modern System-on-Chip (SoC) designs, due to the high flexibility, and lower engineering costs pro...