An algebraic programming style for numerical software and its optimization
Scientific Programming
Scalable temporal order analysis for large scale debugging
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis
A declarative framework for analysis and optimization
CC'07 Proceedings of the 16th international conference on Compiler construction
| Hi-index | 0.00 |