Вы здесь

Browne J. C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Translating Software Designs for Model Checking 2004 Xie F., Levin V., Kurshan R. P., Browne J. C. Lecture Notes in Computer Science 16.04.2004
СТ CoorSet: A Development Environment for Associatively Coordinated Components 2004 Kane K., Browne J. C. Lecture Notes in Computer Science 17.03.2004
СТ Model Checking Software via Abstraction of Loop Transitions 2003 Sharygina N., Browne J. C. Lecture Notes in Computer Science 17.04.2003
СТ An Associative Broadcast Based Coordination Model for Distributed Processes 2002 Browne J. C., Kane K., Tian H. Lecture Notes in Computer Science 12.06.2002
СТ Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs 2002 Xie F., Browne J. C. Lecture Notes in Computer Science 15.05.2002
СТ The Pressure Is on 1999 Kavi K., Browne J. C., Tripathi A. Computer 03.03.1999
СТ Compilation of Constraint Systems to Procedural Parallel Programs 1997 John A., Browne J. C. Lecture Notes in Computer Science 21.08.1997
СТ Object-Oriented Development of Real-Time Systems: Verification of Functionality and Performance 1996 Browne J. C. OOPS Messenger 30.07.1996
СТ Event-based Composition of Concurrent Programs 1994 Pandey R., Browne J. C. Lecture Notes in Computer Science 31.03.1994
СТ Scheduling Parallel I/0 Operations 1993 Jain R., Somalwar K., Werth J., Browne J. C. Computer Architecture News 22.02.1994
СТ Software Engineering of Parallel Programs in a Computationally Oriented Display Environment 1990 Browne J. C. Languages and Compilers for Parallel Computing 22.10.1992