中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
计算机科学国家重点实... [6]
基础软件国家工程研究... [5]
软件所图书馆 [1]
中科院软件所 [1]
作者
Content Type
期刊论文 [11]
会议论文 [1]
学位论文 [1]
Issued Date
Language
中文 [4]
Source
软件学报 [4]
journal of... [1]
苏州大学学报(自然科... [1]
计算机工程 [1]
计算机工程与设计 [1]
更多...
Project
Indexed
WANFANG [6]
CSCD [1]
EI,WANFANG... [1]
Spnsorship
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 13)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
利用并行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
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace