中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	基于规则的动态调度技术研究学位论文 OAI收割硕士, 中国科学院沈阳自动化研究所: 中国科学院沈阳自动化研究所, 2010 岳磊收藏 \| 浏览/下载：50/0 \| 提交时间：2012/07/27 动态调度仿真调度规则进程代数因素空间
	基于过程模型随机仿真的TDD模块选取建模方法研究期刊论文 OAI收割计算机应用研究, 2010, 期号: 8, 页码: 2948-2952,2958 苏峰; 翟健; 杨秋松 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/05/23 软件过程随机进程代数测试驱动开发仿真决策支持
	Formalization and specification for controlling process modularity in mobile computing 学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 Takashi KITAMURA \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/03/17 进程代数 Pi演算分布移动计算模态逻辑 Mu演算模型检测
	基于进程代数的软件过程建模系统的研究与实现学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 杨国伟收藏 \| 浏览/下载：22/0 \| 提交时间：2011/03/17 软件过程建模分析验证进程代数 PASPMS系统 Eclipse插件
	传值进程模型检测中诊断信息的生成期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 1, 页码: 40186 刘剑; 林惠民 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2010/08/24 进程代数模型检测证明图示例诊断生成 process algebra model checking proof graph witness diagnosis generation
	带实时的传值与移动系统研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 陈靖收藏 \| 浏览/下载：18/0 \| 提交时间：2011/03/17 实时系统数据传送移动计算进程代数互模拟可达性模型检测
	π-演算互模拟判定算法的优化和实现期刊论文 OAI收割软件学报, 2001, 卷号: 12, 期号: 2, 页码: 159 许文; 方海; 林惠民 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2010/08/24 进程代数 π-演算互模拟验证算法
	带赋值符号迁移图的局部优化算法期刊论文 OAI收割计算机研究与发展, 2000, 卷号: 37, 期号: 1, 页码: 95 方海; 许文; 林惠民 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/08/24 进程代数传值进程符号互模拟验证算法
	π-演算互模拟验证系统的设计与实现学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000 许文收藏 \| 浏览/下载：17/0 \| 提交时间：2011/03/17 进程代数 π-演算互模拟验证算法