Search Sciweavers | Sciweavers

15811 search results - page 320 / 3163

» Search-based software engineering

147

click to vote

TMRA
2007
Springer

134views Software Engineering» more TMRA 2007»

TMchartis- A Tool Set for Designing Multiple Problem-Oriented Visualizations for Topic Maps

16 years 22 days ago

Download www.theoinf.tu-ilmenau.de

Hendrik Thomas, Rike Brecht, Bernd Markscheffel, S...

claim paper

Read More »

113

click to vote

VLSI
2007
Springer

89views Software Engineering» more VLSI 2007»

SWORD: A SAT like prover using word level information

16 years 22 days ago

Download www.informatik.uni-bremen.de

Robert Wille, Görschwin Fey, Daniel Groß...

claim paper

Read More »

142

click to vote

XPU
2007
Springer

80views Software Engineering» more XPU 2007»

EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors

16 years 22 days ago

Download www.fernuni-hagen.de

Philipp Bouillon, Jens Krinke, Nils Meyer, Friedri...

claim paper

Read More »

115

click to vote

ASWEC
2006
IEEE

114views Software Engineering» more ASWEC 2006»

Model-based runtime analysis of distributed reactive systems

16 years 21 days ago

Download home.in.tum.de

Andreas Bauer 0002, Martin Leucker, Christian Scha...

claim paper

Read More »

129

click to vote

CGO
2006
IEEE

127views Software Engineering» more CGO 2006»

Optimizing Dynamic Binary Translation for SIMD Instructions

16 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers