Self-stabilization

Results: 34



#Item
21Systems engineering / Software quality / Prevention / Fault tolerance / Fault-tolerant design / Fault-tolerant system / Dependability / Self-stabilization / Reliability engineering / Fault-tolerant computer systems / Computing / Safety

Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments FELIX C. GÄRTNER Darmstadt University of Technology Fault tolerance in distributed computing is a wide area with a significant body of

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2007-04-11 12:16:47
22Static single assignment form / Self-stabilization / Electromagnetism / Topology / Electronics / Computing / Fault-tolerant computer systems / Concurrency control / Mutual exclusion

Computer Science Technical Report Mutual Exclusion Between Neighboring Nodes in a Tree That Stabilizes Using Read/Write Atomicity?

Add to Reading List

Source URL: www.cs.colostate.edu

Language: English - Date: 1999-06-22 14:29:51
23Iraq–United States relations / Iraq War / Politics of Iraq / Provincial Reconstruction Team / Iraqi Army / Iraq / United States Agency for International Development / Investment in post-invasion Iraq / Coalition Provisional Authority / Asia / Occupation of Iraq / Civil Affairs

Consolidating the Gains, Completing the Transition Supporting Iraq’s Self-Reliance and Stabilization Through the President’s 2008 Supplemental and 2009 Budget Requests United States Department of State

Add to Reading List

Source URL: 2001-2009.state.gov

Language: English - Date: 2009-01-13 18:50:11
24Fundraising / Nonprofit organization / Capacity building / United States Department of Housing and Urban Development / Economics / Structure / Socioeconomics / National Community Stabilization Trust / Texas Department of Housing and Community Affairs / Affordable housing / Housing trust fund / Community Development Block Grant

Self-Help Leveraging Guide NCALL Research, Inc. February, 2009

Add to Reading List

Source URL: www.ncall.org

Language: English - Date: 2013-02-20 13:29:54
25Financial institutions / Institutional investors / Health / Insurance / Self insurance / Liability insurance / Health care system / Risk purchasing group / Life insurance / Financial economics / Investment / Types of insurance

The Kansas Health Care Stabilization Fund Guidelines for the self-insurance provisions of the Fund This brochure is intended to assist health care providers in understanding the basic professional liability self-insuranc

Add to Reading List

Source URL: hcsf.kansas.gov

Language: English - Date: 2010-10-29 11:33:46
26Emergency medical services / Scoutcraft / Self-care / Medical emergency / Cardiopulmonary resuscitation / Bone fracture / Emergency bleeding control / Stabilization / Blood-borne disease / Medicine / First aid / Emergency medicine

Alexander County Government First Aid Policy 29 CFR[removed]FIRST AID POLICY 29 CFR[removed]

Add to Reading List

Source URL: www.alexandercountync.gov

Language: English - Date: 2013-02-14 12:48:24
27Self-stabilization / Space technology / Data / Distributed computing / Communications protocol / Routing / Leader election / Computer network / National missile defense / Fault-tolerant computer systems / Computing / Missile defense

Microsoft Word - NPS-CS[removed]final.doc

Add to Reading List

Source URL: edocs.nps.edu

Language: English - Date: 2006-09-18 10:33:26
28Systems engineering / Failure / Fault tolerance / Fault injection / Fault-tolerant system / Fault-tolerant design / Application checkpointing / Self-stabilization / Fault / Computing / Fault-tolerant computer systems / Software quality

Technical Report of the INRIA-Illinois Joint Laboratory on PetaScale Computing TR-JLPC[removed]Toward Exascale Resilience Franck Cappello¨*, Al Geist°, Bill Gropp*, Sanjay Kale*, Bill Kramer*, Marc Snir*,

Add to Reading List

Source URL: jointlab.ncsa.illinois.edu

Language: English - Date: 2009-08-11 10:16:16
29Topology / Electronics / Knowledge / Self-stabilization / Reset / Electromagnetism

Systematic Correct Construction of Self-stabilizing Systems: A Case Study⋆ Ananda Basu2 , Borzoo Bonakdarpour1 , Marius Bozga2 , and Joseph Sifakis2 1 Department of Electrical and Computer Engineering

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:30
30Copyright / Data management / Library science / Monopoly / Computing / Edsger W. Dijkstra / Intellectual property law / Data / Information

Copyright Notice The following manuscript EWD 922: A belated proof of self-stabilization

Add to Reading List

Source URL: www.cs.utexas.edu

- Date: 2008-04-03 22:02:53
UPDATE