机构

• 软件研究所 [7]

采集方式

• OAI收割 [7]

内容类型

• 期刊论文 [3]
• 会议论文 [2]
• 学位论文 [2]

发表日期

• 2008 [2]
• 2007 [2]
• 2006 [2]
• 2005 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 存缴方式：oaiharvest    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序题名升序题名降序作者升序作者降序发表日期升序发表日期降序 基于WorkManager的Web应用服务器并发运行环境的设计与实现 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2008 张磊   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/03/17 Web应用服务器  Work Manager  并发运行环境  并发编程模型  日历队列  TPC-W   事件驱动的BPEL引擎架构设计与实现 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2008 南方   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/03/17 BPEL  Web服务  事件驱动并发  中间件   symbolic test generation using a temporal logic with constrained events 会议论文  OAI收割 Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25, Liu Daguang; Wu Peng; Lin Huimin   |  收藏  |  浏览/下载：10/0  |  提交时间：2011/06/29 Algorithms  Data acquisition  Logic programming  Parameter estimation   一种基于模型的并发系统测试目的描述 期刊论文  OAI收割 计算机工程与应用, 2007, 卷号: 43, 期号: 25, 页码: 105-110 刘大光; 林惠民; 吴鹏   |  收藏  |  浏览/下载：7/0  |  提交时间：2010/08/24 基于模型的测试  时序逻辑  约束事件  测试用例生成  测试目的 model-based testing  temporal logic  constrained events  test case generation  test purpose   model-based testing of concurrent programs with predicate sequencing constraints 会议论文  OAI收割 5th International Conference on Quality Software (QSIC 2005), Melbourne, AUSTRALIA, SEP 19-20, Wu Peng; Lin Huimin   |  收藏  |  浏览/下载：8/0  |  提交时间：2011/07/28 中国帕米尔  禾本科  区系model-based testing  symbolic test generation  predicate sequencing constraints   model-based testing of concurrent programs with predicate sequencing constraints 期刊论文  OAI收割 World Scientific Publishing Co. Pte Ltd, 2006, 卷号: 16, 期号: 5, 页码: 727-746 Wu Peng; Lin Huimin   |  收藏  |  浏览/下载：8/0  |  提交时间：2010/08/24 model-based testing  symbolic test generation  predicate sequencing constraints   handling synchronization problem in petri net-based system design by property-preserving transition-reduction 期刊论文  OAI收割 COMPUTER JOURNAL, 2005, 卷号: 48, 期号: 6, 页码: 692-701 Jiao L; Cheung TY; Lu WM   |  收藏  |  浏览/下载：10/0  |  提交时间：2011/07/28 Flexible manufacturing systems  Mathematical models  Matrix algebra  Set theory  Synchronization