LAZY NARROWING IN A GRAPH MACHINE

被引：0
|
作者：
MORENONAVARRO, JJ
KUCHEN, H
LOOGEN, R
RODRIGUEZARTALEJO, M
机构：
[1] RHEIN WESTFAL TH AACHEN, LEHRSTUHL INFORMAT II, W-5100 AACHEN, GERMANY
[2] UNIV COMPLUTENSE MADRID, FAC CC MATEMAT, DEPT INFORMAT & AUTOMAT, E-28040 MADRID, SPAIN
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 463卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：298 / 317
页数：20
相关论文
共 50 条
  • [41] Explaining the lazy Krivine machine using explicit substitution and addresses
    INRIA Rhône-Alpes, 655 avenue de l'Europe, 38 330 Montbonnot, France
    High Order Symbol Comput, 2007, 3 (257-270):
  • [42] PREFACE AND READER-MODEL(S): INSTRUCTIONS ON A LAZY MACHINE
    Jover-Faleiros, Rita
    ALEA-ESTUDOS NEOLATINOS, 2012, 14 (02) : 217 - 230
  • [43] 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
  • [44] 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
  • [45] Virtuoso: Narrowing the Semantic Gap in Virtual Machine Introspection
    Dolan-Gavitt, Brendan
    Leek, Tim
    Zhivich, Michael
    Giffin, Jonathon
    Lee, Wenke
    2011 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2011), 2011, : 297 - 312
  • [46] Lazy kings were ... lazy
    Keller, Rodolphe
    HISTORIA, 2007, (732): : 95 - 95
  • [47] LAZY THOUGHTS OF A LAZY MAN
    不详
    CHIMICA & L INDUSTRIA, 1971, 53 (09): : 817 - &
  • [48] MACHINE INDEPENDENT GRAPH PLOTTING
    BARKER, PG
    DATA PROCESSING, 1974, 16 (04): : 236 - 237
  • [49] Automated Machine Learning on Graph
    Wang, Xin
    Zhu, Wenwu
    KDD '21: PROCEEDINGS OF THE 27TH ACM SIGKDD CONFERENCE ON KNOWLEDGE DISCOVERY & DATA MINING, 2021, : 4082 - 4083
  • [50] An Efficient Motion Planning Method with a Lazy Demonstration Graph for Repetitive Pick-and-Place
    Zuo, Guoyu
    Li, Mi
    Yu, Jianjun
    Wu, Chun
    Huang, Gao
    BIOMIMETICS, 2022, 7 (04)
12345