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 × USA
2 × Germany
Collaborated with:
M.S.Hsiao B.Li K.Takayama A.Giani V.D.Agrawal
Talks about:
effici (3) atpg (3) sequenti (2) preimag (2) comput (2) novel (2) use (2) techniqu (1) spectral (1) properti (1)

Person: Shuo Sheng

DBLP DBLP: Sheng:Shuo

Contributed to:

DATE v1 20042004
DATE 20032003
DAC 20022002
DATE 20012001

Wrote 4 papers:

DATE-v1-2004-LiHS #novel #performance #satisfiability
A Novel SAT All-Solutions Solver for Efficient Preimage Computation (BL, MSH, SS), pp. 272–279.
DATE-2003-ShengH #novel #performance #using
Efficient Preimage Computation Using A Novel Success-Driven ATPG (SS, MSH), pp. 10822–10827.
DAC-2002-ShengTH #effectiveness #safety #using
Effective safety property checking using simulation-based sequential ATPG (SS, KT, MSH), pp. 813–818.
DATE-2001-GianiSHA #performance
Efficient spectral techniques for sequential ATPG (AG, SS, MSH, VDA), pp. 204–208.

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.