DEMAND-DRIVEN INTERPRETATION OF FP PROGRAMS ON A DATA-FLOW MULTIPROCESSOR

被引：2
|
作者：
WEI, YH
GAUDIOT, JL
机构：
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1988年 / 37卷 / 08期
关键词：
D O I：
10.1109/12.2246
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：946 / 966
页数：21
相关论文
共 50 条
  • [41] INFORMATION-FLOW AND DATA-FLOW ANALYSIS OF WHILE-PROGRAMS
    BERGERETTI, JF
    CARRE, BA
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (01): : 37 - 61
  • [42] Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps
    Tiwari, Abhishek
    Prakash, Jyoti
    Hammer, Christian
    2023 IEEE 34TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, ISSRE, 2023, : 415 - 426
  • [43] Symbolic algebra and timing driven data-flow synthesis
    Peymandoust, A
    De Micheli, G
    ICCAD 2001: IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, 2001, : 300 - 305
  • [44] Toward a Demand-Driven, Collaborative Data Agenda for Adolescent Mental Health
    Verhulst, Stefaan
    Bustamante, Constanza M. Vidal
    Carvajal-Velez, Liliana
    Cece, Fiona
    Requejo, Jennifer Harris
    Shaw, Alexandra
    Winowatan, Michelle
    Young, Andrew
    Zahuranec, Andrew J.
    JOURNAL OF ADOLESCENT HEALTH, 2023, 72 (01) : S20 - S26
  • [45] Implementation techniques for efficient data-flow analysis of large programs
    Atkinson, DC
    Griswold, WG
    IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 52 - 61
  • [46] HIERARCHICAL DATA-FLOW ANALYSIS FOR O-O PROGRAMS
    SUBRAMANIAN, S
    TSAI, WT
    KIRANI, SH
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1994, 7 (02): : 36 - 46
  • [47] Formal Verification of Programs in the Functional Data-flow Parallel Language
    Kropacheva, M. S.
    Legalov, A. I.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2013, 47 (07) : 373 - 384
  • [48] DEBUGGING OF GLOBALLY OPTIMIZED PROGRAMS USING DATA-FLOW ANALYSIS
    WISMULLER, R
    SIGPLAN NOTICES, 1994, 29 (06): : 278 - 289
  • [49] OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs
    Pop, Antoniu
    Cohen, Albert
    ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2013, 9 (04)
  • [50] A DEMAND-DRIVEN MACRO-DATA-FLOW SCHEMA FOR DISTRIBUTED GRAPH REDUCTION ON MULTIPLE G-MACHINES
    BISWAS, P
    CHEN, J
    MICROPROCESSING AND MICROPROGRAMMING, 1990, 28 (1-5): : 161 - 166
12345