Sciweavers

15824 search results - page 95 / 3165
» Specialising in Software Engineering
Sort
View
83
Voted
SCAM
2007
IEEE
15 years 10 months ago
Towards Path-Sensitive Points-to Analysis
Tobias Gutzmann, Jonas Lundberg, Welf Löwe
129
Voted
SEFM
2007
IEEE
15 years 10 months ago
A Scalable Lock-Free Stack Algorithm and its Verification
Robert Colvin, Lindsay Groves
TASE
2007
IEEE
15 years 10 months ago
Dynamics of Control
Jeff W. Sanders, Matteo Turilli