1![6 OctoberIPCC SR1.5 Changes to the Underlying Scientific-Technical Assessment to ensure consistency with the approved Summary for Policymakers 6 OctoberIPCC SR1.5 Changes to the Underlying Scientific-Technical Assessment to ensure consistency with the approved Summary for Policymakers](https://www.pdfsearch.io/img/76f66334a4e3d5716dd57336e1c09a33.jpg) | Add to Reading ListSource URL: report.ipcc.chLanguage: English - Date: 2018-10-07 20:49:31
|
---|
2![6 OctoberIPCC SR1.5 Changes to the Underlying Scientific-Technical Assessment to ensure consistency with the approved Summary for Policymakers 6 OctoberIPCC SR1.5 Changes to the Underlying Scientific-Technical Assessment to ensure consistency with the approved Summary for Policymakers](https://www.pdfsearch.io/img/7fa557a537a43533aa524d4774902992.jpg) | Add to Reading ListSource URL: www.ipcc.chLanguage: English - Date: 2018-10-07 08:01:33
|
---|
3![C OV ER F E AT U RE Consistency Tradeoffs in Modern Distributed Database System C OV ER F E AT U RE Consistency Tradeoffs in Modern Distributed Database System](https://www.pdfsearch.io/img/f23bb5ef5e6d6637b4c55c85333efdd6.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2012-06-14 15:57:11
|
---|
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 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](https://www.pdfsearch.io/img/0d7e45124fa8d6fc290b4346b9a5482c.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-21 17:45:06
|
---|
5![Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li](https://www.pdfsearch.io/img/1df6b17cb29c1f16ad7fd7d7a34dd509.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-25 00:49:18
|
---|
6![A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber](https://www.pdfsearch.io/img/b8c5d93d209c77a40cf88bc655eeaee5.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2015-05-22 10:50:40
|
---|
7![Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li](https://www.pdfsearch.io/img/d9dca7da420142ea34513ddbd2d1a8a5.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-21 17:45:05
|
---|
8![Consistency in Non-Transactional Distributed Storage Systems arXiv:1512.00168v4 [cs.DC] 12 AprPaolo Viotti Consistency in Non-Transactional Distributed Storage Systems arXiv:1512.00168v4 [cs.DC] 12 AprPaolo Viotti](https://www.pdfsearch.io/img/df4db9a3c15f4d320b7731d0b0908191.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2016-04-13 02:26:28
|
---|
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 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](https://www.pdfsearch.io/img/3f6d728d32af3ddf51e599ab13892d95.jpg) | Add to Reading ListSource URL: www.falkhowar.deLanguage: English - Date: 2018-09-30 08:43:02
|
---|
10![Value_Prediction_Consistency.pdf Value_Prediction_Consistency.pdf](https://www.pdfsearch.io/img/1a0df23b2c92bffbeb1f76fe66b01973.jpg) | Add to Reading ListSource URL: www.tik.ee.ethz.chLanguage: English - Date: 2018-09-20 07:01:30
|
---|