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 16 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 32 plays

Shuwen Deng 03.21.2022 Job Talk P.2

From  Broadcast Broadcast Center Staff 0 likes 81 plays

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

Type Checking: Part 1: Formal Rules

From  Daniel Macleod 0 likes 155 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