GAMS: a framework for the management of scientific software
ACM Transactions on Mathematical Software (TOMS)
ACM Transactions on Mathematical Software (TOMS)
LAPACK: a portable linear algebra library for high-performance computers
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Automated selection of mathematical software
ACM Transactions on Mathematical Software (TOMS)
ODEXPERT: an expert system to select numerical solvers for initial value ODE systems
ACM Transactions on Mathematical Software (TOMS)
Index reduction in differential-algebraic equations using dummy derivatives
SIAM Journal on Scientific Computing
PYTHIA: a knowledge-based system to select scientific algorithms
ACM Transactions on Mathematical Software (TOMS)
SEAMS: simulation environment for VHDL-AMS
Proceedings of the 30th conference on Winter simulation
ACM Transactions on Mathematical Software (TOMS)
The PORT Mathematical Subroutine Library
ACM Transactions on Mathematical Software (TOMS)
Algorithm 529: Permutations To Block Triangular Form [F1]
ACM Transactions on Mathematical Software (TOMS)
A Numerical Library and Its Support
ACM Transactions on Mathematical Software (TOMS)
Mathematics and Computers in Simulation - IMACS sponsored special issue on method of lines
MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Introduction to the GiNaC framework for symbolic computation within the C++ programming language
Journal of Symbolic Computation
Introduction to Physical Modeling with Modelica
Introduction to Physical Modeling with Modelica
Model Driven Architecture: Applying MDA to Enterprise Computing
Model Driven Architecture: Applying MDA to Enterprise Computing
Computer
Modeling methodology for integrated simulation of embedded systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
Reengineering a software system implementing parallel methods for differential equations
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
WSEAS Transactions on Computers
Hi-index | 0.00 |
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive mathematical background and deeper knowledge in numerical analysis. In this paper we propose a model-driven combined decision-simulation framework for automatically selecting a numerical method for a given set of equation system. We also propose a formal paradigm based on domain-specific languages for specification of structural and behavioral aspects of the numerical equation solving process. Starting from a declarative description of the equation system that need to be solved, our system is able to detect the nature of the equations, perform symbolic manipulations of the equations, and transform them into a domain-specific model. We describe the motivation for such a system, its main features, and a prototype environment together with a usage example.