Sciweavers

15777 search results - page 280 / 3156

» The Reformulation-Optimization Software Engine

81

Voted

ICSE
2009
IEEE-ACM

97views Software Engineering» more ICSE 2009»

Design tests: An approach to programmatically check your code against design rules

15 years 10 months ago

Design tests: An approach to programmatically check your code against design rules

Download www.cs.uoregon.edu

João Brunet, Dalton Serey Guerrero, Jorge C...

claim paper

Read More »

83

Voted

ICSE
2009
IEEE-ACM

84views Software Engineering» more ICSE 2009»

From system specifications to component behavioral models

15 years 10 months ago

From system specifications to component behavioral models

Download www-scf.usc.edu

Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvid...

claim paper

Read More »

103

VMCAI
2009
Springer

92views Software Engineering» more VMCAI 2009»

Query-Driven Program Testing

15 years 10 months ago

Query-Driven Program Testing

Download www.forsyte.cs.tu-darmstadt.de

Andreas Holzer, Christian Schallhart, Michael Taut...

claim paper

Read More »

88

Voted

COMPSAC
2009
IEEE

125views Software Engineering» more COMPSAC 2009»

Traceability ReARMed

15 years 10 months ago

Traceability ReARMed

Download www1.in.tum.de

Jörn David, Maximilian Koegel, Helmut Naughto...

claim paper

Read More »

81

Voted

COMPSAC
2009
IEEE

160views Software Engineering» more COMPSAC 2009»

Efficient Temporal Blocking for Stencil Computations by Multicore-Aware Wavefront Parallelization

15 years 10 months ago

Efficient Temporal Blocking for Stencil Computations by Multicore-Aware Wavefront Parallelization

Download theorie2.physik.uni-greifswald.de

Gerhard Wellein, Georg Hager, Thomas Zeiser, Marku...

claim paper

Read More »

« Prev « First page 280 / 3156 Last » Next »