1974 search results - page 93 / 395 » A Library System for Small-Scale Library |
104
click to vote
CLUSTER
2002
IEEE
15 years 6 months ago
2002
IEEE
In a Linux cluster, as in any multi-processor system, the inter-processor communication rate is the major limiting factor to its general usefulness. This research is geared toward...
106
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Field-programmable gate arrays (FPGAs) are a promising technology that can be used in database systems. In this demonstration we show Glacier, a library and a compiler that can be...
DL
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we present DIAMS, a system of distributed,collaborative information agents which help users access, collect, organize and exchange information on the World Wide Web...
101
click to vote
ITP
2010
15 years 5 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
112
click to vote
EDM
2010
15 years 3 months ago
2010
In this paper the authors describe Pundit, a course recommendation and search tool at Teachers College, Columbia University. The alpha prototype employs a novel combination of data...