Search: cs.cmu.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

721.

Mitigating Memory-Safety Bugs with Efficient Out-of-Process Integrity Checking [pdf] (reports-archive.adm.cs.cmu.edu)

1 point

5 years ago

722.

An Approach to Teaching to Write Safe and Correct Imperative Programs in C* [pdf] (cs.cmu.edu)

1 point

5 years ago

723.

Modules, Abstraction, and Parametric Polymorphism [pdf] (cs.cmu.edu)

1 point

5 years ago

724.

OSI Reference Model – The ISO Model of Architecture for Open Systems Interconne [pdf] (cs.cmu.edu)

1 point

5 years ago

725.

A Dependently Typed Assembly Language [pdf] (cs.cmu.edu)

1 point

5 years ago

726.

Advice to a Beginning Graduate Student (By Manual Blum) (cs.cmu.edu)

1 point

5 years ago

727.

Algorithm Uses Online Ads to Identify Human Traffickers (cs.cmu.edu)

1 point

5 years ago

728.

Improving API Usability [pdf] (cs.cmu.edu)

1 point

5 years ago

729.

Buggy Image Resizing Operations (cs.cmu.edu)

1 point

5 years ago

730.

Physically Based Modeling: Principles and Practice (1997) (cs.cmu.edu)

1 point

5 years ago

731.

Can Advanced Type Systems Be Usable? [pdf] (cs.cmu.edu)

1 point

5 years ago

732.

Integrating a Command Shell into a Web Browser (2000) (cs.cmu.edu)

1 point

5 years ago

733.

From Shader Code to a Teraflop: How Shader Cores Work (2008) [pdf] (cs.cmu.edu)

1 point

5 years ago

734.

Randy Pausch's last speech at CMU, May 18, 2008 [video] (cs.cmu.edu)

1 point

15 years ago

735.

Automated Theorem Proving course notes [pdf] (cs.cmu.edu)

1 point

15 years ago

736.

What can machine learning do? Work force implications (2017) [pdf] (cs.cmu.edu)

1 point

6 years ago

737.

Modeling and Analyzing Evaluation Cost of CUDA Kernels (POPL 2021) [pdf] (cs.cmu.edu)

1 point

6 years ago

738.

Smiley Lore:-) (cs.cmu.edu)

1 point

6 years ago

739.

A Distributed Architecture for Interactive Multiplayer Games [pdf] (cs.cmu.edu)

1 point

6 years ago

740.

Analysis of Complex Geometric Models Made Simple (cs.cmu.edu)

1 point

6 years ago

741.

Lightweight Preemptible Functions [pdf] (cs.cmu.edu)

1 point

6 years ago

742.

The Anatomy of Interest: Women in Undergraduate Computer Science (cs.cmu.edu)

1 point

6 years ago

743.

A Master of Transformations – Bryant Ready for Next Step: Retirement (cs.cmu.edu)

1 point

6 years ago

744.

Reflections on Trusting Trust (1984) [pdf] (cs.cmu.edu)

1 point

6 years ago

745.

Reflections on Trusting Trust (Ken Thompson's Turing Award Lecture) [pdf] (cs.cmu.edu)

1 point

6 years ago

746.

Understanding the Impact Of Video Quality on User Engagement (2011) [pdf] (cs.cmu.edu)

1 point

6 years ago

747.

New Device Simulates Feel of Walls, Solid Objects in Virtual Reality (cs.cmu.edu)

1 point

6 years ago

748.

Knowledge Base Requirements For Human-Like Thought (sef-linux.radar.cs.cmu.edu)

1 point

18 years ago

749.

Jaime Carbonell, 'godfather of language technologies,' Has Died (cs.cmu.edu)

1 point

6 years ago

750.

Reflections on Trusting Trust: Ken Thompson [pdf] (cs.cmu.edu)

1 point

6 years ago