4421 search results - page 305 / 885 » Libraries |
135
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The data model of an application, the nature and format of data stored across executions, is typically a very rigid part of its early specication, even when prototyping, and chang...
132
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
143
click to vote
FGCS
2006
15 years 4 months ago
2006
The hypre software library is being developed with the aim of providing scalable solvers for the solution of large, sparse linear systems on massively parallel computers. To this e...
123
click to vote
IJRR
2008
15 years 4 months ago
2008
jr.sagepub.com/cgi/content/abstract/27/6/693 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Multimedia Archives can...
115
click to vote
JIS
2008
15 years 4 months ago
2008
Bibliometrics has changed out of all recognition since 1958; becoming established as a field, being taught widely in library and information science schools, and being at the core...