Alessio Bucaioni, A. Cicchetti, Federico Ciccozzi, Manvisha Kodali, Mikael Sjödin.
In: Advances in intelligent systems and computing.
2018
A. Masud, B. Lisper, Federico Ciccozzi.
In: IEEE Access.
2018
Abstract:
Automatic inference of task level parallelism is fundamental for ensuring many kinds of safety and liveness properties of parallel applications. For example, two tasks running in parallel may be involved in data races when they have conflicting memory accesses, or one is affecting the termination of another by updating shared variables. In this paper, we have considered a task-graph-based actor mo...
R. Jongeling, Jan Carlson, A. Cicchetti, Federico Ciccozzi.
In: .
2018
K. Werder, S. Brinkkemper, J. Bosch, M. Cusumano, G. Herzwurm et al.
In: .
2018
Magnus Åkerman, J. Stahre, U. Engström, Ola Angelsmark, D. Mcgillivray et al.
2018
E. Cainelli, A. Cappellari, M. D. Capua, A. Janes, S. Pro et al.
2018
Per Persson, Ola Angelsmark.
In: Proceedings of the 2nd International Workshop on Serverless Computing.
2017
D. Khelladi, Reda Bendraou, R. Hebig, M. Gervais.
In: J. Syst. Softw..
2017
A. Papadopoulos, Jakub Krzywda, E. Elmroth, M. Maggio.
In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC).
2017
Luciana Provenzano, Kaj Hänninen, Jiale Zhou, K. Lundqvist.
In: 2017 24th Asia-Pacific Software Engineering Conference (APSEC).
2017
Jiale Zhou, Kaj Hänninen, K. Lundqvist, Luciana Provenzano.
In: 2017 2nd International Conference on System Reliability and Safety (ICSRS).
2017
Mazen Mohamad, Grischa Liebel, E. Knauss.
In: Inf. Softw. Technol..
2017
H. Faragardi, H. Fotouhi, Thomas Nolte, R. Rahmani.
In: 2017 IEEE 19th International Conference on High Performance Computing and Communications; IEEE 15th International Conference on Smart City; IEEE 3rd International Conference on Data Science and Systems (HPCC/SmartCity/DSS).
2017