Matthew - PDFSEARCH.IO - Document Search Engine

Matthew
Results: 11665

#	Item
41	CLARK COUNTY BOARD OF ELECTIONS Board Members  Lynda Smith, Chairperson  Ted A. McClenen  Max Cordle  Dale Henry Director  Matthew Tlachac Deputy Director  Jason Baker September 8, 2015 The Board will h Add to Reading List Source URL: clark.ohioboe.com - Date: 2017-04-21 08:14:21
42	1 Implementing Attestable Kiosks Matthew Bernhard† Gabe Stocco? J. Alex Halderman† † Add to Reading List Source URL: mbernhard.com Language: English - Date: 2016-09-21 15:16:43 Microsoft Windows Computer security System software Cryptographic software Disk encryption Trusted computing Kiosks Windows Vista Kiosk software Trusted Platform Module Interactive kiosk Next-Generation Secure Computing Base
43	PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet Add to Reading List Source URL: manticore.cs.uchicago.edu Language: English - Date: 2017-07-17 11:35:05 Software engineering Computer programming Compiler optimizations Computing Inline expansion Optimizing compiler Data-flow analysis Scope Standard ML Functional programming Directed acyclic graph Static single assignment form
44	The Racket Reference Version 6.11 Matthew Flatt and PLT October 30, 2017 Add to Reading List Source URL: download.racket-lang.org Language: English - Date: 2017-10-30 18:14:21 Computer programming Software engineering Computing Object-oriented programming languages Functional languages Data types Functional programming Scripting languages Racket Generator Macro Mutator method
45	Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2017-05-11 23:26:18 Software engineering Computing Programming language theory Type theory Type systems Lambda calculus Subroutines Data types Gradual typing Racket Go Programming language
46	The Racket Reference Version 5.93 Matthew Flatt and PLT January 29, 2014 Add to Reading List Source URL: download.racket-lang.org Language: English - Date: 2014-03-07 13:22:48 Computer programming Software engineering Computing Object-oriented programming languages Functional languages Functional programming Data types Scripting languages Racket Generator Immutable object Macro
47	CLARK COUNTY BOARD OF ELECTIONS Board Members  Lynda Smith, Chairperson  Ted A. McClenen  Max Cordle  Dale Henry Director  Matthew Tlachac Deputy Director  Jason Baker October 30, 2015 The Board will ho Add to Reading List Source URL: clark.ohioboe.com - Date: 2017-04-21 08:14:24
48	Poster: Guard Sets in Tor Using AS Relationships Mohsen Imani Armon Barton Matthew Wright Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-10 21:07:00 Internet Computing Free software Dark web Secure communication Tor Point guard Guard mounting
49	The Racket Reference Version 6.12 Matthew Flatt and PLT January 26, 2018 Add to Reading List Source URL: download.racket-lang.org Language: English - Date: 2018-01-26 17:44:39 Computer programming Software engineering Computing Object-oriented programming languages Functional languages Data types Functional programming Scripting languages Racket Generator Macro Mutator method
50	Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4 Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Computing Computer programming Software engineering Operator theory Fortran OpenMP Parallel computing Hermitian adjoint Adjoint

UPDATE