Baidu
map

Formalizing Memory Accesses and Interrupts

Achermann, R; Humbel, L; Cock, D; Roscoe, T

Achermann, R (reprint author), Swiss Fed Inst Technol, Dept Comp Sci, Syst Grp, Zurich, Switzerland.

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017; (244): 66

Abstract

The hardware/software boundary in modern heterogeneous multicore computers is increasingly complex, and diverse across different platforms. A single m......

Full Text Link


Baidu
map
Baidu
map
Baidu
map