2032 search results - page 113 / 407 » Improving Java performance using hardware translation |
136
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
— Though tag bits in the data caches are vulnerable to transient errors, few effort has been made to reduce their vulnerability. In this paper, we propose to exploit prevalent sa...
131
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
114
click to vote
NPC
2007
Springer
15 years 11 months ago
2007
Springer
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...
133
click to vote
ICCAD
2000
IEEE
15 years 9 months ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
127
click to vote
SAT
2004
Springer
15 years 10 months ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...