Computer as Thinker/Doer: Problem-Solving Environments for Computational Science
IEEE Computational Science & Engineering
ICS '95 Proceedings of the 9th international conference on Supercomputing
CTADEL: a generator of multi-platform high performance codes for PDE-based scientific applications
ICS '96 Proceedings of the 10th international conference on Supercomputing
Incorporating application dependent information in an automatic code generating environment
ICS '97 Proceedings of the 11th international conference on Supercomputing
IEEE Computational Science & Engineering
The VIS-5D system for easy interactive visualization
VIS '90 Proceedings of the 1st conference on Visualization '90
Supporting Timing Analysis by Automatic Bounding of LoopIterations
Real-Time Systems - Special issue on worst-case execution-time analysis
Automatic code generation for a turbulence scheme
ICS '01 Proceedings of the 15th international conference on Supercomputing
A Case Study for Automatic Code Generation on a Coupled Ocean-Atmosphere Model
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Efficient Symbolic Analysis for Optimizing Compilers
CC '01 Proceedings of the 10th International Conference on Compiler Construction
Automatic code generation for a convection scheme
Proceedings of the 2003 ACM symposium on Applied computing
Using semi-lagrangian formulations with automatic code generation for environmental modeling
Proceedings of the 2004 ACM symposium on Applied computing
PyNSol: Objects as Scaffolding
Computing in Science and Engineering
Computer algebra systems as mathematical optimizing compilers
Science of Computer Programming
Formal constraints on memory management for composite overloaded operations
Scientific Programming
Code generation for semi-lagrangian formulations
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
| Hi-index | 0.00 |
The Ctadel programming environment transforms high-level PDE problem specifications into efficient codes for serial, vector, and parallel computer architectures using computing-cost heuristics and architecture-specific symbolic transformations. Ctadel-generated codes for the Hirlam weather forecast system perform comparably with handwritten codes.