Projekt per år
Projekt
- 4 Slutfört
-
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
Projekt: FA/Övriga Forskningsråd
-
Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M., Sere, K., Boström, P., Alexeev, P. S., Ostroumov, S., Wiik, J., Olszewska, M. & Dahlvik, M.
01/05/11 → 30/09/14
Projekt: Företag/Business Finland
-
DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M., Sere, K., Boström, P., Alexeev, P. S., Ostroumov, S. & Wiik, J.
01/06/09 → 30/09/14
Projekt: Företag/Business Finland
-
DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M., Sere, K., Plosila, J., Sandvik, P., Olszewska, M., Tsiopoulos, L., Dahlvik, M., Wiik, J., Laibinis, L., Neovius, M. & Lumme, K.
01/01/08 → 31/12/11
Projekt: FA/Övriga Forskningsråd
-
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. (red.). IEEE, s. 1–10Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
2 Citeringar (Scopus) -
Specification and Automated Verification of Dynamic Dataflow Networks
Wiik, J. & Boström, P., 2017, Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Proceedings. Cimatti, A. & Sirjani, M. (red.). Springer, s. 136–151Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
1 Citeringar (Scopus) -
Contract-Based Specification and Verification of Dataflow Programs
Wiik, J. & Boström, P., 2016, Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. Aceto, L., Fabregas, I., Garcia-Perez, A. & Ingolfsdottir, A. (red.). Reykjavik University, Iceland, s. 81–83Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig
-
Contract-Based Verification of MATLAB-Style Matrix Programs
Wiik, J. & Boström, P., 2016, I: Formal Aspects of Computing. 28, 1, s. 79–107Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
1 Citeringar (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. (red.). Tampereen teknillinen yliopisto, s. 239–250Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review