The following pages link to SIGNAL (Q15452):
Displaying 49 items.
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- Multi-task implementation of multi-periodic synchronous programs (Q645055) (← links)
- A non-standard temporal deductive database system (Q679339) (← links)
- Intensional and extensional semantics of dataflow programs (Q706490) (← links)
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (Q1004062) (← links)
- Design for proof: An approach to the design of domain-specific languages (Q1125425) (← links)
- Synchronous programming with events and relations: The SIGNAL language and its semantics (Q1183545) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- Fast prototyping of parallel-vision applications using functional skeletons. (Q1402142) (← links)
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← links)
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (Q1779321) (← links)
- About synchronous programming and abstract interpretation (Q1818311) (← links)
- Skeletons for parallel image processing: An overview of the SKIPPER project. (Q1853252) (← links)
- Compositionality in dataflow synchronous languages: Specification and distributed code generation (Q1854388) (← links)
- Static analysis of real-time component-based systems configurations (Q1870849) (← links)
- Specification and analysis of synchronous reactions (Q1882806) (← links)
- Formal verification of synchronous data-flow program transformations toward certified compilers (Q2418653) (← links)
- Synchronous structures (Q2500524) (← links)
- An algebraic theory for behavioral modeling and protocol synthesis in system design (Q2505638) (← links)
- A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
- (Q2754054) (← links)
- (Q2763676) (← links)
- (Q3026316) (← links)
- (Q4222947) (← links)
- (Q4247268) (← links)
- (Q4383630) (← links)
- (Q4439552) (← links)
- (Q4473710) (← links)
- (Q4473711) (← links)
- (Q4473721) (← links)
- (Q4473739) (← links)
- (Q4509995) (← links)
- (Q4536448) (← links)
- Principled Software Development (Q4558903) (← links)
- (Q4732353) (← links)
- (Q4808816) (← links)
- (Q4824482) (← links)
- (Q5015367) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- On Implementable Timed Automata (Q5041274) (← links)
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (Q5302889) (← links)
- Functional reactive animation (Q5348880) (← links)
- TCC, with History (Q5418978) (← links)
- Abstraction of Clocks in Synchronous Data-Flow Systems (Q5502727) (← links)
- Programming Languages and Systems (Q5899022) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)
- Formal methods in designing embedded systems -- the SACRES experience (Q5946347) (← links)
- Formal verification of programs specified with signal: Application to a power transformer station controller (Q5946571) (← links)
- Causal semantics for the algebra of connectors (Q5962120) (← links)
