搜索结果: 1-3 共查到“计算机系统结构 Automatic”相关记录3条 . 查询时间(0.125 秒)
2017第十二届国际自动性能优化研讨会（The Twelfth International Workshop on Automatic Performance Tuning）
2017 第十二届 国际 自动性能优化 研讨会
2017/4/25
The goal of the Twelfth International Workshop on Automatic Performance Tuning (iWAPT2017) is to bring together researchers who are investigating automated techniques for constructing and/or adapting ...
Automatic Fine-Grain Locking Using Shape Properties
Concurrency Locking Protocol Synthesis Serializability Atomicity Reduction
2016/5/24
We present a technique for automatically adding fine-grain locking to an abstract data type that is implemented using a dynamic forest —i.e., the data structures may be mutated,even to the point of vi...
Automatic Aggregation by Joint Modeling of Aspects and Values
Aspects Values Automatic Aggregation
2014/11/26
Automatic Aggregation by Joint Modeling
of Aspects and Values