Towards a Generic Non-intrusive Fault Detection Framework

Autor: Julku, Jukka, Rautila, Mika

Publikováno v: Julku, J & Rautila, M 2013, Towards a Generic Non-intrusive Fault Detection Framework . in A Legay & S Bensalem (eds), Runtime Verification : RV 2013 . Springer, Berlin, Lecture Notes in Computer Science, vol. 8174, pp. 334-339, 4th International Conference on Runtime Verification, RV 2013, Rennes, France, 24/09/13 . https://doi.org/10.1007/978-3-642-40787-1_21

Temporal dependencies between programming library API operations form a protocol that can be used to automatically detect incorrect use of abstractions provided by the API. Traditionally, aliasing of abstraction instances is one of the main problems

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=355e65625b88::75975db5c96c00df81d9e9ec97c788cd
https://cris.vtt.fi/en/publications/0a74404b-9160-4830-8e64-19e72bc105af

On distributed memory support for the coordination language S-Net:Master's Thesis

Autor: Julku, Jukka

Publikováno v: Julku, J 2009, ' On distributed memory support for the coordination language S-Net : Master's Thesis ', Master Degree, Helsinki University of Technology, Espoo .

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=355e65625b88::05f57f533c4763000a897bea9b8d2c04
https://cris.vtt.fi/en/publications/5ce07bb5-17cf-4080-b77c-38fa2b51047a

S-Net for multi-memory multicores.

Autor: Grelck, Clemens, Julku, Jukka, Penczek, Frank

Publikováno v: Proceedings of the 5th ACM SIGPLAN Workshop: Declarative Aspects of Multicore Programming; 1/19/2010, p25-34, 10p