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
关键词
D O I
暂无
中图分类号
学科分类号
摘要
COMPUTER SYSTEMS, DIGITAL
引用
收藏
页码:881 / 890
相关论文
共 50 条
  • [31] Execution replay and debugging of distributed multi-threaded parallel programs
    de Kergommeaux, JC
    Ronsse, M
    De Bosschere, K
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (06): : 511 - 526
  • [32] Improving Stress Quality for SoC Using Faster-than-At-Speed Execution of Functional Programs
    Bernardi, Paolo
    Bosio, Alberto
    Di Natale, Giorgio
    Guerriero, Andrea
    Sanchez, Ernesto
    Venini, Federico
    VLSI-SOC: SYSTEM-ON-CHIP IN THE NANOSCALE ERA - DESIGN, VERIFICATION AND RELIABILITY, 2017, 508 : 130 - 151
  • [33] VERIFICATION OF PROLOG PROGRAMS USING AN EXTENSION OF EXECUTION
    KANAMORI, T
    SEKI, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 475 - 489
  • [34] Verification of C programs using slicing execution
    Yi, XD
    Wang, J
    Yang, XJ
    QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2005, : 109 - 116
  • [35] Structural analysis and planning of processes of parallel execution of functional programs
    Bazhanov, SE
    Vorontsov, MM
    Kutepov, VP
    Shestakov, DA
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2005, 44 (06) : 942 - 957
  • [36] On the detection of board delay faults through the execution of functional programs
    An, G.
    Cantoro, R.
    Sanchez, E.
    Reorda, M. Sonza
    2017 18TH IEEE LATIN AMERICAN TEST SYMPOSIUM (LATS 2017), 2017,
  • [37] PARTITIONING AND SCHEDULING OF PARALLEL FUNCTIONAL PROGRAMS FOR LARGER GRAIN EXECUTION
    MAHESHWARI, P
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1995, 26 (02) : 151 - 165
  • [38] New Techniques to Reduce the Execution Time of Functional Test Programs
    Gaudesi, Marco
    Pomeranz, Irith
    Reorda, Matteo Sonza
    Squillero, Giovanni
    IEEE TRANSACTIONS ON COMPUTERS, 2017, 66 (07) : 1268 - 1273
  • [39] Improving granularity and locality of data in multiprocessor execution of functional programs
    Maheshwari, P
    PARALLEL COMPUTING, 1996, 22 (10) : 1359 - 1372
  • [40] Overlapping execution with transfer using non-strict execution for mobile programs
    Krintz, C
    Calder, B
    Lee, HB
    Zorn, BG
    ACM SIGPLAN NOTICES, 1998, 33 (11) : 159 - 169