Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Christophe Aussagues"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 59, Iss Proc. ICE 2011, Pp 69-83 (2011)
This paper presents an investigation of the notion of reaction time in some synchronous systems. A state-based description of such systems is given, and the reaction time of such systems under some classic composition primitives is studied. Reaction
Externí odkaz:
https://doaj.org/article/fc4c481b51c244748d913cd30f4a6d8e
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 38, Iss Proc. ICE 2010, Pp 83-98 (2010)
We present time-constrained automata (TCA), a model for hard real-time computation in which agents behaviors are modeled by automata and constrained by time intervals. TCA actions can have multiple start time and deadlines, can be aperiodic, and are
Externí odkaz:
https://doaj.org/article/f7798e14173a453cb6e3a5ebdea5f260
Publikováno v:
Sensors, Vol 21, Iss 15, p 5136 (2021)
Sensor-based digital systems for Instrumentation and Control (I&C) of nuclear reactors are quite complex in terms of architecture and functionalities. A high-level framework is highly required to pre-evaluate the system’s performance, check the con
Externí odkaz:
https://doaj.org/article/5dc478d6cdc14877b546f649837f9f98
Publikováno v:
Sensors, Vol 21, Iss 5136, p 5136 (2021)
Sensors (Basel, Switzerland)
Sensors
Sensors, inPress, 21 (15), pp.5136. ⟨10.3390/s21155136⟩
Sensors, MDPI, 2021, 21 (15), pp.5136. ⟨10.3390/s21155136⟩
Volume 21
Issue 15
Sensors (Basel, Switzerland)
Sensors
Sensors, inPress, 21 (15), pp.5136. ⟨10.3390/s21155136⟩
Sensors, MDPI, 2021, 21 (15), pp.5136. ⟨10.3390/s21155136⟩
Volume 21
Issue 15
Sensor-based digital systems for Instrumentation and Control (I&
C) of nuclear reactors are quite complex in terms of architecture and functionalities. A high-level framework is highly required to pre-evaluate the system’s performance, chec
C) of nuclear reactors are quite complex in terms of architecture and functionalities. A high-level framework is highly required to pre-evaluate the system’s performance, chec
Publikováno v:
EPJ Web of Conferences, Vol 253, p 05003 (2021)
Technological platforms dedicated for digital instrumentation and control of nuclear reactors are quite complex in terms of functionalities and devices. Hence, the design of these platforms requires high-level abstraction layers able to reduce the co