Sciweavers

1168 search results - page 6 / 234
» cases 2000
Sort
View
ASPDAC
2000
ACM
102views Hardware» more  ASPDAC 2000»
16 years 21 hour ago
Causality based generation of directed test cases
Nina Saxena, Jacob A. Abraham, Avijit Saha
STOC
2000
ACM
96views Algorithms» more  STOC 2000»
16 years 12 hour ago
Balanced allocations: the heavily loaded case
Petra Berenbrink, Artur Czumaj, Angelika Steger, B...
AES
2000
Springer
98views Cryptology» more  AES 2000»
16 years 9 hour ago
The Case for Serpent
Ross J. Anderson, Eli Biham, Lars R. Knudsen
ICFEM
2000
Springer
15 years 11 months ago
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol
Hong Peng, Sofiène Tahar, Ferhat Khendek