Sciweavers

15777 search results - page 29 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
XPU
2005
Springer
15 years 11 months ago
Introduction to Lean Software Development
Mary Poppendieck, Tom Poppendieck
WOSP
2004
ACM
15 years 11 months ago
A framework for QoS-aware software components
Daniel A. Menascé, Honglei Ruan, Hassan Gom...
VMCAI
2004
Springer
15 years 11 months ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi