Search for tag: "execution"

Introduction to GPU Computing

This video presents materials for getting started with running GPU codes on the Princeton Research Computing clusters. It also provides an introduction to writing CUDA kernels and examples of using…

From  jdh4 Halverson 0 likes 0 plays

CITP Lecture: "Arbitrum: From Lab to Market"

The Arbitrum blockchain protocol started as a Princeton University research project, and has grown into a robust community hosting hundred of applications and over 600,000 monthly users. Along the…

From  Broadcast Broadcast Center Staff 0 likes 26 plays

Shuwen Deng 03.21.2022 Job Talk P.2

From  Broadcast Broadcast Center Staff 0 likes 76 plays

cos326-2020-17-01-type-checking-rules

Type Checking: Part 1: Formal Rules

From  Daniel Macleod 0 likes 154 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod 0 likes 273 plays

TigerTalks Digital: How to Build and Sustain a Culture of Innovation

Part of the TigerTalks Digital series, this panel explored How to Build and Sustain a Culture of Innovation. Startups begin with an innovative idea. But, is the culture established in the early…

From  PEC PEC Events 0 likes 22 plays