Вы здесь

Avrunin G. S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs 1999 Naumovich G., Avrunin G. S., Clarke L. A. Lecture Notes in Computer Science 14.10.1999
СТ A Conservative Data Flow Algorithm for Detecting All Pairs of Statements that May Happen in Parallel 1998 Naumovich G., Avrunin G. S. Software Engineering Notes 26.03.1999
СТ Applying Static Analysis to Software Architectures 1997 Naumovich G., Avrunin G. S., Clarke L. A., Osterweil L. J. Lecture Notes in Computer Science 03.10.1997
СТ A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems 1993 Corbett J. C., Avrunin G. S. Software Engineering Notes 29.09.1993