Merging digital hydraulic systems and supercomputing (Academy of Finland)

A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks
Wiik, J., Ersfolk, J. & Walden, M., 2018, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2018). Patricia, D. & Sicun, G. (toim.). IEEE, s. 1–10
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)
Contract-Based Verification of MATLAB-Style Matrix Programs
Wiik, J. & Boström, P., 2016, julkaisussa: Formal Aspects of Computing. 28, 1, s. 79–107
Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

1 Sitaatiot (Scopus)
Optimal Digital Valve Control Using Embedded GPU
Ersfolk, J., Boström, P., Timonen, V., Westerholm, J., Wiik, J., Karhu, O., Linjama, M. & Walden, M., 2016, Proceedings of the Eight Workshop on Digital Fluid Power (DFP16): May 24-25 2016, Tampere, Finland. Uusi-Heikkilä, J. & Linjama, M. (toim.). Tampereen teknillinen yliopisto, s. 239–250
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Projektin tiedot