13457 search results - page 2376 / 2692 » Design and Development of the Long-Jumping |
225
click to vote
EDBT
2009
ACM
16 years 2 months ago
2009
ACM
Database storage managers have long been able to efficiently handle multiple concurrent requests. Until recently, however, a computer contained only a few single-core CPUs, and th...
182
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
228
click to vote
BTW
2009
Springer
16 years 2 months ago
2009
Springer
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...
252
click to vote
ICCS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
221
click to vote
MKM
2009
Springer
16 years 2 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...