找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Mathematics of Program Construction; 375th Anniversary of J. L. A. Snepscheut Conference proceedings 1989 Springer-Verlag Berlin Heidelberg

[复制链接]
楼主: 水平
发表于 2025-3-25 06:55:46 | 显示全部楼层
Stepwise refinement and concurrency: A small exercise,A simple methodology for the design of concurrent programs is illustrated by a short example. This methodology formalizes the classical concept of “stepwise refinement”.
发表于 2025-3-25 11:23:43 | 显示全部楼层
发表于 2025-3-25 12:02:29 | 显示全部楼层
The formal construction of a parallel triangular system solver,A parallel program for the solution of a triangular system of equations is formally derived. The program assumes the grid distribution of the .×. triangular matrix across .=.. processes. The complexity is ../.+. (.), both for a complete and for a square mesh communication network.
发表于 2025-3-25 19:41:06 | 显示全部楼层
https://doi.org/10.1007/3-540-51305-1Computer; Hardware; Programmspezifikation und Transformation; Programmverifikation; Schrittweise Verfein
发表于 2025-3-25 22:53:14 | 显示全部楼层
A formal approach to large SOFTWARE CONSTRUCTION,ich are quite different from those of the programming theory; in fact, we have not spoken of recursivity or algorithmics; on the other hand, we spoke of proofs..The design of a software system might be nothing else but the proof of its construction.
发表于 2025-3-26 04:03:26 | 显示全部楼层
Specifications of concurrently accessed data,an be manipulated easily. This allowed us to derive several properties of the buffer (Appendix A) and construct a proof of buffer concatenation (Section 4). Also refinement of the specification with the eventual goal of implementation seems feasible with this scheme.
发表于 2025-3-26 07:27:33 | 显示全部楼层
Stepwise refinement of action systems,rried out in the context of purely sequential programs. The resulting parallel algorithms can be efficiently executed on different architectures. The methodology is illustrated by showing the main derivation steps in a construction of a parallel algorithm for matrix multiplication.
发表于 2025-3-26 08:54:07 | 显示全部楼层
A derivation of a systolic rank order filter with constant response time,rder filtering. The derivation proceeds in a calculational manner, originating from a formal specification and guided by performance considerations. The resulting solution is a linear systolic array of . cells, where . is the window size. It has constant response time and latency ..
发表于 2025-3-26 14:00:39 | 显示全部楼层
发表于 2025-3-26 17:46:52 | 显示全部楼层
Mathematics of Program Construction978-3-540-46191-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-5 21:13
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表