搜索页_+Concurrent+programming+

设为首页

收藏本站

网站地图 | English | 公务邮箱

NSTL服务站

外文资源

Wiley电子期刊(3)	SpringerLink电子期刊(840)	Elsevier电子期刊(648)
Springer电子图书(14)	ProQuest学位论文(90)	ACS电子期刊(2)

在“SpringerLink电子期刊”中，命中：840条，耗时：0.0309859 秒

在所有数据库中总计命中：1,597条

1. Evaluating Performance of Task and Data Coarsening in Concurrent Collections

关键词：Concurrent collections ; LULESH ; Coarsening ; Parallel programming

刊名：Lecture Notes in Computer Science

出版年：2017

2. A Discrete Geometric Model of Concurrent Program Execution

关键词：Concurrent Kleene Algebra ; Laws of programming ; Trace algebra ; Semantic models ; Refinement ; Unifying theories

刊名：Lecture Notes in Computer Science

出版年：2017

3. Two-Level Task Scheduling for Irregular Applications on GPU Platform

作者： Jing Li ; Lei Liu ; Yuan Wu ; Xiaobing Feng…

关键词：Hierarchical schedule ; Resource ; aware ; Irregular application ; GPU

刊名：International Journal of Parallel Programming

出版年：2017

4. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

5. On Evolutionary Approximation of Sigmoid Function for HW/SW Embedded Systems

关键词：Sigmoid ; Linear genetic programming ; HW/SW co ; design

刊名：Lecture Notes in Computer Science

出版年：2017

6. Detecting Deadlocks Involving Diverse Synchronization Mechanisms Using Extended Petri Nets

作者： Yunkai Du ; Naijie Gu ; Huaxiong Cao

关键词：Deadlock detection ; Petri nets ; APNs ; Diversity ; Synchronization

刊名：Arabian Journal for Science and Engineering

出版年：2017

7. Concurrent transmission for energy efficiency of user equipment in 5G wireless communication networks

作者： Xiao Ma ; Min Sheng ; Jiandong Li ; Qiuju Yang

关键词：energy efficiency ; green communication ; concurrent transmission ; 5G wireless communication networks ; data splitting ; 022306 ; 能效 ; 绿色通信 ; 并发传输 ; 5G无线通信网络 ; 数据分流

刊名：SCIENCE CHINA Information Sciences

出版年：2016

8. Adaptive Bi-objective Genetic Programming for Data-Driven System Modeling

关键词：Multi ; objective evolutionary algorithms ; Adaptive genetic programming ; Machine learning ; Home automation ; Energy efficiency

刊名：Lecture Notes in Computer Science

出版年：2016

9. Integration of ICT in Concurrent and Parallel Programming Lectures

关键词：Teaching innovation ; Teaching improvement ; Virtual campus ; ICT integration ; Lecturing model ; Concurrent programming ; Parallel programming ; Code ; Performance improvement ; Interactive theoretical teaching ; Students

刊名：Lecture Notes in Computer Science

出版年：2015

10. Coordinated Concurrent Programming in Syndicate

刊名：Lecture Notes in Computer Science

出版年：2016

按检索点细分(840)

题名(58)

关键词(68)

文摘(706)

按出版年细分(840)

2017年(6)

2016年(53)

2015年(68)

2014年(66)

2013年(65)

2012年(63)

2011年(10)

2010年(30)

2009年(47)

2008年(54)

2007年(79)

2006年(72)

2005年(82)

2004年(22)

2003年(30)

2002年(33)

2001年(12)

2000年(11)

2000年及以前(37)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700