中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
沈阳自动化研究所 [3]
半导体研究所 [1]
软件研究所 [1]
采集方式
OAI收割 [4]
iSwitch采集 [1]
内容类型
期刊论文 [3]
会议论文 [1]
学位论文 [1]
发表日期
2010 [2]
2009 [1]
2007 [1]
2004 [1]
学科主题
筛选
浏览/检索结果:
共5条,第1-5条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
面向访问验证保护级的安全VMM形式化原型系统设计和实现
期刊论文
OAI收割
计算机科学, 2010, 卷号: 37, 期号: 12, 页码: 85-90
易秋萍
;
刘剑
;
武术
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/05/23
安全操作系统
VMM
Haskell
Monad
形式化原型
利用VMM建立基于事务的层次化验证平台
期刊论文
OAI收割
微计算机信息, 2010, 卷号: 26, 期号: 11, 页码: 97-98
作者:
杨志家
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2012/05/29
验证
VMM
事务
验证平台
FlexRay通信控制器IP的测试与验证
学位论文
OAI收割
沈阳: 中国科学院沈阳自动化研究所, 2009
作者:
林健
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2010/11/29
Flexray
Ip
验证
Systemverilog
Vmm
验证平台
Research of design and verification of FieldBus communication control ASIC FBC100-H1
会议论文
OAI收割
7th International Conference on ASIC, Guilin, China, October 26-29, 2007
作者:
Yan YZ(闫永志)
;
Wang H(王宏)
;
Yang ZJ(杨志家)
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2012/06/06
foundation FieldBus
verification
VMM
High-performance quantum-dot superluminescent diodes
期刊论文
iSwitch采集
Ieee photonics technology letters, 2004, 卷号: 16, 期号: 1, 页码: 27-29
作者:
Zhang, ZY
;
Wang, ZG
;
Xu, B
;
Jin, P
;
Sun, ZZ
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2019/05/12
Crystal growth
Quantum dots (qds)
Semiconductor laser
Superluminescent diodes (slds)
Wavelength-division multiplexing (vmm)