381![Introduction to Lock-Free Algorithms Through a case study Samy Al Bahra AppNexus, Inc. September 23, 2012 Introduction to Lock-Free Algorithms Through a case study Samy Al Bahra AppNexus, Inc. September 23, 2012](https://www.pdfsearch.io/img/d3aeaf8a1ab72dde60653203eb68a210.jpg) | Add to Reading ListSource URL: concurrencykit.orgLanguage: English - Date: 2012-09-25 17:45:50
|
---|
382![Formal Analysis of a Space Craft Controller using S PIN Klaus Havelund, Mike Lowry and John Penix NASA Ames Research Center Moffett Field, California, USA Email: fhavelund,lowry,[removed] URL: http://i Formal Analysis of a Space Craft Controller using S PIN Klaus Havelund, Mike Lowry and John Penix NASA Ames Research Center Moffett Field, California, USA Email: fhavelund,lowry,[removed] URL: http://i](https://www.pdfsearch.io/img/e4143a13795795d1f00ab4a5480b5d8b.jpg) | Add to Reading ListSource URL: spinroot.comLanguage: English - Date: 2008-06-30 15:34:28
|
---|
383![Phil Bernstein & Sudipto Das Microsoft Research July 10, 2013 Copyright © 2013 Microsoft Corp. 1 Phil Bernstein & Sudipto Das Microsoft Research July 10, 2013 Copyright © 2013 Microsoft Corp. 1](https://www.pdfsearch.io/img/6564f276614a7eb9400327be7838c08b.jpg) | Add to Reading ListSource URL: www.temple.eduLanguage: English - Date: 2013-07-18 23:33:32
|
---|
384![On Consistency of Encrypted Files Alina Oprea∗ Michael K. Reiter† March 2005 On Consistency of Encrypted Files Alina Oprea∗ Michael K. Reiter† March 2005](https://www.pdfsearch.io/img/4586d9d86742acfa076ba60f0e7b271e.jpg) | Add to Reading ListSource URL: www.cs.cmu.eduLanguage: English - Date: 2006-06-29 07:27:04
|
---|
385![Microsoft Word - Prism[removed]doc Microsoft Word - Prism[removed]doc](https://www.pdfsearch.io/img/9d9d7ab85cf3fd85021c0acea54c4f9b.jpg) | Add to Reading ListSource URL: www.open-std.orgLanguage: English - Date: 2006-09-08 02:16:58
|
---|
386![Massachusetts Institute of Technology, Cambridge, Massachusetts Laboratory for Computer Science Massachusetts Institute of Technology, Cambridge, Massachusetts Laboratory for Computer Science](https://www.pdfsearch.io/img/1b699cb8ea233a6853a4727d92e1209f.jpg) | Add to Reading ListSource URL: pmg.csail.mit.eduLanguage: English - Date: 2009-07-13 10:50:08
|
---|
387![RC24504 (W0802-087) February 22, 2008 Computer Science RC24504 (W0802-087) February 22, 2008 Computer Science](https://www.pdfsearch.io/img/feb5fa38715e4b16b64877af28f3018d.jpg) | Add to Reading ListSource URL: researcher.watson.ibm.comLanguage: English - Date: 2010-07-16 17:06:51
|
---|
388![Technical Report UCAM-CL-TR-579 Technical Report UCAM-CL-TR-579](https://www.pdfsearch.io/img/140dc7657c7268c8c0880f477bfd24b5.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2004-02-13 14:20:06
|
---|
389![Supporting Intel Transactional Synchronization Extensions in QEMU Sebastien Dabdoub Supporting Intel Transactional Synchronization Extensions in QEMU Sebastien Dabdoub](https://www.pdfsearch.io/img/a376e170b7646b047bfbc5bb25393200.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2012-12-16 20:05:27
|
---|
390![Locking in OS Kernels for SMP Systems From the seminar Hot Topics in Operating Systems Locking in OS Kernels for SMP Systems From the seminar Hot Topics in Operating Systems](https://www.pdfsearch.io/img/702b8d913a65484c92c695ca32b2f035.jpg) | Add to Reading ListSource URL: irl.cs.ucla.eduLanguage: English - Date: 2010-11-30 19:28:54
|
---|