Washington - PDFSEARCH.IO - Document Search Engine

Washington
Results: 181429

#	Item
61	Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang University of Washington Joint work with: Hao Lü, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Economy Business Graphical user interface Software architecture Workflow
62	Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:05 Computer architecture System software Computing Disk file systems Ext4 Ext3 Sync File system Btrfs XFS Inode File locking
63	Which Configuration Option Should I Change? Sai Zhang, Michael D. Ernst University of Washington Presented by: Kıvanç Muşlu Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 System software Software Free software APT Debian Dpkg Ubuntu Configuration management
64	Caching Doesn’t Improve Mobile Web Performance (Much) Jamshed Vesuna and Colin Scott, University of California, Berkeley; Michael Buettner and Michael Piatek, Google; Arvind Krishnamurthy, University of Washington; Sco Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-06-22 03:22:39 Cache Computing Web development Information and communications technology Computer networking Computer architecture Web cache Web performance Proxy server World Wide Web Google PageSpeed Tools Web server
65	Microsoft Word - WASHINGTON-#v1-WMBA_-_TOC_CFTC_Letters.DOC Add to Reading List Source URL: www.wmbaa.com Language: English - Date: 2012-01-31 13:57:29 Economy Finance Money Financial markets Swap Execution Facility Over-the-counter Commodity Futures Trading Commission Securities market Inter-dealer broker Swap Futures exchange Algorithmic trading
66	c Copyright 2012 Laura Effinger-Dean Interference-Free Regions and Their Application to Compiler Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-03-11 15:10:09 Computing Software engineering Computer programming Compiler construction Concurrency Software design patterns Computer memory Optimizing compiler Synchronization Memory model Parallel computing Thread
67	Deterministic Execution for Arbitrary Multithreaded Programs Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-03-11 15:09:43 Metaphysics Computer programming Computing Parallel computing Causality Determinism Philosophy of science Randomness Atom Thread Concurrency Pin
68	Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2018-10-18 11:22:35 Numerical analysis Mathematics Applied mathematics Computing Error analysis Interval arithmetic Round-off error Program optimization Infinite loop Algorithm
69	June 15, 2018 Senator Chuck Grassley, Chairman Senator Dianne Feinstein, Ranking Member United States Senate Committee on the Judiciary 224 Dirksen Senate Office Building Washington, D.C Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-06-15 16:21:04 Russian interference in the 2016 United States elections Foreign electoral intervention Government Politics Security engineering Cybercrime National security Cyberwarfare Marc Rotenberg Federal Bureau of Investigation Electronic Privacy Information Center Computer security
70	A Crash-Safe Key-Value Store Using Chained Copy-on-Write B-trees by Bruno Castro-Karney Supervised by Xi Wang Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Binary trees Computing Computer programming B-tree Learning Data types Trie B+ tree Btrfs R-tree T-tree Tree