SIGNAL

From MaRDI portal
Software:15452



swMATH2915MaRDI QIDQ15452


No author found.





Related Items (49)

Unnamed ItemFoundations of Boolean stream runtime verificationSemantic Foundations for Deterministic Dataflow and Stream ProcessingOn Implementable Timed AutomataSpecification and analysis of synchronous reactionsTimed-pNets: a communication behavioural semantic model for distributed systemsExploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume ApproachPrincipled Software DevelopmentUnnamed ItemUnnamed ItemUnnamed ItemDesign for proof: An approach to the design of domain-specific languagesUnnamed ItemFunctional reactive animationFormal verification of synchronous data-flow program transformations toward certified compilersUnnamed ItemFast prototyping of parallel-vision applications using functional skeletons.Unnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemMulti-task implementation of multi-periodic synchronous programsUnnamed ItemUnnamed ItemSynchronous programming with events and relations: The SIGNAL language and its semanticsA non-standard temporal deductive database systemA denotational theory of synchronous reactive systemsUnnamed ItemUnnamed ItemTCC, with HistoryUnnamed ItemIntensional and extensional semantics of dataflow programsUnnamed ItemFormal methods in designing embedded systems -- the SACRES experienceFormal verification of programs specified with signal: Application to a power transformer station controllerEncapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptationSynchronous structuresA type-based analysis of causality loops in hybrid systems modelersAn algebraic theory for behavioral modeling and protocol synthesis in system designA compositional behavioral modeling framework for embedded system design and conformance checkingCausal semantics for the algebra of connectorsReactors: a data-oriented synchronous/asynchronous programming model for distributed applicationsProgramming Languages and SystemsAbout synchronous programming and abstract interpretationAbstraction of Clocks in Synchronous Data-Flow SystemsSkeletons for parallel image processing: An overview of the SKIPPER project.Compositionality in dataflow synchronous languages: Specification and distributed code generationStatic analysis of real-time component-based systems configurations


This page was built for software: SIGNAL