4421 search results - page 345 / 885 » Libraries |
162
click to vote
CIA
1998
Springer
15 years 10 months ago
1998
Springer
One of our goals when building the University of Michigan Digital Library UMDL has been to prototype an architecture that can continually recon gure itself as users, contents, and ...
159
click to vote
DL
1998
Springer
15 years 10 months ago
1998
Springer
We describe an extensible constructor tool that helps information experts (e.g., librarians) create specialized query synthesizers for heterogeneous digital-library environments. ...
161
Voted
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
187
click to vote
HOTOS
1997
IEEE
15 years 10 months ago
1997
IEEE
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...
211
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
We present the Data Parallel Fortran (DPF) benchmark suite, a set of data parallel Fortran codes forevaluatingdata parallel compilers appropriatefor any target parallel architectu...