| 2003 | ||
|---|---|---|
| c4 | Moshe Levinger, Avi Ziv, Brian Bailey, J. Abraham, William H. Joyner, Yaron Kas: Panel: What's the next 'big thing' in simulation-based verification? HLDVT 2003: 175 | |
| 1999 | ||
| c3 | Laurent Fournier, Anatoly Koyfman, Moshe Levinger: Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture. DAC 1999: 189-194 | |
| c2 | Laurent Fournier, Yaron Arbetman, Moshe Levinger: Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator-Application to the x86 Microprocessors Family. DATE 1999: 434-441 | |
| 1995 | ||
| j1 | Moshe Levinger, Uzzi Ornan, Alon Itai: Learning Morpho-Lexical Probabilities from an Untagged Corpus with an Application to Hebrew. Computational Linguistics 21(3): 383-404 (1995) | |
| c1 | Aharon Aharon, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka, Charlotte Metzger, Moshe Molcho, Gil Shurek: Test Program Generation for Functional Verification of PowerPC Processors in IBM. DAC 1995: 279-285 | |
Colors in the list of coauthors
Last update Sun May 26 04:27:42 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page