研发进步 计算应用 通用算法分析并发程序 通过 理查N泰勒 贴上1983年5月1日 共享 微博 重编 黑客新闻 下载PDF 打印 加入讨论 ViewACM数字库 开发验证并发程序有数个问题静态分析算法处理下列问题:流程同步化方式、决定程序并行运行时间和同步结构检测错误方式研究重心为Ada,结果可应用到CSP等其他并发编程语言 View文章ACM数字库 向CACM提交文章 CACM主动接待提交文件题目与计算界相关并有价值 只读 通用算法分析并发程序 ViewACM数字库 多尔市10.1145/69586.69587 1983年5月问题 发布日期:1983年5月1日 卷号26号5 页数:361-376 目录 相关阅读 研发进步分离逻辑计算应用 研发进步算法系统生物学计算应用 研发进步简单抽象重生计算并行架构硬件 实践软件事务存储器:为什么它只是一个研究工具人工智能机器学习 广告发布 广告发布 加入讨论(0) 加入或签名发布注释 签名进 签名上传 CACM最新消息 探索更多 Blog@CACM 2024年5月16日 无色绿色DNN入梦难解 华立德沙巴 架构硬件 新闻发布 2024年5月14日 辅助机器人向前跨步 塞缪尔格林加德 架构硬件 Blog@CACM 2024年5月10日 英特网何以失传 macahD贝克并 泰瑞R摩尔 架构硬件 形状计算未来 ACM鼓励成员直接决定协会的未来有比以往更多方式参与 获取卷积 ACM通讯现为完全开放存取出版物 通过向世界开放CACM,我们希望加强广大计算机科学界的参与并鼓励非成员发现ACM提供的丰富资源 学习更多
加入讨论(0)
加入或签名发布注释