Sciweavers

780 search results - page 14 / 156
» software 2011
Sort
View
89
Voted
SIGSOFT
2011
ACM
14 years 8 months ago
Static analysis by abstract interpretation of embedded critical software
Julien Bertrane, Patrick Cousot, Radhia Cousot, J&...
ESWA
2011
249views Database» more  ESWA 2011»
14 years 5 months ago
A new nonparametric EWMA Sign Control Chart
Su-Fen Yang, Jheng-Sian Lin, Smiley W. Cheng
103
Voted
TC
2011
14 years 8 months ago
Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic
Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Mich...