Performance of lazy combinator graph reduction

被引：0
|
作者：
Hartel, Pieter H. [1 ]
机构：
[1] Univ of Amsterdam, Amsterdam, Netherlands
来源：
Software - Practice and Experience | 1991年 / 21卷 / 03期
关键词：
Mathematical Techniques;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：299 / 329
相关论文
共 50 条
  • [31] GRIP - A HIGH-PERFORMANCE ARCHITECTURE FOR PARALLEL GRAPH REDUCTION
    JONES, SLP
    CLACK, C
    SALKILD, J
    HARDIE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 274 : 98 - 112
  • [32] Boosting Lazy Abstraction for SystemC with Partial Order Reduction
    Cimatti, Alessandro
    Narasamdya, Iman
    Roveri, Marco
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 341 - 356
  • [33] A SHORT NOTE CONCERNING LAZY REDUCTION RULES FOR APPEND
    SLEEP, MR
    HOLMSTROM, S
    SOFTWARE-PRACTICE & EXPERIENCE, 1982, 12 (11): : 1082 - 1084
  • [34] LTR*: Rapid Replanning in Executing Consecutive Tasks with Lazy Experience Graph
    Lai, Tin
    Ramos, Fabio
    2022 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2022, : 8784 - 8790
  • [35] Perks of Being Lazy: Boosting Retrieval Performance
    Oguz Mulayim, Mehmet
    Lluis Arcos, Josep
    CASE-BASED REASONING RESEARCH AND DEVELOPMENT, ICCBR 2018, 2018, 11156 : 309 - 322
  • [36] Performance Evaluation of Graph-Reduction in SLAM through Pose Rejection
    Cervantes, Pablo
    Inoue, Masaki
    2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), 2017, : 644 - 647
  • [37] Learning Lazy Rules to improve the performance of classifiers
    Ting, KM
    Zheng, ZJ
    Webb, G
    RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XVI, 2000, : 122 - 131
  • [38] LazyGraph: Lazy Data Coherency for Replicas in Distributed Graph-Parallel Computation
    Wang, Lei
    Zhuang, Liangji
    Chen, Junhang
    Cui, Huimin
    Lv, Fang
    Liu, Ying
    Fen, Xiaobing
    ACM SIGPLAN NOTICES, 2018, 53 (01) : 276 - 289
  • [39] Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction
    Backeman, Peter
    Rummer, Philipp
    Zeljic, Aleksandar
    PROCEEDINGS OF THE 2018 18TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD), 2018, : 50 - 59
  • [40] LazyGraph: Lazy Data Coherency for Replicas in Distributed Graph-Parallel Computation
    Wang L.
    Zhuang L.
    Chen J.
    Cui H.
    Lv F.
    Liu Y.
    Feng X.
    ACM SIGPLAN Notices, 2018, 53 (01): : 276 - 289
12345