Search: cs.washington.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

The Checker Framework: Pluggable Type Systems for Java 8

types.cs.washington.edu

12 years ago

3 points

152.

BitTyrant provided an average 70% download performance increase

bittyrant.cs.washington.edu

13 years ago

3 points

153.

Whole-Home Gesture Recognition Using Wireless

wisee.cs.washington.edu

13 years ago

3 points

154.

A Few Useful Things to Know about Machine Learning

homes.cs.washington.edu

13 years ago

3 points

155.

Piper: A Programmable Distributed Training System

syfi.cs.washington.edu

14 days ago

3 points

156.

PyPy and CPython's Broken Multithreaded Semantics

homes.cs.washington.edu

14 years ago

3 points

157.

Tensor Logic Language [pdf]

homes.cs.washington.edu

7 months ago

3 points

158.

LLMc: Beating All Compression with LLMs

syfi.cs.washington.edu

9 months ago

3 points

159.

Look Once to Hear: Target Speech Hearing with Noisy Examples

tsh.cs.washington.edu

a year ago

3 points

160.

Chango: Make Music from Light and Motion

cs.washington.edu

14 years ago

3 points

161.

ClearBuds: Wireless Binaural Earbuds

clearbuds.cs.washington.edu

4 years ago

3 points

162.

Animating Pictures with Eulerian Motion Fields

eulerian.cs.washington.edu

5 years ago

3 points

163.

Reticle: Virtual Machine for Programming Modern FPGAs [pdf]

homes.cs.washington.edu

5 years ago

3 points

164.

Real-Time High Resolution Background Matting

grail.cs.washington.edu

6 years ago

3 points

165.

Animating Pictures with Eulerian Motion Fields

eulerian.cs.washington.edu

6 years ago

3 points

166.

Specification and verification in the field: Applying formal methods to BPF JITs [pdf]

unsat.cs.washington.edu

6 years ago

3 points

167.

Continuous compliance with lightweight verification tools [pdf]

homes.cs.washington.edu

6 years ago

3 points

168.

Capability-based computer systems. (1984)

homes.cs.washington.edu

6 years ago

3 points

169.

Carpentry Compiler: Convert geometric designs by users to low-level instructions

grail.cs.washington.edu

6 years ago

3 points

170.

Capability-Based Computer Systems

homes.cs.washington.edu

7 years ago

3 points

171.

Carpentry Compiler

grail.cs.washington.edu

7 years ago

3 points

172.

How Not to Measure Computer System Performance

homes.cs.washington.edu

7 years ago

3 points

173.

Lazier than Lazy Greedy

homes.cs.washington.edu

8 years ago

3 points

174.

CSE455 – Computer Vision course taught by creator of YOLO algorithm

courses.cs.washington.edu

8 years ago

3 points

175.

An Empirical Study on the Correctness of Formally Verified Distributed Systems [pdf]

homes.cs.washington.edu

8 years ago

3 points

176.

Exploring ADINT: How Alice Can Buy Ads to Track Bob [pdf]

adint.cs.washington.edu

8 years ago

3 points

177.

Coordination-Free Consistent Transactions Using In-Net Concurrency Control [pdf]

syslab.cs.washington.edu

9 years ago

3 points

178.

MapReduce: A major step backwards (2008)

homes.cs.washington.edu

9 years ago

3 points

179.

Covertband: Activity Information Leakage Using Music

musicattacks.cs.washington.edu

9 years ago

3 points

180.

Compromising Computers with Synthesized DNA, Privacy Leaks, and More [pdf]

dnasec.cs.washington.edu

9 years ago

3 points