Search Sciweavers | Sciweavers

15727 search results - page 292 / 3146

» Software Engineering - Introduction

135

click to vote

VMCAI
2009
Springer

92views Software Engineering» more VMCAI 2009»

Query-Driven Program Testing

16 years 1 months ago

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

Andreas Holzer, Christian Schallhart, Michael Taut...

claim paper

Read More »

117

click to vote

COMPSAC
2009
IEEE

125views Software Engineering» more COMPSAC 2009»

Traceability ReARMed

16 years 1 months ago

Download www1.in.tum.de

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

claim paper

Read More »

114

click to vote

COMPSAC
2009
IEEE

160views Software Engineering» more COMPSAC 2009»

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

16 years 1 months ago

Download theorie2.physik.uni-greifswald.de

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

claim paper

Read More »

124

click to vote

SCAM
2009
IEEE

152views Software Engineering» more SCAM 2009»

Towards Comparing and Combining Points-to Analyses

16 years 1 months ago

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...

claim paper

Read More »

139

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers