Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments

We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well as applications making use of these possibilities. The first area of extension is C-XSC usage in parallel environments. An MPI package for C-XSC data types allows to easily use C-XSC in parallel programs without bothering about the internal structure of data types. Different versions of parallel verified linear system solvers based on the package are now available. An application making use of these and further extensions is a parallel verified Fredholm integral equation system solver. Some results are given to demonstrate the reduction of computation time and, at the same time, the accuracy gain that can be obtained using the increased computation power. Another possibility to extend the range of C-XSC is to make results available for further computation in different software environments as, for example, co...

• Type: Conference
• Year: 2008
• Where: DAGSTUHL
• Authors: Markus Grimmer
• Keywords: DAGSTUHL 2008, Linear System Solver, Parallel Environment, Parallel Verified Linear, Software Engineering