Cornell Modeling and Simulation Project
Enormous effort is currently expended in creating scientific
software, particularly for simulating physical systems defined on
complex geometries, and when using advanced computing hardware. The
goal of the SimLab project is to reduce this effort by bringing
together technologies such as geometric modeling, symbolic
mathematics, numerical analysis, compilation/code generation, and
formal methods to create tools that raise the semantic level
at which it is possible to create scientific software.
Selected Research Activities:
- The SimLab Component of the
ARPA/NIST MADEFAST Collaborative Design and Manufacturing Exercise.
- New Directions in
Systems Research. Richard Zippel's presentation on some new ideas
on how systems research should proceed. Includes brief discussions of
non-contemporaneous communications, microstorage architecture, and the
use of program transformations.
- The Chains
Programming Language. A language for computing with ``complex
topological systems,'' such as engineering models, numerical
algorithms, etc. Rick Palmer.
Paul Chew / email@example.com