中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
  • 软件研究所 [5]
采集方式
内容类型
  • 会议论文 [5]
发表日期
  • 2012 [5]
学科主题
筛选

浏览/检索结果: 共5条，第1-5条 帮助

限定条件                        
条数/页： 排序方式：
debug concurrent programs with visualization and inference of event structure 会议论文  OAI收割
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Wu Xiaoquan; Wei Jun; Wang Xu
  |  收藏  |  浏览/下载：9/0  |  提交时间：2013/09/22
a path-oriented approach to generating executable test sequences for extended finite state machines 会议论文  OAI收割
IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4, 2012 - July 6, 2012
Wu Tianyong; Yan Jun; Zhang Jian
  |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/22
a highly concurrent process virtual machine based on event-driven process execution model 会议论文  OAI收割
9th IEEE International Conference on E-Business Engineering, ICEBE 2012, Including, SOAIC 2012, EM2I 2012, SOKMBI 2012, ASOC 2012, Hangzhou, China, September 9, 2012 - September 11, 2012
Wu Dongyao; Wei Jun; Gao Chushu; Dou Wenshen
  |  收藏  |  浏览/下载：17/0  |  提交时间：2013/09/22
detect and optimize the energy consumption of mobile app through static analysis: an initial research 会议论文  OAI收割
4th Asia-Pacific Symposium on Internetware, Internetware 2012, Qingdao, China, October 30, 2012 - October 31, 2012
Wang Jingtian; Wu Guoquan; Wu Xiaoquan; Wei Jun
  |  收藏  |  浏览/下载：15/0  |  提交时间：2013/09/22
runtime verification of data-centric properties in service based systems 会议论文  OAI收割
2nd International Conference on Runtime Verification, RV 2011, San Francisco, CA, United states, September 27, 2011 - September 30, 2011
Wu Guoquan; Wei Jun; Ye Chunyang; Shao Xiaozhe; Zhong Hua; Huang Tao
  |  收藏  |  浏览/下载：25/0  |  提交时间：2013/09/22