3719 search results - page 7 / 744 » order 2010 |
SIAMMA
2010
13 years 4 months ago
2010
ORDER
2010
13 years 8 months ago
2010
ASIACRYPT
2010
Springer
13 years 7 months ago
2010
Springer
sion of an extended abstract published in Proceedings of Asiacrypt 2010, Springer-Verlag, 2010. Available from the IACR Cryptology ePrint Archive as Report 2010/474. Beginning wit...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
SIAMNUM
2010
13 years 4 months ago
2010
In the numerical simulation of many practical problems in physics and engineering, finite volume methods are an important and popular class of discretization methods due to the loc...