Memory - PDFSEARCH.IO - Document Search Engine

Memory
Results: 23062

#	Item
1	A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang Chung-Kil Hur ∗ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2018-01-15 14:25:42 Software engineering C++ Computing Computer programming Pointer Const Undefined behavior C dynamic memory allocation Data type Optimizing compiler C++11 Stack
2	LeakChecker: Practical Static Memory Leak Detection for Managed Languages Dacong Yan Guoqing Xu Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15
3	Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CA Add to Reading List Source URL: nantero.com Language: English - Date: 2018-08-27 11:48:39 Computing Computer hardware Technology NVDIMM Non-volatile random-access memory Intel Dynamic random-access memory Processor
4	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 Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Mathematical logic Logic Predicate logic Mathematics Predicate FO Atomic sentence Primitive recursive function Syntactic predicate
5	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26
6	Formal moduli problems and formal derived stacks Damien Calaque and Julien Grivaux To the memory of Jean-Louis Koszul A mathematician, like a painter or a poet, is a maker of patterns. If his patterns are more permanent Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2018-02-24 07:36:18 Algebra Abstract algebra Mathematics Algebraic geometry Category theory Differential algebra Algebras Algebraic structures Differential graded Lie algebra Deformation theory Associative algebra F-algebra
7	Poster: Detecting WebInjects through Live Memory Inspection Nicola Mariani∗ , Andrea Continella∗ , Marcello Pogliani∗ , Michele Carminati∗ , Federico Maggi∗† , and Stefano Zanero∗ ∗ Dipartimento Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-02 20:58:16 Software Computing Antivirus software Security breaches Proprietary software Malware Kaspersky Lab Google Chrome Internet Explorer
8	Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam Rinetzky Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Concurrency control Computing Computer architecture Computer programming Synchronization Linearizability Memory barrier Parallel computing Mutual exclusion Critical section Lock Thread
9	Meltdown Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6 , Yuval Yarom Add to Reading List Source URL: mlq.me Language: English - Date: 2018-08-17 12:03:32 Computer security Computer hardware Side-channel attacks X86 architecture Computing Meltdown Computer engineering Pwnie Awards
10	A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 C Data types Software engineering Computing Computer programming Pointer Compatibility of C and C++ Const Typedef

UPDATE