找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Selected Writings on Computing: A personal Perspective; Edsger W. Dijkstra Book 1982 Springer-Verlag New York Inc. 1982 Computing.Hardware

[复制链接]
楼主: 神像之光环
发表于 2025-3-26 22:23:53 | 显示全部楼层
,Trip Report Visit ETH Zurich, 3–4 February 1975 by E. W. Dijkstra,ak at lunch. I did so, but at the beginning of the second talk instead of at its end: one question was so intriguing that more than one member of the audience tried to solve the problem during the lecture.
发表于 2025-3-27 02:10:56 | 显示全部楼层
Book 1982hanged: instead of going to the University each day, where I used to spend most of my time in the company of others, I now went there only one day a week and was most of the time -that is, when not travelling!- alone in my study. In my solitude, mail and the written word in general became more and m
发表于 2025-3-27 06:44:25 | 显示全部楼层
Stepwise Program Construction,parison to the available manpower. I am still in the active process of learning from the experience gained, one of the immediate goals of this learning process being the discovery of better ways to construct even “small programs” in a reliable fashion. Although large, advanced and sophisticated prog
发表于 2025-3-27 12:39:04 | 显示全部楼层
Parallelism in Multi-Record Transactions,finite computation involving a number of these records. The computation to be carried out —and even the identity of the records involved— will in general be dependent on the state of the data base when the transaction is initiated. When the data base grows, the following conflict emerges: on the one
发表于 2025-3-27 16:55:28 | 显示全部楼层
发表于 2025-3-27 19:51:27 | 显示全部楼层
发表于 2025-3-27 22:42:55 | 显示全部楼层
Self-Stabilization in Spite of Distributed Control,eral terms be described as follows: the relation “the system is in a legitimate state” is kept invariant. As a consequence, each intended individual process step that could possibly cause violation of that invariant relation has to be preceded by a test that it won’t do so, and depending on the outc
发表于 2025-3-28 02:10:56 | 显示全部楼层
,Inside “Mathematics Inc.”,device “Semper floreat et crescat.” Recently, the chairman of its board has been invited to deliver the keynote address at the 108th Annual Meeting of the International Federation of Mathematical Societies IFMS, to be held in the fall of 1976 in Loempia, the capital of Angora. In order to reflect th
发表于 2025-3-28 09:51:25 | 显示全部楼层
On the Role of Scientific Thought,ort to undo some of the more common misunderstandings that I encounter (nearly daily) in my professional world of computing scientists, programmers, computer users and computer designers, and even colleagues engaged in educational politics. The decision to write this essay now was taken because I su
发表于 2025-3-28 12:48:50 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-25 11:40
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表