8874 search results - page 68 / 1775 » A New Implementation of Automath |
143
Voted
PADO
2001
Springer
15 years 8 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
134
Voted
SBRN
1998
IEEE
15 years 7 months ago
1998
IEEE
As the demand for higher performance computers for the processing of remote sensing science algorithms increases, the need to investigate new computing paradigms is justified. Fie...
120
click to vote
FPL
1994
Springer
15 years 7 months ago
1994
Springer
The implementation of larger digital neural networks has not been possible due to the real-estate requirements of single neurons. We present an expandable digital architecture whic...
116
Voted
CHES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Pairings on elliptic curves are fast coming of age as cryptographic primitives for deployment in new security applications, particularly in the context of implementations...
145
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
We describe the goals of the IETF's Intrusion Detection Working Group (IDWG) and the requirements for a transport protocol to communicate among intrusion detection systems. W...