41![Foreshadow-NG: Breaking the Virtual Memory Abstraction with Transient Out-of-Order Execution Revision 1.0 (August 14, 2018) Ofir Weisse3 , Jo Van Bulck1 , Marina Minkin2 , Daniel Genkin3 , Baris Kasikci3 , Frank Piessens Foreshadow-NG: Breaking the Virtual Memory Abstraction with Transient Out-of-Order Execution Revision 1.0 (August 14, 2018) Ofir Weisse3 , Jo Van Bulck1 , Marina Minkin2 , Daniel Genkin3 , Baris Kasikci3 , Frank Piessens](https://www.pdfsearch.io/img/8471342299456b09ebae2d4e9345594a.jpg) | Add to Reading ListSource URL: foreshadowattack.euLanguage: English - Date: 2018-08-31 11:04:51
|
---|
42![Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch](https://www.pdfsearch.io/img/b0bab394fbe574197f1e2613361a2928.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
43![S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock](https://www.pdfsearch.io/img/20686b8166e7de34a0770e6dc2c98152.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2018-10-18 11:22:47
|
---|
44![Architectural Semantics for Practical Transactional Memory Architectural Semantics for Practical Transactional Memory](https://www.pdfsearch.io/img/a8ca2a4b2fec12e9e11c389e52f3e6ee.jpg) | Add to Reading ListSource URL: www.austenmcdonald.comLanguage: English - Date: 2016-01-26 12:43:51
|
---|
45![Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai, Richard Socher*, Christopher D. Manning Computer Science Department, Stanford University, *MetaMind Inc. fo Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai, Richard Socher*, Christopher D. Manning Computer Science Department, Stanford University, *MetaMind Inc. fo](https://www.pdfsearch.io/img/4f86c2ac9ee32f1cd6634699884894bc.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2015-06-01 20:23:35
|
---|
46![Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak](https://www.pdfsearch.io/img/80c3bef3ba843ffe287e0f0737d9da8f.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-21 17:45:06
|
---|
47![](/pdf-icon.png) | Add to Reading ListSource URL: business.toshiba-memory.com- Date: 2018-07-24 21:50:35
|
---|
48![](/pdf-icon.png) | Add to Reading ListSource URL: business.toshiba-memory.com- Date: 2018-07-24 21:37:15
|
---|
49![](/pdf-icon.png) | Add to Reading ListSource URL: business.toshiba-memory.com- Date: 2018-06-14 23:53:53
|
---|
50![](/pdf-icon.png) | Add to Reading ListSource URL: www.memory-clinic-bern.ch- Date: 2017-11-14 04:18:45
|
---|