PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Pedram, Massoud"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification Using Edge-Valued Binary Decision Diagrams.

, , und . IEEE Trans. Computers, 45 (2): 247-255 (1996)

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.

Seyed Pedram Hosseyni Damabi University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Chromatic encoding: a low power encoding technique for digital visual interface., und . IEEE Trans. Consumer Electronics, 50 (1): 320-328 (2004)Performance Comparisons Between 7-nm FinFET and Conventional Bulk CMOS Standard Cell Libraries., , , , , und . IEEE Trans. on Circuits and Systems, 62-II (8): 761-765 (2015)Interconnect energy dissipation in high-speed ULSI circuits., , und . IEEE Trans. on Circuits and Systems, 51-I (8): 1501-1514 (2004)Formal Verification Using Edge-Valued Binary Decision Diagrams., , und . IEEE Trans. Computers, 45 (2): 247-255 (1996)Fast Interconnect and Gate Timing Analysis for Performance Optimization., , , und . IEEE Trans. VLSI Syst., 14 (12): 1383-1388 (2006)Predictive-Flow-Queue-Based Energy Optimization for Gigabit Ethernet Controllers., , und . IEEE Trans. VLSI Syst., 17 (8): 1113-1126 (2009)Forecasting-Based Dynamic Virtual Channel Management for Power Reduction in Network-on-Chips., , , und . J. Low Power Electronics, 5 (3): 385-395 (2009)A Backlight Power Management Framework for Battery-Operated Multimedia Systems., , und . IEEE Design & Test of Computers, 21 (5): 388-396 (2004)Architectures for Silicon Nanoelectronics and Beyond., , , , , , , und . IEEE Computer, 40 (1): 25-33 (2007)Constructing minimal spanning/Steiner trees with bounded path length., , und . Integration, 22 (1-2): 137-163 (1997)