Author of the publication

Symbolic Analysis for Data Plane Programs Specialization.

, , and . ACM Trans. Archit. Code Optim., 20 (1): 1:1-1:21 (March 2023)

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 comparison of self-organizing neural networks for fast clustering of radar pulses., , , and . Signal Process., 64 (3): 249-269 (1998)Energy Efficient Generic Demodulator for High Data Transmission Rate Over an Inductive Link for Implantable Devices., , , , and . IEEE Access, (2019)Reconstruction method for jitter tolerant data acquisition system., , , and . J. Electron. Test., 9 (1-2): 177-185 (1996)AnARM: A 28nm Energy Efficient ARM Processor Based on Octasic Asynchronous Technology., , , , , , and . ASYNC, page 58-59. IEEE, (2019)Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation., , , and . IEEE Trans. Ind. Informatics, 10 (3): 1684-1695 (2014)Design Intelligence for Interconnection Realization in Power-Managed SoCs., , and . Computational Intelligence in Digital and Network Designs and Applications, Springer, (2015)A netlist pruning tool for an electronic system prototyping platform., , , and . NEWCAS, page 1-4. IEEE, (2013)Power-efficient hardware architecture for computing Split-Radix FFTs on highly sparsed spectrum., , , and . NEWCAS, page 1-4. IEEE, (2015)Probabilistic model checking of clock domain crossing interfaces., , , and . NEWCAS, page 193-196. IEEE, (2012)Analysis of SEU propagation in sequential circuits at RTL using Satisfiability Modulo Theories., , , and . NEWCAS, page 237-240. IEEE, (2017)