標(biāo)題: Titlebook: Dependable and Historic Computing; Essays Dedicated to Cliff B. Jones,John L. Lloyd Book 2011 Springer-Verlag GmbH Berlin Heidelberg 2011 [打印本頁(yè)] 作者: 冠軍 時(shí)間: 2025-3-21 20:01
書(shū)目名稱Dependable and Historic Computing影響因子(影響力)
書(shū)目名稱Dependable and Historic Computing影響因子(影響力)學(xué)科排名
書(shū)目名稱Dependable and Historic Computing網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Dependable and Historic Computing網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Dependable and Historic Computing被引頻次
書(shū)目名稱Dependable and Historic Computing被引頻次學(xué)科排名
書(shū)目名稱Dependable and Historic Computing年度引用
書(shū)目名稱Dependable and Historic Computing年度引用學(xué)科排名
書(shū)目名稱Dependable and Historic Computing讀者反饋
書(shū)目名稱Dependable and Historic Computing讀者反饋學(xué)科排名
作者: 緯度 時(shí)間: 2025-3-21 21:16 作者: 盡忠 時(shí)間: 2025-3-22 00:53 作者: 共同確定為確 時(shí)間: 2025-3-22 07:16
Manfred Einsiedler,Klaus Schmidt setting. We pay a particular attention to the chemical description of the simple and successful constructs for fault-tolerance such as the recovery block scheme by designing a generic chemical framework. Then, we apply this framework to the development of an autonomic mailing system... all this in a chemical setting.作者: cinder 時(shí)間: 2025-3-22 11:37 作者: anticipate 時(shí)間: 2025-3-22 13:20
Springers Handbücher der Rechtswissenschaftinciples of these systems and then comment on how they apply in today’s systems. We suggest that capability architecture, an important offshoot of virtual systems, could usefully be combined with Randell’s architecture. The combination could offer a means to reduce the modern anxiety over Trojan Horse attacks against hardware and software.作者: anticipate 時(shí)間: 2025-3-22 18:18
Teubner Studienbücher Mathematik Bell, The Computer Museum’s founding director, and Len Shustek, the founding chairman of the Computer History Museum were committed to its success! Behind nearly every artifact, exhibit, and pioneering effort is a story that the museum is dedicated to understand and tell. This is the story leading to the Computer History Museum.作者: 積習(xí)難改 時(shí)間: 2025-3-22 21:14 作者: perpetual 時(shí)間: 2025-3-23 03:16 作者: 頑固 時(shí)間: 2025-3-23 07:10
Klassifikation der Femurfrakturstine and John von Neumann during 1947-1948 at the Institute for Advanced Study, Princeton University, is discussed. The subsequent diffusion of the Cambridge programming system and its influence are described.作者: 課程 時(shí)間: 2025-3-23 13:30 作者: lesion 時(shí)間: 2025-3-23 15:05 作者: Costume 時(shí)間: 2025-3-23 20:00 作者: Accord 時(shí)間: 2025-3-23 23:29 作者: Heart-Attack 時(shí)間: 2025-3-24 04:39
Professor Brian Randell and the History of Computing Professor Randell played a role in filling the gaps that remained, including the history of software, and information about the once-secret British “Colossus.” It has remained a task for subsequent generations of historians to chronicle the development of computing science and technology in the following decades.作者: Mutter 時(shí)間: 2025-3-24 08:44
Virtual Fault Toleranceinciples of these systems and then comment on how they apply in today’s systems. We suggest that capability architecture, an important offshoot of virtual systems, could usefully be combined with Randell’s architecture. The combination could offer a means to reduce the modern anxiety over Trojan Horse attacks against hardware and software.作者: 桉樹(shù) 時(shí)間: 2025-3-24 12:08 作者: 抓住他投降 時(shí)間: 2025-3-24 16:28
Karl-Heinz Becker,Michael D?rflercheme for the fixed priority uniprocessor scheduling of mixed criticality systems. The scheme requires that jobs have their execution times monitored (as is usually the case in high integrity systems). This results in higher levels of schedulability than previously published.作者: 音樂(lè)會(huì) 時(shí)間: 2025-3-24 20:47 作者: panorama 時(shí)間: 2025-3-25 01:59
Transactions: From Local Atomicity to Atomicity in the Cloudters of processors. The challenge today is to deal well with systems of vast scale, as exemplified by the enormous data centers of current cloud services providers. We sketch a new and promising approach to this challenge.作者: AVOW 時(shí)間: 2025-3-25 06:34 作者: dermatomyositis 時(shí)間: 2025-3-25 08:22 作者: CRUDE 時(shí)間: 2025-3-25 13:19 作者: ELATE 時(shí)間: 2025-3-25 16:33 作者: PURG 時(shí)間: 2025-3-25 20:24
Transactions: From Local Atomicity to Atomicity in the Cloudse has expanded or scaled as application programmers have come to rely on it. This reliance is based on atomicity’s ability to make concurrent systems understandable and applications much simpler to program. Atomicity has multiple origins, but it can be fairly said that Brian Randell’s Reliability P作者: 誘拐 時(shí)間: 2025-3-26 01:33 作者: 以煙熏消毒 時(shí)間: 2025-3-26 04:48 作者: assent 時(shí)間: 2025-3-26 11:17 作者: 反對(duì) 時(shí)間: 2025-3-26 13:10 作者: Ovulation 時(shí)間: 2025-3-26 20:03
Out of a Closet: The Early Years of The Computer Museumth stage of a public museum’s evolution, which began in 1975 with a closet-sized exhibit in a Digital Equipment Corporation building, migrating to The Computer Museum, Boston. It now lives in an 119,000 square foot public home in Silicon Valley. This chance/luck driven evolution of an institution is作者: 加花粗鄙人 時(shí)間: 2025-3-26 21:46
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作者: QUAIL 時(shí)間: 2025-3-27 02:16 作者: genesis 時(shí)間: 2025-3-27 06:36 作者: 向下五度才偏 時(shí)間: 2025-3-27 12:53
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作者: ARBOR 時(shí)間: 2025-3-27 15:31
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.作者: dissent 時(shí)間: 2025-3-27 19:55
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作者: 輕浮女 時(shí)間: 2025-3-28 01:54
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作者: 不能根除 時(shí)間: 2025-3-28 05:57 作者: Progesterone 時(shí)間: 2025-3-28 10:12
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.作者: GULP 時(shí)間: 2025-3-28 11:45 作者: 農(nóng)學(xué) 時(shí)間: 2025-3-28 16:25
https://doi.org/10.1007/978-3-663-04336-2arly 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 images of those heady days.作者: 伴隨而來(lái) 時(shí)間: 2025-3-28 19:35
https://doi.org/10.1007/978-3-211-99419-1and 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.作者: 做作 時(shí)間: 2025-3-29 02:19 作者: 迫擊炮 時(shí)間: 2025-3-29 05:19 作者: affluent 時(shí)間: 2025-3-29 08:02
What I Learned from Brians. 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.作者: BANAL 時(shí)間: 2025-3-29 12:18
Whetstone Wanderingsonto the controversial area of the successor to ALGOL 60. The author’s choice would be Ada due to his involvement with the language. Next is a reflection on the Whetstone system made possible by an emulator of the KDF9 computer. Finally, there is a reflection on modern computing which appears to have gone downhill as far as software is concerned.作者: 鬼魂 時(shí)間: 2025-3-29 17:57
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 images of those heady days.作者: Interferons 時(shí)間: 2025-3-29 21:32
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.作者: Incumbent 時(shí)間: 2025-3-30 00:04 作者: 純樸 時(shí)間: 2025-3-30 06:20
Geschichte der VerriegelungsnagelungThis paper discusses work in progress aimed at creating a “referee’s avatar” that can provide assistance in the evaluation of the content and originality of scientific and technical natural language texts. The first step towards this goal is the systematic classification of text faults.作者: 催眠 時(shí)間: 2025-3-30 11:33 作者: Affiliation 時(shí)間: 2025-3-30 15:20
https://doi.org/10.1007/978-3-211-99419-1We give a semantics for Brian Randell’s recovery blocks, and show how they can be proved correct. The formalisation is expressed wholly in propositional logic.作者: 委托 時(shí)間: 2025-3-30 19:58 作者: 半球 時(shí)間: 2025-3-30 22:46
On Building a Referee’s AvatarThis paper discusses work in progress aimed at creating a “referee’s avatar” that can provide assistance in the evaluation of the content and originality of scientific and technical natural language texts. The first step towards this goal is the systematic classification of text faults.作者: 拖網(wǎng) 時(shí)間: 2025-3-31 03:24 作者: intrude 時(shí)間: 2025-3-31 08:55 作者: CHARM 時(shí)間: 2025-3-31 09:54 作者: 羊齒 時(shí)間: 2025-3-31 14:00 作者: 莎草 時(shí)間: 2025-3-31 18:58
https://doi.org/10.1007/978-3-642-79582-4se has expanded or scaled as application programmers have come to rely on it. This reliance is based on atomicity’s ability to make concurrent systems understandable and applications much simpler to program. Atomicity has multiple origins, but it can be fairly said that Brian Randell’s Reliability P作者: 惰性氣體 時(shí)間: 2025-4-1 00:08
Systematisches Risikomanagementhift is made from a technocentric view to a user-centred approach that identifies four main threads which underpin traditional accounts. A map of how these combine to inform the accepted canon is offered. Entwined with the account are the contributions made by Brian Randell to the history of computi作者: Gesture 時(shí)間: 2025-4-1 02:47
Systematisches Krisenmanagementonto the controversial area of the successor to ALGOL 60. The author’s choice would be Ada due to his involvement with the language. Next is a reflection on the Whetstone system made possible by an emulator of the KDF9 computer. Finally, there is a reflection on modern computing which appears to hav
