BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
2 × USA
Collaborated with:
A.Nahir A.Morgenshtein V.Sokhin O.Friedler R.Morad A.Goryachev E.Almog C.A.Krygowski D.Krestyashyn J.S.Park S.Park W.Jeong J.Son A.Adir D.Goodman D.Hershcovich O.Hershkovitz B.G.Hickerson K.Holtz A.Koyfman J.M.Ludden C.Meissner R.R.Pratt M.Schiffli B.S.Onge B.W.Thompto E.Tsanko A.Ziv
Talks about:
effect (2) verif (2) transact (1) challeng (1) approach (1) silicon (1) program (1) generat (1) acceler (1) method (1)

Person: Wisam Kadry

DBLP DBLP: Kadry:Wisam

Contributed to:

DATE 20152015
DAC 20142014
DATE 20142014
DAC 20112011

Wrote 4 papers:

DATE-2015-KadryKMNSPPJS #case study #comparative #generative #simulation #testing
Comparative study of test generation methods for simulation accelerators (WK, DK, AM, AN, VS, JSP, SBP, WJ, JCS), pp. 321–324.
DAC-2014-AdirGHHHHKKLMNPSOTTZ #memory management #transaction #verification
Verification of Transactional Memory in POWER8 (AA, DG, DH, OH, BGH, KH, WK, AK, JML, CM, AN, RRP, MS, BSO, BWT, ET, AZ), p. 6.
DATE-2014-FriedlerKMNS #effectiveness #locality #slicing #using
Effective post-silicon failure localization using dynamic program slicing (OF, WK, AM, AN, VS), pp. 1–6.
DAC-2011-KadryMGAK #approach #challenge #design #effectiveness #verification
Facing the challenge of new design features: an effective verification approach (WK, RM, AG, EA, CAK), pp. 842–847.

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.