1.
EXPANDER GRAPHS
File Format: Microsoft Powerpoint - View as HTML Consider a family of expander graphs (GN) and assume that N = 2n for some n, and that the vertices of GN are the 2n strings of length n. ...
2.
Access Statistics for www.cs.bu.edu
... 0.00 115927 25 | edu.odu.cc 0.01 0.01 157046 17 | edu.odu.cs 0.00 0.00 33301 1 ...... 0.06 0.00 79310 165 | /courses/cs101/prev.gif 0.02 0.00 123682 67 ...
3.
Access Statistics for www.cs.bu.edu
... 0.02 580602 40 | ca.sfu 0.01 0.01 226442 21 | ca.sfu.cs 0.00 0.00 11211 2 ..... 0.02 0.02 688424 64 | com.emc.isus 0.13 0.52 14863754 343 | com.emc.lss ...
4.
Xanadu: Imperative Programming with Dependent Types
Feb 6, 2001 ... Therefore, code recipient often needs to perform certain static and/or ... Xanadu is a dependently typed imperative programming language. ...
5.
CS-101: From gates to adders!
The above two examples are simple, since one can predict the behavior of many AND gates connected together or the behavior of many OR gates connected ...
6.
Computer Science 320 (Fall, 2008) -- Concepts of Programming ...
... op) ty0 (If e1 e2 e3) = case (ty0 e1, ty0 e2, ty0 e3) of (Error msg, _, ... e1 e2 e3) = case (ty1 gamma e1, ty1 gamma e2, ty1 gamma e3) of (Error msg, ...
7.
union <'a> list with nat { Nil(0); {n:nat} Cons(n+1) of 'a * <'a ...
... exit; } ('a){m:nat,n:nat} <'a> list(m+n) append (xs: <'a> list(m), ys: <'a> list(n)) { var: 'a x;; switch (xs) { case Nil: return ys; case Cons(x, ...
8.
Database Lab at Boston University
The primary purpose of the database lab is to conduct research on all aspects of database management systems and advanced database applications. ...
9.
L. Levin. Theory of Computation.
Example of a Narrow Computation: Inverting a Function. ... You can also click for my papers (some online), my CV, or my research overview.
10.
M RC: Multiplicative-increase/additive-decrease Multipath Routing ...
File Format: Adobe PostScript - View as HTML RC becomes less effective in. saving power. The reason is as we mentioned above, an ag-. gressive protocol like GRAB will deliver better performance ...
