Sciweavers

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