机构

• 软件研究所 [2]

采集方式

• OAI收割 [2]

内容类型

• 会议论文 [2]

发表日期

• 2008 [2]

学科主题

筛选

浏览/检索结果: 共2条，第1-2条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 generating algorithms plus loop invariants by formal derivation 会议论文  OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Du Dawei; Xue Jinyun   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/06/13 MergeSort algorithm  formal development process  formal specification  insertion sort  loop invariant  nonrecursive algorithmic solution  provably correct algorithmic program  program control structures  program verification  sorting   automated phase-ordering of loop optimizations based on polyhedron model 会议论文  OAI收割 10th IEEE International Conference on High Performance Computing and Communications, Dalian, PEOPLES R CHINA, SEP 25-27, Xue Yunzhi; Zhao Chen 收藏  |  浏览/下载：40/1  |  提交时间：2011/06/13 automated phase-ordering  cache miss equation  compilers  computer architectural complexity  loop optimizations  polyhedron model  program compilers  program control structures  software architecture