Memory - PDFSEARCH.IO - Document Search Engine

Memory
Results: 23062

#	Item
11	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 Pointer Graph
12	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
13	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 Computing Software bugs Software engineering Data types Computer memory Primitive types C standard library Memory safety Stack buffer overflow Pointer Dangling pointer Buffer overflow
14	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 Computer storage devices Computing USB Computer architecture Computer hardware Linux-based devices Secure Digital Raspberry Pi Memory card Card reader
15	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 Geography of India States and union territories of India India Central Delhi district Daryaganj Parwana New Delhi Delhi
16	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 Computing Computer programming Computer architecture Programming language implementation Compilers Debugging Executable Dynamic linker Address space layout randomization Magic number Data segment Data
17	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
18	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 Computer hardware Computer architecture Computing Side-channel attacks Computer security X86 architecture Central processing unit Computer memory Spectre Microarchitecture CPU cache Meltdown
19	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
20	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 Concurrency control Transaction processing Computing Data management System software Transactional memory Benchmark Lock Parallel computing Linearizability Consistency model

UPDATE