Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming, 1991 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Albert Benveniste, Paul Le Guernic
exaly +4 more sources
Programming real-time applications with SIGNAL
Proceedings of the IEEE, 1991 International audienceThis 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.
T Gautier
exaly +3 more sources
Dauphin A Programming Language for Statistical Signal Processing - from principles to practice.
, 2018 © 2018 Ross Kyprianou ; This dissertation describes the design and implementation of a new programming language called Dauphin for the signal processing domain. Dauphin's focus is on the primitive concepts and algorithmic structures of signal processing. In this language, random variables and probability distributions are as fundamental and easy to use
Kyprianou, Ross
openaire +2 more sources
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks [PDF]
, 2021 Signals are principal abstraction in reactive programming languages and constitute the basics of reactive computations in modern systems, such as the Internet of Things.
Kamina, Tetsuo +2 more
core +1 more source
SIGNAL: A declarative language for synchronous programming of real-time systems [PDF]
, 1987 We present an applicative language, SIGNAL, designed to program real-time systems. The language is based on a synchronous notion of time. We assume the execution of operations to have a zero logical time duration; then, the sequence of communication events determines entirely a temporal reference.
Thierry Gautier +2 more
openaire +3 more sources
Visual Process-oriented Programming for Robotics [PDF]
, 2008 When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network diagrams. These diagrams allow the design of and abstract reasoning about programs, consisting
Jacobsen, Christian L. +1 more
core +1 more source
GRAph Parallel Actor Language: A Programming Language for Parallel Graph Algorithms [PDF]
, 2013 We introduce a domain-specific language, GRAph Parallel Actor Language, that enables parallel graph algorithms to be written in a natural, high-level form.
DeLorimier, Michael John
core +1 more source
Spline- and tensor-based signal reconstruction : from structure analysis to high-performance algorithms to multiplatform implementations and medical applications [PDF]
, 2015 The problem of signal reconstruction is of fundamental practical value for many applications associated with the field of signal and image processing.
Morozov, Oleksii
core +1 more source
A Module Language for Typing SIGNAL Programs by Contracts [PDF]
, 2010 Chapter 5, on "A Module Language for Typing SIGNAL Programs by Contracts", brings up the polychronous model of computation to present a means to modularly and compositionally support assumption-guarantee reasoning in that framework. Contract-based design has become a popular reasoning concept in which contracts are used to negotiate the correctness of ...
Glouche, Yann +3 more
openaire +1 more source
Signal Processing Methods for Genomic Sequence Analysis [PDF]
, 2007 Signal processing is the art of representing, transforming, analyzing, and manipulating signals. It deals with a wide range of signals, from speech and audio signals to images and video signals, and many others.
Yoon, Byung-Jun
core +1 more source