( en | de | ru )

 

Disambiguation of "Mitra, Srobona"

Author of the publication

copydeleteadd this publication to your clipboard
Battery-aware code partitioning for a text to speech system.

, , , and . DATE, page 672-677. European Design and Automation Association, Leuven, Belgium, (2006)

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.

Uwe Mitransky

Thomas Mitra

Mitra Westermann

Mitra Pourmansour

Mitra Nikpay

 

Other publications of authors with the same name

Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent., , , , , and . DAC, page 773-776. ACM, (2010)Verification by parts: reusing component invariant checking results., , and . IET Comput. Digit. Tech., 6 (1): 19-32 (2012)Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces., , , and . Asian Test Symposium, page 238-243. IEEE Computer Society, (2011)Counterexample Ranking Using Mined Invariants., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 32 (12): 1978-1991 (2013)Formal methods for ranking counterexamples through assumption mining., , and . DATE, page 911-916. IEEE, (2012)On Incorporation of BIST for the Synthesis of Easily and Fully Testable Controllers., , and . VLSI Design, page 547-563. IEEE Computer Society, (1997)Cohesive Coverage Management for Simulation and Formal Property Verification., , , , , and . ISVLSI, page 251-256. IEEE Computer Society, (2008)Formal Guarantees for Localized Bug Fixes., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 32 (8): 1274-1287 (2013)Battery-aware code partitioning for a text to speech system., , , and . DATE, page 672-677. European Design and Automation Association, Leuven, Belgium, (2006)