.png){kind=icon}
返回
PROGRAMMING REAL-TIME APPLICATIONS WITH SIGNAL
.png){kind=icon}
OA
AI
DOI：10.1109/5.97301.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
This paper presents the main features of the SIGNAL language and its compiler. Designed to provide safe real time system programming, the SIGNAL language is based on the synchronous principles. Its semantics are defined via a mathematical model of multiple-clocked flows of data and events. SIGNAL programs describe relations on such objects, so that it is possible to program a real time application via constraints. The compiler calculates the solutions of the system and may thus be used as a proof system. Moreover, the equational approach is a natural way to derive multiprocessor executions of a program. Finally, this approach meets the intuition through a graphical interface of block-diagram style, and the system is illustrated on a speech recognition application.
Keyword:
TEMPORAL LOGIC
SYSTEMS
VERIFICATION
期刊
IF:
25.9
论文数:
9.9K
被引数:
4.5W
机构
暂无机构信息
引用论文
Synthesis, Characterisation and Catalytic Application of Oxidorhenium Complexes Bearing H‐Spirophosphorane Ligands含h-螺膦配体的氧化铼配合物的合成，表征及催化应用
.png){kind=icon}
PREAI
分享收藏分享收藏