TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

  1. Julkaistu

    On constructibility and unconstructibility of LTS operators from other LTS operators

    Valmari, A., 2015, julkaisussa : Acta Informatica. 52, 2-3, s. 207-234 28 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    A State Space Tool for Concurrent System Models Expressed In C++

    Valmari, A., 14 joulukuuta 2015, SPLST 2015 Symposium on Programming Languages and Software Tools: Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015. Nummenmaa, J., Sievi-Korte, O. & Mäkinen, E. (toim.). CEUR-WS.org, Vuosikerta 1525. s. 91-105 15 Sivumäärä 7. (CEUR Workshop Proceedings; painos 1525).

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Stop it, and be stubborn!

    Valmari, A., 1 tammikuuta 2017, julkaisussa : ACM Transactions on Embedded Computing Systems. 16, 2, 46.

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Fair testing and stubborn sets

    Valmari, A. & Vogler, W., 2018, julkaisussa : International Journal on Software Tools for Technology Transfer. s. 589-610 22 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Optimizing gaze direction in a visual navigation task

    Välimäki, T. & Ritala, R., 8 kesäkuuta 2016, 2016 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, s. 1427-1432 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    A convolutional neural network approach for acoustic scene classification

    Valenti, M., Squartini, S., Diment, A., Parascandolo, G. & Virtanen, T., 30 kesäkuuta 2017, 2017 International Joint Conference on Neural Networks, IJCNN 2017. IEEE, s. 1547-1554 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Feasibility of FPGA accelerated IPsec on cloud

    Vajaranta, M., Oinonen, A., Hämäläinen, T. D., Viitamäki, V., Markunmäki, J. & Kulmala, A., 1 marraskuuta 2019, julkaisussa : Microprocessors and Microsystems. 71, 102861.

    Tutkimustuotosvertaisarvioitu

  8. Integrated controller for an over-constrained cable driven parallel manipulator: KNTU CDRPM

    Vafaei, A., Aref, M. M. & Taghirad, H. D., 2010, Proceedings - IEEE International Conference on Robotics and Automation. s. 650-655 6 Sivumäärä 5509991

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    Towards Efficient Code Generation for Exposed Datapath Architectures

    Vadivel, K., Jordans, R., Stujik, S., Corporaal, H., Jääskeläinen, P. & Kultala, H., 27 toukokuuta 2019, Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, SCOPES 2019. Stuijk, S. (toim.). ACM, s. 86-89 4 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Briefing news reporting with mobile assignments - Perceptions, needs and challenges

    Väätäjä, H. & Egglestone, P., 2012, Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work CSCW'12 Seattle, WA, USA, February 11-15, 2012. New York, NY: ACM, s. 485-494 10 Sivumäärä (ACM Conference on Computer Supported Cooperative Work).

    Tutkimustuotosvertaisarvioitu