Raya Leviathan

Raya Leviathan

Tel Aviv University - Tel Aviv / Israel
History, Philosophy, Theology / History
AD Scientific Index ID: 5180437
אוניברסיטת תל־אביב
person_outline Raya Leviathan's MOST POPULAR ARTICLES
1-) Method and system to provide concurrent user-level, non-privileged shared resource thread creation and executionET Grochowski, H Wang, JP Shen, PH Wang, JD Collins, JP Held, ...US Patent 9,189,230, 2015552015
2-) Validation of optimizing compilersL Zuck, A Pnueli, R LeviathanWeizmann Institute of Science, Jerusalem, Israel, Israel, Tech. Rep, 2001312001
3-) Validating software pipelining optimizationsR Leviathan, A PnueliProceedings of the 2002 international conference on Compilers, architecture …, 2002202002
4-) WEIZAC: An Israeli Pioneering Adventure in Electronic Computing (1945–1963)L Corry, R LeviathanSpringer, 201972019
5-) Constructing correct systems in the safeair projectP Baufreton, F Dupont, R Leviathan, M Segelken, K Winkelmann6th World Multi-conference on Systems, Cybernetics and Informatics (SCI’2002), 200252002