DISTRIBUTED EXECUTION OF FUNCTIONAL PROGRAMS USING SERIAL COMBINATORS.

被引：0
|
作者：
Hudak, Paul [1 ]
Goldberg, Benjamin [1 ]
机构：
[1] Yale Univ, Dep of Computer Science,, New Haven, CT, USA, Yale Univ, Dep of Computer Science, New Haven, CT, USA
来源：
IEEE Transactions on Computers | 1985年 / C-34卷 / 10期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
COMPUTER SYSTEMS, DIGITAL
引用
收藏
页码：881 / 890
相关论文
共 50 条
  • [21] Translation and execution of distributed Ada programs: Is it still Ada?
    Volz, Richard A., 1600, (15):
  • [22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution
    Miltner, Anders
    Nunez, Adrian Trejo
    Brendel, Ana
    Chaudhuri, Swarat
    Dillig, Isil
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
  • [23] Distributed CFG-based Symbolic Execution for Assembly Programs
    Adachi, Takumi
    Yamane, Satoshi
    Sakurai, Kohei
    2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2015, : 76 - 80
  • [24] Parampl: A Simple Tool for Parallel and Distributed Execution of AMPL Programs
    Olszak, Artur
    Karbowski, Andrzej
    IEEE ACCESS, 2018, 6 : 49282 - 49291
  • [25] Optimized Parallel Execution of Declarative Programs on Distributed Memory Multiprocessors
    沈美明
    田新民
    王鼎兴
    郑纬民
    温冬婵
    Journal of Computer Science and Technology, 1993, (03) : 233 - 242
  • [26] Extremal Optimization applied to load balancing in execution of distributed programs
    De Falco, Ivanoe
    Laskowski, Eryk
    Olejnik, Richard
    Scafuri, Umberto
    Tarantino, Ernesto
    Tudruj, Marek
    APPLIED SOFT COMPUTING, 2015, 30 : 501 - 513
  • [27] Distributed and parallel execution of Java']Java programs on a DSM system
    Hou, TW
    Chen, FG
    Lee, JL
    Cheng, YL
    FIRST IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, PROCEEDINGS, 2001, : 555 - 559
  • [28] MULTICORE EXECUTION OF DYNAMIC DATAFLOW PROGRAMS ON THE DISTRIBUTED APPLICATION LAYER
    Boutellier, J.
    Ghazi, A.
    2015 IEEE GLOBAL CONFERENCE ON SIGNAL AND INFORMATION PROCESSING (GLOBALSIP), 2015, : 893 - 897
  • [29] A FLEXIBLE MODEL FOR STUDYING THE EXECUTION OF DATAFLOW PROGRAMS IN DISTRIBUTED SYSTEMS
    DELCAMBRE, LML
    SHRIVER, BD
    INTERFACES IN COMPUTING, 1985, 3 (01): : 55 - 65
  • [30] Distributed evaluation of functional BSP programs
    Loulergue, F.
    Parallel Processing Letters, 2001, 11 (04) : 423 - 437
12345