579 search results - page 51 / 116 » Constraint Validation in Model Compilers |
ER
2010
Springer
13 years 6 months ago
2010
Springer
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
MICCAI
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. This paper presents a novel approach for multi-organ (musculoskeletal system) automatic registration and segmentation from clinical MRI datasets, based on discrete deform...
ASPDAC
2010
ACM
13 years 6 months ago
2010
ACM
Over the course of this decade, uniprocessor chips have given way to multi-core chips which have become the primary building blocks of today's computer systems. The presence o...
IEEESCC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a meta-model based approach to services applications deployment on constrained Execution Environments (EEs) which contain heterogeneous services implementation...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
In this paper, the formation flight of multiple Unmanned Helicopter (UH) systems is researched and a new decentralized receding horizon formation control algorithm is supposed. The...