СТ |
Language Issues of Compiling Ada to Hardware |
2002 |
Ward M., Audsley N. C. |
|
|
|
Lecture Notes in Computer Science |
19.07.2002 |
СТ |
EPOCH - European Parallel Operating System based on Chorus |
1993 |
Borrmann L., Gelenbe E., Hofstetter I., Istavrinos P., Klaus K., Ward M. |
|
|
|
Lecture Notes in Computer Science |
29.07.1993 |
СТ |
Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm |
1996 |
Ward M. |
|
|
|
IEEE Trans. on Software Engineering |
20.12.1996 |
СТ |
A Compositional Approach for the Design of a Parallel Query Processing Language |
1992 |
Chachaty C., Borla-Salamet P., Ward M. |
|
|
|
Lecture Notes in Computer Science |
29.07.1992 |