Sciweavers

22698 search results - page 293 / 4540
» Modeling in Software Engineering
Sort
View
QSIC
2007
IEEE
15 years 10 months ago
A Certified Infinite Norm for the Implementation of Elementary Functions
Sylvain Chevillard, Christoph Quirin Lauter
SCAM
2007
IEEE
15 years 10 months ago
Towards Path-Sensitive Points-to Analysis
Tobias Gutzmann, Jonas Lundberg, Welf Löwe
TASE
2007
IEEE
15 years 10 months ago
Dynamics of Control
Jeff W. Sanders, Matteo Turilli