xmlui.themes.about.link
Departamento de Ingeniería Informática y Electrónica: Envíos recientes
Mostrando ítems 61-80 de 229
-
From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)
Altmeyer, Sebastian; André, Étienne; Dal Zilio, Silvano; Fejoz, Loïc; González Harbour, Michael
; Graf, Susanne; Gutiérrez García, José Javier; Henia, Rafik; Le Botlan, Didier; Lipari, Giuseppe; Medina Pasaje, Julio Luis; Navet, Nicolas; Quinton, Sophie; Rivas Concepción, Juan María; Sun, Youcheng (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023)
-
From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS
Altmeyer, Sebastian; André, Étienne; Dal Zilio, Silvano; Fejoz, Loïc; González Harbour, Michael; Graf, Susanne; Gutiérrez García, José Javier; Henia, Rafik; Le Botlan, Didier; Lipari, Giuseppe; Medina Pasaje, Julio Luis; Navet, Nicolas; Quinton, Sophie; Rivas Concepción, Juan María; Sun, Youcheng (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023)
-
Parallelisation of decision-making techniques in aquaculture enterprises
Ibáñez Bolado, Mario; Luna García, Manuel; Bosque Orero, José Luis; Beivide Palacio, Ramón (Kluwer Academic Publishers, 2023-07)
-
Vaultage: automatic generation of secure communication around decentralised user-managed data vaults
Yohannis, Alfa; Vega Ruiz, Alfonso de la; Kolovos, Dimitris (Journal of Object Technology, 2022)
-
Lattice Graphs for High-Scale Interconnection Topologies
Camarero Coterillo, Cristobal; Martínez Fernández, María del Carmen; Beivide Palacio, Ramón (IEEE Computer Society, 2015-09)
-
Simulation with skeletons of applications using dimemas
Camarero Coterillo, Cristobal; Martínez Fernández, María del Carmen; Bosque Orero, José Luis (The Association for Computing Machinery, 2019)
-
Polarized routing: an efficient and versatile algorithm for large direct networks
Camarero Coterillo, Cristobal; Martínez Fernández, María del Carmen; Beivide Palacio, Ramón (Institute of Electrical and Electronics Engineers, Inc., 2021)
-
Network unfairness in dragonfly topologies
Fuentes Saez, Pablo; Vallejo Gutiérrez, Enrique; Camarero Coterillo, Cristobal; Beivide Palacio, Ramón; Valero, Mateo (Kluwer Academic Publishers, 2016-12)
-
A throughput-optimized optical network for data-intensive computing
Schares, Laurent; Lee, Benjamin G.; Checconi, Fabio; Budd, Russell; Rylyakov, Alexander; Dupuis, Nicolas; Petrini, Fabrizio; Schow, Clint L.; Fuentes Saez, Pablo; Mattes, Oliver; Minkenberg, Cyriel (IEEE Computer Society, 2014-09)
-
El vídeo como estrategia docente en la enseñanza presencial
Zorrilla Pantaleón, Marta E.; Dintén Herrero, Ricardo; López Martínez, Patricia (AENUI, Asociación de Enseñantes Universitarios de la Informática, 2023)
