共 50 条
- [2] On the equivalence of two systems of affine recurrence equations EURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS, 2002, 2400 : 309 - 313
- [3] Embedding of systems of affine recurrence equations in Coq THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 155 - 170
- [6] Converting affine recurrence equations to quasi-uniform recurrence equations JOURNAL OF VLSI SIGNAL PROCESSING, 1995, 11 (1-2): : 113 - 131
- [8] A toolbox for affine recurrence equations parallelization HIGH-PERFORMANCE COMPUTING AND NETWORKING, 1995, 919 : 263 - 268
- [9] Modeling and scheduling parallel data flow systems using structured systems of recurrence equations 15TH IEEE INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS, PROCEEDINGS, 2004, : 6 - 16