Sciweavers

1168 search results - page 6 / 234
» cases 2000
Sort
View
ASPDAC
2000
ACM
102views Hardware» more  ASPDAC 2000»
15 years 1 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 1 months ago
Balanced allocations: the heavily loaded case
Petra Berenbrink, Artur Czumaj, Angelika Steger, B...
AES
2000
Springer
98views Cryptology» more  AES 2000»
15 years 1 months ago
The Case for Serpent
Ross J. Anderson, Eli Biham, Lars R. Knudsen
DIGITALCITIES
2000
Springer
15 years 1 months ago
Digital City Bristol: A Case Study
Annelies de Bruine
61
Voted
ICFEM
2000
Springer
15 years 1 months ago
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol
Hong Peng, Sofiène Tahar, Ferhat Khendek