( en | de | ru )

 

Disambiguierung von "Dasgupta, Pallab"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads.

, , , , , , und . J. Low Power Electron., 8 (3): 293-303 (2012)

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.

Shivaji Dasgupta

Shyamal Dasgupta

Subho Dasgupta

Subhoranjan Dasgupta

Shyamal Dasgupta

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis of sampling modes for adaptive control., , , , , und . ICCSCE, Seite 294-299. IEEE, (2014)Formal Analysis of Hybrid Systems Using Feature Indented Assertions., und . CoRR, (2017)Concurrent Usage Control Implementation Verification Using the SPIN Model Checker., , und . CNSA, Volume 89 von Communications in Computer and Information Science, Seite 214-223. Springer, (2010)Assertions for Protecting Mixed-Signal Latency Contracts in Power Management., , , und . IEEE Trans. Very Large Scale Integr. Syst., 28 (8): 1745-1756 (2020)Multirate Sampling for Power-Performance Tradeoff in Embedded Control., , , und . IEEE Embed. Syst. Lett., 8 (4): 77-80 (2016)Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 30 (10): 1446-1457 (2011)Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 31 (3): 447-451 (2012)Interpreting Local Variables in AMS Assertions During Simulation., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (5): 980-984 (2019)CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications., , , und . ACM Trans. Design Autom. Electr. Syst., 28 (1): 9:1-9:32 (Januar 2023)A Methodology for Identification of Internal Nets for Improving Fault Coverage in Analog and Mixed Signal Circuits., , , und . J. Electron. Test., 36 (6): 719-730 (2020)