E-LIB Suche - Ergebnisse für: Alcaide Portet, Sergi

1

Software-Only Triple Diverse Redundancy on GPUs for Autonom..:

, In: 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S),

Alcaide Portet, Sergi ; Kosmidis, Leonidas ; Hernandez, Carles. - p. 82-88 , 2020

Link: https://doi.org/10.1109/..

2

A software-only approach to enable diverse redundancy on In..:

Andriotis, Nikolaos ; Serrano Cases, Alejandro ; Alcaide Portet, Sergi...
https://dl.acm.org/doi/abs/10.1145/3555776.3577610. , 2023

Link: http://hdl.handle.net/21..

3

SafeLS: An open source implementation of a lockstep NOEL-V ..:

Sarraseca Julian, Marcel ; Alcaide Portet, Sergi ; Fuentes Díaz, Francisco Javier...
https://ieeexplore.ieee.org/abstract/document/10224867. , 2023

Link: http://hdl.handle.net/21..

4

NimbleAI: towards neuromorphic sensing-processing 3D-integr..:

Iturbe Lili, Xabier ; Abderrahmane, Nassim ; Abella Ferrer, Jaume...
https://ieeexplore.ieee.org/document/10136952. , 2023

Link: http://hdl.handle.net/21..

5

Black-Box IP Validation with the SafeTI Traffic Injector: A..:

Fuentes, Francisco ; Alcaide Portet, Sergi ; Casanova, Raimon.
https://www.computer.org/csdl/proceedings/dft/2023/1S4hT0DAvwQ. , 2023

Link: http://hdl.handle.net/21..

6

SafeSoftDR: A library to enable software-based diverse redu..:

Mazzocchetti, Fabio ; Alcaide Portet, Sergi ; Bas Jalón, Francisco...
Mazzocchetti, F. [et al.]. SafeSoftDR: A library to enable software-based diverse redundancy for safety-critical tasks. A: Functional Properties and Dependability in Cyber-Physical Systems Workshop. "FORECAST 2022: Functional Properties and Dependability in Cyber-Physical Systems Workshop". Ithaca, NY: arXiv, 2022, p. 1-4. DOI arXiv:2210.00833v1.. , 2022

Link: http://hdl.handle.net/21..

7

End-to-end QoS for the open source safety-relevant RISC-V S..:

Andreu Cerezo, Pablo ; Hernández Luz, Carles ; Picornell Sanjuan, Tomás...
https://arxiv.org/abs/2210.04683. , 2022

Link: http://hdl.handle.net/21..

8

Achieving diverse redundancy for GPU Kernels:

Alcaide Portet, Sergi ; Kosmidis, Leonidas ; Hernández Luz, Carles.
https://ieeexplore.ieee.org/document/9523531. , 2022

Link: http://hdl.handle.net/21..

9

SafeDM: a hardware diversity monitor for redundant executio..:

Bas Jalón, Francisco ; Benedicte Illescas, Pedro ; Alcaide Portet, Sergi...
https://ieeexplore.ieee.org/document/9774540. , 2022

Link: http://hdl.handle.net/21..

10

De-RISC: A complete RISC-V based space-grade platform:

Wessman, Nils-Johan ; Malatesta, Fabio ; Ribes, Stefano...
https://ieeexplore.ieee.org/document/9774557. , 2022

Link: http://hdl.handle.net/21..

11

SafeDE: A low-cost hardware solution to enforce diverse red..:

Bas Jalón, Francisco ; Alcaide Portet, Sergi ; Cabo Pitarch, Guillem..
https://ieeexplore.ieee.org/document/9729773. , 2022

Link: http://hdl.handle.net/21..

12

Unboxing the sand: on deploying safety measures in the prog..:

Alcaide Portet, Sergi ; Cabo Pitarch, Guillem ; Bas Jalón, Francisco...
https://www.archives-ouvertes.fr/hal-03692732/. , 2022

Link: http://hdl.handle.net/21..

13

SafeSU-2: a safe statistics unit for space MPSoCs:

Cabo Pitarch, Guillem ; Alcaide Portet, Sergi ; Hernández Luz, Carles...
https://ieeexplore.ieee.org/document/9774515. , 2022

Link: http://hdl.handle.net/21..

14

SafeX: Open source hardware and software components for saf..:

Alcaide Portet, Sergi ; Cabo Pitarch, Guillem ; Bas Jalón, Francisco...
https://ieeexplore.ieee.org/document/9925668. , 2022

Link: http://hdl.handle.net/21..

15

Security, reliability and test aspects of the RISC-V ecosys..:

Abella Ferrer, Jaume ; Alcaide Portet, Sergi ; Anders, Jens...
https://ieeexplore.ieee.org/document/9465449. , 2021

Link: http://hdl.handle.net/21..