中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 13)

Items/Page:    Sort:
利用并行GPU对分层分布式狄利克雷分布算法加速 [会议论文]
2013年全国开放式分布与并行计算学术年会, 昆明, 2013
温腊; 芮建武; 何婷婷; 郭亮

 
基于FPGA和ARM的现场总线设备 [期刊论文]
计算机工程, 2011-01-01, 期号: 4, 页码: 255-257,266
廖世高; 郭亮; 黄东; 邢立巍
  |  
 
基于OPNET的一种典型现场总线的研究与仿真 [期刊论文]
计算机应用与软件, 2011-01-01, 期号: 6, 页码: 96-100
朱涛; 郭亮
  |  
 
现场总线设备链路层软件实时性分析与实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 3, 页码: 855-858
余子玉; 郭亮; 刘晖; 于佳晨
  |  
 
基于RTEMS的软件容错系统设计 [期刊论文]
计算机应用研究, 2009-01-01, 卷号: 26, 期号: 3
李小群; 张文君; 潘远明; 肖贺; 郭亮; 姜志颖
  |  
 
基于时序逻辑证明编译优化程序变换的保义性 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭; 赵琛; 郭亮
  |  
 
嵌入式DSP系统中SDF模型的层次化存储优化方法 [期刊论文]
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, 2009-01-01, 卷号: 21, 期号: 3
刘国鑫; 郭烈恩; 贺也平; 郭亮
  |  
 
用于C语言程序验证的性质描述语言C-PDL [期刊论文]
苏州大学学报(自然科学版), 2007-01-01, 卷号: 23, 期号: 3
左春华; 张广泉; 郭亮
  |  
 
三机冗余容错系统的描述和验证 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 1
郭亮; 唐稚松
  |  
 
程序性质的描述及证明 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 3
官荷卿; 郭亮
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace