2799 search results - page 165 / 560 » computing 1998 |
132
click to vote
JAR
1998
15 years 2 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
115
click to vote
FOCS
1998
IEEE
15 years 7 months ago
1998
IEEE
The speed of many computations is limited not by the number of arithmetic operations but by the time it takes to move and rearrange data in the increasingly complicated memory hie...
101
click to vote
FSE
1998
Springer
15 years 7 months ago
1998
Springer
The block cipher RC2 was designed in 1989 by Ron Rivest for RSA Data Security Inc. In this paper we describe both the cipher and preliminary attempts to use both differential and l...
127
click to vote
MCU
1998
15 years 4 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
129
click to vote
SIGOPSE
1998
ACM
15 years 7 months ago
1998
ACM
Modern virtual machines, such as Java and Inferno, are emerging as network computing s. While these virtual machines provide higher-level abstractions and more sophisticated servi...