Memory - PDFSEARCH.IO - Document Search Engine

Memory
Results: 23062

#	Item
31	Synthesizing Memory Models from Framework Sketches  and Litmus Tests James Bornholt  Emina Torlak Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-25 00:49:19 Computing Compiler construction Software engineering Computer memory Concurrency Programming language design Compiler Programming language implementation Consistency model Memory model Kernel
32	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–162) TILTING COHEN–MACAULAY REPRESENTATIONS Osamu Iyama Dedicated to the memory of Ragnar-Olaf Buchweitz Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:42 Algebra Abstract algebra Mathematics Commutative algebra Algebraic structures Homological algebra Algebraic geometry Representation theory Gorenstein ring CohenMacaulay ring Tilting theory Commutative ring
33	Contributions: • Online archive: fearcontrol.info + randomartists.org/rupture.shtml • AUTUMNIn memory of Keith Robinson ...founder member of Desert Storm Soundsystem Add to Reading List Source URL: www.randomartists.org Language: English - Date: 2016-11-15 12:39:06 Neurochemistry NMDA receptor antagonists Chemistry Dissociative drugs Neuroscience Designer drugs General anesthetics Piperidines Methoxetamine Ketamine 3-MeO-PCP Phencyclidine
34	Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Computing Computer architecture Concurrent computing Theoretical computer science Computer programming Refinement Abstract interpretation Memory barrier Abstraction Algorithm Thread
35	Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-09-15 19:04:17 Computing Software engineering Computer programming Data types C++ C Primitive types Software bugs Pointer Struct Memory safety C dynamic memory allocation
36	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: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Pointer Graph
37	Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Computing Computer architecture Computer memory Transaction processing Theoretical computer science Memory barrier Consistency model Memory ordering Model theory Algorithm Formal language Constraint
38	Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Computer memory Computing Circular buffer Abstract interpretation Thread Data buffer Futures and promises
39	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
40	Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin. Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematics Formal languages Temporal logic Syntax Metalogic Logic Metaphilosophy Model theory Linear temporal logic Interpretation Computation tree logic Variable

UPDATE