搜索结果: 1-4 共查到“计算机科学技术 Data Representation”相关记录4条 . 查询时间(0.484 秒)
云南农业大学计算机导论课件Chapter2 Data Representation
云南农业大学 计算机导论 课件 Chapter2 Data Representation
font style='font-size:12px;'>
2016/12/6
云南农业大学计算机导论课件Chapter2 Data Representation.
Data Representation Synthesis
Synthesis Composite Data Structures
font style='font-size:12px;'>
2016/5/24
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data typ...
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 ...
An Introduction to Data Representation Synthesis
Data Representation Synthesis
font style='font-size:12px;'>
2016/5/24
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach,abstract data type...