|
US4589066A
(en)
|
1984-05-31 |
1986-05-13 |
General Electric Company |
Fault tolerant, frame synchronization for multiple processor systems
|
|
US5295258A
(en)
|
1989-12-22 |
1994-03-15 |
Tandem Computers Incorporated |
Fault-tolerant computer system with online recovery and reintegration of redundant components
|
|
US5233615A
(en)
|
1991-06-06 |
1993-08-03 |
Honeywell Inc. |
Interrupt driven, separately clocked, fault tolerant processor synchronization
|
|
US5613127A
(en)
|
1992-08-17 |
1997-03-18 |
Honeywell Inc. |
Separately clocked processor synchronization improvement
|
|
US5537655A
(en)
|
1992-09-28 |
1996-07-16 |
The Boeing Company |
Synchronized fault tolerant reset
|
|
JPH0773059A
(ja)
|
1993-03-02 |
1995-03-17 |
Tandem Comput Inc |
フォールトトレラント型コンピュータシステム
|
|
US5550736A
(en)
|
1993-04-27 |
1996-08-27 |
Honeywell Inc. |
Fail-operational fault tolerant flight critical computer architecture and monitoring method
|
|
US5572620A
(en)
|
1993-07-29 |
1996-11-05 |
Honeywell Inc. |
Fault-tolerant voter system for output data from a plurality of non-synchronized redundant processors
|
|
JPH07175765A
(ja)
*
|
1993-10-25 |
1995-07-14 |
Mitsubishi Electric Corp |
計算機の障害回復方法
|
|
US5557623A
(en)
|
1994-08-12 |
1996-09-17 |
Honeywell Inc. |
Accurate digital fault tolerant clock
|
|
US5742753A
(en)
|
1996-06-06 |
1998-04-21 |
The Boeing Company |
Mesh interconnected array in a fault-tolerant computer system
|
|
US5896523A
(en)
|
1997-06-04 |
1999-04-20 |
Marathon Technologies Corporation |
Loosely-coupled, synchronized execution
|
|
WO1999026133A2
(en)
|
1997-11-14 |
1999-05-27 |
Marathon Technologies Corporation |
Method for maintaining the synchronized execution in fault resilient/fault tolerant computer systems
|
|
US6374364B1
(en)
|
1998-01-20 |
2002-04-16 |
Honeywell International, Inc. |
Fault tolerant computing system using instruction counting
|
|
US6327668B1
(en)
*
|
1998-06-30 |
2001-12-04 |
Sun Microsystems, Inc. |
Determinism in a multiprocessor computer system and monitor and processor therefor
|
|
US6367031B1
(en)
|
1998-12-17 |
2002-04-02 |
Honeywell International Inc. |
Critical control adaption of integrated modular architecture
|
|
DE60141096D1
(de)
|
2000-04-11 |
2010-03-11 |
Boeing Co |
Verarbeitungssystem mit Mehrheitsentscheidung
|
|
US6633969B1
(en)
*
|
2000-08-11 |
2003-10-14 |
Lsi Logic Corporation |
Instruction translation system and method achieving single-cycle translation of variable-length MIPS16 instructions
|
|
US6895582B1
(en)
|
2000-09-11 |
2005-05-17 |
Rockwell Collins |
Method and apparatus for high assurance computing using virtual machines on general purpose computing resources
|
|
US6938183B2
(en)
|
2001-09-21 |
2005-08-30 |
The Boeing Company |
Fault tolerant processing architecture
|
|
EP1341080A1
(fr)
*
|
2002-02-26 |
2003-09-03 |
Koninklijke Philips Electronics N.V. |
Système de traitement d'instructions d'un programme
|
|
US6948091B2
(en)
|
2002-05-02 |
2005-09-20 |
Honeywell International Inc. |
High integrity recovery from multi-bit data failures
|
|
US7565433B1
(en)
|
2002-06-28 |
2009-07-21 |
Microsoft Corporation |
Byzantine paxos
|
|
US7558883B1
(en)
|
2002-06-28 |
2009-07-07 |
Microsoft Corporation |
Fast transaction commit
|
|
JP2004046599A
(ja)
*
|
2002-07-12 |
2004-02-12 |
Nec Corp |
フォルトトレラントコンピュータ装置、その再同期化方法及び再同期化プログラム
|
|
US7620680B1
(en)
|
2002-08-15 |
2009-11-17 |
Microsoft Corporation |
Fast byzantine paxos
|
|
US8005888B2
(en)
|
2003-12-30 |
2011-08-23 |
Microsoft Corporation |
Conflict fast consensus
|
|
US7334154B2
(en)
|
2004-06-18 |
2008-02-19 |
Microsoft Corporation |
Efficient changing of replica sets in distributed fault-tolerant computing system
|
|
US7856502B2
(en)
|
2004-06-18 |
2010-12-21 |
Microsoft Corporation |
Cheap paxos
|
|
US7505400B2
(en)
|
2004-09-22 |
2009-03-17 |
Honeywell International Inc. |
Dual lane connection to dual redundant avionics networks
|
|
US7698465B2
(en)
|
2004-11-23 |
2010-04-13 |
Microsoft Corporation |
Generalized Paxos
|
|
US7555516B2
(en)
|
2004-11-23 |
2009-06-30 |
Microsoft Corporation |
Fast Paxos recovery
|
|
US20060143517A1
(en)
|
2004-12-22 |
2006-06-29 |
Microsoft Corporation |
Replicated virtual machine
|
|
US9753754B2
(en)
|
2004-12-22 |
2017-09-05 |
Microsoft Technology Licensing, Llc |
Enforcing deterministic execution of threads of guest operating systems running in a virtual machine hosted on a multiprocessor machine
|
|
US8046413B2
(en)
|
2005-02-14 |
2011-10-25 |
Microsoft Corporation |
Automatic commutativity detection for generalized paxos
|
|
US20060200278A1
(en)
|
2005-03-02 |
2006-09-07 |
Honeywell International Inc. |
Generic software fault mitigation
|
|
US7877552B2
(en)
|
2005-05-24 |
2011-01-25 |
Marathon Technologies Corporation |
Symmetric multiprocessor fault tolerant computer system
|
|
US7797457B2
(en)
|
2006-03-10 |
2010-09-14 |
Microsoft Corporation |
Leaderless byzantine consensus
|
|
US7636868B2
(en)
|
2006-06-27 |
2009-12-22 |
Microsoft Corporation |
Data replication in a distributed system
|
|
US7793147B2
(en)
|
2006-07-18 |
2010-09-07 |
Honeywell International Inc. |
Methods and systems for providing reconfigurable and recoverable computing resources
|
|
US20080126502A1
(en)
|
2006-10-05 |
2008-05-29 |
Holt John M |
Multiple computer system with dual mode redundancy architecture
|
|
FR2912526B1
(fr)
*
|
2007-02-13 |
2009-04-17 |
Thales Sa |
Procede de maintien du synchronisme d'execution entre plusieurs processeurs asynchrones fonctionnant en parallele de maniere redondante.
|
|
FR2914519B1
(fr)
|
2007-03-26 |
2009-06-12 |
Airbus France Sas |
Procede de controle d'integrite des donnees dans un reseau afdx.
|
|
US7987385B2
(en)
|
2007-07-24 |
2011-07-26 |
Ge Aviation Systems Llc |
Method for high integrity and high availability computer processing
|
|
US7849223B2
(en)
|
2007-12-07 |
2010-12-07 |
Microsoft Corporation |
Virtually synchronous Paxos
|
|
US8499297B2
(en)
|
2008-10-28 |
2013-07-30 |
Vmware, Inc. |
Low overhead fault tolerance through hybrid checkpointing and replay
|
|
BRPI0922865A2
(pt)
|
2008-12-12 |
2016-09-06 |
Bae Systems Plc |
arquitetura distribuída, e, método para manter a integridade dos fluxos de dados dentro de um ambiente de processamento.
|