Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Timothy Bourke
Loosely Time-Triggered Architectures
Transactions on Embedded Computing Systems
Hardware
Architecture
Software
Soundness of the Quasi-Synchronous Abstraction
Related publications
A Unifying View of Loosely Time-Triggered Architectures
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Based System Design of Time-Triggered Architectures - Avionics Case Study
Design and Test Space Exploration of Transport-Triggered Architectures
Design and Test Space Exploration of Transport-Triggered Architectures
Time-Recursive Computation and Real-Time Parallel Architectures: A Framework
IEEE Transactions on Signal Processing
Electronic Engineering
Signal Processing
Electrical
Event-Triggered Discrete-Time Distributed Consensus Optimization Over Time-Varying Graphs
Complexity
Multidisciplinary
Computer Science
Timely Fine-Grained Interference-Sensitive Run-Time Adaptation of Time-Triggered Schedules
Giotto: A Time-Triggered Language for Embedded Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
