首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:从到   被引次数:从到   他引次数:从到 提示：输入*表示无穷大
全文获取类型
  收费全文   9篇
  免费   2篇
  国内免费   1篇
专业分类
现状及发展   1篇
综合类   11篇
出版年
  2020年   1篇
  2010年   1篇
  2008年   2篇
  2005年   1篇
  2003年   1篇
  2000年   1篇
  1999年   3篇
  1996年   1篇
  1991年   1篇
排序方式： 共有12条查询结果，搜索用时 140 毫秒
11.
多任务程序的并发性表现为任务之间的通讯和同步行为。对Ａｄａ程序而言就是任务之间的会合。理解并发程序的难度也就在理解其中的会合和会合之间的关系。  相似文献   
12.
以以色列的并发程序验证器CPV1.1为蓝本,深入研究了并发程序检测的设计实现过程, 讨论了该软件的各种数据类的结构和它们之间的相互关系,以及并发程序的执行过程,在此基础上对其做了适当的改进,简化了输入方式和程序的执行. 提高了CPV的速度与效率,最后在CPV1.1下设计实现了8皇后问题的并发求解.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号