3573 search results - page 265 / 715 » Reasoning about Codata |
110
click to vote
AES
2000
Springer
15 years 9 months ago
2000
Springer
We analyze the five remaining AES candidate algorithms MARS, RC6, Rijndael, Serpent, and Twofish as well as DES, Triple DES, and IDEA by examining independently developed Java imp...
149
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a fo...
131
Voted
ICS
1999
Tsinghua U.
15 years 8 months ago
1999
Tsinghua U.
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...
125
Voted
ATAL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challenging research opportunities. In this paper, we intro...
138
Voted
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
The aspect-oriented programming approach claims to make it easier to reason about, develop, and maintain certain kinds of application code while maintaining highly e cient code. To...