8874 search results - page 67 / 1775 » A New Implementation of Automath |
126
click to vote
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
The wavelet transform is a very popular tool in engineering for signal analysis. With respect to image compression, the new JPEG 2000 image standard incorporates wavelet transform...
125
click to vote
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
140
Voted
WISA
2004
Springer
15 years 8 months ago
2004
Springer
In implementing cryptographic algorithms on limited devices such as smart cards, speed and memory optimization had always been a challenge. With the advent of side channel attacks,...
120
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Electronic Transactions over the Internet, particularly using the World Wide Web have become an integral part of economic life. Recently also the public sector has started to use ...
102
click to vote
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We describe a parallel Fortran 77 implementation, in ScaLAPACK style, of a block matrix 1-norm estimator of Higham and Tisseur. This estimator differs from that underlyi...