Sciweavers

1702 search results - page 11 / 341
» Doomed program points
Sort
View
MP
2007
75views more  MP 2007»
14 years 9 months ago
Large-scale semidefinite programming via a saddle point Mirror-Prox algorithm
Zhaosong Lu, Arkadi Nemirovski, Renato D. C. Monte...
APLAS
2005
ACM
15 years 3 months ago
Heterogeneous Fixed Points with Application to Points-To Analysis
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
AOSD
2007
ACM
15 years 1 months ago
An aspect for idiom-based exception handling: (using local continuation join points, join point properties, annotations and type
The last couple of years, various idioms used in the 15 MLOC C code base of ASML, the world's biggest lithography machine manufacturer, have been unmasked as crosscutting con...
Bram Adams, Kris De Schutter
CC
1999
Springer
320views System Software» more  CC 1999»
15 years 1 months ago
Floating Point to Fixed Point Conversion of C Code
In processors that do not support floating-point instructions, using fixed-point arithmetic instead of floating-point emulation trades off computation accuracy for execution spe...
Andrea G. M. Cilio, Henk Corporaal