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
Collaborated with:
E.T.A.F.Jacobs B.Mesman A.H.Timmer J.W.J.M.Rutten M.R.C.M.Berkelaar M.A.J.Kolsteren
Talks about:
algorithm (2) symmetri (1) sequenti (1) without (1) travers (1) identif (1) exploit (1) equival (1) conquer (1) hazard (1)

Person: C. A. J. van Eijk

DBLP DBLP: Eijk:C=_A=_J=_van

Contributed to:

DATE 19991999
DATE 19981998

Wrote 3 papers:

DATE-1999-EijkJMT #algorithm #identification #symmetry
Identification and Exploitation of Symmetries in DSP Algorithms (CAJvE, ETAFJ, BM, AHT), pp. 602–608.
DATE-1998-Eijk #equivalence #traversal
Sequential Equivalence Checking without State Space Traversal (CAJvE), pp. 618–623.
DATE-1998-RuttenBEK #algorithm #divide and conquer #logic #performance
An Efficient Divide and Conquer Algorithm for Exact Hazard Free Logic Minimization (JWJMR, MRCMB, CAJvE, MAJK), pp. 749–754.

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.