Filtrer vos résultats
- 109
- 29
- 70
- 30
- 28
- 4
- 3
- 2
- 1
- 27
- 1
- 135
- 7
- 1
- 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
- 128
- 10
- 113
- 99
- 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
- 138
- 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
- 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
138 résultats
|
|
A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis[Research Report] RR-5690, INRIA. 2005, pp.44
Rapport
inria-00000867v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
Proceedings of the IEEE International Conference on Cloud and Autonomic Computing (ICCAC), 2015Ouvrages hal-01218964v1 |
|||
|
|
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
|
||
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
|
|||
|
|
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
|
||
UML2 Profile for Modeling Controlled Data Parallel ApplicationsHuss, Sorin Alexander. Advances in Design and Specification Languages for SoCs, Selected contributions from FDL'06, Springer, 2007, ChDL
Chapitre d'ouvrage
inria-00565161v1
|
|||
|
|
Synchronous Modeling of Data Intensive Applications[Research Report] RR-5876, INRIA. 2006, pp.21
Rapport
inria-00001216v1
|
||
|
|
Specifying and verifying a transformer station in Signal and SignalGTi[Research Report] RR-2521, INRIA. 1995
Rapport
inria-00074157v1
|
||
|
|
Design Framework for Reliable Multiple Autonomic Loops in Smart Environments2017 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2017, Tucson, AZ, United States
Communication dans un congrès
cea-01570026v1
|
||
|
|
A Domain-specific Language for The Control of Self-adaptive Component-based ArchitectureJournal of Systems and Software, 2017, ⟨10.1016/j.jss.2017.01.030⟩
Article dans une revue
hal-01450517v1
|
||
|
|
Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded SystemsEURASIP Journal on Embedded Systems, 2008, 2008 (1), pp.376920
Article dans une revue
hal-00784455v1
|
||
|
|
Un langage imperatif de programmation au niveau tache : definition en logique temporelle[Rapport de recherche] RR-1406, INRIA. 1991
Rapport
inria-00075154v1
|
||
|
|
Automatic Generation of Safe Handlers for Multi-Task Systems[Research Report] RR-5345, INRIA. 2004
Rapport
inria-00071252v1
|
||
|
|
Adaptive Power Control for Sober High-Performance ComputingCCTA 2022 - 6th IEEE Conference on Control Technology and Applications, Aug 2022, Trieste, Italy. pp.1-8
Communication dans un congrès
hal-03765849v1
|
||
Designing formal reconfiguration control using UML/MARTE2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Jul 2012, York, United Kingdom
Communication dans un congrès
hal-00747716v1
|
|||
|
|
IAS: an IoT Architectural Self-adaptation FrameworkECSA 2020 - 14th European Conference on Software Architecture, Sep 2020, L’Aquila, Italy. pp.1-16
Communication dans un congrès
hal-02900674v1
|
||
|
|
Case studies in discrete control for autonomic system administrationSixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany
Communication dans un congrès
hal-00784971v1
|
||
Modeling and Synthesis of a Dynamic and Partial Reconfiguration ControllerInternational Conference on Field Programmable Logic and Applications (FPL), Aug 2012, Oslo, Norway
Communication dans un congrès
hal-00747718v1
|
|||
|
|
Modeling Self-Adaptive Fog Systems Using BigraphsSEFM 2019 : 17th International Conference on Software Engineering and Formal Methods, Sep 2019, Oslo, Norway. pp.252-268, ⟨10.1007/978-3-030-57506-9_19⟩
Communication dans un congrès
hal-02271394v1
|
||
|
|
Feedback Control as MAPE-K loop in Autonomic Computing[Research Report] RR-8827, INRIA Sophia Antipolis - Méditerranée; INRIA Grenoble - Rhône-Alpes. 2015
Rapport
lirmm-01241594v1
|