Lazy and speculative execution in computer systems

被引:0
|
作者
Lampson, Butler
机构
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:1 / 2
页数:2
相关论文
共 50 条
  • [1] Lazy and speculative execution in computer systems
    Lampson, Butler
    [J]. ACM SIGPLAN NOTICES, 2008, 43 (09) : 1 - 1
  • [2] Speculative computation with lazy task creation
    Komiya, T
    Yuasa, T
    Fukushima, S
    [J]. PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS, 2000, : 41 - 55
  • [3] A SPECULATIVE EXECUTION SCHEME OF MACROTASKS FOR PARALLEL-PROCESSING SYSTEMS
    YAMANA, H
    YASUE, T
    ISHII, Y
    MURAOKA, Y
    [J]. SYSTEMS AND COMPUTERS IN JAPAN, 1995, 26 (06) : 1 - 15
  • [4] Statically safe speculative execution for real-time systems
    Younis, MF
    Marlowe, TJ
    Stoyen, AD
    Tsai, G
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1999, 25 (05) : 701 - 721
  • [5] Lazy Counterfactual Symbolic Execution
    Hallahan, William T.
    Xue, Anton
    Bland, Maxwell Troy
    Jhala, Ranjit
    Piskac, Ruzica
    [J]. PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 411 - 424
  • [6] Lazy execution of Boolean queries
    Maurer, Dieter
    [J]. Program Analysis and Compilation, Theory and Practice: ESSAYS DEDICATED TO REINHARD WILHELM ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4444 : 82 - 96
  • [7] A theory of nested speculative execution
    Tapus, Cristian
    Hickey, Jason
    [J]. COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2007, 4467 : 151 - +
  • [8] Energy-Aware Speculative Execution in Vehicular Edge Computing Systems
    Bahreini, Tayebeh
    Brocanelli, Marco
    Grosu, Daniel
    [J]. PROCEEDINGS OF THE 2ND ACM INTERNATIONAL WORKSHOP ON EDGE SYSTEMS, ANALYTICS AND NETWORKING (EDGESYS '19), 2019, : 18 - 23
  • [9] Speculative Data-Oblivious Execution: Mobilizing Safe Prediction For Safe and Efficient Speculative Execution
    Yu, Jiyong
    Mantri, Namrata
    Torrellas, Josep
    Morrison, Adam
    Fletcher, Christopher W.
    [J]. 2020 ACM/IEEE 47TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA 2020), 2020, : 707 - 720
  • [10] Out-of-Order execution in Master/Slave Speculative Parallelization Architecture for Computer Clusters
    Puiggali, Joan
    Jove, Teo
    Marzo, Jose L.
    [J]. PROCEEDINGS OF THE 2011 INTERNATIONAL SYMPOSIUM ON PERFORMANCE EVALUATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS, 2011, : 179 - 184