Filtrer vos résultats
- 109
- 28
- 70
- 29
- 28
- 4
- 3
- 2
- 1
- 27
- 1
- 134
- 7
- 1
- 5
- 8
- 2
- 5
- 2
- 8
- 8
- 5
- 12
- 7
- 8
- 4
- 7
- 8
- 5
- 4
- 6
- 7
- 3
- 2
- 3
- 2
- 1
- 2
- 2
- 1
- 3
- 1
- 3
- 2
- 1
- 127
- 10
- 112
- 98
- 33
- 29
- 26
- 23
- 15
- 14
- 12
- 11
- 8
- 7
- 6
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 137
- 29
- 22
- 20
- 13
- 11
- 11
- 10
- 9
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
137 résultats
Proceedings of the IEEE International Conference on Cloud and Autonomic Computing (ICCAC), 2015Ouvrages hal-01218964v1 |
|||
|
High-level Language Support for the Control of Reconfiguration in Component-based Architectures[Research Report] RR-8669, INRIA Grenoble - Rhône-Alpes; INRIA Lille - Nord Europe; Laboratoire d'Informatique Fondamentale de Lille; INRIA. 2015
Rapport
hal-01103548v1
|
||
|
High-level Language Support for the Control of Reconfigurations in Component-based Architectures9th European Conference on Software Architecture (ECSA), Danny weyns; Raffaela Mirandola; Ivica Crnkovic, Sep 2015, Dubrovnick, Croatia. pp.285-293
Communication dans un congrès
hal-01160612v1
|
||
|
Synchronous Modeling and Analysis of Data Intensive ApplicationsEURASIP Journal on Embedded Systems, 2008, 2008 (1), pp.561863. ⟨10.1155/2008/561863⟩
Article dans une revue
hal-00784459v1
|
||
|
A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis[Research Report] RR-5690, INRIA. 2005, pp.44
Rapport
inria-00000867v1
|
||
An approach for the synthesis of decentralised supervisors for distributed adaptive systemsInternational Journal of Critical Computer-Based Systems, 2011, Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I, 2 (3/4), pp.246-265. ⟨10.1504/IJCCBS.2011.042328⟩
Article dans une revue
hal-00784991v1
|
|||
|
Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generationInternational Journal of Embedded Systems, 2010, 18 p
Article dans une revue
inria-00525015v2
|
||
|
Contracts for modular discrete controller synthesisProceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, ⟨10.1145/1755888.1755898⟩
Communication dans un congrès
inria-00476910v1
|
||
|
Composition of Scheduling and Control Theory TechniquesJLESC 2023 - 15th Workshop Joint Laboratory for Extreme Scale Computing, Mar 2023, Bordeaux, France. pp.1-10
Communication dans un congrès
hal-04050732v1
|
||
|
The Signal data flow methodology applied to a production cell[Research Report] RR-2522, INRIA. 1995
Rapport
inria-00074155v1
|
||
|
Applying the Synchronous Approach for Real Time Active Visual Reconstruction[Research Report] RR-2383, INRIA. 1994
Rapport
inria-00074294v1
|
||
|
Towards an Autonomic and Distributed Device Management for the Internet of ThingsFAS*W 2019 - IEEE 4th International Workshops on Foundations and Applications of Self* Systems, Jun 2019, Umea, Sweden. pp.246-248, ⟨10.1109/FAS-W.2019.00065⟩
Communication dans un congrès
hal-02295409v1
|
||
|
Safe Design of Dynamically Reconfigurable Embedded Systems2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED2011), Mar 2011, France. pp.00 -- 00
Communication dans un congrès
hal-00903734v1
|
||
|
A control-theory approach for cluster autonomic management: maximizing usage while avoiding overloadCCTA 2019 - 3rd IEEE Conference on Control Technology and Applications, Aug 2019, Hong Kong, China. pp.189-195, ⟨10.1109/CCTA.2019.8920473⟩
Communication dans un congrès
hal-02294272v1
|
||
|
Discrete and Logico-numerical Control for Dynamic Partial Reconfigurable FPGA-based Embedded Systems : a Case StudyCCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhaguen, Denmark. pp. 1480-1487
Communication dans un congrès
hal-01862619v1
|
||
|
Synthesizing structural and behavioral control for reconfigurations in component-based systemsFormal Aspects of Computing, 2015, ⟨10.1007/s00165-015-0346-y⟩
Article dans une revue
hal-01247524v1
|
||
|
A Translation of Statecharts and Activitycharts into Signal Equations[Research Report] RR-3397, INRIA. 1998
Rapport
inria-00073292v1
|
||
|
Specifying and verifying active vision-based robotic systems with the Signal environmentThe International Journal of Robotics Research, 1998, 17 (4), pp.418-432
Article dans une revue
inria-00352559v1
|
||
Discrete Control for Smart Environments through a Generic Finite-State-Models-Based InfrastructureEuropean Conference on Ambient Intelligence, AmI-14, Nov 2014, Eindhoven, Netherlands
Communication dans un congrès
hal-01091140v1
|
|||
High-level design space exploration for adaptive applications on multiprocessor systems-on-chipJournal of Systems Architecture, 2015, 61 (3-4), pp.172-184. ⟨10.1016/j.sysarc.2015.02.002⟩
Article dans une revue
hal-01162488v1
|
|||
|
Étude des applications Bag-of-Tasks du méso-centre GricadCOMPAS 2022 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2022, Amiens, France. pp.1-7
Communication dans un congrès
hal-03702246v2
|
||
|
An experiment with reactive data-flow tasking in active robot~visionSoftware: Practice and Experience, 1997, 27 (5), pp.599-621. ⟨10.1177/027836499801700407⟩
Article dans une revue
hal-00549272v1
|
||
|
Reactivity, concurrency, data-flow and hierarchical preemption for behavioural animationEurographics Workshop on Programming Paradigms in Graphics 1995, Sep 1995, Maastricht, Netherlands. pp.137-153
Communication dans un congrès
hal-00549322v1
|
||
UML2 Profile for Modeling Controlled Data Parallel ApplicationsForum on specification and Design Languages (FDL'06), 2006, Darmstadt, Germany
Communication dans un congrès
inria-00565164v1
|
|||
|
Formal verification of programs specified with signal: application to a power transformer station controllerScience of Computer Programming, 2001, 41 (1), pp.85-104. ⟨10.1016/S0167-6423(00)00020-4⟩
Article dans une revue
inria-00526287v1
|
||
|
What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?R. de Lemos; D. Garlan; C. Ghezzi; H. Giese. Software Engineering for Self-Adaptive Systems 3: Assurances, 9640, Springer, 2017, LNCS
Chapitre d'ouvrage
hal-01281063v1
|
||
A Case Study on Controller Synthesis for Data-Intensive Embedded SystemsInternational Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, ⟨10.1109/ICESS.2009.12⟩
Communication dans un congrès
hal-00838928v1
|
|||
|
CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs[Research Report] RR-7918, INRIA. 2012, pp.23
Rapport
hal-00683822v1
|
||
|
Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis2004
Pré-publication, Document de travail
hal-00419542v1
|
||
|
Coordination de la Gestion autonome de la Réparation et du Dimensionnement d'un Système multi-niveaux par Contrôle DiscretRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, ⟨10.3166/TSI.35.525-555⟩
Article dans une revue
hal-01416992v1
|