Source: 1st workshop on Model Based Engineering for Embedded Systems Design - Design, Automation and Test in Europe (DATE 2010)https://inria.hal.science/inria-00486845

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Virtual Platform for Embedded System Power Estimation

Authors : Rethinagiri, Santhosh Kumar; Ben Atitallah, Rabie; Dekeyser, Jean-Luc ...

Subjects: [INFO.INFO-ES]Computer Science [cs]/Embedded SystemsDresden; Germany

Source: DATE-2012 ; https://inria.hal.science/hal-00673911 ; DATE-2012, Rainer Leupers, Mar 2012, Dresden, Germany

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded System

Authors : Gamatié, Abdoulaye; Gautier, Thierry;

Subjects: Distributed embedded systems; correct-by-construction design methodology; safety-critical domains

Source: ISSN: 1045-9219 ; IEEE Transactions on Parallel and Distributed Systems ; https://hal.science/hal-00550056 ; IEEE Transactions on Parallel and Distributed Systems, 2010, 21 (5), pp.641-657.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Extended Model driven Architecture to B Method

Authors : Aljer, Ammar; Devienne, Philippe;

Subjects: MDA; B method; Co-design Refinement

Source: ISSN: 1994-4608.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Report

Alternative schemes for low-footprint operating systems building

Authors : Rippert, Christophe; Deville, Damien; Grimaud, Gilles ...

Subjects: SYSTEM CUSTOMIZATION; EMBEDDED SYSTEM; JAVAOS

Source: https://inria.hal.science/inria-00070774 ; [Research Report] RR-5220, INRIA. 2004, pp.12.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model ; Un Modèle Réactif Basé sur MARTE Dédié au Calcul Intensif à Parallélisme de Données : Transformation vers le Modèle Synchrone

Authors : Huafeng, Yu;

Subjects: parallelism; reactive control; systems-on-chip

Source: https://theses.hal.science/tel-00497248 ; Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2008. English. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Using Feature Model to Build Model Transformation Chains

Authors : Aranega, Vincent; Etien, Anne; Mosser, Sébastien ...

Subjects: Feature Model; Model Transformation; Software Product LineInnsbruck; Austria

Source: MODELS 2012 - 15th International Conference on Model Driven Engineering Languages and Systems ; https://inria.hal.science/hal-00838532 ; MODELS 2012 - 15th International Conference on Model Driven

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Polychronous mode automata

Authors : Talpin, Jean-Pierre; Brunette, Christian; Gautier, Thierry ...

Subjects: [INFO.INFO-ES]Computer Science [cs]/Embedded SystemsSeoul; South Korea

Source: Proceedings of the 6th ACM & IEEE International conference on Embedded software ; EMSOFT '06 ; https://hal.science/hal-00541469 ; EMSOFT '06, Oct 2006, Seoul, South

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي