找回密碼
 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)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-9 15:58
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
毕节市| 区。| 元谋县| 喀喇| 临颍县| 山西省| 东安县| 珠海市| 长宁县| 中方县| 永嘉县| 治县。| 郧西县| 乌兰察布市| 沿河| 开远市| 郸城县| 三明市| 吉木萨尔县| 桃园市| 兴业县| 滦南县| 佛山市| 中超| 南丹县| 淳安县| 静海县| 全州县| 江源县| 临高县| 定结县| 仙居县| 荥经县| 丹阳市| 卫辉市| 扎囊县| 湛江市| 古丈县| 广昌县| 汝南县| 都昌县|