LIVENESS

作品数：18被引量：17H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：蒋昌俊夏传良鞠彦兵更多>>
相关机构：中国科学院研究生院中国科学院数学与系统科学研究院北京理工大学济南大学更多>>
相关期刊：《Progress in Natural Science:Materials International》《Journal of Computer Science & Technology》《Science China(Technological Sciences)》《Computer Modeling in Engineering & Sciences》更多>>
相关基金：国家自然科学基金美国国家科学基金国家杰出青年科学基金北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Journal of Computer Science & Technologyx
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Tetris:A Heuristic Static Memory Management Framework for Uniform Memory Multicore Neural Network Accelerators
《Journal of Computer Science & Technology》2022年第6期1255-1270,共16页Xiao-Bing Chen Hao Qi Shao-Hui Peng Yi-Min Zhuang Tian Zhi Yun-Ji Chen Distinguished Member,CCF 
the Beijing Natural Science Foundation under Grant No.JQ18013;the National Natural Science Foundation of China under Grant Nos.61925208,61732007,61732002 and 61906179;the Strategic Priority Research Program of Chinese Academy of Sciences(CAS)under Grant No.XDB32050200;the Youth Innovation Promotion Association CAS,Beijing Academy of Artificial Intelligence(BAAI)and Xplore Prize.
Uniform memory multicore neural network accelerators(UNNAs)furnish huge computing power to emerging neural network applications.Meanwhile,with neural network architectures going deeper and wider,the limited memory cap...
关键词：multicore neural network accelerators liveness analysis static memory management memory reuse genetic algorithm 
Verifying Mutual Exclusion and Liveness Properties with Split Preconditions
《Journal of Computer Science & Technology》2004年第6期795-802,共8页AwadheshKumarSingh AnupKumarBandyopadhyay 
This work is focused on presenting a split precondition approach for the modeling and proving the correctness of distributed algorithms. Formal specification and precise analysis of Peterson's distributed mutual exclu...
关键词：distributed algorithms state transition rule mutual exclusion weakest self-precondition weakest co-operation CORRECTNESS 
Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice Nets Ⅱ
《Journal of Computer Science & Technology》2001年第5期426-433,共8页焦莉 陆维明 
the National Natural Science Foundation of China (No.60073013) and the NKBRSF of China (No.G1998030416).
In this paper, the Extended Strong Asymmetric Choice Nets Ⅱ (ESACN Ⅱ), a subclass of Asymmetric Choice Nets (ACN) including Extended Free Choice Nets (EFCN) and Strong Asymmetric Choke Nets Ⅱ (SACN Ⅱ, is presented...
关键词：asymmetric choice net (ACN) extended strong asymmetric choice nets Ⅱ (ESACN Ⅱ) LIVENESS BOUNDEDNESS algorithm polynomial time 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部