Loading...
Derniers dépôts
-
Ralf Stemmer, Hai-Dang Vu, Kim Grüttner, Sébastien Le Nours, Wolfgang Nebel, et al.. Experimental Evaluation of Probabilistic Execution-Time Modeling and Analysis Methods for SDF Applications on MPSoCs. 19th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIX), Jul 2019, Samos, Greece. pp.241-254, ⟨10.1007/978-3-030-27562-4_17⟩. ⟨hal-02115121⟩
-
Atif Yasin, Tiankai Su, Sébastien Pillement, Maciej Ciesielski. Formal Verification of Divider Circuits by Hardware Reduction. International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2023), Jul 2023, Funchal - Madeira Island, Portugal. paper id 5112. ⟨hal-04038793⟩