The introduced theory supports reordering of data and can therefore be used to validate existing systems with such reordering. Furthermore, the theory enables ...

Refinement theories have enabled the creation of deterministic abstractions of stream processing applications that are executed on multiprocessor systems.

A new refinement theory is introduced in which the potential interaction between temporal and functional behavior is taken into account and the introduced ...

The introduced theory supports reordering of data and can therefore be used to validate existing systems with such reordering. Furthermore, the theory enables ...

A Refinement Theory for Timed-Dataflow Analysis with Support for Reordering. J.P.H.M. Hausmans, Marco Jan Gerrit Bekooij.

精化理论可以创建在多处理器系统上执行的流处理应用程序的确定性抽象。这种抽象模型的突出例子是确定性时间数据流模型，它可以有效地分析，因为它们只有一种行为。流处理 ...

A Refinement Theory for Timed-Dataflow Analysis with Support for Reordering ... Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design.

An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems ... A Refinement Theory for Timed-Dataflow Analysis with Support for Reordering.

A refinement theory for timed-dataflow analysis with support for reordering. JPHM Hausmans, MJG Bekooij. Proceedings of the 13th International Conference on ...

This paper proposes a new data ow model for analyzing the worst-case temporal behavior of resource arbitration through Time Division Multiplexing (TDM).