Search: cs.cornell.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

News flash: Female computer-science professor good with computers (2014)

5 years ago

1 points

242.

CompCert: Formally Verified C Compiler (2019)

5 years ago

1 points

243.

Reticle: A Virtual Machine for Programming Modern FPGAs [pdf]

5 years ago

1 points

244.

Great works in Programming Language research

pl.cs.cornell.edu

5 years ago

1 points

245.

Program Synthesis is Possible (2018)

6 years ago

1 points

246.

Uncrudify the New ACM Digital Library

6 years ago

1 points

247.

A Modification of the Halpern-Pearl Definition of Causality [pdf]

6 years ago

1 points

248.

Moser's Algorithm and the Lovász Local Lemma

6 years ago

1 points

249.

CS1114 Section 6: Convolution (2013) [pdf]

7 years ago

1 points

250.

LLVM for Grad Students

7 years ago

1 points

251.

Authoritative Sources in a Hyperlinked Environment (1999) [pdf]

7 years ago

1 points

252.

Measuring Computer Systems Is Almost Certainly Harder Than You Think

7 years ago

1 points

253.

System Security - Something You Know, Have, or Are

15 years ago

1 points

254.

Amortized Analysis

7 years ago

1 points

255.

Typed Assembly Language: guarantees memory, control flow, and type safety (2002)

7 years ago

1 points

256.

Fabric Project Aims to Make All Code Secure

16 years ago

1 points

257.

CS5412 – Spring 2018 Focus: Cloud Integration with the Internet of Things

8 years ago

1 points

258.

Common Knowledge Revisited (1995) [pdf]

8 years ago

1 points

259.

Exploiting Temporal Redundancy for Live Computer Vision

capra.cs.cornell.edu

8 years ago

1 points

260.

Setting Up Awesome Window Manager on Ubuntu

8 years ago

1 points

261.

Can Peer Review Be Better Focused?

9 years ago

1 points

262.

Supercloud: live application migration across cloud providers

fireless.cs.cornell.edu

9 years ago

1 points

263.

Google: Designs, Lessons and Advice from Building Distributed Systems [2009]

docs.google.com

16 years ago

1 points

264.

Inverse-Foley Animation: Synchronizing rigid-body motions to sound

10 years ago

1 points

265.

Networks, Crowds, and Markets [ebook]

10 years ago

1 points

266.

Convert your still image into 3D model

make3d.cs.cornell.edu

11 years ago

1 points

267.

Centiman: Elastic, High Performance Optimistic Concurrency Control by Watermarks [pdf]

11 years ago

1 points