Mathematical Foundation of Parallel Computing

Delinearization: an efficient way to break multiloop dependence equations

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

Lazy array data-flow dependence analysis

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Static analysis of upper and lower bounds on dependences and parallelism

ACM Transactions on Programming Languages and Systems (TOPLAS)

Going Beyond Integer Programming with the Omega Test to Eliminate False Data Dependences

IEEE Transactions on Parallel and Distributed Systems

Enhancing array dataflow dependence analysis with on-demand global value propagation

ICS '95 Proceedings of the 9th international conference on Supercomputing

Constraint-based array dependence analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)

Construction of the Algorithm Graph by Autotracing Method

Programming and Computing Software

On the problem of numerical modeling of dangerous convective phenomena: possibilities of real-time forecast with the help of multi-core processors

ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V

On the possibilities of multi-core processor use for real-time forecast of dangerous convective phenomena

ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part II