Sciweavers

15811 search results - page 330 / 3163
» Search-based software engineering
Sort
View
EDBTW
2004
Springer
16 years 1 days ago
Context- and Situation-Awareness in Information Logistics
Ulrich Meissen, Stefan Pfennigschmidt, Agnè...
FASE
2004
Springer
16 years 1 days ago
A Systematic Methodology for Developing Component Frameworks
Si Won Choi, Soo Ho Chang, Soo Dong Kim
VMCAI
2004
Springer
15 years 12 months ago
Rule-Based Runtime Verification
Howard Barringer, Allen Goldberg, Klaus Havelund, ...
VMCAI
2004
Springer
15 years 12 months ago
Completeness and Complexity of Bounded Model Checking
Edmund M. Clarke, Daniel Kroening, Joël Ouakn...
CGO
2010
IEEE
15 years 12 months ago
Coloring-based coalescing for graph coloring register allocation
Rei Odaira, Takuya Nakaike, Tatsushi Inagaki, Hide...