- 2020
- Steffen Zeidler, Oliver Schrape, Anselm Breitenreiter, Milos Krstic:
A Glitch-free Clock Multiplexer for Non-Continuously Running Clocks. DSD 2020: 11-15 - Umar Afzaal, Jeong-A Lee:
Trading the Reliability of Approximate TMR in FPGAs with the Cost of Mitigation. DSD 2020: 660-663 - Irune Agirre, Peio Onaindia, Tomaso Poggi, Irune Yarza, Francisco J. Cazorla, Leonidas Kosmidis, Kim Grüttner, Mohammed Abuteir, Jan Loewe, Juan M. Orbegozo, Stefania Botta:
UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems. DSD 2020: 344-351 - Waqar Ahmad, Berke Ayrancioglu, Ilker Hamzaoglu:
Comparison of Approximate Circuits for H.264 and HEVC Motion Estimation. DSD 2020: 167-173 - Dorian Amiet, Lukas Leuenberger, Andreas Curiger, Paul Zbinden:
FPGA-based SPHINCS+ Implementations: Mind the Glitch. DSD 2020: 229-237 - Rozaliya Amirova, Vladimir Ivanov, Sergey Masyagin, Aldo Spallone, Giancarlo Succi:
Preliminary findings on tools for the analysis of mental activity of programmers using EEG data from portable devices. DSD 2020: 416-419 - Ahmed Amrani, Hakim Arezki, David Lellouche, Vivien Gazeau, Corinne Fillol, Oussama Allali, Thomas Lacroix:
Architecture of a Public Transport Supervision System Using Hybridization Models Based on Real and Predictive Data. DSD 2020: 440-446 - Marko S. Andjelkovic, Aleksandar Simevski, Junchao Chen, Oliver Schrape, Zoran Stamenkovic, Milos Krstic, Stefan D. Ilic, Luka Spahic, Laza Kostic, Goran S. Ristic, Aleksandar Jaksic, Alberto J. Palma, Antonio M. Lallena, Miguel Angel Carvaja:
Design of Radiation Hardened RADFET Readout System for Space Applications. DSD 2020: 484-488 - Eishi Arima:
Classification-Based Unified Cache Replacement via Partitioned Victim Address History. DSD 2020: 101-108 - Milad Bahadori, Kimmo Järvinen:
A Programmable SoC Implementation of the DGK Cryptosystem for Privacy-Enhancing Technologies. DSD 2020: 254-261 - Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, H. Becker, Enrico Ferrari, J. Jahic, A. Kanak, Mikel Labayen Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie:
The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. DSD 2020: 352-359 - Tomás Benes, Michal Kekely, Karel Hynek, Tomás Cejka:
Pipelined ALU for effective external memory access in FPGA. DSD 2020: 97-100 - Gautier Berthou, Kevin Marquet, Tanguy Risset, Guillaume Salagnac:
MPU-based incremental checkpointing for transiently-powered systems. DSD 2020: 89-96 - Matteo Bertolino, Renaud Pacalet, Ludovic Apvrille, Andrea Enrici:
Efficient Scheduling of FPGAs for Cloud Data Center Infrastructures. DSD 2020: 57-64 - Matteo Bertolucci, Francesco Falaschi, Riccardo Cassettari, Daniele Davalle, Luca Fanucci:
A Comprehensive Trade-off Analysis on the CCSDS 131.2-B-1 Extended ModCod (SCCC-X) Implementation. DSD 2020: 126-132 - Gerd vom Bögel, Linda Cousin, Nicolai Iversen, Emad Samuel Malki Ebeid, Andreas Hennig:
Drones for Inspection of Overhead Power Lines with Recharge Function. DSD 2020: 497-502 - Jaroslav Borecký, Robert Hülle, Petr Fiser:
Evaluation of the SEU Faults Coverage of a Simple Fault Model for Application-Oriented FPGA Testing. DSD 2020: 684-691 - L. E. Pedraza Caballero, Michelle Povinelli, Jhonattan C. Ramirez, Paulo Guimarães, Omar P. Vilela Neto:
Design of Compact Integrated Photonic Crystal NAND and NOR Logic Gates. DSD 2020: 420-427 - Humberto Carvalho, Geoffrey Nelissen, Pavel Zaykov:
mcQEMU: Time-Accurate Simulation of Multi-core platforms using QEMU. DSD 2020: 81-88 - Simone Crippa, Giuseppe Massari, Federico Reghenzani, Michele Zanella, William Fornaciari:
Predictive Resource Management in Energy-constrained Embedded Systems. DSD 2020: 159-166 - Petr Dobiás, Emmanuel Casseau, Oliver Sinnen:
Evaluation of Fault Tolerant Online Scheduling Algorithms for CubeSats. DSD 2020: 622-629 - Tobias Dörr, Timo Sandmann, Jürgen Becker:
A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems. DSD 2020: 596-603 - Tobias Dörr, Timo Sandmann, Patrick Friederich, Arnd Leitner, Jürgen Becker:
An Approach to Cost-Efficient Fault Tolerance in Inherently Redundant Fail-Operational Systems. DSD 2020: 630-637 - Rolf Drechsler, Sebastian Huhn, Christina Plump:
Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials. DSD 2020: 518-525 - Norbert Druml, Björn Debaillie, Andrei Anghel, Nicolae-Catalin Ristea, Jonas Fuchs, Anand Dubey, Torsten Reißland, Maike Hartstem, Viktor Rack, Anna Ryabokon, Kaspars Ozols, Rihards Novickis, Aleksandrs Levinskis, Omar Veledar, Georg Macher, Johannes Jany-Luig, Selim Solmaz, Jakob Reckenzaun, Naveen Mohan, Shai Ophir, Georg Stettinger, Sergio E. Diaz, Mauricio Marcano, Jorge Villagra, Andrea Castellano, Rutger Beekelaar, Fabio Tango, Jarno Vanne, Kalle Holma, Oguz Icoglu, George Dimitrakopoulos:
Programmable Systems for Intelligence in Automobiles (PRYSTINE): Technical Progress after Year 2. DSD 2020: 360-369 - Mikel Etxeberria-Garcia, Fernando Ezaguirre, Joanes Plazaola, Unai Muñoz, Maider Zamalloa:
Embedded object detection applying Deep Neural Networks in railway domain. DSD 2020: 565-569 - Marcos Santana Farias, Nadia Nedjah, Paulo Victor R. de Carvalho:
Active Redundant Hardware Architecture for Increased Reliability in FPGA-Based Nuclear Reactors Critical Systems. DSD 2020: 608-615 - Thomas Fehmel, Viet-Tan Nguyen, Dominik Stoffel, Wolfgang Kunz:
Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers. DSD 2020: 109-116 - Emilien Fournier, Ciprian Teodorov, Loïc Lagadec:
Menhir: Generic High-Speed FPGA Model-Checker. DSD 2020: 65-72 - Tim Fritzmann, Jonas Vith, Johanna Sepúlveda:
Strengthening Post-Quantum Security for Automotive Systems. DSD 2020: 570-576