Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
Embedded systems
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

An application of parallel satisfiability solving to the verification of complex embedded systems

pubblicato su: Handbook of parallel constraint reasoning - 2018

Ferrante Orlando, Ferrari Alberto, Sofronis Christos, Mangeruca Leonardo, Benvenuti Luca

Investigation on the optimal pipeline organization in RISC-V multi-threaded soft processor cores

pubblicato su: Proceedings - 2017 1st New Generation of CAS, NGCAS 2017 - 2017

Olivieri Mauro, Cheikh Abdallah, Cerutti Gianmarco, Mastrandrea Antonio, Menichelli Francesco

CATALOGO IRIS SAPIENZA

Anno

2018 (1) Apply 2018 filter
2017 (1) Apply 2017 filter

Tipo pubblicazione

02 Pubblicazione su volume (1) Apply 02 Pubblicazione su volume filter
04 Pubblicazione in atti di convegno (1) Apply 04 Pubblicazione in atti di convegno filter

Rivista

Book

Handbook of parallel constraint reasoning (1) Apply Handbook of parallel constraint reasoning filter
Proceedings - 2017 1st New Generation of CAS, NGCAS 2017 (1) Apply Proceedings - 2017 1st New Generation of CAS, NGCAS 2017 filter

Keywords

(-) Remove Embedded systems filter Embedded systems
FPGA (1) Apply FPGA filter
Hardware and Architecture (1) Apply Hardware and Architecture filter
microprocessors (1) Apply microprocessors filter
Model checking (1) Apply Model checking filter
parallel satisfiability (1) Apply parallel satisfiability filter
RISCV (1) Apply RISCV filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma