Sciweavers

3645 search results - page 1 / 729
» Implementing mapping composition
Sort
View
VLDB
2008
ACM
156views Database» more  VLDB 2008»
14 years 5 months ago
Implementing mapping composition
Mapping composition is a fundamental operation in metadata driven applications. Given a mapping over schemas 1 and 2 and a mapping over schemas 2 and 3, the composition problem is...
Philip A. Bernstein, Todd J. Green, Sergey Melnik,...
VLDB
2005
ACM
165views Database» more  VLDB 2005»
13 years 10 months ago
Semantic Adaptation of Schema Mappings when Schemas Evolve
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
Cong Yu, Lucian Popa
CAV
1998
Springer
147views Hardware» more  CAV 1998»
13 years 9 months ago
Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
Kenneth L. McMillan
ICWS
2009
IEEE
13 years 2 months ago
A MapReduce-Enabled Scientific Workflow Composition Framework
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
Xubo Fei, Shiyong Lu, Cui Lin
NPL
2002
151views more  NPL 2002»
13 years 4 months ago
Additive Composition of Supervised Self Organizing Maps
The learning of complex relationships can be decomposed into several neural networks. The modular organization is determined by prior knowledge of the problem that permits to split...
Jean-Luc Buessler, Jean-Philippe Urban, Julien Gre...