A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks

2018 ◽  
Author(s):  
Jonatan Wiik ◽  
Johan Ersfolk ◽  
Marina Walden
Keyword(s):  
Dataflow Networks

scholarly journals Comments on “Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks”

2015 ◽  
Vol 81 (1) ◽  
pp. 129-133 ◽  
Author(s):  
José-Inácio Rocha ◽  
Octávio Páscoa Dias ◽  
Luís Gomes
Keyword(s):  
Optimal Schedule ◽  
Dataflow Networks

scholarly journals Concurrency Control in the Problem of Automatic Substitution of the Dataflow Network Agent on Smart-M3 Platform and in the Internet of Things

2015 ◽  
Vol 19 (5) ◽  
pp. 131-141
Author(s):  
S. I. Balandin ◽  
A. M. Vasilev ◽  
N. I. Kozhemyakin ◽  
D. A. Laure ◽  
I. V. Paramonov
Keyword(s):  
Internet Of Things ◽  
Concurrency Control ◽  
Use Cases ◽  
The Internet ◽  
The Internet Of Things ◽  
Dataflow Networks

The paper describes implementation of dataflow networks based on Smart-M3 platform for use cases related to the Internet of Things. The mechanism for automatic substitution of computational agents created on top of Smart-M3 platform is described. The paper reviews concurrency issues of the developed solution regarding Smart-M3 platform, as well as in the broader context of the Internet of Things.

Sign in / Sign up

Export Citation Format

Share Document