找回密碼
 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ù) 返回頂部 返回列表
巫溪县| 弥渡县| 鹿邑县| 龙口市| 武威市| 洮南市| 保亭| 陆河县| 新野县| 永靖县| 宜城市| 怀远县| 巴楚县| 连城县| 桦甸市| 柳江县| 依安县| 连州市| 凤庆县| 铁岭县| 聊城市| 班戈县| 手游| 成武县| 都江堰市| 平潭县| 内黄县| 洛隆县| 礼泉县| 行唐县| 盖州市| 九江市| 芦溪县| 阿拉善盟| 崇州市| 长泰县| 衡山县| 保靖县| 新建县| 光山县| 涞水县|