Sciweavers

15824 search results - page 95 / 3165

» Specialising in Software Engineering

21

SCAM
2007
IEEE

108views Software Engineering» more SCAM 2007»

Towards Path-Sensitive Points-to Analysis

14 years 4 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 »

25

SCAM
2007
IEEE

101views Software Engineering» more SCAM 2007»

Source Code Composition with the Reuseware Composition Framework

14 years 4 months ago

Source Code Composition with the Reuseware Composition Framework

Download www.dcs.kcl.ac.uk

Jendrik Johannes

claim paper

Read More »

28

SEFM
2007
IEEE

146views Software Engineering» more SEFM 2007»

A Scalable Lock-Free Stack Algorithm and its Verification

14 years 4 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 »

24

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

14 years 4 months ago

Streaming State Space: A Method of Distributed Model Verification

Download d3s.mff.cuni.cz

Viliam Holub, Petr Tuma

claim paper

Read More »

29

TASE
2007
IEEE

113views Software Engineering» more TASE 2007»

Dynamics of Control

14 years 4 months ago

Dynamics of Control

Download www.iist.unu.edu

Jeff W. Sanders, Matteo Turilli

claim paper

Read More »

« Prev « First page 95 / 3165 Last » Next »