Memory

Results: 23062



#Item
11A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1  University of Waterloo (Canada)

A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
12Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev  Nedyalko Prisadnikov

Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov

Add to Reading List

Source URL: practicalsynthesis.github.io

Language: English - Date: 2018-01-15 09:26:26
    13SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University

    SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University

    Add to Reading List

    Source URL: people.eecs.berkeley.edu

    Language: English - Date: 2013-03-11 01:57:58
    14How to update firmware of Avalon 6 for your Raspberry Pi v1 or v2 Requirements:  SD memory card with capacity of at least 1 GB.  SD card reader.  Win32 Disk Imager burning sofware: http://sourceforge.net/project

    How to update firmware of Avalon 6 for your Raspberry Pi v1 or v2 Requirements:  SD memory card with capacity of at least 1 GB.  SD card reader.  Win32 Disk Imager burning sofware: http://sourceforge.net/project

    Add to Reading List

    Source URL: www.nicehash.com

    Language: English - Date: 2017-06-19 03:58:13
    15forthcoming in AUGUST  Baghdad, Adieu Selected Poems of Memory and Exile SAL AH AL HAMDANI Translated by Sonia Alland

    forthcoming in AUGUST Baghdad, Adieu Selected Poems of Memory and Exile SAL AH AL HAMDANI Translated by Sonia Alland

    Add to Reading List

    Source URL: panmacmillan.co.in

    Language: English - Date: 2018-08-02 05:12:00
    16NORAX: Enabling Execute-Only Memory for COTS Binaries on AArch64 Yaohui Chen∗ Ahmed M. Azab† ∗

    NORAX: Enabling Execute-Only Memory for COTS Binaries on AArch64 Yaohui Chen∗ Ahmed M. Azab† ∗

    Add to Reading List

    Source URL: www.ieee-security.org

    Language: English - Date: 2017-04-03 15:59:04
    17Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits In memory of Wen-tsun Wu–Jean-Guillaume Dumas

    Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits In memory of Wen-tsun Wu–Jean-Guillaume Dumas

    Add to Reading List

    Source URL: perso.ens-lyon.fr

    Language: English - Date: 2017-08-31 08:55:53
      18NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl  Graz University of Technology

      NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology

      Add to Reading List

      Source URL: gruss.cc

      Language: English - Date: 2018-07-26 17:58:17
      19A 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

      Add to Reading List

      Source URL: user.it.uu.se

      Language: English - Date: 2015-05-22 10:50:40
      20ARCHITECTURES FOR TRANSACTIONAL MEMORY  A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY

      ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY

      Add to Reading List

      Source URL: www.austenmcdonald.com

      Language: English - Date: 2016-01-26 12:43:51