Autor der Publikation

A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications.

, , und . J. Low Power Electron., 5 (2): 135-144 (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A 20bit continuous-time ΣΔ modulator with a Gm-C integrator, 120dB CMRR and 15 ppm INL., , , und . ESSCIRC, Seite 385-388. IEEE, (2012)HBUNN - Hybrid Binary-Unary Neural Network: Realizing a Complete CNN on an FPGA., , und . ICCD, Seite 156-163. IEEE, (2019)AppliedMicro X-Gene2., , und . Hot Chips Symposium, Seite 1-24. IEEE, (2014)Rail schedule optimisation in the hunter valley coal chain., , , und . RAIRO Oper. Res., 49 (2): 413-434 (2015)Performance Analysis of Federated Learning Algorithms for Multilingual Protest News Detection Using Pre-Trained DistilBERT and BERT., , , , , und . IEEE Access, (2023)An overview of the competitive and adversarial approaches to designing dynamic power management strategies., , , und . IEEE Trans. Very Large Scale Integr. Syst., 13 (12): 1349-1361 (2005)Device-Free Pedestrian Tracking Using Low-Cost Ultrawideband Devices., , , , , , und . IEEE Trans. Instrum. Meas., (2022)Exact approaches for the orderly colored longest path problem: Performance comparison., , , und . Comput. Oper. Res., (2019)Fusing Semantics and Motion State Detection for Robust Visual SLAM., , und . WACV, Seite 2753-2762. IEEE, (2020)Resource constraint scheduling with a fractional shared resource., und . Oper. Res. Lett., 39 (5): 363-368 (2011)