Sciweavers

2662 search results - page 213 / 533
» Tools Demonstrations
Sort
View
PVM
2007
Springer
15 years 11 months ago
Self-consistent MPI Performance Requirements
Abstract. The MPI Standard does not make any performance guarantees, but users expect (and like) MPI implementations to deliver good performance. A common-sense expectation of perf...
Jesper Larsson Träff, William Gropp, Rajeev T...
SAFECOMP
2007
Springer
15 years 11 months ago
Improving Test Coverage for UML State Machines Using Transition Instrumentation
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
Mario Friske, Bernd-Holger Schlingloff
SCALESPACE
2007
Springer
15 years 11 months ago
Numerical Invariantization for Morphological PDE Schemes
Abstract. Based on a new, general formulation of the geometric method of moving frames, invariantization of numerical schemes has been established during the last years as a powerf...
Martin Welk, Pilwon Kim, Peter J. Olver
SEMWEB
2007
Springer
15 years 11 months ago
OWL-CM: OWL Combining Matcher based on Belief Functions Theory
In this paper we propose a new tool called OWL-CM (OWL Combining Matcher) that deals with uncertainty inherent to ontology mapping process. On the one hand, OWL-CM uses the techniq...
Boutheina Ben Yaghlane, Najoua Laamari
SG
2007
Springer
15 years 11 months ago
Data-Embeddable Texture Synthesis
Abstract. Data hiding techniques onto images provide tools for protecting copyright or sending secret messages, and they are currently utilized as a simple input device of a cell p...
Hirofumi Otori, Shigeru Kuriyama