QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 constraint-based locality analysis for x10 programs 会议论文 ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013 - Co-located with POPL 2013, Rome, Italy, January 21, 2013 - January 22, 2013 Sun Qiang; Chen Yuting; Zhao Jianjun 收藏  |  浏览/下载：10/0  |  提交时间：2013/09/22 characterizations of locally testable linear- and affine-invariant families 期刊论文 Theoretical Computer Science, 2011, 卷号: 414, 期号: 1, 页码: 55-75 Angsheng Li; Yicheng Pan 收藏  |  浏览/下载：10/0  |  提交时间：2013/10/08 Error correcting codes  Locally testable codes  (Algebraic) property tests   characterizations of locally testable linear- and affine-invariant families 会议论文 17th Annual International Computing and Combinatorics Conference, COCOON 2011, Dallas, TX, United states, August 14, Li Angsheng; Pan Yicheng 收藏  |  浏览/下载：14/0  |  提交时间：2011/10/10 Algebra  Boolean functions  Characterization  Codes (symbols)  Combinatorial mathematics  Finite element method