Parametric Analysis of Polyhedral Iteration Spaces
Journal of VLSI Signal Processing Systems - Special issue on application specific systems, architectures and processors
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools for parallel processing
A unified framework for schedule and storage optimization
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Precise Data Locality Optimization of Nested Loops
The Journal of Supercomputing
Communication Optimization for Affine Recurrence Equations Using Broadcast and Locality
International Journal of Parallel Programming
Data Sequence Locality: A Generalization of Temporal Locality
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
On the Optimality of Feautrier's Scheduling Algorithm
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Applications of storage mapping optimization to register promotion
Proceedings of the 18th annual international conference on Supercomputing
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Computing convex hulls with a linear solver
Theory and Practice of Logic Programming
In search of a program generator to implement generic transformations for high-performance computing
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Proceedings of the 20th annual international conference on Supercomputing
A step towards unifying schedule and storage optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Counting with rational generating functions
Journal of Symbolic Computation
Typing Linear Constraints for Moding CLP(${\cal R}$) Programs
SAS '08 Proceedings of the 15th international symposium on Static Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Variable ranges in linear constraints
Proceedings of the 2010 ACM Symposium on Applied Computing
Invariance kernel of Biological Regulatory Networks
International Journal of Data Mining and Bioinformatics
isl: an integer set library for the polyhedral model
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Symbolic and analytic techniques for resource analysis of java bytecode
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Integer affine transformations of parametric ℤ-polytopes and applications to loop nest optimization
ACM Transactions on Architecture and Code Optimization (TACO)
Determining the right-hand vectors of an irredundant linear inequality system
Operations Research Letters
On the tight formation for multi-agent dynamical systems
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Control with constraints for linear stationary systems: An interpolation approach
Automation and Remote Control
Hi-index | 0.00 |