7195 search results - page 1011 / 1439 » On Computing Power |
163
click to vote
SC
2003
ACM
16 years 5 days ago
2003
ACM
SCALLOP is a highly scalable solver and library for elliptic partial differential equations on regular block-structured domains. SCALLOP avoids high communication overheads algor...
176
click to vote
SLIP
2003
ACM
16 years 4 days ago
2003
ACM
Aggressive process scaling and increasing clock rates have made crosstalk noise an important issue in VLSI design. Switching on adjacent wires on long bus lines can increase delay...
182
Voted
BIRTHDAY
2003
Springer
16 years 4 days ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
181
click to vote
CHES
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. Efficient implementations of RSA on computationally limited devices, such as smartcards, often use the CRT technique in combination with Garner’s algorithm in order to ...
151
click to vote
ICS
2003
Tsinghua U.
16 years 3 days ago
2003
Tsinghua U.
This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and...