找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

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

[復(fù)制鏈接]
樓主: 冠軍
31#
發(fā)表于 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
32#
發(fā)表于 2025-3-27 02:16:08 | 只看該作者
33#
發(fā)表于 2025-3-27 06:36:00 | 只看該作者
34#
發(fā)表于 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
35#
發(fā)表于 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.
36#
發(fā)表于 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
37#
發(fā)表于 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
38#
發(fā)表于 2025-3-28 05:57:19 | 只看該作者
39#
發(fā)表于 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.
40#
發(fā)表于 2025-3-28 11:45:38 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-9 18:08
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
元阳县| 石景山区| 定南县| 阿克| 从江县| 无锡市| 洮南市| 荔波县| 柳林县| 驻马店市| 达孜县| 五原县| 枣庄市| 乡城县| 久治县| 桐乡市| 连江县| 油尖旺区| 阿拉善右旗| 丹阳市| 修武县| 宜城市| 兴安盟| 绥德县| 囊谦县| 乐安县| 云梦县| 报价| 华宁县| 高邮市| 曲阳县| 昌江| 金阳县| 文登市| 长治县| 遂宁市| 买车| 铁力市| 贵州省| 昭平县| 深水埗区|