|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A formal model of data access for multicore architectures with multilevel caches |
Bijo, Shiji |
2019 |
179 | C |
p. 24-53 |
article |
|
| 2 | A type system for first-class layers with inheritance, subtyping, and swapping |
Inoue, Hiroaki |
2019 |
179 | C |
p. 54-86 |
article |
|
| 3 | Editorial Board |
2019 |
179 | C |
p. ii |
article |
||
| 4 | Finite complete suites for CSP refinement testing |
Peleska, Jan |
2019 |
179 | C |
p. 1-23 |
article |
4 results found