BibSLEIGH — Prabhat

Travelled to:

4 × Germany
5 × France
5 × USA

Collaborated with:

N.D.Dutt M.Chen X.Qin W.Wang S.Seong H.Koo N.Dutt S.Ranka M.Reshadi T.N.Dang A.Roychoudhury T.Mitra A.Nicolau H.Tomiyama X.Guo R.G.Dutta Y.Jin F.Farahmandi D.Yue X.Fu

Talks about:

generat (7) test (7) function (5) pipelin (5) use (4) processor (3) techniqu (3) valid (3) order (3) base (3)

Person: Prabhat Mishra

DBLP: Mishra:Prabhat

Contributed to:

2015

2012

2011

2010

2009

2007

2006

2005

2004

2003

2002

Wrote 14 papers:

DAC-2015-GuoDJFM #formal method #perspective #security #validation #verification: Pre-silicon security verification and validation: a formal perspective (XG, RGD, YJ, FF, PM), p. 6.
DATE-2015-ChenYQFM #evaluation #model checking #scheduling #statistics #using: Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking (MC, DY, XQ, XF, PM), pp. 199–204.
DATE-2012-QinM #automation #generative #protocol #testing: Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.
DAC-2011-WangMR #clustering #configuration management #energy #manycore #optimisation #realtime: Dynamic cache reconfiguration and partitioning for energy optimization in real-time multi-core systems (WW, PM, SR), pp. 948–953.
DATE-2011-ChenM #composition #functional #generative #testing: Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.
DAC-2010-WangM #approximate #named #realtime #scalability #using: PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme (WW, PM), pp. 705–710.
DATE-2010-ChenQM #generative #performance #satisfiability #testing: Efficient decision ordering techniques for SAT-based test generation (MC, XQ, PM), pp. 490–495.
DAC-2009-DangRMM #generative #interactive #pipes and filters #source code: Generating test programs to cover pipeline interactions (TND, AR, TM, PM), pp. 142–147.
DATE-2007-SeongM #performance #taxonomy #using: An efficient code compression technique using application-aware bitmask and dictionary selection methods (SWS, PM), pp. 582–587.
DATE-2006-KooM #functional #generative #pipes and filters #testing #using #validation: Functional test generation using property decompositions for validation of pipelined processors (HMK, PM), pp. 1240–1245.
DATE-2005-MishraD #functional #generative #pipes and filters #testing #validation: Functional Coverage Driven Test Generation for Validation of Pipelined Processors (PM, NDD), pp. 678–683.
DATE-v1-2004-MishraD #functional #generative #graph #pipes and filters: Graph-Based Functional Test Program Generation for Pipelined Processors (PM, ND), pp. 182–187.
DAC-2003-ReshadiMD #flexibility #performance #set #simulation: Instruction set compiled simulation: a technique for fast and flexible instruction set simulation (MR, PM, NDD), pp. 758–763.
DATE-2002-MishraDNT #automation #execution #functional #multi #pipes and filters #verification: Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units (PM, NDD, AN, HT), pp. 36–43.