找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Dependable and Historic Computing; Essays Dedicated to Cliff B. Jones,John L. Lloyd Book 2011 Springer-Verlag GmbH Berlin Heidelberg 2011

[复制链接]
楼主: 冠军
发表于 2025-3-26 21:46:09 | 显示全部楼层
Timing Faults and Mixed Criticality Systemsty-critical and hence subject to certification; the rest of the functionality is non safety-critical and does not need to be certified, or is certified to a lower level. The resulting mixed criticality system offers challenges both for static analysis and run-time monitoring. This paper is concerned
发表于 2025-3-27 02:16:08 | 显示全部楼层
发表于 2025-3-27 06:36:00 | 显示全部楼层
发表于 2025-3-27 12:53:14 | 显示全部楼层
IBM-ACS: Reminiscences and Lessons Learned from a 1960’s Supercomputer Projectarly exciting time there – a time that shaped our later careers in very interesting ways. This paper reflects on those long-ago experiences and the many lessons learned back then. I’m hoping that other ACS veterans will share their memories with us too, and that together we can build ever-clearer im
发表于 2025-3-27 15:31:10 | 显示全部楼层
The Belgian Electronic Mathematical Machine (1951-1962): An Accountand the development of an electronic computer realized in Antwerp (Belgium) in the early 1950’s. Our main focus is on some interesting archetypes and advanced aspects of the design, and on how a small group of Belgians engineers developed this early machine.
发表于 2025-3-27 19:55:33 | 显示全部楼层
On the Resilience of the Dependability Framework to the Intrusion of New Security Threatsntal faults, it has paid more attention over the years to intentional ones and, thus, to classical security concepts as well. Recently, a couple of incidents have received a lot of attention: the Hydraq and Stuxnet worms outbreaks. They have been used to highlight what is being presented as a new an
发表于 2025-3-28 01:54:26 | 显示全部楼层
Virtual Fault Toleranceependable. He developed these ideas with an architecture for acceptance testing and backup to previous safe points on failure of a test. The architecture provided for multiple versions of methods to pass a test, and it extended to multithreaded programs and atomic transactions. We will review the pr
发表于 2025-3-28 05:57:19 | 显示全部楼层
发表于 2025-3-28 10:12:55 | 显示全部楼层
https://doi.org/10.1007/978-3-642-81637-6s. On April 7, 2011 I had the privilege to present the after-dinner speech on the occasion of Brian’s 75. birthday party. Since a . is a very special event, I was awaiting this evening with a lot of excitement. The following notes summarize the main ideas of this after dinner talk.
发表于 2025-3-28 11:45:38 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-25 23:14
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表