1560 search results - page 18 / 312 » Order Functions and Evaluation Codes |
DCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Suppose a function of N real source variables XN 1 = (X1, X2, . . . , XN ) is desired at a destination constrained to receive a limited number of bits. If the result of evaluating...
104
Voted
MPC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
115
click to vote
SIAMNUM
2011
14 years 8 months ago
2011
The coupled problem with Stokes flow in one subdomain and a Darcy flow model in a second subdomain is studied in this paper. Both flow problems are treated as first-order syste...
120
click to vote
APPT
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...
137
Voted
TAP
2010
Springer
14 years 11 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...