.:. Browse > Domain list > Computer Aided Engineering .:.

114 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Gouvernance et étude de l'impact du changement des processus métiers sur les architectures orientées services : une approche dirigée par les modèles Dahman K. Université de Lorraine (30/10/2012), François CHAROY (Dir.) [tel-00785771 - version 1]

Multi-Objective Optimization of Formal Specifications Struck S., Lipaczewski M., Ortmeier F., Güdemann M. Dans HASE - 14th High Assurance System Engineering Symposium - 2012 (2012) 201-208 [hal-00735640 - version 1]

An analysis of DMU transformation requirements for structural assembly simulations Boussuge F., Léon J.-C., Hahmann S., Fine L. Dans The Eighth International Conference on Engineering Computational Technology (2012) [hal-00765407 - version 1]

Formalization of Semantic Annotation for Systems Interoperability in a PLM environment Liao Y., Lezoche M., Rocha Loures E., Panetto H., Boudjlida N. Dans OTM Federated conferences and worlshops, 2nd Workshop on Industrial and Business Applications of Semantic Web Technologies (INBAST) LNCS 7567 (2012) 207-218 [hal-00722740 - version 1]

Fractal à la Coq Gaspar N., Madelaine E. Dans Conférence en IngénieriE du Logiciel (2012) [hal-00725291 - version 2]

Feature-Preserving Surface Reconstruction and Simplification from Defect-Laden Point Sets Digne J., Cohen-Steiner D., Alliez P., Desbrun M., De Goes F. N° RR-7991 (2012) [hal-00706712 - version 1]

Semantics enactment for interoperability assessment in Enterprise Information Systems Yahia E., Lezoche M., Aubry A., Panetto H. Annual Reviews in Control 36, 1 (2012) 101-117 [hal-00671856 - version 1]

Automatic Multi-GPU Code Generation Applied to Simulation of Electrical Machines De Oliveira Rodrigues A. W., Guyomarc'H F., Dekeyser J.-L., Le Menach Y. Magnetics, IEEE Transactions on 48, 2 (2012) 831 - 834 [hal-00670150 - version 1]

CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués Garavel H., Lang F., Mateescu R., Salaün G., Serwe W. Dans Approches Formelles dans l'Assistance au Développement de Logiciels (2012) [hal-00667288 - version 1]

FPGA-Specific Synthesis of Loop-Nests with Pipelined Computational Cores Alias C., Pasca B., Plesco A. N° RR-7674 (2011) [inria-00606977 - version 1]