Sciweavers

16725 search results - page 164 / 3345
» Engineering Software Correctness
Sort
View
SIGSOFT
2004
ACM
15 years 8 months ago
Explaining abstract counterexamples
Sagar Chaki, Alex Groce, Ofer Strichman
WOSP
2004
ACM
15 years 8 months ago
Applying fixed priority scheduling in practice
Raimondas Lencevicius, Alexander Ran
WOSP
2004
ACM
15 years 8 months ago
Rapid performance prediction for library components
Sibylle Schupp, Marcin Zalewski, Kyle Ross