71228 search results - page 356 / 14246 » Algorithms |
168
click to vote
ECBS
2000
IEEE
15 years 12 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
183
Voted
ISLPED
2000
ACM
15 years 11 months ago
2000
ACM
We introduce the notion of energy scalable computation on general purpose processors. The principle idea is to maximize computational quality for a given energy constraint. The de...
151
click to vote
AES
2000
Springer
15 years 11 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...
167
Voted
SIGCSE
1999
ACM
15 years 11 months ago
1999
ACM
Algorithms have cometo be recognizedasthe cornerstone of computing. Surprisingly, there has been little research or discussion of general techniques for designing algorithms. Thou...
217
Voted
ISIPTA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...