Amiram Hayardeny
IBM
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Amiram Hayardeny.
international parallel and distributed processing symposium | 2004
Amiram Hayardeny; Shachar Fienblit; Eitan Farchi
Summary form only given. This paper discusses how to extend desk checking for concurrent and distributed programs. In addition to unbounded possible schedules, concurrent and distributed programs have execution states that include more than one process. Schedule selection guidelines that facilitate early detection and coverage are introduced. The cross-product technique assists in the selection process. Industrial pilots show that concurrent desk checking is a promising review technique for early error detection.
Archive | 2003
Sam Clark Werner; William Frank Micka; Dalit Tzafrir; Matthew Sanchez; Sivan Tal; Ifat Nuriel; Sheli Rahav; Gail Andrea Spear; Warren K. Stanley; Thomas Charles Jarvis; Amiram Hayardeny; Shachar Fienblit; Rivka Mayraz Matosevich; Svetlana Shukevich; Theresa M. Brown
Archive | 2004
Warren K. Stanley; William Frank Micka; Sam Clark Werner; Sivan Tal; Gail Andrea Spear; Theresa M. Brown; Matthew Sanchez; Sheli Rahav; Thomas Charles Jarvis; Amiram Hayardeny; Dalit Tzafrir; Shachar Fienblit; Rivka Mayraz Matosevich; Svetlana Shukevich; Ifat Nuriel
Archive | 2007
William Joseph Armstrong; Alain Azagury; Shmuel Ben-Yehuda; Eliezer Dekel; Michael Factor; Amiram Hayardeny
Archive | 2005
Robert Frederic Kern; Kenneth Wayne Boyd; William Frank Micka; Gregory Edward McBride; John Thomas Flynn; John Jay Wolfgang; Michael Factor; Amiram Hayardeny; Kenneth Fairclough Day; Aviad Zlotnick
Archive | 2003
Michael Factor; Amiram Hayardeny; Thomas Charles Jarvis; Gail Andrea Spear; William Frank Micka; Sivan Tal; Dalit Tzafrir; Rivka Mayraz Matosevich; Sheli Rahav; Ifat Nuriel; Shachar Fienblit; Svetlana Shukevich
Archive | 2003
Warren K. Stanley; William Frank Micka; Sam Clark Werner; Sivan Tal; Gail Andrea Spear; Theresa M. Brown; Matthew Sanchez; Sheli Rahav; Thomas Charles Jarvis; Amiram Hayardeny; Dalit Tzafrir; Shachar Fienblit; Rivka Mayraz Matosevich; Svetlana Shukevich; Ifat Nuriel
Archive | 2003
Michael Factor; Amiram Hayardeny; Thomas Charles Jarvis; Gail Andrea Spear; William Frank Micka; Sivan Tal; Dalit Tzafrir; Rivka Mayraz Matosevich; Sheli Rahav; Ifat Nuriel; Shachar Fienblit; Svetlana Shukevich
Archive | 2006
Gal Ashour; Kenneth Wayne Boyd; Michael Factor; Shachar Fienblit; Olympia Gluck; Amiram Hayardeny; Eli Malul; Ifat Nuriel; Noa Privman-Horesh; Dalit Tzafrir; Sam Clark Werner
Archive | 2003
Amiram Hayardeny; Avi Teperman; Martin Tross; Aviad Zlotnick
