Sciweavers

15777 search results - page 306 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
KBSE
2003
IEEE
15 years 8 months ago
A Pragmatic Study of Binary Class Relationships
Yann-Gaël Guéhéneuc, Herv&eacut...
93
Voted
KBSE
2003
IEEE
15 years 8 months ago
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...
131
Voted
KBSE
2003
IEEE
15 years 8 months ago
SPQR: Flexible Automated Design Pattern Extraction From Source Code
Jason McC. Smith, P. David Stotts
QSIC
2003
IEEE
15 years 8 months ago
Verifying CIM Models of Apache Web-Server Configurations
Carsten Sinz, Amir Khosravizadeh, Wolfgang Kü...
100
Voted
SCAM
2003
IEEE
15 years 8 months ago
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs
Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...