Washington - PDFSEARCH.IO - Document Search Engine

Washington
Results: 181429

#	Item
81	Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture Computing System software Central processing unit ARM architecture Translation lookaside buffer Hypervisor Protection ring QEMU X86 virtualization Hyper-V Second Level Address Translation
82	BEFORE THE FEDERAL TRADE COMMISSION Washington, DCIn the Matter of ) Add to Reading List Source URL: assets.documentcloud.org Language: English - Date: 2017-08-07 11:19:54 Computing Computer network security Internet privacy Virtual private networks Hotspot Shield Computer architecture Computer security Network architecture Crypto-anarchism AnchorFree David Gorodyansky Hotspot
83	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
84	October 9, 2018 Senator John Thune, Chairman Senator Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation Russell Senate Office Building, Room 253 Washington, DC 20002 Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-10-09 19:06:46 Law Privacy Data security Terms of service Data protection Digital rights Human rights Internet privacy Electronic Privacy Information Center Information privacy Consumer privacy General Data Protection Regulation
85	c Copyright 2014 Benjamin P. Wood Software and Hardware Support for Data-Race Exceptions Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-21 15:46:52 Concurrency Communication Edsger W. Dijkstra Synchronization Race condition Computer programming Parallel computing Computing Electronic engineering
86	©Copyright 2015 Daniel Perelman Program Synthesis Without Full Specifications for Novel Applications Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-06-16 13:45:52 Software engineering Computing Computer programming Algorithm Mathematical logic Theoretical computer science JavaScript Eval Futures and promises
87	CLINICAL NEUTRON THERAPY SYSTEM Control System Specication PART I: System Overview and Hardware Organization Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 17:05:51 Physics Accelerator physics Experimental physics Health Medical physics Radiation therapy Fast neutron therapy Neutron Beamline Cyclotron Interlock Therapy
88	September 24, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, and Transportation 512 Dirksen Senate Office Building Washington, DC 20510 Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-09-24 14:29:22 Law Economy Terms of service Marc Rotenberg Privacy Digital rights Human rights Internet privacy Consumer privacy John Thune Medical privacy Electronic Privacy Information Center
89	June 18, 2018 The Honorable Bob Goodlatte, Chair The Honorable Jerry Nadler, Ranking Member House Committee on the Judiciary 2138 Rayburn House Office Building Washington, DC 20515 Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-06-18 12:37:50 Foreign electoral intervention Government Politics Russian interference in the 2016 United States elections Security engineering Cyberwarfare Hillary Clinton presidential campaign Politics and technology Marc Rotenberg Electronic Privacy Information Center Federal Bureau of Investigation Computer security
90	Finding Code That Explodes under Symbolic Evaluation Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-10-01 14:31:42 Computer programming Computing Software engineering Functional languages Profiling Software optimization Satisfiability modulo theories Symbolic execution Recursion Pure Lis Functional programming