Sciweavers

15811 search results - page 95 / 3163
» Search-based software engineering
Sort
View
77
Voted
SCAM
2007
IEEE
15 years 9 months ago
Towards Path-Sensitive Points-to Analysis
Tobias Gutzmann, Jonas Lundberg, Welf Löwe
122
Voted
SEFM
2007
IEEE
15 years 9 months ago
A Scalable Lock-Free Stack Algorithm and its Verification
Robert Colvin, Lindsay Groves
101
Voted
TASE
2007
IEEE
15 years 9 months ago
Dynamics of Control
Jeff W. Sanders, Matteo Turilli