Вы здесь

Siegel S. F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Efficient Verification of Halting Properties For MPI Programs with Wildcard Receives 2005 Siegel S. F. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.03.2005
СТ Verification of MPI-Based Software for Scientific Computation 2004 Siegel S. F., Avrunin G. S. Lecture Notes in Computer Science 29.04.2004
СТ Improving the Precision of INCA by Preventing Spurious Cycles 2000 Siegel S. F., Avrunin G. S. Software Engineering Notes 14.12.2000