Sciweavers

15885 search results - page 69 / 3177
» The Modest Software Engineer
Sort
View
FASE
2009
Springer
14 years 3 months ago
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
ICSE
2009
IEEE-ACM
14 years 3 months ago
The marketplace of user interface real estate
Luigi Troiano, Gerardo Canfora
ICSE
2009
IEEE-ACM
14 years 3 months ago
Detecting inefficient API usage
David Kawrykow, Martin P. Robillard
VMCAI
2009
Springer
14 years 3 months ago
Constraint-Based Invariant Inference over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...