Sciweavers

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