Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms
- Debapriya Chatterjee
- Biruk Mammo
- et al.
- 2013
- ICCAD 2013
Conference paper
Publications
9289 results for Computer Science
Thermal design guideline and new cooling solution for a three-dimensional (3D) chip stack
- Keiji Matsumoto
- Soichiro Ibaraki
- et al.
- 2013
- 3DIC 2013
Conference paperSecure and oblivious information hiding in binary image
- Zheng Huang
- Weidong Kou
- et al.
- 2013
- CSE 2013
Conference paperEvaluating the FITTEST automated testing tools: An industrial case study
- Cu D. Nguyen
- Bilha Mendelson
- et al.
- 2013
- ESEM 2013
Conference paperA novel finite element method assembler for co-processors and accelerators
- Nina Hanzlikova
- Eduardo Rocha Rodrigues
- 2013
- SC 2013
Conference paperIntegrated state estimation and load modelling for distribution grids with ampere measurements
- Francesco Fusco
- Mathieu Sinn
- 2013
- ISGT-Europe 2013
Conference paperCandidate indistinguishability obfuscation and functional encryption for all circuits (extended abstract)
- Sanjam Garg
- Craig Gentry
- et al.
- 2013
- FOCS 2013
Conference paperEnhanced electrical and thermal interconnects by the selfassembly of nanoparticle necks utilizing capillary bridging
- Thomas Brunschwiler
- Gerd Schlottig
- et al.
- 2013
- InterPACK 2013
Conference paperICCAD-2013 CAD contest in mask optimization and benchmark suite
- Shayak Banerjee
- Zhuo Li
- et al.
- 2013
- ICCAD 2013
Conference paperLatchPlanner: Latch placement algorithm for datapath-oriented high-performance VLSI designs
- Minsik Cho
- Hua Xiang
- et al.
- 2013
- ICCAD 2013
Conference paper