Sciweavers

15811 search results - page 95 / 3163

» Search-based software engineering

64

Voted

SCAM
2007
IEEE

108views Software Engineering» more SCAM 2007»

Towards Path-Sensitive Points-to Analysis

15 years 7 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 »

89

SCAM
2007
IEEE

101views Software Engineering» more SCAM 2007»

Source Code Composition with the Reuseware Composition Framework

15 years 7 months ago

Source Code Composition with the Reuseware Composition Framework

Download www.dcs.kcl.ac.uk

Jendrik Johannes

claim paper

Read More »

105

SEFM
2007
IEEE

146views Software Engineering» more SEFM 2007»

A Scalable Lock-Free Stack Algorithm and its Verification

15 years 7 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 »

92

Voted

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

15 years 7 months ago

Streaming State Space: A Method of Distributed Model Verification

Download d3s.mff.cuni.cz

Viliam Holub, Petr Tuma

claim paper

Read More »

83

Voted

TASE
2007
IEEE

113views Software Engineering» more TASE 2007»

Dynamics of Control

15 years 7 months ago

Dynamics of Control

Download www.iist.unu.edu

Jeff W. Sanders, Matteo Turilli

claim paper

Read More »

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