Fault-tolerant computer systems - PDFSEARCH.IO - Document Search Engine

Fault-tolerant computer systems
Results: 1578

#	Item
1	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
2	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
3	Cluster Fault-Tolerance: An Experimental Evaluation of Checkpointing and MapReduce through Simulation Thomas C. Bressoud #1 , Michael A. Kozuch ∗2 # Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:34 Computing Engineering Parallel computing Fault-tolerant computer systems Software quality Application checkpointing Classes of computers MapReduce Computer cluster Reliability engineering Fault tolerance Distributed computing
4	Attested Append-Only Memory: Making Adversaries Stick to their Word Byung-Gon Chun† Petros Maniatis⋆ Scott Shenker†‡ † Add to Reading List Source URL: www.sosp2007.org Language: English - Date: 2016-06-15 13:09:51 Fault-tolerant computer systems Computing Computer architecture Concurrent computing Data synchronization State machine replication Byzantine fault tolerance Replication Clientserver model Microkernel Server
5	An active-active high availability feature in shared nothing DBMS Add to Reading List Source URL: hpts.ws Language: English - Date: 2012-04-19 12:03:24 Fault-tolerant computer systems Computing Failover Hot spare Rollback
6	(IN)EQUIVALENCE OF COLOR CODE AND TORIC CODE Aleksander Kubica, B.Yoshida, F. Pastawski MOTIVATION Add to Reading List Source URL: www.qec14.ethz.ch Language: English - Date: 2015-02-13 05:28:40 Quantum information science Fault-tolerant computer systems Quantum computing Mathematics Algebra Linear algebra Physics Toric code Stabilizer code Quantum error correction Inverse trigonometric functions
7	Solving Signaling Storm through Long-Term Evolution Refactoring Matteo Pozza Heikki Lindholm Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Technology Mobile telecommunications LTE Mobile technology Telecommunications Fault-tolerant computer systems Replication Code refactoring
8	Finance and Economics Discussion Series Divisions of Research & Statistics and Monetary Affairs Federal Reserve Board, Washington, D.C. Is Economics Research Replicable? Sixty Published Papers from Thirteen Journals Say Add to Reading List Source URL: www.federalreserve.gov Language: English - Date: 2015-10-05 11:53:30 Information science Computing Information retrieval Scientific method Data management Data publishing Fault-tolerant computer systems Data synchronization Replication Research data archiving Reproducibility The American Economic Review
9	HARVARD RESEARCH GROUP  OpenVMS: When Continuous Availability Really Matters Compaq’s OpenVMS and IBM’s z/OS (formerly OS/390) are generally regarded in the Add to Reading List Source URL: www.stanq.com Language: English - Date: 2015-08-26 16:18:18 Computing Computer architecture Hewlett-Packard Cluster computing Parallel computing Fault-tolerant computer systems Instruction set architectures OpenVMS Itanium VMScluster Uptime Compaq