Search
 
   

35 results for "domain:washington.edu"

  1. 5
    Building a program synthesis tool to generate programs from specifications lisp programming homes.cs.washington.edu
    Yogthos avatar via Yogthos 1 month ago | cached | 1 comment
  2. 22
    Battery Free HD Video Streaming hardware batteryfreevideo.cs.washington.edu
    mjn avatar via mjn 3 months ago | cached | 5 comments
  3. 4
    Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control (2017) pdf distributed syslab.cs.washington.edu
    jtfmumm avatar via jtfmumm 4 months ago | cached | no comments
  4. 2
    Automated Verification of RISC-V Kernel Code (2016) pdf assembly formalmethods courses.cs.washington.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  5. 6
    Hyperkernel: Push-Button Verification of an OS Kernel (2017) pdf compsci formalmethods unix homes.cs.washington.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  6. 11
    A Primer on Boolean Satisfiability compsci math homes.cs.washington.edu
    hwayne avatar via hwayne 7 months ago | cached | no comments
  7. 6
    What Makes A Great Software Engineer? pdf culture programming faculty.washington.edu
    av avatar via av 8 months ago | cached | no comments
  8. 5
    Printed Wi-Fi: 3D Printing Wireless Sensors Without Electronics hardware printedwifi.cs.washington.edu
    jackivan88 avatar via jackivan88 9 months ago | cached | 1 comment
  9. 7
    Researchers develop 3-D printed modifiable radio backscatter tags hardware washington.edu
    Yogthos avatar via Yogthos 9 months ago | cached | 2 comments
  10. 5
    UW ADINT: Advertising as Surveillance ☶ privacy adint.cs.washington.edu
    k749gtnc9l3w avatar via k749gtnc9l3w 10 months ago | cached | no comments
  11. 5
    Cooperative Software Development ☶ book compsci education programming faculty.washington.edu
    quobit avatar via quobit 11 months ago | cached | no comments
  12. 2
    MapReduce: A major step backwards (2008) databases distributed homes.cs.washington.edu
    calvin avatar via calvin 11 months ago | cached | no comments
  13. 4
    How to give a technical presentation (how to give a scientific talk) practices homes.cs.washington.edu
    mt avatar via mt 11 months ago | cached | no comments
  14. 8
    Barriers to Equality in Academia: Women in Computer Science at MIT (1983) ☶ culture historical homes.cs.washington.edu
    GeoffWozniak avatar via GeoffWozniak 12 months ago | cached | no comments
  15. 4
    Computer Security, Privacy, and DNA Sequencing: Compromising Computers with Synthesized DNA, Privacy pdf hardware reversing security dnasec.cs.washington.edu
    friendlysock avatar via friendlysock 1 year ago | cached | 1 comment
  16. 5
    Synthesizing Obama: Learning Lip Sync from Audio ai grail.cs.washington.edu
    jackivan88 avatar via jackivan88 1 year ago | cached | no comments
  17. 15
    SeaGlass - Enabling City-Wide IMSI-Catcher Detection networking privacy security seaglass.cs.washington.edu
    sevan avatar via sevan 1 year ago | cached | no comments
  18. 10
    An Empirical Study of the Correctness of Formally-Verified, Distributed Systems pdf compsci distributed formalmethods programming locore.cs.washington.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  19. 7
    An Empirical Study on the Correctness of Formally Verified Distributed Systems pdf compsci distributed practices testing homes.cs.washington.edu
    koomi avatar via koomi 1 year ago | cached | no comments
  20. 1
    Computing Environments for Data Analysis Part 3: Programming Environments (1987) pdf hardware historical lisp programming stat.washington.edu
    calvin avatar via calvin 1 year ago | cached | no comments
Page: 1 2