Eulogy 发表于 2025-3-27 00:10:07

http://reply.papertrans.cn/15/1498/149767/149767_31.png

组成 发表于 2025-3-27 02:43:47

Computer Security – ESORICS 2019solution of a problem. In this chapter, we briefly survey validated methods for IVPs for ODEs, discuss software issues related to the implementation of a validated ODE solver, and describe the structure of a package for computing rigorous bounds on the solution of an IVP for an ODE.

轻浮女 发表于 2025-3-27 06:31:45

Computer Security – ESORICS 2019ion, at a subprogram level, between a simply computable software metric value and the number of coding errors detected in the released routines. We also quantify the code changes made between issues of the package and attempt to categorize the reasons for these changes..We then consider the testing

纹章 发表于 2025-3-27 11:22:19

http://reply.papertrans.cn/15/1498/149767/149767_34.png

债务 发表于 2025-3-27 17:02:41

http://reply.papertrans.cn/15/1498/149767/149767_35.png

nonchalance 发表于 2025-3-27 19:34:54

http://reply.papertrans.cn/15/1498/149767/149767_36.png

可能性 发表于 2025-3-27 22:16:20

http://reply.papertrans.cn/15/1498/149767/149767_37.png

embolus 发表于 2025-3-28 02:53:17

A Modern Framework for Portable High-Performance Numerical Linear Algebra,ent a high-performance implementation of this approach, the Matrix Template Library (MTL). As with the Standard Template Library, our approach is five-fold, consisting of generic functions, containers, iterators, adapters, and function objects, all developed specifically for high-performance numeric

肌肉 发表于 2025-3-28 09:44:41

The Design of Sparse Direct Solvers using Object-Oriented Techniques,d . a package that implements the factorization and triangular solution steps of a direct solver. We discuss the goals of our design: managing complexity, simplicity of interface, flexibility, extensibility, safety, and efficiency. High performance is obtained by carefully implementing the computati

Servile 发表于 2025-3-28 14:12:24

A Sparse Grid PDE Solver; Discretization, Adaptivity, Software Design and Parallelization,rameter ., which contain .. points in . dimensions, sparse grids require only ..| log .|. points due to a truncated, tensor-product multi-scale basis representation. The purpose of this paper is to survey some activities for the solution of partial differential equations with method based sparse gri
页: 1 2 3 [4] 5
查看完整版本: Titlebook: Advances in Software Tools for Scientific Computing; Hans Petter Langtangen,Are Magnus Bruaset,Ewald Qu Conference proceedings 2000 Spring