Sciweavers

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