8874 search results - page 287 / 1775 » A New Implementation of Automath |
157
click to vote
PATMOS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
168
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
Although microarrays are already having a tremendous impact on biomedical science, they still present great computational challenges. We examine a particular problem involving the...
149
click to vote
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: The Internet is experiencing an overwhelming growth that will have a negative impact on its performance and quality of service. In this paper we describe a new architecture that ...
157
Voted
CHES
2000
Springer
15 years 11 months ago
2000
Springer
The Montgomery multiplication is commonly used as the core algorithm for cryptosystems based on modular arithmetic. With the advent of new classes of attacks (timing attacks, power...
169
click to vote
JIT
1999
Springer
15 years 11 months ago
1999
Springer
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...