4421 search results - page 367 / 885 » Libraries |
130
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subs...
123
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
We define an interpretation of the Isabelle/HOL logic in HOL Light and its metalanguage, OCaml. Some aspects of the Isabelle logic are not representable directly in the HOL Light o...
141
Voted
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
An information retrieval technique, latent semantic indexing, is used to automatically identify traceability links from system documentation to program source code. The results of...
159
click to vote
SETN
2010
Springer
15 years 12 months ago
2010
Springer
The preservation of digital objects is a topic of prominent importance for archives and digital libraries. This paper focuses on the problem of preserving the performability of tas...
128
click to vote
PDP
2009
IEEE
15 years 12 months ago
2009
IEEE
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...