Consistency - PDFSEARCH.IO - Document Search Engine

Consistency
Results: 2495

#	Item
1	6 OctoberIPCC SR1.5 Changes to the Underlying Scientific-Technical Assessment to ensure consistency with the approved Summary for Policymakers Add to Reading List Source URL: report.ipcc.ch Language: English - Date: 2018-10-07 20:49:31 Climate change Physical geography Intergovernmental Panel on Climate Change United Nations Environment Programme World Meteorological Organization IPCC Fifth Assessment Report Global warming Reasons for concern IPCC Third Assessment Report IPCC Second Assessment Report IPCC Summary for Policymakers Extreme weather
2	6 OctoberIPCC SR1.5 Changes to the Underlying Scientific-Technical Assessment to ensure consistency with the approved Summary for Policymakers Add to Reading List Source URL: www.ipcc.ch Language: English - Date: 2018-10-07 08:01:33 Climate change Physical geography Intergovernmental Panel on Climate Change United Nations Environment Programme World Meteorological Organization IPCC Fifth Assessment Report Global warming Reasons for concern IPCC Third Assessment Report IPCC Second Assessment Report IPCC Summary for Policymakers Extreme weather
3	C OV ER F E AT U RE Consistency Tradeoffs in Modern Distributed Database System Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-06-14 15:57:11 Computing Data management Data Distributed computing NoSQL Structured storage PACELC theorem Riak Eventual consistency Apache Cassandra Replication Consistency model
4	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture System software Disk file systems Data management Inode File system Journaling file system Log-structured File System Ext3 Mkfs Refinement Ext4
5	Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-25 00:49:18 Computer architecture Computing System software Disk file systems C POSIX library System calls Application programming interfaces Ext4 Sync POSIX Ext3 File system
6	A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-05-22 10:50:40 Process calculi Theoretical computer science Process calculus Mathematics -calculus Calculus Lambda calculus Computer science Actor model and process calculi history Join-calculus
7	Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:05 Computer architecture System software Computing Disk file systems Ext4 Ext3 Sync File system Btrfs XFS Inode File locking
8	Consistency in Non-Transactional Distributed Storage Systems arXiv:1512.00168v4 [cs.DC] 12 AprPaolo Viotti Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-04-13 02:26:28 Computing Transaction processing Concurrency control Data management Data Consistency model Eventual consistency Linearizability Regular semantics Shared register Sequential consistency Safe semantics
9	Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1 Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Real-time computing Scheduling Technology Computer architecture System software Embedded operating systems Automotive software OSEK Worst-case execution time Real-time operating system Uppaal Model Checker Model checking
10	Value_Prediction_Consistency.pdf Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-09-20 07:01:30 Machine learning algorithms Mathematics Machine learning Applied mathematics Artificial neural networks Computational neuroscience Belief revision Reinforcement learning Long short-term memory Distribution