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 条
  • [41] Using simulated execution in verifying distributed algorithms
    Win, TN
    Ernst, MD
    Garland, SJ
    Kirli, D
    Lynch, NA
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 283 - 297
  • [42] Distributed Execution of Workflow Using Parallel Partitioning
    Hedayat, Maryam Khademi
    Cai, Wentong
    Turner, Stephen John
    Shahand, Shayan
    2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PROCEEDINGS, 2009, : 106 - 112
  • [43] Using simulated execution in verifying distributed algorithms
    Win T.N.
    Ernst M.D.
    Garland S.J.
    Kirli D.
    Lynch N.A.
    International Journal on Software Tools for Technology Transfer, 2004, 6 (01) : 67 - 76
  • [44] Re-execution of distributed programs to detect bugs hidden by racing messages
    Kilgore, R
    Chase, C
    THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 1: SOFTWARE TECHNOLOGY AND ARCHITECTURE, 1997, : 423 - 432
  • [45] A dynamic task distribution and engine allocation strategy for distributed execution of logic programs
    Xirogiannis, G
    Taylor, H
    HIGH-PERFORMANCE COMPUTING AND NETWORKING, 1998, 1401 : 294 - 304
  • [46] Faster-than-at-speed execution of functional programs: an experimental analysis
    Bernardi, P.
    Bosio, A.
    Di Natale, G.
    Guerriero, A.
    Venini, F.
    2016 IFIP/IEEE INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2016,
  • [47] A cost analysis model for efficient dynamic execution of parallel functional programs
    Maheshwari, P
    AUSTRALIAN COMPUTER JOURNAL, 1997, 29 (03): : 102 - 110
  • [48] USING SYMBOLIC EXECUTION FOR VERIFICATION OF ADA TASKING PROGRAMS
    DILLON, LK
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (04): : 643 - 669
  • [49] USING TRUE CONCURRENCY TO MODEL EXECUTION OF PARALLEL PROGRAMS
    BENASHER, Y
    FARCHI, E
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1994, 22 (04) : 375 - 407
  • [50] Isolating bugs in multithreaded programs using execution suppression
    Jeffrey, Dennis
    Wang, Yan
    Tian, Chen
    Gupta, Rajiv
    SOFTWARE-PRACTICE & EXPERIENCE, 2011, 41 (11): : 1259 - 1288
12345