BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Germany
4 × France
6 × USA
Collaborated with:
R.Cochran A.B.Kahng A.N.Nowroz G.Woods X.Zhan F.Paterna S.R.Nassif A.Orailoglu A.Salem K.Dev I.L.Markov K.Nepal Y.Li R.I.Bahar K.Hu F.Koushanfar Y.Cheon P.Ho Q.Wang
Talks about:
techniqu (5) use (5) placement (4) character (4) thermal (4) power (3) test (3) high (3) data (3) silicon (2)

Person: Sherief Reda

DBLP DBLP: Reda:Sherief

Contributed to:

DATE 20142014
DAC 20132013
DATE 20132013
DAC 20112011
DAC 20102010
DAC 20092009
DATE 20092009
DAC 20052005
DAC 20042004
DATE v2 20042004
DATE 20022002
DATE 20012001

Wrote 15 papers:

DATE-2014-NepalLBR #approximate #automation #behaviour #named #synthesis
ABACUS: A technique for automated behavioral synthesis of approximate computing circuits (KN, YL, RIB, SR), pp. 1–6.
DAC-2013-DevWR #3d #integration #testing #using
High-throughput TSV testing and characterization for 3D integration using thermal mapping (KD, GW, SR), p. 6.
DAC-2013-ZhanR #energy
Techniques for energy-efficient power budgeting in data centers (XZ, SR), p. 7.
DATE-2013-HuNRK #detection #hardware #multimodal #using
High-sensitivity hardware trojan detection using multimodal characterization (KH, ANN, SR, FK), pp. 1271–1276.
DATE-2013-PaternaR #problem #using
Mitigating dark-silicon problems using superlattice-based thermoelectric coolers (FP, SR), pp. 1391–1394.
DAC-2011-NowrozWR #modelling #using
Improved post-silicon power modeling using AC lock-in techniques (ANN, GW, SR), pp. 101–106.
DAC-2010-CochranR #consistency #detection #predict #runtime
Consistent runtime thermal prediction and control through workload phase detection (RC, SR), pp. 62–67.
DAC-2010-NowrozCR #monitoring
Thermal monitoring of real processors: techniques for sensor allocation and full characterization (ANN, RC, SR), pp. 56–61.
Spectral techniques for high-resolution thermal characterization with limited sensor data (RC, SR), pp. 478–483.
DATE-2009-RedaN #metric #modelling #novel #parametricity #process
Analyzing the impact of process variations on parametric measurements: Novel models and applications (SR, SRN), pp. 375–380.
DAC-2005-CheonHKRW #power management
Power-aware placement (YC, PHH, ABK, SR, QW), pp. 795–800.
DAC-2004-KahngR #concept #feedback
Placement feedback: a concept and method for better min-cut placements (ABK, SR), pp. 357–362.
DATE-v2-2004-KahngMR #named
Boosting: Min-Cut Placement with Improved Signal Delay (ABK, ILM, SR), pp. 1098–1103.
DATE-2002-RedaO #encoding #testing
Reducing Test Application Time Through Test Data Mutation Encoding (SR, AO), pp. 387–393.
DATE-2001-RedaS #diagrams #equivalence #satisfiability #using
Combinational equivalence checking using Boolean satisfiability and binary decision diagrams (SR, AS), pp. 122–126.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.