机构

• 软件研究所 [19]
• 遥感与数字地球研究所 [2]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [22]

内容类型

• 会议论文 [16]
• 期刊论文 [6]

发表日期

• 2013 [2]
• 2012 [1]
• 2011 [3]
• 2010 [3]
• 2008 [1]
• 2007 [6]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共22条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 a peta-scalable cpu-gpu algorithm for global atmospheric simulations 会议论文  OAI收割 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, Shenzhen, China, February 23, 2013 - February 27, 2013 Yang Chao; Xue Wei; Fu Haohuan; Gan Lin; Li Linfeng; Xu Yangtong; Lu Yutong; Sun Jiachang; Yang Guangwen; Zheng Weimin   |  收藏  |  浏览/下载：32/0  |  提交时间：2013/09/22 Communication  Computer architecture  Computer programming languages  Hybrid systems  Mathematical models  Multitasking  Parallel algorithms  Parallel programming  Program processors  Scalability   An automatic control and measurement system of compressor experimental operation platform 会议论文  OAI收割 2013 2nd International Conference on Measurement, Instrumentation and Automation, ICMIA 2013, Guilin, China, April 23-24, 2013 作者:  Liu ZF(刘志峰);  Lv Y(吕岩);  Ma JK(马继开) 收藏  |  浏览/下载：20/0  |  提交时间：2013/10/04 Automation  Computer programming languages  Digital instruments  Measurements  Process control   e-block: a tangible programming tool for children 会议论文  OAI收割 25th Annual ACM Symposium on User Interface Software and Technology, UIST 2012, Cambridge, MA, United states, October 7, 2012 - October 10, 2012 Wang Danli; Zhang Yang; Gu Tianyuan; He Liang; Wang Hongan   |  收藏  |  浏览/下载：35/0  |  提交时间：2013/09/22 Computer programming languages  Infrared radiation  Sensors  User interfaces   set-theoretic foundation of parametric polymorphism and subtyping 会议论文  OAI收割 16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11, Tokyo, Japan, September Castagna Giuseppe; Xu Zhiwu   |  收藏  |  浏览/下载：25/0  |  提交时间：2013/10/08 Computer programming languages  Recursive functions   a practical covert channel identification approach in source code based on directed information flow graph 会议论文  OAI收割 2011 5th International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, Jeju Island, Korea, Republic of, 27-Jun-02 Wu JingZheng; Ding Liping; Wang Yongji; Han Wei   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/10/10 Algorithms  Building codes  Computer operating systems  Computer programming languages  Graphic methods  Software reliability   design and implementation of a graphical programming tool for children 会议论文  OAI收割 2011 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2011, Shanghai, China, 10-Jun-02 Xiajian Chen; Danli Wang; Hongan Wang   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10 Computer graphics  Computer programming languages  Computer science   generating provably correct algorithmic programs from formal specifications 会议论文  OAI收割 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451 Shi Haihe; Xue Jinyun   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/03/31 Algorithmic languages  Computer programming  Computer software selection and evaluation   axiomatic temporal logic programs verification 会议论文  OAI收割 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25, Yang Xiaoxiao; Duan Zhenhua   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/03/31 Computer simulation languages  Logic programming  Safety engineering  Software engineering   mining api mapping for language migration 会议论文  OAI收割 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201 Zhong Hao; Thummalapenta Suresh; Xie Tao; Zhang Lu; Wang Qing   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/03/31 Application programming interfaces (API)  Computer software  Defects  Errors  Linguistics  Mapping  Query languages   efficient concurrent zero knowledge arguments for np in the bare public-key model 期刊论文  OAI收割 Ruan Jian Xue Bao/Journal of Software, 2008, 卷号: 19, 期号: 2, 页码: 468-478 Deng Yi; Lin Dong-Dai   |  收藏  |  浏览/下载：29/0  |  提交时间：2011/06/10 Computer programming languages  Mathematical models  Network protocols  Public key cryptography  Theorem proving