Hierarchical static analysis of structured systems of affine recurrence equations

被引：2
|
作者：
deDinechin, F [1 ]
Robert, S [1 ]
机构：
[1] IRISA,F-35042 RENNES,FRANCE
来源：
INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS 1996, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/ASAP.1996.544733
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：381 / 390
页数：10
相关论文
共 50 条
  • [21] Affine systems of equations and counting infinitary logic
    Atserias, Albert
    Bulatov, Andrei
    Dawar, Anuj
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2007, 4596 : 558 - +
  • [22] Affine systems of equations and counting infinitary logic
    Atserias, Albert
    Bulatov, Andrei
    Dawar, Anuj
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (18) : 1666 - 1683
  • [23] Finding quadratic schedules for affine recurrence equations via nonsmooth optimization
    Achtziger, W
    Zimmermann, KH
    JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2000, 25 (03): : 235 - 260
  • [24] Finding Quadratic Schedules for Affine Recurrence Equations Via Nonsmooth Optimization
    Wolfgang Achtziger
    Karl-Heinz Zimmermann
    Journal of VLSI signal processing systems for signal, image and video technology, 2000, 25 : 235 - 260
  • [25] Affine Controlled Systems and t-Systems of Pfaffian Equations
    V. I. Elkin
    Computational Mathematics and Mathematical Physics, 2018, 58 : 1049 - 1057
  • [26] Affine Controlled Systems and t-Systems of Pfaffian Equations
    Elkin, V. I.
    COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 2018, 58 (07) : 1049 - 1057
  • [27] ITERATIVE METHODS FOR STRUCTURED SYSTEMS OF EQUATIONS
    OLEARY, DP
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (05): : A596 - A596
  • [28] Automatic mapping of system of N-dimensional affine recurrence equations (SARE) onto distributed memory parallel systems
    Marongiu, A
    Palazzari, P
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (03) : 262 - 275
  • [29] A new memory-saving technique to map System of Affine Recurrence Equations (SARE) onto distributed memory systems
    Marongiu, A
    Palazzari, P
    IPPS/SPDP 1999: 13TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & 10TH SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 1999, : 590 - 596
  • [30] Static Models of Corruption in Hierarchical Control Systems
    Antonenko, Andrey A.
    Ougolnitsky, Guennady A.
    Usov, Anatoly B.
    CONTRIBUTIONS TO GAME THEORY AND MANAGEMENT, VOL V, 2012, 5 : 20 - 32
12345