Sciweavers

10539 search results - page 129 / 2108
» On L
Sort
View
CISC
2008
Springer
94views Cryptology» more  CISC 2008»
15 years 5 months ago
Constructing Variable-Length PRPs and SPRPs from Fixed-Length PRPs
Debra L. Cook, Moti Yung, Angelos D. Keromytis
75
Voted
ATAL
2006
Springer
15 years 5 months ago
Congestion tolls as utility alignment between agent and system optimum
Ana L. C. Bazzan, Robert Junges
123
Voted
ITP
2010
149views Mathematics» more  ITP 2010»
15 years 5 months ago
A Framework for Formal Verification of Compiler Optimizations
William Mansky, Elsa L. Gunter