PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Malik, Sharad"

Author of the publication

copydeleteadd this publication to your clipboard
On computing minimal independent support and its applications to sampling and counting.

, , , and . Constraints, 21 (1): 41-58 (2016)

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.

Malik Lenger University of Stuttgart

Volkhard Malik University of Stuttgart

 

Other publications of authors with the same name

Specification and encoding of transaction interaction properties., , and . Formal Methods in System Design, 39 (2): 144-164 (2011)Certified Timing Verification and the Transition Delay of a Logic Circuit., , , and . DAC, page 549-555. (1992)Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software., , and . RTSS, page 298-307. IEEE Computer Society, (1995)Cache modeling for real-time software: beyond direct mapped instruction caches., , and . RTSS, page 254-263. IEEE Computer Society, (1996)Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs., , , , and . ICCAD, page 286-292. IEEE Computer Society, (2001)Incremental CAD., , , and . ICCAD, page 236-243. IEEE Computer Society, (2000)Reverse engineering digital circuits using functional analysis., , , , , and . DATE, page 1277-1280. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Optimization of embedded DSP programs using post-pass data-flow analysis., , , and . ICASSP, page 695-698. IEEE Computer Society, (1997)Post-silicon fault localisation using maximum satisfiability and backbones., , and . FMCAD, page 63-66. FMCAD Inc., (2011)Achieving Structural and Composable Modeling of Complex Systems., , , and . IPDPS Next Generation Software Program - NSFNGS - PI Workshop, IEEE Computer Society, (2004)