1205 search results - page 128 / 241 » Program Extraction from Large Proof Developments |
116
Voted
BMCBI
2006
15 years 1 months ago
2006
Background: Scientific literature is a source of the most reliable and comprehensive knowledge about molecular interaction networks. Formalization of this knowledge is necessary f...
TVCG
2010
14 years 12 months ago
2010
—Characteristic curves of vector fields include stream, path, and streak lines. Stream and path lines can be obtained by a simple vector field integration of an autonomous ODE ...
103
click to vote
GPCE
2007
Springer
15 years 5 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
124
click to vote
PODS
2010
ACM
15 years 6 months ago
2010
ACM
In the last few years, a lot of attention has been paid to the specification and subsequent manipulation of schema mappings, a problem which is of fundamental importance in metad...
132
click to vote
IWMM
2010
Springer
15 years 6 months ago
2010
Springer
With the availability of chip multiprocessor (CMP) and simultaneous multithreading (SMT) machines, extracting thread level parallelism from a sequential program has become crucial...