Sciweavers

18898 search results - page 152 / 3780
» The Making of a Software Engineer
Sort
View
SCAM
2007
IEEE
15 years 11 months ago
Towards Path-Sensitive Points-to Analysis
Tobias Gutzmann, Jonas Lundberg, Welf Löwe
141
Voted
SEFM
2007
IEEE
15 years 11 months ago
A Scalable Lock-Free Stack Algorithm and its Verification
Robert Colvin, Lindsay Groves
TASE
2007
IEEE
15 years 11 months ago
Dynamics of Control
Jeff W. Sanders, Matteo Turilli