共 50 条
- [2] Converting affine recurrence equations to quasi-uniform recurrence equations JOURNAL OF VLSI SIGNAL PROCESSING, 1995, 11 (1-2): : 113 - 131
- [4] A toolbox for affine recurrence equations parallelization HIGH-PERFORMANCE COMPUTING AND NETWORKING, 1995, 919 : 263 - 268
- [5] On the equivalence of two systems of affine recurrence equations EURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS, 2002, 2400 : 309 - 313
- [6] Embedding of systems of affine recurrence equations in Coq THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 155 - 170
- [9] Communication Optimization for Affine Recurrence Equations Using Broadcast and Locality International Journal of Parallel Programming, 2000, 28 : 47 - 102
- [10] Hierarchical static analysis of structured systems of affine recurrence equations INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS 1996, PROCEEDINGS, 1996, : 381 - 390