搜索结果: 1-1 共查到“计算机系统结构 Data Representation”相关记录1条 . 查询时间(0.265 秒)
Concurrent Data Representation Synthesis
Synthesis Lock Placement
font style='font-size:12px;'>
2016/5/24
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a representation of the ...