MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Michael Yoeli" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Self-Timed Architecture Of A Reduced Instruction Set Computer
by Ilana David, Ran Ginosar, Michael Yoeli — 1993 — Asynchronous Design Methodologies
… , and Michael Yoeli 2 1 Department of Electrical Engineering 2 Department of Computer Science Technion…
Cited by 6 (2 self) – Add To MetaCart

Self-Timed is Self-Checking
by Ilana David, Ran Ginosar, Michael Yoeli — 1990 — Journal of Electronic Testing: Theory and Applications
…Self-Timed is Self-Checking Ilana David 1 , Ran Ginosar 1 ,2 , and Michael Yoeli 2 1…
Cited by 7 (0 self) – Add To MetaCart

SELF-TIMED is SELF-DIAGNOSTIC
by Ilana David, Ran Ginosar, Michael Yoeli — 1995
… SELF-TIMED is SELF-DIAGNOSTIC Ilana David 1 , Ran Ginosar 1 ,2 ,+ and Michael Yoeli 2 1…
Cited by 8 (0 self) – Add To MetaCart

Methodology and System for Practical Formal Verification of Reactive Hardware
by Ilan Beer, Shoham Ben-david, Daniel Geist, Raanan Gewirtzmann, Michael Yoeli — 1994 — In Proc. 6th Conference on Computer Aided Verification, volume 818 of Lecture Notes in Computer Science
… Ben-David, Daniel Geist, Raanan Gewirtzman and Michael Yoeli IBM Science & Technology, Haifa, Israel…
Cited by 31 (3 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB