|
М |
A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof |
2020 |
Lutsyk P., Oberhauser J., Paul W. J. |
Lecture Notes in Computer Science |
|
|
|
18.06.2020 |
|
СТ |
Towards a Formal Theory of Computer Architecture |
1990 |
Muller S. M., Paul W. J. |
Research in Informatics |
|
|
Parcella 90 |
07.07.1995 |
|
СТ |
Automatic Parallelization by Pattern-Matching |
1993 |
Kessler C. W., Paul W. J. |
|
|
|
Lecture Notes in Computer Science |
13.11.1993 |
|
СТ |
Cost Effectiveness of Data Flow Machines and Vector Processors |
1993 |
Formella A., Massonne W., Paul W. J. |
|
|
|
Lecture Notes in Computer Science |
04.09.1993 |
