Sciweavers

650 search results - page 39 / 130
» Towards automatic model synchronization from model transform...
Sort
View
FMICS
2010
Springer
13 years 9 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
PVM
2010
Springer
13 years 6 months ago
Toward Performance Models of MPI Implementations for Understanding Application Scaling Issues
Abstract. Designing and tuning parallel applications with MPI, particularly at large scale, requires understanding the performance implications of different choices of algorithms ...
Torsten Hoefler, William Gropp, Rajeev Thakur, Jes...
ICIP
2002
IEEE
14 years 9 months ago
Seafloor video mapping: modeling, algorithms, apparatus
This paper discusses technique used for construction of highresolution image mosaic from a video sequence and the synchronously logged camera attitude information. It allows one t...
Yuri Rzhanov, Lloyd Huff, G. Randy Cutter
ECMDAFA
2009
Springer
119views Hardware» more  ECMDAFA 2009»
13 years 5 months ago
Managing Model Adaptation by Precise Detection of Metamodel Changes
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
Kelly Garcés, Frédéric Jouaul...
DAS
2010
Springer
13 years 11 months ago
Toward affine recognition of handwritten mathematical characters
We address the problem of handwritten symbol classification in the presence of distortions modeled by affine transformations. We consider shear, rotation, scaling and translation,...
Oleg Golubitsky, Vadim Mazalov, Stephen M. Watt