34202 search results - page 212 / 6841 » The Tera computer system |
168
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...
165
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
A key challenge in ubiquitous computing is how to manage ambient information about the environment where a variety of devices appear. Traditional capability descriptions are inadeq...
179
click to vote
USENIX
2000
15 years 8 months ago
2000
In this paper, we document the evolution of a banner ad delivery system from a simple CGI script written in Perl running on a single host into a distributed computing application ...
