Separation - PDFSEARCH.IO - Document Search Engine

Separation
Results: 10698

#	Item
531	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming
532	Why Neutrons? Neutrons reveal properties not readily probed by light, x-rays or electrons Carbon Dioxide Separation Material WAVELENGTHS - allow Add to Reading List Source URL: ncnr.nist.gov Language: English - Date: 2015-05-11 15:08:40
533	June 1, 2014 Stressors and Financial Market Trading: The Case of Marital Separation Andrew Grant∗ Petko Kalev† Add to Reading List Source URL: www.anderson.ucla.edu Language: English - Date: 2016-02-28 01:44:00
534	SOURCE SEPARATION USING SPARSE DISCRETE PRIOR MODELS Radu Balan, Justinian Rosca Siemens Corporate Research 755 College Road East Princeton, NJe-mail: radu.balan,justinian.rosca @siemens.com Add to Reading List Source URL: www.math.umd.edu Language: English - Date: 2006-01-17 10:41:58
535	Separation Logic for Small-step Cminor Andrew W. Appel1,⋆ and Sandrine Blazy2,⋆ 1 Princeton University 2 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2007-06-09 21:39:12
536	Mechanized Verification of Fine-grained Concurrent Programs st * Consi PLDI * Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Theoretical computer science Mathematics Knowledge representation Tree Engineering Minimum spanning tree Graph Separation logic Topology
537	Translation Validation for a Verified OS Kernel Thomas Sewell Magnus Myreen Gerwin Klein Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-09-23 09:29:29 Software engineering Theoretical computer science Computing Logic in computer science Subroutines Formal methods Formal verification Decompiler Calling convention Isabelle Separation logic Satisfiability modulo theories
538	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Software engineering Theoretical computer science Computer programming Formal methods Logic in computer science Macro Hoare logic Assertion Separation logic C preprocessor Postcondition Assembly language
539	ON GENERALIZATION OF CLASSIFICATION BASED SPEECH SEPARATION Kun Han and DeLiang Wang∗ Department of Computer Science and Engineering & Center for Cognitive Science The Ohio State University Columbus, OH, USA Add to Reading List Source URL: web.cse.ohio-state.edu Language: English - Date: 2012-05-08 16:10:04
540	Program Logics for Certified Compilers Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2013-05-31 14:00:42 Theoretical computer science Logic in computer science Formal methods Mathematical logic Automated theorem proving Substructural logic Formal verification Compiler correctness Separation logic Correctness Semantics Hoare logic

UPDATE