Washington - PDFSEARCH.IO - Document Search Engine

Washington
Results: 181429

#	Item
1	Reactive Vega: A Streaming Dataflow Architecture for Declarative Interactive Visualization Arvind Satyanarayan, Ryan Russell, Jane Hoffswell, and Jeffrey Heer Internal External Add to Reading List Source URL: idl.cs.washington.edu Language: English
2	DEPARTMENT OF THE TREASURY WASHINGTON, D.CINSPECTOR GENERAL FOR TAX ADMINISTRATION Add to Reading List Source URL: www.treasury.gov Language: English - Date: 2018-10-16 12:06:23 Tax Taxation in the United States Internal Revenue Service Income tax in the United States Form W-2 Earned income tax credit Treasury Inspector General for Tax Administration Tax return Individual Taxpayer Identification Number Douglas Shulman IRS tax forms
3	Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-11 21:16:46 Probability and statistics Statistics Statistical randomness Stochastic computing Applied mathematics Stochastic optimization Artificial neural network Mathematical optimization Stochastic process
4	U.S. Department of Justice Criminal Division Office of Assistant Attorney General Washington, D.C Add to Reading List Source URL: www.edoeb.admin.ch Language: English Privacy of telecommunications Law Legal documents Patriot Act National security Government Searches and seizures Stored Communications Act Administrative subpoena National security letter Federal Bureau of Investigation Pen register
5	In Pursuit of Error: A Survey of Uncertainty Visualization Evaluation Jessica Hullman, Xiaoli Qiao, Michael Correll, Alex Kale, Matthew Kay Abstract—Understanding and accounting for uncertainty is critical to effective Add to Reading List Source URL: idl.cs.washington.edu Language: English
6	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:25:42 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
7	Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-09-27 23:32:05 Formal methods Software engineering Computing Logic in computer science Non-interference Exception handling Formal verification Refinement Thread Futures and promises Covert channel Application programming interface
8	Synthesis and Verification for All Emina Torlak University of Washington homes.cs.washington.edu/~emina/ Add to Reading List Source URL: con.racket-lang.org - Date: 2016-09-23 19:37:16
9	Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Software bug Debugging
10	Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computing Computer programming Software engineering Java Widget toolkits Cross-platform software Concurrent computing Swing Thread Debugging D Event dispatching thread