Sciweavers

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