8874 search results - page 161 / 1775 » A New Implementation of Automath |
113
click to vote
SSDBM
2003
IEEE
15 years 9 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...
150
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Application specific systems have potential for customization of design with a view to achieve a better costperformance-power trade-off. Such customization requires extensive de...
126
click to vote
ICNP
1998
IEEE
15 years 8 months ago
1998
IEEE
In Internet multicast, the set of receivers can be dynamic with receivers joining and leaving a group asynchronously and without the knowledge of the sources. The Internet today u...
120
click to vote
PASTE
1998
ACM
15 years 8 months ago
1998
ACM
The task of mappingbetween source programs and machine code, once the code has been optimizedand transformed by a compiler is often di cult. Yet there are many instances, such as ...
160
Voted
FSE
1997
Springer
15 years 8 months ago
1997
Springer
We propose secret-key cryptosystems MISTY1 and MISTY2, which are block ciphers with a 128-bit key, a 64-bit block and a variable number of rounds. MISTY is a generic name for MISTY...