6111 search results - page 995 / 1223 » Time, Hardware, and Uniformity |
252
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
200
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
The relentless push for high performance in custom digital circuits has led to renewed emphasis on circuit optimization or tuning. The parameters of the optimization are typically...
201
Voted
ISCA
1995
IEEE
15 years 10 months ago
1995
IEEE
For many programs, especially integer codes, untolerated load instruction latencies account for a significant portion of total execution time. In this paper, we present the desig...
209
click to vote
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...
201
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...