SSA Elimination after Register Allocation
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Automated software diversity for hardware fault detection
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Algorithm 908: Online Exact Summation of Floating-Point Streams
ACM Transactions on Mathematical Software (TOMS)
Automation of hessian-based tubularity measure response function in 3D biomedical images
Journal of Biomedical Imaging - Special issue on modern mathematics in biomedical imaging
Runtime model validation with parallel object constraint language
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
An assistance tool employing a systematic methodology for GCC retargeting
Software—Practice & Experience
A framework for optimizing GCC for ARM architecture
Proceedings of the International Conference on Advances in Computing, Communications and Informatics
Tool support for software lookup table optimization
Scientific Programming
| Hi-index | 0.00 |