Executable - PDFSEARCH.IO - Document Search Engine

Executable
Results: 1031

#	Item
101	An executable formal semantics for PHP Daniele Filaretti & Sergio Maffeis www.phpsemantics.org Add to Reading List Source URL: dfilaretti.github.io - Date: 2016-01-24 05:04:36
102	Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants Nuno Macedo, Hugo Pacheco, and Alcino Cunha HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:24
103	Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants Nuno Macedo, Hugo Pacheco, Alcino Cunha {nfmmacedo,hpacheco,alcino}@di.uminho.pt Techn. Report TR-HASLab:03:2012 Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:25
104	Chapter 11 - Developing Software for the Xbox cheaper than a Powerball ticket. Another approach, related to cracking the RSA-2048 bit key, is to modify an existing, signed Xbox executable in a useful manner without chan Add to Reading List Source URL: www.xenatera.com Language: English - Date: 2003-04-17 04:53:36 Cryptographic hash function Hash function SHA-1 Tiny Encryption Algorithm Free60 Homebrew Cryptography Xbox Search algorithms
105	Haskell Cheat Sheet Strings This cheat sheet lays out the fundamental elements of the Haskell language: syntax, keywords and other elements. It is presented as both an executable Haskell file and a printable document. Add to Reading List Source URL: cheatsheet.codeslower.com Language: English - Date: 2013-07-22 18:47:53 Type theory Functional programming Data types Subroutines Algebraic data type Pattern matching Anonymous function Monad Main function Software engineering Computing Computer programming
106	Today’s Big Adventure - How to name and refer to things that don’t exist yet - How to merge separate name spaces into a cohesive whole • Readings Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2010-01-26 18:54:36 Compiler construction A.out Linker Symbol table Object file Portable Executable C Loader Printf format string Computing Software Programming language implementation
107	Microsoft Word - FAQ_MCNP6.1.docx Add to Reading List Source URL: www.mcnpvised.com Language: English - Date: 2014-02-02 18:25:44 Computer file formats COM file Executable Library Binary file File Linker Microsoft Visual Studio Computing Software Programming language implementation
108	Microsoft Word - FAQ_740_08.docx Add to Reading List Source URL: www.mcnpvised.com Language: English - Date: 2013-06-05 20:06:41 Computer file formats System software Executable Library Linker Binary file Computing Software Programming language implementation
109	Will appear in the 2009 IEEE Symposium on Security and Privacy Native Client: A Sandbox for Portable, Untrusted x86 Native Code Bennet Yee, David Sehr, Gregory Dardyk, J. Bradley Chen, Robert Muth, Tavis Ormandy, Shiki Add to Reading List Source URL: static.googleusercontent.com Language: English - Date: 2015-05-08 14:51:37 Free software Google Native Client Vx32 Sandbox Portable Executable JavaScript Microkernel Operating system Pin Software System software Computing
110	Windows Agnostic Memory Analysis.dvi Add to Reading List Source URL: www.dfrws.org Language: English - Date: 2010-07-28 09:42:48 Computer architecture Physical Address Extension Paging Page table Relocation Pointer Windows Server Portable Executable 64-bit Virtual memory Computer memory Computing

UPDATE