Sciweavers

15951 search results - page 131 / 3191
» Lawful software engineering
Sort
View
SIGSOFT
2004
ACM
16 years 9 days ago
Explaining abstract counterexamples
Sagar Chaki, Alex Groce, Ofer Strichman
WOSP
2004
ACM
16 years 9 days ago
Applying fixed priority scheduling in practice
Raimondas Lencevicius, Alexander Ran
WOSP
2004
ACM
16 years 9 days ago
Rapid performance prediction for library components
Sibylle Schupp, Marcin Zalewski, Kyle Ross