Sciweavers

7380 search results - page 59 / 1476
» Engineering Software Intensive Systems
Sort
View
FSTTCS
2000
Springer
15 years 5 months ago
Arithmetic Circuits and Polynomial Replacement Systems
Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner
WCRE
1998
IEEE
15 years 5 months ago
Program Comprehension in Multi-Language Systems
Bernt Kullbach, Andreas Winter, Peter Dahm, Jü...
EMSOFT
2008
Springer
15 years 4 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...