Solving elliptic problems using ELLPACK
Solving elliptic problems using ELLPACK
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Mathematica: a system for doing mathematics by computer
Mathematica: a system for doing mathematics by computer
A data parallel scientific modelling language
Journal of Parallel and Distributed Computing - Special issue on data parallel algorithms and programming
Computer as Thinker/Doer: Problem-Solving Environments for Computational Science
IEEE Computational Science & Engineering
Data-parallel numerical weather forecasting
Scientific Programming - On applications analysis
ICS '95 Proceedings of the 9th international conference on Supercomputing
//ELLPACK: a numerical simulation programming environment for parallel MIMD machines
ICS '90 Proceedings of the 4th international conference on Supercomputing
Incorporating application dependent information in an automatic code generating environment
ICS '97 Proceedings of the 11th international conference on Supercomputing
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
IEEE Computational Science & Engineering
Tomorrow's Weather Forecast: Automatic Code Generation for Atmospheric Modeling
IEEE Computational Science & Engineering
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
Automatic Validation of Code-Improving Transformations
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Efficient Symbolic Analysis for Optimizing Compilers
CC '01 Proceedings of the 10th International Conference on Compiler Construction
PDE-Oriented Language Compilation and Optimization with Ctadel for Parallel Computing
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
Validation of code-improving transformations for embeded systems
Proceedings of the 2003 ACM symposium on Applied computing
Automatic validation of code-improving transformations on low-level program representations
Science of Computer Programming - Special issue on program transformation
Computer algebra systems as mathematical optimizing compilers
Science of Computer Programming
Automatic SIMD vectorization of chains of recurrences
Proceedings of the 22nd annual international conference on Supercomputing
| Hi-index | 0.00 |