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

Jonatan Wiik, Johan Ersfolk, Marina Walden

Information Technology

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)

1 Päättynyt

1 tulosta

Päättynyt

MERGE: Merging digital hydraulic systems and supercomputing (Academy of Finland)
Walden, M., Westerholm, J., Boström, P., Ersfolk, J. & Wiik, J.
01/01/15 → 31/12/16
Projekti: Research Council of Finland/Other Research Councils