并发模型

作品数：36被引量：40H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李文军张广泉周晓聪李师贤刘云龙更多>>
相关机构：重庆师范学院中山大学北京邮电大学电子科技大学更多>>
相关期刊：《软件学报》《电子器件》《湖南城市学院学报（自然科学版）》《现代电信科技》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于GPU多流并发并行模型的NDVI提取算法被引量：3
《计算机科学》2020年第4期25-29,共5页左宪禹 张哲 苏岳瀚 刘扬 葛强 田军锋 
国家重点研发计划课题(2017YFD0301105);国家自然科学基金(U1704122,U1604145);河南省重点研发与推广专项(182102210242,182102110065,192102210096)。
利用GPU进行加速的归一化差分植被指数(Normalized Differential Vegetation Index,NDVI)提取算法通常采用GPU多线程并行模型,存在弱相关计算之间以及CPU与GPU之间数据传输耗时较多等问题,影响了加速效果的进一步提升。针对上述问题,根...
关键词：NDVI GPU多流并发模型 遥感信息提取 计算通讯重叠 并行加速 
第十五届全国Petri网理论与应用学术年会征文通知
《计算机科学》2015年第2期F0002-F0002,共1页
由中国计算机学会主办的“第十五届全国Petri网理论与应用学术年会”（两年一届）将于2015年10月16日至18日在安徽省淮南市召开。该会是中国Petri网理论与应用研究领域最高水准的学术盛事，会议将对Petri网理论研究、应用研究、工具开...
关键词：PETRI网 学术年会 应用 征文通知 十五 形式化方法 仿真技术 并发模型 
一种针对CP-nets并发模型的验证方法
《计算机科学》2014年第7期135-139,161,共6页孙涛 叶新铭 
国家自然科学基金资助项目(61262017);国家自然科学基金资助项目(61163011);内蒙古自然科学基金资助项目(2012MS0922);内蒙古自然科学基金资助项目(2011MS0912)资助
状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难。提出了基于并发属性的模型化简方法和基于功能组合的模型抽象方法,用于对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,使模型状态空间规模得到显著降低...
关键词：模型验证 化简 抽象 状态爆炸 
第十四届全国Petri网理论与应用学术年会征文通知
《计算机科学》2013年第1期F0002-F0002,共1页
由中国计算机学会Petri网专业委员会主办的“第十四届全国Petri网理论与应用学术年会”（两年一届）将于2013年8月23-25日在西安召开。该会是中国Petri网理论与应用研究领域最高水准的学术盛事，会议将对Petri网理论研究、应用研究、工...
关键词：PETRI网 学术年会 应用 征文通知 专业委员会 形式化方法 仿真技术 并发模型 
用完成端口实现可扩展的服务器应用被引量：4
《计算机科学》2002年第11期144-145,164,共3页吴星 黄爱萍 
With the increasing variety of telecommunication business and needs for more and more client connections, the application servers are faced with the challenge of the overload of tremendous requests. On the Windows pla...
关键词：操作系统 应用程序 并发模型 服务器 WINDOWSNT WINDOWS2000 
并发模型的分类与层次被引量：2
《计算机科学》2000年第3期29-34,共6页李文军 周晓聪 李师贤 
南京大学计算机软件新技术国家重点实验室基金
随着处理器性能的不断提高和网络技术的迅速发展,越来越多的计算机应用系统涉及并行与分布式计算。开发这类系统远比传统的串行系统困难,这除了并行与分布式计算本身固有的复杂性外,还有一个原因是人们对并发性的实质缺乏真正了解,因而...
关键词：并发模型 分类 层次 软件开发 
并发模型分析被引量：2
《计算机科学》1995年第3期13-16,共4页刘海燕 陈火旺 
并发一直是计算机科学中矛盾的源泉和争论的焦点之一。本文分析和比较了三种并发模型:Petri网、CSP和CCS的发展历史、描述方法、处理并发与不确定性的方式等。
关键词：并发模型 形式语义 计算机语言 PETRI网 
并发模型的比较研究
《计算机科学》1992年第1期22-26,共5页肖育东 
并发性是计算机科学面临的主要挑战之一。近几年来,在这方面已经展开了大量的研究。并发进程模型的重要意义在于,它将提供一个可信赖的通用形式框架及一批新的技术手段,为并行分布式系统的研究、开发打下一个坚实的基础。对模型的深入研...
关键词：并发模型 计算机科学 CSP CCS 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部