Navegar

Colección

Datos Estadísticas

Lista de

Distributed systems
6
"Sherlockfog: Finding opportunities for MPI applications in fog and edge computing" (2018) Geier, M.; Mocskos, E.; Mocskos E.; Nesmachnow S. 4th Latin American Conference on High Performance Computing, CARLA 2017. 796:185-199
"Sherlockfog: Finding opportunities for MPI applications in fog and edge computing" (2018) Geier, M.; Mocskos, E.; Mocskos E.; Nesmachnow S. 4th Latin American Conference on High Performance Computing, CARLA 2017. 796:185-199
"A denotational view of replicated data types" (2017) Gadducci, F.;Melgratti, H.;Roldán, C. (...)Massink M. 19th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. 10319 LNCS:138-156
"Efficient P2P inspired policy to distribute resource information in large distributed systems" (2017) Verghelet, P.;Mocskos, E.;Barrios Hernandez C.J. (...)Klapp J. 3rd Latin American Conference on High Performance Computing, CARLA 2016. 697:3-17
"Efficient P2P inspired policy to distribute resource information in large distributed systems" (2017) Verghelet, P.;Mocskos, E.;Barrios Hernandez C.J. (...)Klapp J. 3rd Latin American Conference on High Performance Computing, CARLA 2016. 697:3-17
"Verification of real-time designs: Combining scheduling theory with automatic formal verification" (1999) Braberman, V.A.; Felder, M. 7th European Software Engineering Conference, ESEC 1999 - Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE 1999. 1687 LNCS:494-510