Вы здесь
Girkar M.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Vector Sequence Analysis and Full Weak Safety for Concurrent Systems | 1993 | Girkar M., Moll R. | Lecture Notes in Computer Science | 16.09.1993 | |||
СТ | Pilgrim s OSF DCE-Based Services Architecture | 1993 | Narkiewicz J. D., Girkar M., Srivastava M., Gaylord A. S., Rahman M. | Lecture Notes in Computer Science | 15.01.1994 | |||
СТ | New Results on the Analysis of Concurrent Systems with an Indefinite Number of Processes | 1994 | Girkar M., Moll R. | Lecture Notes in Computer Science | 26.08.1994 | |||
СТ | Practical Compiler Techniques on Efficient Multithreaded Code Generation for OpenMP Programs | 2005 | Tian X., Girkar M., Bik A., Saito H. | The Computer Journal | 28.10.2005 |