全部 |
  • 全部
  • 题名
  • 作者
  • 机构
  • 关键词
  • NSTL主题词
  • 摘要
检索 二次检索 AI检索
外文文献 中文文献
筛选条件:

1. Adding State to Stream Runtime Verification NSTL国家科技图书文献中心

Manuel Caldeira |  Hannes Kallwies... -  《Runtime Verification》 -  International Conference on Runtime Verification - 2025, - 163~173 - 共11页

摘要: approaches exist in Lustre/Esterel or Rust. However, for | Stream Runtime Verification (SRV) is gaining |  traction for monitoring systems with data streams, but it |  struggles with specifying state-based systems and control |  flow. While automata models like state charts excel
关键词: Stream runtime verification |  Automata |  Monads

2. A calculus for Esterel: If can, can. If no can, no can. NSTL国家科技图书文献中心

Temur Kutsia -  《Computing reviews》 - 2021,62(3) - 132~132 - 共1页

摘要:Esterel is a synchronous language for reactive |  power plant control.In Esterel,computation is modeled |  programming.Developed in the mid 1980s,it has been used in several |  safety-critical applications for aviation and nuclear |  as a series of instants: discrete time steps that
关键词: LANGUAEGES

3. A compositional approach using Keras for neural networks in real-time systems NSTL国家科技图书文献中心

Xin Yang |  Partha Roop... -  《2020 Design, Automation & Test in Europe Conference & Exhibition: Design, Automation & Test in Europe Conference & Exhibition (DATE), 9-13 March 2020, Grenoble, France》 -  Design, Automation and Test in Europe Conference and Exhibition - 2020, - 1109~1114 - 共6页

摘要: Esterel, as well as the popular Python package |  superior to Esterel with an average WCET reduction of | Real-time systems are designed using model | -driven approaches, where a complex system is |  represented as a set of interacting components. Such a
关键词: Deep neural networks |  Cyber Physical Systems |  Real-Time
NSTL主题词: real-time systems |  Neural network

4. A compositional approach using Keras for neural networks in real-time systems NSTL国家科技图书文献中心

Xin Yang |  Partha Roop... -  《2020 Design, Automation & Test in Europe Conference & Exhibition: DATE 2020, Grenoble, France, 9-13 March 2020, [v.3]》 -  Design, Automation & Test in Europe Conference & Exhibition - 2020, - 1109~1114 - 共6页

摘要: Esterel, as well as the popular Python package |  superior to Esterel with an average WCET reduction of | Real-time systems are designed using model | -driven approaches, where a complex system is |  represented as a set of interacting components. Such a
关键词: Deep neural networks |  Cyber physical systems |  Real-Time

5. Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System NSTL国家科技图书文献中心

Qian Liu |  Robert de Simone... -  《2020 27th Asia-Pacific Software Engineering Conference: 27th Asia-Pacific Software Engineering Conference (APSEC), 1-4 Dec. 2020, Singapore, Singapore》 -  Asia-Pacific Software Engineering Conference - 2020, - 415~424 - 共10页

摘要: embodied in Esterel/SyncCharts and Clock Constraint | We study the use of Multiform Logical Time, as |  Specification Language (CCSL), for the specification of assume | -guarantee constraints providing safe driving rules related |  to time and space, in the context of Automated
关键词: Roads |  Cyber-physical systems |  Trajectory |  Specification languages |  Time factors |  Clocks |  Software engineering
NSTL主题词: Heterogeneous |  logical |  Automation |  Mobile

6. High resolution ambient noise tomography of the Southwestern Alps and the Ligurian margin SCIE Web of Science核心 SCOPUS Scopus数据库 EI 工程索引 NSTL国家科技图书文献中心

Guerin, G |  Rivet, D... -  《Geophysical Journal International》 - 2020,220(2) - 806~820 - 共15页 - 被引量:10

摘要: Esterel massif in the southwestern part of the region | 

The Southwestern |  Alps and the Ligurian margin is a region of moderate |  seismicity with a high rate of small to moderate events | . Identifying the active faults in this very densely populated

关键词: Europe |  interferometry |  Crustal imaging |  Seismic noise |  Seismic tomography |  SURFACE-WAVE TOMOGRAPHY |  3-DIMENSIONAL CRUSTAL STRUCTURE |  NEIGHBORHOOD ALGORITHM |  GEOPHYSICAL INVERSION |  WESTERN ALPS...

7. SCEst: Sequentially Constructive Esterel NSTL国家科技图书文献中心

Smyth, Steven |  Motika, Christian... -  《ACM Transactions on Embedded Computing Systems》 - 2018,17(2) - 共26页 - 被引量:1

摘要:The synchronous language Esterel provides |  domains of Esterel, such as controller design and |  Constructive Esterel (SCEst) overcomes this restriction by |  semantic definition and compilation approach for Esterel. |  determinate concurrency for reactive systems. Determinacy is
关键词: Synchronous languages |  sequential constructiveness |  esterel

8. On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems—A Sequentially Constructive Circuit Semantics for Esterel NSTL国家科技图书文献中心

Alexander Schulz-Ros... |  Steven Smyth... -  《2018 18th International Conference on Application of Concurrency to System Design: ACSD 2018, Bratislava, Slovakia, 25-29 June 2018》 -  International Conference on Application of Concurrency to System Design - 2018, - 95~104 - 共10页

摘要:. Synchronous languages, such as Esterel, SyncCharts or SCADE |  circuit semantics is grounded in physics: An Esterel | A classic challenge in designing reactive |  systems is how to reconcile concurrency with determinacy | , resolve this by providing a semantics that does not
关键词: Semantics |  Hardware |  Program processors |  Concurrent computing |  Schedules |  Wires
NSTL主题词: Esterel |  deterministic |  constructivity |  Semantics |  semiotics |  Concurrency |  REACTIVE

9. Transparent Standby for Low-Power, Resource-Constrained Embedded Systems A Programming Language-Based Approach (Short WIP Paper) NSTL国家科技图书文献中心

Francisco Sant'Anna |  Alexandre Sztajnberg... -  《ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages》 - 2018,53(6) - 94~98 - 共5页

摘要:Standby efficiency for connected devices is |  one of the priorities of the G20's Energy Efficiency |  Action Plan. We propose transparent programming |  language mechanisms to enforce that applications remain |  in the deepest standby modes for the longest
关键词: Arduino |  Concurrency |  Embedded Systems |  Esterel |  IoT |  Standby

10. Synchronous neural networks for cyber-physical systems NSTL国家科技图书文献中心

Partha S Roop |  Hammond Pearce... -  《2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design: MEMOCODE 2018, Beijing, China, 15-18 October 2018》 -  ACM/IEEE International Conference on Formal Methods and Models for System Design - 2018, - 1~10 - 共10页

摘要: implemented in Esterel for the design of time predictable |  1000+ neurons and 16 different layers using Esterel | Cyber-physical systems (CPS), such as |  autonomous vehicles or smart power grids, use interactive |  machine learning modules for decision making. Current
关键词: convolution |  cyber-physical systems |  feedforward neural nets |  learning (artificial intelligence) |  program diagnostics |  synchronisation
NSTL主题词: Cyber-physical systems |  Neural network
检索条件esterel
  • 检索词扩展

NSTL主题词

  • NSTL学科导航