Search: washington.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Empirical Study of Correctness of Formally-Verified, Distributed Systems [pdf] (locore.cs.washington.edu)

2 points

9 years ago

362.

Superoptimizer – A look at smallest program (1987) [pdf] (courses.cs.washington.edu)

2 points

9 years ago

363.

What Makes Tom Hanks Look Like Tom Hanks [Paper] (grail.cs.washington.edu)

2 points

11 years ago

364.

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

2 points

11 years ago

365.

A History of Modern 64-bit Computing (2007) [pdf] (courses.cs.washington.edu)

2 points

11 years ago

366.

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

2 points

11 years ago

367.

Program Synthesis Explained for Computer Architecture Professors (homes.cs.washington.edu)

2 points

11 years ago

368.

Scientists strip zebrafish of their stripes (washington.edu)

2 points

12 years ago

369.

Automated age-progression software lets you see how a child will age (washington.edu)

2 points

12 years ago

370.

A Grading Rubric for Bug Reports (homes.cs.washington.edu)

2 points

12 years ago

371.

How to Get the Most Out of a Startup (talk by Glenn Kelman) (norfolk.cs.washington.edu)

2 points

19 years ago

372.

Time for New Journals in Computer Science (homes.cs.washington.edu)

2 points

12 years ago

373.

Illumination-Aware Age Progression (grail.cs.washington.edu)

2 points

12 years ago

374.

Reflected smartphone transmissions enable gesture control (washington.edu)

2 points

12 years ago

375.

Probabilistic Assertions (homes.cs.washington.edu)

2 points

12 years ago

376.

Put It in Hardware (homes.cs.washington.edu)

2 points

12 years ago

377.

Neuroscience for kids (faculty.washington.edu)

2 points

12 years ago

378.

Vanish: Self-Destructing Data in the Cloud using a DHT (vanish.cs.washington.edu)

2 points

17 years ago

379.

Battery-free technology brings gesture recognition to all devices (washington.edu)

2 points

12 years ago

380.

AllSee: Bringing Gesture Recognition To All Devices (allsee.cs.washington.edu)

2 points

12 years ago

381.

The Checker Framework: Custom pluggable types for Java (types.cs.washington.edu)

2 points

12 years ago

382.

The GPL and Derivative Works (law.washington.edu)

2 points

17 years ago

383.

SecureDrop Security Assessment (Aug 2013) by Schneier et al [pdf] (homes.cs.washington.edu)

2 points

13 years ago

384.

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

2 points

13 years ago

385.

Cleanroom: Edit-Time Error Detection with the Uniqueness Heuristic (faculty.washington.edu)

2 points

13 years ago

386.

New tasks become as simple as waving a hand with brain-computer interfaces (washington.edu)

2 points

13 years ago

387.

Rocket powered by nuclear fusion could send humans to Mars (washington.edu)

2 points

13 years ago

388.

Easy, Slow Dynamic Analysis With the LLVM Interpreter (homes.cs.washington.edu)

2 points

13 years ago

389.

Strategies of Divergent Thinking (faculty.washington.edu)

2 points

13 years ago

390.

PhotoChango: A video audiolyzing synthesizer in HTML5 (homes.cs.washington.edu)

2 points

14 years ago