5064 search results - page 197 / 1013 » Recent Developments in Gridsolve |
169
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
164
click to vote
ASIACRYPT
2003
Springer
15 years 11 months ago
2003
Springer
The Weil and Tate pairings have been used recently to build new schemes in cryptography. It is known that the Weil pairing takes longer than twice the running time of the Tate pair...
167
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
177
click to vote
CHES
2003
Springer
15 years 11 months ago
2003
Springer
The recent developments of side channel attacks have lead implementers to use more and more sophisticated countermeasures in critical operations such as modular exponentiation, or ...
146
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
In recent work we have developed a novel approach to the design and implementation of an online portal (ePortal) to help application engineers find replacements for electronic par...