Personensuche
X
?
Proceedings of the 2nd Workshop on SErverless Systems, Applications and MEthodologies ,
1
Serverless? RISC more!:
, In:
?
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 ,
2
Skip It: Take Control of Your Cache!:
, In:
?
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ,
4
Enzian: an open, general, CPU/FPGA platform for systems sof..:
, In:
?
Model Checking Software; Lecture Notes in Computer Science ,
6
A Model-Checked I2C Specification:
, In:
?
Proceedings of the 12th International Workshop on Data Management on New Hardware ,
10