Search: cs.washington.edu | Heykuki News

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)

3 points

12 years ago

152.

BitTyrant provided an average 70% download performance increase (bittyrant.cs.washington.edu)

3 points

13 years ago

153.

Whole-Home Gesture Recognition Using Wireless (wisee.cs.washington.edu)

3 points

13 years ago

154.

A Few Useful Things to Know about Machine Learning (homes.cs.washington.edu)

3 points

13 years ago

155.

PyPy and CPython's Broken Multithreaded Semantics (homes.cs.washington.edu)

3 points

14 years ago

156.

Tensor Logic Language [pdf] (homes.cs.washington.edu)

3 points

6 months ago

157.

LLMc: Beating All Compression with LLMs (syfi.cs.washington.edu)

3 points

8 months ago

158.

Look Once to Hear: Target Speech Hearing with Noisy Examples (tsh.cs.washington.edu)

3 points

a year ago

159.

Chango: Make Music from Light and Motion (cs.washington.edu)

3 points

14 years ago

160.

ClearBuds: Wireless Binaural Earbuds (clearbuds.cs.washington.edu)

3 points

4 years ago

161.

Animating Pictures with Eulerian Motion Fields (eulerian.cs.washington.edu)

3 points

5 years ago

162.

Reticle: Virtual Machine for Programming Modern FPGAs [pdf] (homes.cs.washington.edu)

3 points

5 years ago

163.

Real-Time High Resolution Background Matting (grail.cs.washington.edu)

3 points

5 years ago

164.

Animating Pictures with Eulerian Motion Fields (eulerian.cs.washington.edu)

3 points

6 years ago

165.

Specification and verification in the field: Applying formal methods to BPF JITs [pdf] (unsat.cs.washington.edu)

3 points

6 years ago

166.

Continuous compliance with lightweight verification tools [pdf] (homes.cs.washington.edu)

3 points

6 years ago

167.

Capability-based computer systems. (1984) (homes.cs.washington.edu)

3 points

6 years ago

168.

Carpentry Compiler: Convert geometric designs by users to low-level instructions (grail.cs.washington.edu)

3 points

6 years ago

169.

Capability-Based Computer Systems (homes.cs.washington.edu)

3 points

6 years ago

170.

Carpentry Compiler (grail.cs.washington.edu)

3 points

6 years ago

171.

How Not to Measure Computer System Performance (homes.cs.washington.edu)

3 points

7 years ago

172.

Lazier than Lazy Greedy (homes.cs.washington.edu)

3 points

8 years ago

173.

CSE455 – Computer Vision course taught by creator of YOLO algorithm (courses.cs.washington.edu)

3 points

8 years ago

174.

An Empirical Study on the Correctness of Formally Verified Distributed Systems [pdf] (homes.cs.washington.edu)

3 points

8 years ago

175.

Exploring ADINT: How Alice Can Buy Ads to Track Bob [pdf] (adint.cs.washington.edu)

3 points

8 years ago

176.

Coordination-Free Consistent Transactions Using In-Net Concurrency Control [pdf] (syslab.cs.washington.edu)

3 points

9 years ago

177.

MapReduce: A major step backwards (2008) (homes.cs.washington.edu)

3 points

9 years ago

178.

Covertband: Activity Information Leakage Using Music (musicattacks.cs.washington.edu)

3 points

9 years ago

179.

Compromising Computers with Synthesized DNA, Privacy Leaks, and More [pdf] (dnasec.cs.washington.edu)

3 points

9 years ago

180.

Compromising Computers with Synthesized DNA [pdf] (dnasec.cs.washington.edu)

3 points

9 years ago