SIGNAL
From MaRDI portal
Software:15452
No author found.
Related Items (49)
Unnamed Item ⋮ Foundations of Boolean stream runtime verification ⋮ Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ On Implementable Timed Automata ⋮ Specification and analysis of synchronous reactions ⋮ Timed-pNets: a communication behavioural semantic model for distributed systems ⋮ Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach ⋮ Principled Software Development ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Design for proof: An approach to the design of domain-specific languages ⋮ Unnamed Item ⋮ Functional reactive animation ⋮ Formal verification of synchronous data-flow program transformations toward certified compilers ⋮ Unnamed Item ⋮ Fast prototyping of parallel-vision applications using functional skeletons. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Multi-task implementation of multi-periodic synchronous programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Synchronous programming with events and relations: The SIGNAL language and its semantics ⋮ A non-standard temporal deductive database system ⋮ A denotational theory of synchronous reactive systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ TCC, with History ⋮ Unnamed Item ⋮ Intensional and extensional semantics of dataflow programs ⋮ Unnamed Item ⋮ Formal methods in designing embedded systems -- the SACRES experience ⋮ Formal verification of programs specified with signal: Application to a power transformer station controller ⋮ Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation ⋮ Synchronous structures ⋮ A type-based analysis of causality loops in hybrid systems modelers ⋮ An algebraic theory for behavioral modeling and protocol synthesis in system design ⋮ A compositional behavioral modeling framework for embedded system design and conformance checking ⋮ Causal semantics for the algebra of connectors ⋮ Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications ⋮ Programming Languages and Systems ⋮ About synchronous programming and abstract interpretation ⋮ Abstraction of Clocks in Synchronous Data-Flow Systems ⋮ Skeletons for parallel image processing: An overview of the SKIPPER project. ⋮ Compositionality in dataflow synchronous languages: Specification and distributed code generation ⋮ Static analysis of real-time component-based systems configurations
This page was built for software: SIGNAL