Generating parallel code for SIMD machines
ACM Letters on Programming Languages and Systems (LOPLAS)
Prototyping Fortran-90 compilers for massively parallel machines
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Implementation of a portable nested data-parallel language
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Deriving imperative code from functional programs
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
From functional equations to Occam programs: systolizing compilation
PACT '95 Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Specification-consistent coordination model for computations
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Pattern-matching and rewriting rules for group indexed data structures
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Pattern-matching and rewriting rules for group indexed data structures
ACM SIGPLAN Notices
Application of the Polytope Model to Functional Programs
LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing
An Index Domain for Adaptive Multi-grid Methods
VECPAR '00 Selected Papers and Invited Talks from the 4th International Conference on Vector and Parallel Processing
Compilation of a specialized functional language for massively parallel computers
Journal of Functional Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification-correct and scalable coordination of Grid applications
Future Generation Computer Systems
A calculus for parallel computations over multidimensional dense arrays
Computer Languages, Systems and Structures
Abstract Level Parallelization of Finite Difference Methods
Scientific Programming
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems
Software-Intensive Systems and New Computing Paradigms
Programmable data dependencies and placements
DAMP '12 Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming
Hi-index | 0.00 |