Filter your results
- 29
- 8
- 26
- 5
- 5
- 1
- 5
- 35
- 2
- 2
- 1
- 1
- 1
- 4
- 3
- 2
- 3
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 1
- 1
- 33
- 4
- 35
- 35
- 9
- 5
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 37
- 29
- 7
- 5
- 5
- 3
- 3
- 3
- 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
37 Results
|
|
sorted by
|
|
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
Conference papers
cea-01570026v1
|
||
Discrete Control-Based Design of Adaptive and Autonomic Computing SystemsICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩
Conference papers
hal-01116015v1
|
|||
|
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
Conference papers
hal-00784971v1
|
||
Stratégies institutionnelles de contournement du traitement des violences académiques : l’exemple des "dispositifs RPSColloque Sorbonne Nouvelle "Les violences ordinaires dans les organisations académiques", CERLIS; CRESPPA; CSU GTM LABTOP; Labo PSC, Jun 2022, Aubervilliers, France
Conference papers
halshs-04204440v1
|
|||
|
Intégration de la synthèse de contrôleurs discrets dans un langage de programmationModélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France
Conference papers
inria-00629104v1
|
||
|
Discrete Control of Response for Cybersecurity in Industrial ControlIFAC 2020 - IFAC World Congress 2020, Jul 2020, Berlin, Germany. pp.1-8
Conference papers
hal-02569406v1
|
||
ECA rules for IoT environment: a case study in safe designFirst Edition of the Workshop on Quality Assurance for Self-adaptive, Self-organising Systems QA4SASO 2014; In conjunction with the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Sep 2014, London, United Kingdom
Conference papers
hal-01091149v1
|
|||
|
Integrating Discrete Controller Synthesis into a Reactive Programming Language CompilerDiscrete Event Dynamic Systems, 2013, 23 (4), pp.385-418. ⟨10.1007/s10626-013-0163-5⟩
Journal articles
istex
hal-00863286v1
|
||
|
Automatic generation of discrete handlers of real-time continuous control tasksIFAC WC 2011 - 18th IFAC World Congress, Aug 2011, Milan, Italy
Conference papers
hal-00640406v1
|
||
|
Coordination of ECA Rules by Verification and ControlCOORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers
hal-01290066v1
|
||
|
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systemsSIES'2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany
Conference papers
hal-01165686v1
|
||
Distributed Execution of Modular Discrete Controllers for Data Center ManagementProc. of the 5th IFAC international workshop on Dependable Control of Discrete Systems, DCDS'15, May 2015, Cancun, France
Conference papers
hal-01161509v1
|
|||
|
A domain-specific language for task handlers generation, applying discrete controller synthesisACM Symposium on Applied Computing, Apr 2006, Dijon/France
Conference papers
inria-00000865v1
|
||
|
QoS and Energy Management Coordination using Discrete Controller Synthesis1st International Workshop on Green Computing Middleware (GCM'2010), Nov 2010, Bangalore, India
Conference papers
hal-00784999v1
|
||
|
Discrete Control of Computing Systems Administration: a Programming Language supported ApproachEuropean Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
Conference papers
hal-00863276v1
|
||
|
A Domain-specific Language for Autonomic Managers in FPGA Reconfigurable ArchitecturesICAC 2018 - 15th IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-10
Conference papers
hal-01868675v1
|
||
|
Control of Autonomic Parallelism Adaptation on Software Transactional MemoryHPCS 2016 - International Conference on High Performance Computing & Simulation, Jul 2016, Innsbruck, Austria. pp.180-187, ⟨10.1109/HPCSim.2016.7568333⟩
Conference papers
hal-01309195v1
|
||
|
Logico-numerical Control for Software Components ReconfigurationCCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩
Conference papers
hal-01644754v1
|
||
|
Modular Distribution and Application to Discrete Controller SynthesisThird International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P), Mar 2008, Budapest, Hungary. pp.3-19, ⟨10.1016/j.entcs.2008.01.003⟩
Conference papers
hal-01011741v1
|
||
|
Language Support for Modular Autonomic Managers in Reconfigurable Software ComponentsSeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, Jul 2017, Colombus, United States. pp.271 - 278, ⟨10.1109/ICAC.2017.48⟩
Conference papers
hal-01575353v1
|
||
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⟩
Conference papers
hal-00838928v1
|
|||
|
Autonomic Parallelism and Thread Mapping Control on Software Transactional MemoryICAC 2016 - 13th IEEE International Conference on Autonomic Computing, Jul 2016, Wurzburg, Germany. pp.189 - 198, ⟨10.1109/ICAC.2016.54⟩
Conference papers
hal-01309681v1
|
||
Contournement du traitement des violences académiques : l’exemple des « dispositifs RPS »Mouvements : des idées et des luttes, 2023, 113, pp.141-153. ⟨10.3917/mouv.113.0141⟩
Journal articles
halshs-04086870v1
|
|||
|
BZR Contracts for Modular Discrete Controller Synthesis[Research Report] RR-7111, INRIA. 2009
Reports
inria-00436560v1
|
||
|
Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study[Research Report] RR-7631, INRIA. 2011, pp.31
Reports
inria-00596883v2
|
||
|
Automatic generation of discrete handlers of real-time continuous control tasks[Research Report] RR-7332, INRIA. 2010, pp.17
Reports
inria-00498394v1
|
||
|
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow ProgramsLCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2008, Tucson, United States. pp.101-110, ⟨10.1145/1375657.1375672⟩
Conference papers
hal-00750870v1
|
||
An Autonomic-Computing Approach on Mapping Threads to Multi-cores for Software Transactional MemoryConcurrency and Computation: Practice and Experience, 2018, 30 (18), pp.e4506. ⟨10.1002/cpe.4506⟩
Journal articles
hal-01742690v1
|
|||
|
Répartition modulaire de programmes synchronesLangage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 2008. Français. ⟨NNT : ⟩
Theses
tel-00750832v1
|
||
|
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs[Research Report] RR-6378, INRIA. 2007
Reports
inria-00193731v2
|
- 1
- 2