Hierarchical static analysis of structured systems of affine recurrence equations

被引:2
|
作者
deDinechin, F [1 ]
Robert, S [1 ]
机构
[1] IRISA,F-35042 RENNES,FRANCE
关键词
D O I
10.1109/ASAP.1996.544733
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:381 / 390
页数:10
相关论文
共 50 条
  • [1] AFFINE TIMINGS FOR SYSTEMS OF AFFINE RECURRENCE EQUATIONS
    MONGENET, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 505 : 236 - 251
  • [2] On the equivalence of two systems of affine recurrence equations
    Barthou, D
    Feautrier, P
    Redon, X
    EURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS, 2002, 2400 : 309 - 313
  • [3] Embedding of systems of affine recurrence equations in Coq
    Cachera, D
    Pichardie, D
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 155 - 170
  • [4] Communication code generation in systems of affine recurrence equations
    Reffay, C
    Perrin, GR
    INTEGRATION-THE VLSI JOURNAL, 1995, 20 (01) : 63 - 83
  • [5] GEOMETRICAL TOOLS TO MAP SYSTEMS OF AFFINE RECURRENCE EQUATIONS ON REGULAR ARRAYS
    MONGENET, C
    CLAUSS, P
    PERRIN, GR
    ACTA INFORMATICA, 1994, 31 (02) : 137 - 160
  • [6] Converting affine recurrence equations to quasi-uniform recurrence equations
    Yaacoby, Y
    Cappello, P
    JOURNAL OF VLSI SIGNAL PROCESSING, 1995, 11 (1-2): : 113 - 131
  • [7] CONVERTING AFFINE RECURRENCE EQUATIONS TO QUASI-UNIFORM RECURRENCE EQUATIONS
    YAACOBY, Y
    CAPPELLO, PR
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 319 : 319 - 328
  • [8] A toolbox for affine recurrence equations parallelization
    Loechner, V
    Mongenet, C
    HIGH-PERFORMANCE COMPUTING AND NETWORKING, 1995, 919 : 263 - 268
  • [9] Modeling and scheduling parallel data flow systems using structured systems of recurrence equations
    Charot, F
    Nyamsi, M
    Quinton, P
    Wagner, C
    15TH IEEE INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS, PROCEEDINGS, 2004, : 6 - 16
  • [10] DECOUPLING THE DIMENSIONS OF A SYSTEM OF AFFINE RECURRENCE EQUATIONS
    YAACOBY, Y
    CAPPELLO, PR
    LINEAR ALGEBRA AND ITS APPLICATIONS, 1992, 167 : 157 - 170