Sciweavers

16790 search results - page 141 / 3358

» A Future for Software Engineering

22

QSIC
2007
IEEE

111views Software Engineering» more QSIC 2007»

A Certified Infinite Norm for the Implementation of Elementary Functions

14 years 3 months ago

A Certified Infinite Norm for the Implementation of Elementary Functions

Download www.ens-lyon.fr

Sylvain Chevillard, Christoph Quirin Lauter

claim paper

Read More »

20

SCAM
2007
IEEE

108views Software Engineering» more SCAM 2007»

Towards Path-Sensitive Points-to Analysis

14 years 3 months ago

Towards Path-Sensitive Points-to Analysis

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Jonas Lundberg, Welf Löwe

claim paper

Read More »

23

SCAM
2007
IEEE

101views Software Engineering» more SCAM 2007»

Source Code Composition with the Reuseware Composition Framework

14 years 3 months ago

Source Code Composition with the Reuseware Composition Framework

Download www.dcs.kcl.ac.uk

Jendrik Johannes

claim paper

Read More »

25

SEFM
2007
IEEE

146views Software Engineering» more SEFM 2007»

A Scalable Lock-Free Stack Algorithm and its Verification

14 years 3 months ago

A Scalable Lock-Free Stack Algorithm and its Verification

Download www.cs.bgu.ac.il

Robert Colvin, Lindsay Groves

claim paper

Read More »

22

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

14 years 3 months ago

Streaming State Space: A Method of Distributed Model Verification

Download d3s.mff.cuni.cz

Viliam Holub, Petr Tuma

claim paper

Read More »

« Prev « First page 141 / 3358 Last » Next »