|
СТ |
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 |
