共 50 条
- [2] Speculative computation with lazy task creation [J]. PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS, 2000, : 41 - 55
- [5] Lazy Counterfactual Symbolic Execution [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 [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 [J]. COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2007, 4467 : 151 - +
- [8] Energy-Aware Speculative Execution in Vehicular Edge Computing Systems [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 [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 [J]. PROCEEDINGS OF THE 2011 INTERNATIONAL SYMPOSIUM ON PERFORMANCE EVALUATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS, 2011, : 179 - 184