Search Sciweavers | Sciweavers

15727 search results - page 292 / 3146

» Software Engineering - Introduction

105

click to vote

VMCAI
2009
Springer

92views Software Engineering» more VMCAI 2009»

Query-Driven Program Testing

15 years 10 months ago

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

Andreas Holzer, Christian Schallhart, Michael Taut...

claim paper

Read More »

click to vote

COMPSAC
2009
IEEE

125views Software Engineering» more COMPSAC 2009»

Traceability ReARMed

15 years 10 months ago

Download www1.in.tum.de

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

claim paper

Read More »

click to vote

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

Download theorie2.physik.uni-greifswald.de

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

claim paper

Read More »

click to vote

SCAM
2009
IEEE

152views Software Engineering» more SCAM 2009»

Towards Comparing and Combining Points-to Analyses

15 years 10 months ago

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...

claim paper

Read More »

111

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers