中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
基于行为约束传播的并发系统状态空间约简方法 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2014
王志江
  |  收藏  |  浏览/下载：17/0  |  提交时间：2014/05/30
基于事件结构的并发程序可视化调试方法 期刊论文  OAI收割
软件学报, 2014, 卷号: 25, 期号: 3, 页码: 457-471
伍晓泉; 魏峻
  |  收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
认知无线电通信控制系统并发属性验证 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2012
范林林
  |  收藏  |  浏览/下载：12/0  |  提交时间：2012/05/31
并发处理机制在MES平台优化中的应用研究 期刊论文  OAI收割
计算机应用与软件, 2010, 卷号: 27, 期号: 8, 页码: 7-8
作者:  史海波;  林硕;  吕希胜
收藏  |  浏览/下载：10/0  |  提交时间：2012/05/29
带参并发系统的模型检测 学位论文  OAI收割
硕士, 中科院软件所: 中科院研究生院, 2009
-
  |  收藏  |  浏览/下载：20/0  |  提交时间：2009/06/11
基于多线程的Linux下并发服务器的实现研究 期刊论文  OAI收割
微计算机应用, 2007, 卷号: 28, 期号: 4, 页码: 368-371
作者:  李海滨;  张志佳;  于立国;  王东署;  苑葳
  |  收藏  |  浏览/下载：17/0  |  提交时间：2010/11/29
集成电路测试技术的新进展 期刊论文  OAI收割
电子测量与仪器学报, 2007, 卷号: 21.0, 期号: 004, 页码: 1
作者:  时万春
  |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04
基于μClinux嵌入式系统并发技术的研究及应用 期刊论文  OAI收割
电子器件, 2005, 期号: 04, 页码: 906-909
张素莉; 吴平; 王遵立
收藏  |  浏览/下载：9/0  |  提交时间：2013/03/11
共享合成Petri网系统的活性保持性 期刊论文  OAI收割
系统工程理论与实践, 2005, 卷号: 25, 期号: 11, 页码: 70-78
蒲飞; 陆维明
  |  收藏  |  浏览/下载：21/0  |  提交时间：2011/07/28
同步合成Petri网系统可回复性的保持性 期刊论文  OAI收割
系统工程理论与实践, 2005, 卷号: 25, 期号: 10, 页码: 83-94
蒲飞; 陆维明
  |  收藏  |  浏览/下载：10/0  |  提交时间：2011/07/28