In university curricula, the subjects of programming and maths and logic tend to be separated. For instance, in the typical computer-science curriculum, mathematics and logic are taught according to the (dry) mathematical tradition, perhaps with modern concessions to help the less abstract minds. One sort of concession is to illustrate the implementability of selected mathematical concepts in s...

Exploiting the performance potential of distributed memory machines requires a careful distribution of data across the processors. Vienna Fortran is a language extension of Fortran which provides the user with a wide range of facilities for such mapping of data structures. However, programs in Vienna Fortran are written using global data references. Thus, the user has the advantages of a shared...

GKS, the international standard for 20 graphics software, provides a set of functionalities which are specified in a language independent manner. However, for GKS to be used, a binding must be defined for some host programming language. To date a FORTRAN binding [1] has been accepted, and proposals for bindings in Pascal [8] and Ada are under consideration in ISO. Possible bindings for C [7] an...

The paper proposes a parallel algorithm for solving large overdetermined systems of linear algebraic equations with dense matrix. This is based on the use modification conjugate gradient method, which able to take into account rounding errors accumulated during calculations when making decision terminate iterative process. constructed in such way that it takes capabilities message passing inter...

In this study, the 2D steady-state seepage analysis of dam body and its base is investigated using finite element method based on Galerkin’s approach. The foundation soil are considered as homogeneous isotropic anisotropic materials effects horizontal drainage length cutoff wall investigated. differential equation governing response water in obtained with help Darcy's law continuity equations. ...

‘caffa3d.MB’ is a project under development since 2004, which includes a finite volume incompressible 3D fluid flow solver, with several extensions. caffa3d.MB is implemented in FORTRAN, mainly using standard FORTRAN 77 features, but also including some FORTRAN 95/90 extensions. Parallel programming techniques have been applied to caffa3d.MB through OpenMP directives to take advantage of shared...

We document our Fortran 77 code for multicanonical simulations of 4D U(1) lattice gauge theory in the neighborhood of its phase transition. This includes programs and routines for canonical simulations using biased Metropolis heatbath updating and overrelaxation, determination of multicanonical weights via a Wang-Landau recursion, and multicanonical simulations with fixed weights supplemented b...

The packing of multiple processor cores onto a single chip has become a mainstream solution to fundamental physical issues relating to the microscopic scales employed in the manufacture of semiconductor components. Multicore architectures provide lower clock speeds per core, while aggregate floating-point capability continues to increase. Heterogeneous multicore chips, such as the Cell Broadban...

Algorithm Templates. According to Kant and Steinberg [82], linear solvers and related algorithms can be cast in the form of so-called algorithm templates. Templates are algebraic structures that capture the essentials of an algorithm, elaborated with problem-specific aspects, and can be transformed into a chosen target language. The SciNapse system [2] uses algorithm templates in the automatic ...