Julkaisuja vuodessa
Julkaisuja vuodessa
Hakutulokset
-
2015
Formal Modelling for Digital Media Distribution
Sandvik, P., 2015Tutkimustuotos: Väitöskirjatyypit › Tohtorinväitöskirja › Artikkelikokoelma
-
2014
A Formal Specification Language for Content Transfer Algorithms
Sandvik, P., 2014, TUCS.Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
On Proving Recoverability of Smart Electrical Grids
Seppo, H., Kamali, M., Mikko, K., Neovius, M., Petre, L., Mauno, R. & Sandvik, P., 2014, NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014.. Badger, J. & Rozier, K. (toim.). Springer, s. 77–91Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
4 Sitaatiot (Scopus) -
SPECTA: A Formal Specification Language for Content Transfer Algorithms
Sandvik, P., 2014, The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014). IEEE Computer Society Institute of Electrical and Electronic Engineers, s. 1–4Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
2013
A Formal Approach to H.264 Video Decoding on Multicore Systems
Lumme, K., Petre, L., Sandvik, P. & Sere, K., 2013, julkaisussa: International Journal of Critical Computer-Based Systems. 4, 1, s. 3–26Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
-
Formal Development of System of Systems
Kamali, M., Neovius, M., Petre, L. & Sandvik, P., 2013, julkaisussa: ISRN Software Engineering. 2013, s. –Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
-
2012
A Modular Approach to Formal Modelling of Peer-to-Peer Networks
Petre, L., Sandvik, P. & Sere, K., 2012, Turku Centre for Computer Science (TUCS).Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Node Coordination in Peer-to-Peer Networks
Petre, L., Sandvik, P. & Sere, K., 2012, COORDINATION 2012 Coordination Models and Languages. Sirjani, M. (toim.). Springer, s. 196–211Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
5 Sitaatiot (Scopus) -
2011
Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems
Petre, L. & Sandvik, P., 2011, Proceedings of the 23rd Nordic Workshop on Programming Theory. Pettersson, P. & Seceleanu, C. (toim.). Mälardalens högskola, s. 21–23Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen
-
2010
A Further Look at the Distance-Availability Weighted Piece Selection Method: A BitTorrent Piece Selection Method for On-Demand Media Streaming
Sandvik, P. & Neovius, M., 2010, julkaisussa: International Journal on Advances in Networks and Services. 3, 3&4, s. 473-483 11 SivumääräTutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Open access -
An Event-B Model for On-Demand Streaming
Sandvik, P., Sere, K. & Walden, M., 2010, Turku, Finland: Turku Centre for Computer Science. (TUCS Technical Reports; nro 994)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto21 Lataukset (Pure) -
Modelling BitTorrent-like Streaming Piece Selection with Event-B
Sandvik, P., Sere, K. & Walden, M., 2010, Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010. Turku, Finland: Turku Centre for Computer Science (TUCS), Vuosikerta 57. s. 82-84 (TUCS General Publication; nro 57).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen