1173 search results - page 125 / 235 » Program Derivation Using Analogy |
165
click to vote
CGF
2007
15 years 5 months ago
2007
We introduce a novel volume illustration technique for regularly sampled volume datasets. The fundamental difference between previous volume illustration algorithms and ours is th...
118
click to vote
JNS
2010
15 years 3 months ago
2010
ABSTRACT. We consider a general family of regularized Navier-Stokes and Magnetohydrodynamics (MHD) models on n-dimensional smooth compact Riemannian manifolds with or without bound...
262
Voted
FSE
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Bellare and Kohno introduced a formal framework for the study of related-key attacks against blockciphers. They established sufficient conditions (output-unpredictabilit...
122
Voted
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
133
click to vote
ERLANG
2006
ACM
15 years 11 months ago
2006
ACM
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...