295 search results - page 46 / 59 » SAT, SMT and Applications |
HPCA
2004
IEEE
16 years 2 months ago
2004
IEEE
This paper proposes and evaluates hardware mechanisms for supporting prescient instruction prefetch--an approach to improving single-threaded application performance by using help...
103
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
119
Voted
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
ENGL
2008
15 years 1 months ago
2008
A high output power density VHF converter has become important in recent years. This output power density of the converter is experiencing an adverse effect resulted from the appli...
149
click to vote
JAR
2006
15 years 1 months ago
2006
Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Also motivated by the...