×
旋律，拉米

一类自定时计算网络的验证。 （英语） Zbl 0643.68019号

比特币 27, 480-500 (1987).
将收缩网络的数学模型推广应用于一类VLSI蜂窝网络，该网络定义为包含收缩网络和自定时网络。通过假设计算不会死锁，即通过将活性验证与结果验证分离开来，使通用模型保持简单。本文的主要贡献在于研究自计时计算网络中的死锁。更具体地说，我们开发了事件代数，并用它证明了任何自时间网络的活性都是由其初始状态唯一决定的。此外，本文还提出了一种在给定初始状态下验证网络活性的方法。

引用于1文件

MSC公司：

第68页第25页 操作系统理论
68N99型 软件理论
94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）

关键词：

形式验证；收缩网络；VLSI蜂窝网络；僵局；自定时计算网络；事件代数；活泼
PDF格式BibTeX公司 XML格式引用
\textit{R.Melhem}，BIT 27，480--500（1987；Zbl 0643.68019）
全文： 内政部

参考文献：

[1] S.Brookes，C.Hoare和A.Roscoe，通信顺序过程理论，美国计算机学会杂志，第31卷，第3期，1984年·Zbl 0628.68025号 ·数字对象标识代码：10.1145/828.833
[2] P.Caspi和N.Halbwachs，事件代数：并行和实时系统的模型。程序。1982年国际并行预处理会议，第150–159页。
[3] K.Chandy和J.Misra，《通信过程网络的死锁缺失证明》，《信息处理快报》，第9卷，第4期，第185-189页，1979年·Zbl 0456.68030号 ·doi:10.1016/0020-0190（79）90065-6
[4] M.Chen，《时空算法：语义和方法》，加州理工学院博士论文，（1983年）。
[5] M.Chen和C.Mead，并发系统的形式规范，南加州大学超大规模集成电路和现代信号处理研讨会，（1982年11月）。
[6] N.Francez，《公平》，施普林格-弗拉格出版社，1986年。
[7] G.Kahn，并行编程简单语言的语义，IFIP 74，第471-475页。
[8] 龚洪涛，《为什么是收缩结构》，《计算机》，第15卷，第37-46页，1982年·Zbl 05331537号 ·doi:10.1109/MC.1982.1653825
[9] S.Y.Kung、K.Arun、R.Gal-Ezer和B.Rao，《波前阵列处理器：语言、架构和应用》，IEEE Trans。《计算机》，第31卷，第11卷，第1054–1066页，1982年·doi:10.1109/TC.1982.1675922
[10] L.Lamport，《分布式系统中的时间、时钟和事件排序》，CACM，第21、7卷，第558–565页，1978年·Zbl 0378.68027号
[11] M.McFarland和C.Parker，硬件描述行为的抽象模型，IEEE Trans。《计算机》，第32卷，第7卷，第621-637页，1983年·doi:10.1109/TC.1983.1676294
[12] R.Melhem，《序列符号在收缩计算设计中的应用》，技术报告ICMA-85-87，匹兹堡大学·Zbl 0679.68007号
[13] R.G.Melhem和W.C.Rheinboldt，《脉动网络验证的数学模型》，SIAM J.on Computing，第13卷，第3期，第541-565页，1984年8月·Zbl 0546.94031号 ·数字对象标识代码：10.1137/0213034
[14] R.G.Melhem，《有限元刚度矩阵收缩系统的形式分析》，《计算机与系统科学杂志》，第31-1卷，第1-27页，1985年·Zbl 0576.68058号 ·doi:10.1016/0022-0000（85）90062-5
[15] R.G.Melhem，一种模拟心脏收缩结构的语言，Proc。第十二届计算机体系结构国际研讨会，马萨诸塞州波士顿，1985年6月·Zbl 0576.68058号
[16] B.Mishra和E.Clarke，《使用时序逻辑对异步电路进行自动和分层验证》，《CMU-CS-83技术报告》，卡内基梅隆大学计算机科学系，1983年·Zbl 0584.94022号
[17] C.Seitz，系统定时，《超大规模集成电路系统简介》，C.Mead和L.Conway编辑，第218–2621980页。
[18] W.Wadge，《数据流死锁的扩展处理》，《理论计算机科学》，第13卷，第3-15页，1981年·Zbl 0441.68017号 ·doi:10.1016/0304-3975（81）90108-0
[19] U.Weiser和A.Davis，《VLSI阵列设计的波前符号工具》，载于《VLSI系统与计算》，H.T.Kung、B.Sproull和G.Steele主编，第226-234页，1981年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。