Concurrency in Synchronous Systems

Authors:
Affiliations:
Venue:
ACSD '04 Proceedings of the Fourth International Conference on Application of Concurrency to System Design
Year:
2004

Citing 0
Cited 8

Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)

Proceedings of the 4th ACM international conference on Embedded software
Efficient embedded software design with synchronous models

Proceedings of the 5th ACM international conference on Embedded software
Tag machines

Proceedings of the 5th ACM international conference on Embedded software
A Framework for Modeling the Distributed Deployment of Synchronous Designs

Formal Methods in System Design
Composing heterogeneous reactive systems

ACM Transactions on Embedded Computing Systems (TECS)
Desynchronisation Technique Using Petri Nets

Electronic Notes in Theoretical Computer Science (ENTCS)
Another Glance at Relay Stations in Latency-Insensitive Design

Electronic Notes in Theoretical Computer Science (ENTCS)
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In interleaved multithreading, the thread changes ineach processor cycle, consecutive instructions are issuedfrom different threads, and no data dependenciescan stall the pipeline. Enhanced inteleaved multithreadingmaintains a number of additional threads ...