Search: washington.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

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

unsat.cs.washington.edu

6 years ago

3 points

302.

Continuous compliance with lightweight verification tools [pdf]

homes.cs.washington.edu

6 years ago

3 points

303.

Capability-based computer systems. (1984)

homes.cs.washington.edu

6 years ago

3 points

304.

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

grail.cs.washington.edu

6 years ago

3 points

305.

Capability-Based Computer Systems

homes.cs.washington.edu

7 years ago

3 points

306.

Carpentry Compiler

grail.cs.washington.edu

7 years ago

3 points

307.

Swordfish as oceanographers? Satellite tags allow research of ‘twilight zone’

7 years ago

3 points

308.

Gloves that can translate sign language

7 years ago

3 points

309.

How Not to Measure Computer System Performance

homes.cs.washington.edu

7 years ago

3 points

310.

Python Libraries All Researchers Should Know About

stat.washington.edu

16 years ago

3 points

311.

Lazier than Lazy Greedy

homes.cs.washington.edu

8 years ago

3 points

312.

CSE455 – Computer Vision course taught by creator of YOLO algorithm

courses.cs.washington.edu

8 years ago

3 points

313.

User Interface Software and Technology

faculty.washington.edu

8 years ago

3 points

314.

Examining Trolls and Polarization with a Retweet Network [pdf]

faculty.washington.edu

8 years ago

3 points

315.

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

homes.cs.washington.edu

8 years ago

3 points

316.

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

adint.cs.washington.edu

8 years ago

3 points

317.

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

syslab.cs.washington.edu

9 years ago

3 points

318.

MapReduce: A major step backwards (2008)

homes.cs.washington.edu

9 years ago

3 points

319.

Covertband: Activity Information Leakage Using Music

musicattacks.cs.washington.edu

9 years ago

3 points

320.

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

dnasec.cs.washington.edu

9 years ago

3 points

321.

Compromising Computers with Synthesized DNA [pdf]

dnasec.cs.washington.edu

9 years ago

3 points

322.

Synthesizing Obama: A neural network to make speaking videos from audio samples

grail.cs.washington.edu

9 years ago

3 points

323.

Implementing Deep Learning Systems Course

dlsys.cs.washington.edu

9 years ago

3 points

324.

CSE 599G1: Deep Learning System

dlsys.cs.washington.edu

9 years ago

3 points

325.

The Reality of Repressed Memories

faculty.washington.edu

9 years ago

3 points

326.

Has anyone else found Sum Product Networks interesting? [pdf]

alchemy.cs.washington.edu

9 years ago

3 points

327.

A brief history of software engineering research

faculty.washington.edu

9 years ago

3 points

328.

$50M Endowment Establishes Paul G. Allen School of CS&E at UW

9 years ago

3 points

329.

Minimum Wage Study: Effects of Seattle Wage Hike

10 years ago

3 points

330.

New study suggests marsupials originated in N. America

10 years ago

3 points