Search
 
   

29 results for "domain:cs.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 3 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. 5
    Printed Wi-Fi: 3D Printing Wireless Sensors Without Electronics hardware printedwifi.cs.washington.edu
    jackivan88 avatar via jackivan88 8 months ago | cached | 1 comment
  8. 5
    UW ADINT: Advertising as Surveillance ☶ privacy adint.cs.washington.edu
    k749gtnc9l3w avatar via k749gtnc9l3w 10 months ago | cached | no comments
  9. 2
    MapReduce: A major step backwards (2008) databases distributed homes.cs.washington.edu
    calvin avatar via calvin 11 months ago | cached | no comments
  10. 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
  11. 8
    Barriers to Equality in Academia: Women in Computer Science at MIT (1983) ☶ culture historical homes.cs.washington.edu
    GeoffWozniak avatar via GeoffWozniak 11 months ago | cached | no comments
  12. 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
  13. 5
    Synthesizing Obama: Learning Lip Sync from Audio ai grail.cs.washington.edu
    jackivan88 avatar via jackivan88 1 year ago | cached | no comments
  14. 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
  15. 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
  16. 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
  17. 3
    Worker-Owned Cooperative Models for Training Artificial Intelligence ☶ pdf cogsci finance homes.cs.washington.edu
    james avatar via james 1 year ago | cached | 1 comment
  18. 9
    IM2CAD ☶ compsci graphics homes.cs.washington.edu
    friendlysock avatar via friendlysock 1 year ago | cached | no comments
  19. 2
    A Few Useful Things to Know about Machine Learning pdf cogsci homes.cs.washington.edu
    Dawny33 avatar via Dawny33 1 year ago | cached | no comments
  20. 17
    Passive Wi-Fi ☶ hardware networking passivewifi.cs.washington.edu
    evaryont avatar via evaryont 2 years ago | cached | no comments
Page: 1 2