Вы здесь
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 | ||
| СТ | Improving the Precision of INCA by Preventing Spurious Cycles | 2000 | Siegel S. F., Avrunin G. S. | Software Engineering Notes | 14.12.2000 | |||
| СТ | Verification of MPI-Based Software for Scientific Computation | 2004 | Siegel S. F., Avrunin G. S. | Lecture Notes in Computer Science | 29.04.2004 |