3378 search results - page 289 / 676 » A universe of binding and computation |
181
click to vote
FOSSACS
2003
Springer
16 years 4 hour ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
206
click to vote
SCCC
2002
IEEE
15 years 11 months ago
2002
IEEE
The distribution of keys by a hash function as used in hash search with chaining is studied by considering the distribution of keys a random function from keys to buckets would gi...
169
click to vote
CSEE
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an approach to incorporate PSP into a traditional Software Engineering course that is typically contained within a Computer Science curriculum. Advantages and ...
163
click to vote
NOSSDAV
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an extensive analysis of the client workloads for educational media servers at two major U.S. universities. The goals of the analysis include providing data fo...
193
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Group communication is a widely studied paradigm for building fault-tolerant distributed systems. The Armada project at the University of Michigan is a collaborative effort with t...