Author of the publication

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

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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