Sciweavers

1168 search results - page 6 / 234
» cases 2000
Sort
View
ASPDAC
2000
ACM
102views Hardware» more  ASPDAC 2000»
13 years 11 months ago
Causality based generation of directed test cases
Nina Saxena, Jacob A. Abraham, Avijit Saha
STOC
2000
ACM
96views Algorithms» more  STOC 2000»
13 years 11 months ago
Balanced allocations: the heavily loaded case
Petra Berenbrink, Artur Czumaj, Angelika Steger, B...
AES
2000
Springer
98views Cryptology» more  AES 2000»
13 years 11 months ago
The Case for Serpent
Ross J. Anderson, Eli Biham, Lars R. Knudsen
DIGITALCITIES
2000
Springer
13 years 11 months ago
Digital City Bristol: A Case Study
Annelies de Bruine
ICFEM
2000
Springer
13 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