( en | de | ru )

 

Disambiguation of "Poncino, Massimo"

Author of the publication

copydeleteadd this publication to your clipboard
A Structural Approach to State Space Decomposition for Approximate Reachability Analysis.

, , , , and . ICCD, page 236-239. IEEE Computer Society, (1994)

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.

Massimo Viola

Massimo Moser

Massimo Tallarida

Massimo Malagó

Massimo Busin

 

Other publications of authors with the same name

A State Space Decomposition Algorithm for Approximate FSM Traversal., , , , and . EDAC-ETC-EUROASIC, page 137-141. IEEE Computer Society, (1994)Workload-driven frequency-aware battery sizing., , and . ISLPED, page 1-6. IEEE, (2017)Post-placement temperature reduction techniques., , , , and . DATE, page 634-637. IEEE Computer Society, (2010)A timing-accurate modeling and simulation environment for networked embedded systems., , , , , and . DAC, page 42-47. ACM, (2003)Energy-optimal SRAM supply voltage scheduling under lifetime and error constraints., , and . DAC, page 110:1-110:6. ACM, (2013)Energy-performance tradeoffs for the shared memory in multi-processor systems-on-chip., , and . ISCAS (2), page 361-364. IEEE, (2004)Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques., , , , and . DAC, page 467-470. ACM Press, (1996)Telescopic Units: Increasing the Average Throughput of Pipelined Designs by Adaptive Latency Control., , and . DAC, page 22-27. ACM Press, (1997)Kernel-Based Power Optimization of RTL Components: Exact and Approximate Extraction Algorithms., , , , and . DAC, page 247-252. ACM Press, (1999)A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 36 (10): 1702-1715 (2017)