Search Sciweavers | Sciweavers

15784 search results - page 311 / 3157

» Mega Software Engineering

118

Voted

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 »

119

Voted

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 »

144

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

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

120

Voted

ICSM
2009
IEEE

166views Software Engineering» more ICSM 2009»

Abstracting the template instantiation relation in C++

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers