1. Rechercher
42 résultats  enregistrer la recherche


  • 1
  • 2
...
inria-00424279v1  Communication dans un congrès
Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86, 2007
...
tel-00177048v1  HDR
Alain Girault. Contributions à la conception sûre des systèmes embarqués sûrs
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006
inria-00527169v1  Communication dans un congrès
Dana N. Xu, Gregor Goessler, Alain Girault. Probabilistic Contracts for Component-Based Design
the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Sep 2010, Singapore, Singapore. Springer, pp.325-340, 2010, <10.1007/978-3-642-15643-4_24>
...
hal-00655478v1  Communication dans un congrès
Ismail Assayad, Alain Girault, Hamoudi Kalla. Tradeoff exploration between reliability, power consumption, and execution time
Springer. SAFECOMP, Sep 2012, Napoli, Italy. 6894, pp.437--451, 2011, LNCS; International Conference on Computer Safety, Reliability and Security
...
hal-00756597v1  Document associé à des manifestations scientifiques
Eric Rutten, Alain Girault. Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P) 2008
SLA++P - Third International Workshop on Model-driven High-level Programming of Embedded Systems 2008, Apr 2008, Budapest, Hungary
inria-00510071v1  Communication dans un congrès
Laure France, Alain Girault, Bernard Espiau. Generation of Walk Transient Trajectories for a Biped Robot
International Conference on Advanced Robotics, 1999, Tokyo, Japan. 1999
inria-00510077v1  Communication dans un congrès
Laure France, Alain Girault, Jean-Dominique Gascuel, Bernard Espiau. Sensor Modeling for a Walking Robot Simulation
Eurographics Workshop on Computer Animation and Simulation, 1999, Milan, Italy. 1999
...
inria-00510019v1  Communication dans un congrès
Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Multicriteria optimal reconfiguration of fault-tolerant real-time tasks
Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. IFAC, pp.366-373, 2010
...
inria-00177117v2  Rapport
Alain Girault, Hamoudi Kalla. Revisiting the bicriteria (length,reliability) multiprocessor static scheduling problem
[Research Report] RR-6319, INRIA. 2007, pp.36
...
inria-00526741v1  Communication dans un congrès
Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert. Reliability and performance optimization of pipelined real-time systems
International Conference on Parallel Processing, Sep 2010, San Diego, United States. pp.20, 2010
...
hal-01165686v1  Communication dans un congrès
Wei-Tsun Sun, Alain Girault, Gwenaël Delaval. A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems
SIES'2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany. 2015
...
inria-00603329v1  Communication dans un congrès
Avinash Malik, Alain Girault, Zoran Salcic. A GALS Language for Dynamic Distributed and Reactive Programs
ACSD, Jun 2011, Newcastle, United Kingdom. 2011
...
inria-00603287v1  Communication dans un congrès
Sidharta Andalam, Partha Roop, Alain Girault. Pruning Infeasible Paths for Tight WCRT Analysis of Synchronous Programs
DATE, Mar 2011, Grenoble, France. 2011
...
inria-00555546v1  Rapport
Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert. Reliability and performance optimization of pipelined real-time systems
[Research Report] RR-7509, INRIA. 2011, pp.32
...
inria-00505085v1  Rapport
Avinash Malik, Alain Girault, Zoran Salcic. The DSystemJ programming language for dynamic GALS systems: it's semantics, compilation, implementation, and run-time system
[Research Report] RR-7346, INRIA. 2010
...
inria-00507785v2  Rapport
Gregor Gössler, Dana Xu, Alain Girault. Probabilistic Contracts for Component-based Design
[Research Report] RR-7328, INRIA. 2012
...
hal-00753526v1  Communication dans un congrès
M. Alras, Paul Caspi, Alain Girault, Pascal Raymond. Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model
International Conference on Embedded Systems and Software, ICESS'09, May 2009, Hangzhou, China. IEEE, pp.3--10, 2009, <10.1109/ICESS.2009.36>
...
hal-00753172v1  Communication dans un congrès
Partha Roop, Alain Girault, Gregor Goessler, Roopak Sinha. Specification Enforcing Refinement for Convertibility Verification
International Conference on Application of Concurrency to System Design, ACSD'09, Jul 2009, Augsburg, Germany. IEEE, pp.148--157, 2009, <10.1109/ACSD.2009.25>
hal-00751277v1  Communication dans un congrès
Pascal Fradet, Alain Girault, Peter Poplavko. A Statically Analyzable Dataflow Model for Dynamic Streaming
Platform 2012 Developers' Conference, Dec 2011, Grenoble, France. 2011
hal-00751269v1  Communication dans un congrès
Pascal Fradet, Alain Girault, Peter Poplavko. A Dataflow Model for Interactive Data-dependent Streaming Applications
Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications, Mar 2011, Grenoble, France. 2011
...
hal-00765020v1  Communication dans un congrès
Sidharta Andalam, Partha Roop, Alain Girault. Deterministic, Predictable and Light-Weight Multithreading Using PRET-C
Design Automation and Test in Europe Conference, DATE'10, Mar 2010, Dresden, Germany. 2010
...
hal-00750870v1  Communication dans un congrès
Gwenaël Delaval, Alain Girault, Marc Pouzet. A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
LCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2008, Tucson, United States. ACM, pp.101-110, 2008, Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems. <10.1145/1375657.1375672>
hal-00751275v1  Communication dans un congrès
Pascal Fradet, Alain Girault, Peter Poplavko. A Statically Analyzable Dataflow Model for Dynamic Streaming
4th Workshop on Mapping of Applications to MPSoCs, Jun 2011, St. Goar, Germany. 2011
...
inria-00606961v1  Rapport
Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs
[Research Report] RR-7673, INRIA. 2011, pp.17
...
hal-00666284v1  Rapport
Pascal Fradet, Alain Girault, Peter Poplavko. SPDF: A Schedulable Parametric Data-Flow MoC (Extended Version)
[Research Report] RR-7828, INRIA. 2011, pp.24
hal-00667059v1  Communication dans un congrès
Pascal Fradet, Alain Girault, Peter Poplavko. SPDF: A Schedulable Parametric DataFlow MoC
Design, Automation and Test in Europe Conference and Exhibition (DATE'12), Mar 2012, Dresden, Germany. 2012
...
hal-00777723v1  Communication dans un congrès
Ismail Assayad, Alain Girault, Hamoudi Kalla. Scheduling of Real-Time Embedded Systems under Reliability and Power Constraints
International Conference on Complex Systems, ICCS'12, Nov 2012, Agadir, Morocco. IEEE, 2012
...
hal-00777730v1  Article dans une revue
Avinash Malik, Alain Girault, Zoran Salcic. Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ
IEEE Trans.\ Parallel and Distributed Systems, IEEE, 2012, 23 (7), pp.1240--1254
...
inria-00635243v1  Communication dans un congrès
Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs
Automated Technology for Verification and Analysis, ATVA'11, Oct 2011, Taipei, Taiwan. 6996, pp.492-502, 2011, LNCS. <10.1007/978-3-642-24372-1_38>
  • 1
  • 2

Contact | Consulter le Guide UGA


Logo de l'INPG Logo de l'INPG Logo de l'INRIA Logo de l'USMB Logo du CEA Logo de l'IEPG Logo de l'ENSAG