Sciweavers

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