Sciweavers

22358 search results - page 140 / 4472
» Software Performance Engineering
Sort
View
VMCAI
2009
Springer
16 years 1 months ago
Constraint-Based Invariant Inference over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...
CSMR
2009
IEEE
16 years 1 months ago
Incremental Clone Detection
Nils Göde, Rainer Koschke
SCAM
2009
IEEE
16 years 1 months ago
Chopping Concurrent Programs
Dennis Giffhorn