Index of /~dpw/courses/cos326-12/lec
Index of /~dpw/courses/cos326-12/lec NameLast modifiedSizeDescription Parent Directory - 01-intro.pdf 2012-09-17 13:05 720K 02-intro-ocaml.pdf 2012-09-17 13:42 1.4M 02b-let-tuples.pdf 2012-09-22 14:50 1.6M 02c-unit-option.pdf 2012-09-19 10:05 875K 03-recursion.pdf 2012-09-24 13:10 1.1M 04-poly-ho.pdf 2012-09-26 13:30 2.6M 04b-lists-and-pipe.pdf 2012-10-01 19:45 2.3M 05-datatypes.pdf 2012-10-01 1
COS 318: Midterm 2008 Solutions
Short Answer Questions [15 points] [3 points] Do device drivers typically run in kernel mode or user mode? Why? What might you have to do in order to run them in the other mode? What would the advantage be? [2 points] DMA seems like a very good idea. When is DMA not a good idea? In what circumstances would you have the CPU do the work and not include a DMA controller in a computer you design? [2 p
Computer Science Department at Princeton University
Welcome to the Department of Computer Science at Princeton University. Princeton has been at the forefront of computing since Alan Turing, Alonzo Church and John von Neumann were among its residents. Our department is home to about 60 faculty members, with strong groups in theory, networks/systems, vision/graphics, architecture/compilers, programming languages, security/policy, machine learning, n
Elad Hazan
Professor of Computer Science, Princeton University Director and co-founder, Google AI Princeton I study the automation of the learning mechanism and its efficient algorithmic implementation. This study centers in the field of machine learning and touches upon mathematical optimization, game theory, statistics and computational complexity. For more details, see research and bio pages. For more inf
COS597A (Fall 2017) New Directions in Theoretical Machine Learning
Computer Science 597A New Directions in Theoretical Machine Learning Sanjeev Arora Course Summary This is a graduate seminar focused on research in theoretical machine learning. Recent successes of machine learning involve nonconvex optimization problems, many of which are are NP-hard in the worst case. This complicates developing a theoretical understanding of these problems. List of topics will
main.dvi
CUBIC: A New TCP-Friendly High-Speed TCP Variant ∗ Sangtae Ha, Injong Rhee Dept of Computer Science North Carolina State University Raleigh, NC 27695 {sha2,rhee}@ncsu.edu Lisong Xu Dept of Comp. Sci. and Eng. University of Nebraska Lincoln, Nebraska 68588 xu@cse.unl.edu ABSTRACT CUBIC is a congestion control protocol for TCP (transmis- sion control protocol) and the current default TCP algo- rithm
Pagerank Explained Correctly with Examples
The Google Pagerank Algorithm and How It Works Ian Rogers IPR Computing Ltd. ian@iprcom.com Introduction Page Rank is a topic much discussed by Search Engine Optimisation (SEO) experts. At the heart of PageRank is a mathematical formula that seems scary to look at but is actually fairly simple to understand. Despite this many people seem to get it wrong! In particular “Chris Ridings of www.searche
Andrew Appel's Home Page
Andrew W. Appel Eugene Higgins Professor of Computer Science Department of Computer Science Princeton University Research Interests: program verification, computer security, programming language semantics, machine-checked proofs, compilers, and election technology. Applicants to the PhD program interested in programming languages and formal methods should consider Professor Milano (in addition to
Robert Sedgewick - Robert Sedgewick
Robert Sedgewick is the founding chair and the William O. Baker Professor in the Department of Computer Science at Princeton University. He was a member of the board of directors of Adobe Systems from 1990 to 2016, served on the faculty at Brown University from 1975 to 1985, and has held visiting research positions at Xerox PARC, IDA, and INRIA. His research expertise is in algorithm science, data
Modern Compiler Implementation in ML
©1998 by Andrew W. Appel Published by Cambridge University Press (New York, Cambridge). ISBN 0-521-60764-7 (paperback) Table of Contents; Preface Reviews of this book Also available: Modern Compiler Implementation in Java Modern Compiler Implementation in C Software Which version of ML to use ML-Lex Lexical Analyzer Generator ML-Yacc Parser Generator SPIM (and why you might want to use it if you d
Elad Hazan
Professor of Computer Science, Princeton University Director and co-founder, Google AI Princeton I study the automation of the learning mechanism and its efficient algorithmic implementation. This study centers in the field of machine learning and touches upon mathematical optimization, game theory, statistics and computational complexity. For more details, see research and bio pages. For more inf
COS 326: Functional Programming
Using a Virtual Machine Environment We will provide a virtual machine environment pre-configured for use in the course. If you have a Windows machine, it may be easiest if you use this option. This is is also a fine option for Mac or Linux users. You can install the VM software from VirtualBox This course's pre-configured Ubuntu image can be downloaded from the course site. WARNING: It is quite la
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Graphs to color
https://www.cs.princeton.edu/~ctrippel/ctrippel_ASPLOS17_talk.pdf
beautiful.html - A Regular Expression Matcher - Code by Rob Pike - Exegesis by Brian Kernigha
COS 528, Fall 2003: Home Page
https://www.cs.princeton.edu/~rajeshr/papers/KRGB_nips2015.pdf
https://www.cs.princeton.edu/courses/archive/fall11/cos597C/lectures/ppc.pdf
https://www.cs.princeton.edu/~appel/papers/97.ps
https://www.cs.princeton.edu/courses/archive/fall09/cos126/lectures/22CPU-2x2.pdf