Sciweavers

387 search results - page 59 / 78
» A generic topology library
Sort
View
123
Voted
IJHPCA
2006
117views more  IJHPCA 2006»
15 years 1 months ago
MPICH-V Project: A Multiprotocol Automatic Fault-Tolerant MPI
Abstract-- High performance computing platforms like Clusters, Grid and Desktop Grids are becoming larger and subject to more frequent failures. MPI is one of the most used message...
Aurelien Bouteiller, Thomas Hérault, G&eacu...
109
Voted
IS
2007
15 years 1 months ago
Matching large schemas: Approaches and evaluation
Current schema matching approaches still have to improve for large and complex Schemas. The large search space increases the likelihood for false matches as well as execution time...
Hong Hai Do, Erhard Rahm
CAD
2004
Springer
15 years 1 months ago
A concurrent engineering-oriented design database representation model
A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In ...
Deyi Xue, Haoguang Yang
116
Voted
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 10 days ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
115
Voted
SEMWEB
2010
Springer
14 years 11 months ago
How to Reuse a Faceted Classification and Put It on the Semantic Web
There are ontology domain concepts that can be represented according to multiple alternative classification criteria. Current ontology modeling guidelines do not explicitly conside...
Bene Rodriguez-Castro, Hugh Glaser, Leslie Carr