×
阿达里，S。;R.A.阿马尔。

公理化性能分析（ALPA）。 （英语） Zbl 0805.68082号

计算。数学。申请。 26，第10号，59-81（1993）.
摘要：研究表明，在程序验证的设计阶段开发的公理可以用于推导用于性能分析的时间成本方程。还表明，这些公理可以应用于现有程序，以导出时间成本方程。程序中的流程是时间成本分析的基础。形式为\（\ Theta \｛Q \｝\ Phi \）的三元组（类似于霍尔的三元组[C.A.R.霍尔、Commun。ACM 12，576-580（1969；Zbl 0179.231）]）用于在程序（Q）中建立流，输入的计算能力为\（Theta），输出为\（Phi）。该三元组被修改为四元组以适应时间成本函数，并用于为各种常规节点提出的公理。
给定的程序可以映射到这些节点，相关的公理可以应用于这些节点，以识别程序中的可选流路径。然后可以通过跟踪程序中的流程进行时间成本分析。

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68平方米 计算机系统环境下的性能评估、排队和调度
68号01 软件理论的一般主题

关键词：

并行程序设计;软件开发;程序验证;性能分析;时间成本

引文：

Zbl 0179.231号

软件：

联合
PDF格式BibTeX公司 XML格式引用
\textit｛S.Adari｝和\textit｛R.A.Ammar｝，计算机。数学。申请。26，第10号，59--81（1993；Zbl 0805.68082）
全文： 内政部

参考文献：

[1] Hoare，C.A.R.，《计算机编程的公理基础》，美国通信协会，第12、10、583页（1969年10月）·Zbl 0179.23105号
[2] Smith，C.U.，软件系统性能工程（1990），Addison-Wesley
[3] Chandy，K.M。；Misra，J.，并行程序设计（1988），Addison-Wesley·Zbl 0717.68034号
[4] Hoare，C.A.R.，《通信顺序过程》，通信ACM，21，8，666-677（1978）·Zbl 0383.68028号
[5] Hoare，C.A.R.，《通信顺序过程》（1985），普伦蒂斯·霍尔·Zbl 0637.68007号
[6] Krishnamurthy，K.V.，《并行编程：原理与实践》（1989），Addison-Wesley:Addison-Whesley Sydney·Zbl 0725.68005号
[7] Van Leeuwen，J。；Wiedermann，J.，《阵列处理器：抽象模型》，BIT，27，25-43（1987）·Zbl 0631.68053号
[8] Stewart，A.，SIMD赋值的公理化处理，BIT，30，70-82（1990）·Zbl 0692.68013号
[9] Hecht，M.S.，《计算机程序流分析》（1977），北荷兰人：北荷兰纽约·Zbl 0381.68013号
[10] 阿马尔，R.A。；Qin，B.，并行计算的流分析技术，第7届国际菲尼克斯计算机与通信年会（1988年3月），亚利桑那州斯科茨代尔
[11] 阿马尔，R.A。；秦，B.，《计算并行计算时间成本的技术》，COMPSAC 88，IEEE计算机学会第十二届国际计算机软件和应用会议（1988年10月3日至7日），伊利诺伊州芝加哥
[12] Qin，B.，并行计算性能分析，博士论文（1987年），康涅狄格大学计算机科学与工程系：康涅狄格大学斯托尔斯分校计算机科学与工程系，CSE/CARC-TR-87-52
[13] 秦，B。；Sholl，H.A。；Ammar，R.A.，并行计算的微时间成本分析，IEEE Trans。计算机，40，5，613-628（1991年5月）
[14] Sholl，H.A。；Booth，T.L.，《使用计算结构的软件性能建模》，IEEE Trans。软件工程，SE-1，4，414-420（1975年12月）
[15] Mirkowska，G。；Salwicki，A.，关于并发最大模型的公理化定义，（计算机科学讲义，280（1987），Springer-Verlag），199-230·Zbl 0626.68018号
[16] Kripke，S.A.，模态逻辑的语义分析II。非正规模态命题演算，（模型理论研讨会（1965年），北荷兰出版社。公司：North-Holland Pub。阿姆斯特丹），206-220·Zbl 0118.01305号
[17] Anderson，J.A.，《并行处理的程序结构》，美国通信协会，第8、12、786-788页（1965年12月）·Zbl 0129.10207号
[18] Apt，K.R.，《证明并发程序的正确性：简介》，（Borger，Egon，《理论计算机科学趋势》（1988），计算机科学出版社：马里兰州计算机科学出版社），305-345
[19] Gries，D.，《证明并行程序正确性的练习》，美国通信协会，20，12，921-930（1977年12月）·Zbl 0364.68007号
[20] Dijkstra，E.W.，《保护命令、不确定性和程序的形式推导》，美国通信协会，18，8，453-457（1975）·Zbl 0308.68017号
[21] Hoare，C.A.R.，《过程和参数：公理方法》，（Engeler，E.，算法语言语义研讨会，数学课堂讲稿，188（1971）），102-116·Zbl 0221.68020号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。