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: Eijk:C=_A=_J=_van
Contributed to:
19991998Wrote 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.