2766 search results - page 398 / 554 » Hybridizing a Logical Framework |
146
click to vote
GLVLSI
2009
IEEE
15 years 11 months ago
2009
IEEE
In this work we propose an online reliability tracking framework that utilizes a hybrid network of on-chip temperature and delay sensors together with a circuit reliability macrom...
140
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Software clones are considered harmful in software maintenance and evolution. However, despite a decade of active research, there is a marked lack of work in the detection and ana...
119
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
More and more applications use the RDF framework as their data model and RDF stores to index and retrieve their data. Many of these applications require both structured queries as ...
120
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Many on-line photo sharing systems allow users to tag their images so as to support semantic image search. In this paper, we study how one can take advantages of the already-tagge...
175
click to vote
ISCA
2008
IEEE
15 years 11 months ago
2008
IEEE
Performance improvement solely through transistor scaling is becoming more and more difficult, thus it is increasingly common to see domain specific accelerators used in conjunc...