Sciweavers

453 search results - page 2 / 91
» date 2006
Sort
View
119
Voted
DATE
2006
IEEE
148views Hardware» more  DATE 2006»
16 years 1 months ago
Berger code-based concurrent error detection in asynchronous burst-mode machines
Sobeeh Almukhaizim, Yiorgos Makris
DATE
2006
IEEE
89views Hardware» more  DATE 2006»
16 years 1 months ago
Model-based development of in-vehicle software
Mirko Conrad, Heiko Dörr
DATE
2006
IEEE
85views Hardware» more  DATE 2006»
16 years 1 months ago
Distance-guided hybrid verification with GUIDO
Smitha Shyam, Valeria Bertacco