Visualizar por autor "González Harbour, Michael"

Análisis de planificabilidad basado en offsets en sistemas distribuidos de tiempo real con prioridades dinámicas

Díaz de Cerio, Unai (2015-07-21)

Aplicaciones Ada en Android con requisitos de tiempo real

Pérez Ruiz, Alejandro

; Aldea Rivas, Mario

; González Harbour, Michael

(Comité Español de Automática (CEA), 2019)

Aprovisionamiento de base de datos a través de fichero plano con control de carga, historicidad y automatización con Control-M

Aragoneses Díaz, Gonzalo (2017-09-05)

Cinemática de muñeca robótica para soldadura en vasija nuclear

López Macho, Manuel (2016-01-13)

Controlador de un subsistema de oscilación de una antorcha de soldadura con un procesador de bajo coste

Zulueta Barbadillo, Asier (2020-07)

Desarrollo del software de un sistema para calibración de medidas horizontales

Gutiérrez Peón, Pablo

(2013-10)

Diseñador BPM para el sistema IDbox

Pérez Abascal, María Jesús (2017)

Evaluación de la viabilidad de un editor visual para el modelo MAST 2 sobre la plataforma Eclipse

Dehesa Cueto-Felgueroso, Javier de la (2012-07-09)

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)

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)

GEN4MAST: A Tool for the Evaluation of Real-Time Techniques Using a Supercomputer

Rivas Concepción, Juan María

; Gutiérrez García, José Javier

; González Harbour, Michael

(2014)

Implementación del protocolo DFP en MaRTE OS y propuesta para su incorporación al lenguaje Ada

Gutiérrez López, Marina

(2013-06)

Implementación en MAST de herramientas de cálculo de tiempos de respuesta

López Arce, Balduino (2018-09)

Modelado e implementación de sistemas de tiempo real en procesadores muchos núcleos basados en malla

García Villaescusa, David

(2022-01-11)

Non-Blocking Synchronization Between Real-Time and Non-Real-Time Applications

Pérez Ruiz, Alejandro

; Aldea Rivas, Mario

; González Harbour, Michael

(Institute of Electrical and Electronics Engineers Inc., 2020-08-10)

On the Convergence of the Holistic Analysis for EDF Distributed Systems

Díaz de Cerio, Unai; Uribe, Juan P.; González Harbour, Michael

; Palencia Gutiérrez, José Carlos

(2014-10-06)

Patrones de diseño de tiempo real

Drake Moyano, José María

; López Martínez, Patricia

; González Harbour, Michael

; Barros Bastante, Laura; Cuevas Cuesta, César

; Martínez Lanza, José María (2011-10-30)

Performance comparison between the SRP and DFP synchronization protocols in MaRTE OS

Gutiérrez López, Marina

; Burns, Alan; Aldea Rivas, Mario

; González Harbour, Michael

(2013-01)

Planificación, análisis y optimización de sistemas distribuidos de tiempo real estricto

Gutiérrez García, José Javier

(Universidad de Cantabria, 2010-09-27)

Response-time analysis of mesh-based many-core systems

García Villaescusa, David

; Aldea Rivas, Mario

; González Harbour, Michael

(Elsevier, 2023)

Visualizar por autor "González Harbour, Michael"

Análisis de planificabilidad basado en offsets en sistemas distribuidos de tiempo real con prioridades dinámicas

Aplicaciones Ada en Android con requisitos de tiempo real

Aprovisionamiento de base de datos a través de fichero plano con control de carga, historicidad y automatización con Control-M

Cinemática de muñeca robótica para soldadura en vasija nuclear

Controlador de un subsistema de oscilación de una antorcha de soldadura con un procesador de bajo coste

Desarrollo del software de un sistema para calibración de medidas horizontales

Diseñador BPM para el sistema IDbox

Evaluación de la viabilidad de un editor visual para el modelo MAST 2 sobre la plataforma Eclipse

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)

GEN4MAST: A Tool for the Evaluation of Real-Time Techniques Using a Supercomputer

Implementación del protocolo DFP en MaRTE OS y propuesta para su incorporación al lenguaje Ada

Implementación en MAST de herramientas de cálculo de tiempos de respuesta

Modelado e implementación de sistemas de tiempo real en procesadores muchos núcleos basados en malla

Non-Blocking Synchronization Between Real-Time and Non-Real-Time Applications

On the Convergence of the Holistic Analysis for EDF Distributed Systems

Patrones de diseño de tiempo real

Performance comparison between the SRP and DFP synchronization protocols in MaRTE OS

Planificación, análisis y optimización de sistemas distribuidos de tiempo real estricto

Response-time analysis of mesh-based many-core systems

Listar

Mi cuenta

Sobre UCrea

Piensa en abierto

Compartir

Visualizar por autor "González Harbour, Michael"

Análisis de planificabilidad basado en offsets en sistemas distribuidos de tiempo real con prioridades dinámicas ﻿

Aplicaciones Ada en Android con requisitos de tiempo real ﻿

Aprovisionamiento de base de datos a través de fichero plano con control de carga, historicidad y automatización con Control-M ﻿

Cinemática de muñeca robótica para soldadura en vasija nuclear ﻿

Controlador de un subsistema de oscilación de una antorcha de soldadura con un procesador de bajo coste ﻿

Desarrollo del software de un sistema para calibración de medidas horizontales ﻿

Diseñador BPM para el sistema IDbox ﻿

Evaluación de la viabilidad de un editor visual para el modelo MAST 2 sobre la plataforma Eclipse ﻿

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS ﻿

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact) ﻿

GEN4MAST: A Tool for the Evaluation of Real-Time Techniques Using a Supercomputer ﻿

Implementación del protocolo DFP en MaRTE OS y propuesta para su incorporación al lenguaje Ada ﻿

Implementación en MAST de herramientas de cálculo de tiempos de respuesta ﻿

Modelado e implementación de sistemas de tiempo real en procesadores muchos núcleos basados en malla ﻿

Non-Blocking Synchronization Between Real-Time and Non-Real-Time Applications ﻿

On the Convergence of the Holistic Analysis for EDF Distributed Systems ﻿

Patrones de diseño de tiempo real ﻿

Performance comparison between the SRP and DFP synchronization protocols in MaRTE OS ﻿

Planificación, análisis y optimización de sistemas distribuidos de tiempo real estricto ﻿

Response-time analysis of mesh-based many-core systems ﻿

Análisis de planificabilidad basado en offsets en sistemas distribuidos de tiempo real con prioridades dinámicas

Aplicaciones Ada en Android con requisitos de tiempo real

Aprovisionamiento de base de datos a través de fichero plano con control de carga, historicidad y automatización con Control-M

Cinemática de muñeca robótica para soldadura en vasija nuclear

Controlador de un subsistema de oscilación de una antorcha de soldadura con un procesador de bajo coste

Desarrollo del software de un sistema para calibración de medidas horizontales

Diseñador BPM para el sistema IDbox

Evaluación de la viabilidad de un editor visual para el modelo MAST 2 sobre la plataforma Eclipse

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)

GEN4MAST: A Tool for the Evaluation of Real-Time Techniques Using a Supercomputer

Implementación del protocolo DFP en MaRTE OS y propuesta para su incorporación al lenguaje Ada

Implementación en MAST de herramientas de cálculo de tiempos de respuesta

Modelado e implementación de sistemas de tiempo real en procesadores muchos núcleos basados en malla

Non-Blocking Synchronization Between Real-Time and Non-Real-Time Applications

On the Convergence of the Holistic Analysis for EDF Distributed Systems

Patrones de diseño de tiempo real

Performance comparison between the SRP and DFP synchronization protocols in MaRTE OS

Planificación, análisis y optimización de sistemas distribuidos de tiempo real estricto

Response-time analysis of mesh-based many-core systems