2532 search results - page 234 / 507 » Implementation and applications of the distortion operator |
175
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the design, implementation, and performance evaluation of ST-TCP (Server fault-Tolerant TCP), which is an extension of TCP to tolerate TCP server failures. Th...
142
click to vote
HOTOS
2003
IEEE
15 years 12 months ago
2003
IEEE
Event-based programming has been highly touted in recent years as the best way to write highly concurrent applications. Having worked on several of these systems, we now believe t...
165
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
177
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
The ultimate goal of logic synthesis is to explore implementation flexibility toward meeting design targets, such as area, power, and delay. Traditionally, such flexibility is exp...
156
Voted
ISVLSI
2002
IEEE
15 years 11 months ago
2002
IEEE
Modular inverse computation is needed in several public key cryptographic applications. In this work, we present two VLSI hardware implementations used in the calculation of Montg...