Author of the publication

Cooperative multitasking for heterogeneous accelerators in the Linux Completely Fair Scheduler.

, , , and . ASAP, page 223-226. IEEE Computer Society, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Cooperative multitasking for heterogeneous accelerators in the Linux Completely Fair Scheduler., , , and . ASAP, page 223-226. IEEE Computer Society, (2011)Verifying worst-case completion times for reconfigurable hardware modules using proof-carrying hardware., and . ReCoSoC, page 1-8. IEEE, (2016)Embedding FPGA overlays into configurable Systems-on-Chip: ReconOS meets ZUMA., , and . ReConFig, page 1-6. IEEE, (2014)On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach., , and . ARC, volume 9040 of Lecture Notes in Computer Science, page 365-372. Springer, (2015)Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan., , and . ARC, volume 11444 of Lecture Notes in Computer Science, page 127-136. Springer, (2019)An architecture and design tool flow for embedding a virtual FPGA into a reconfigurable system-on-chip., , and . Computers & Electrical Engineering, (2016)Proof-Carrying Hardware via Inductive Invariants., , , and . ACM Trans. Design Autom. Electr. Syst., 22 (4): 61:1-61:23 (2017)Integrating Software and Hardware Verification., , , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 307-322. Springer, (2014)Memory security in reconfigurable computers: Combining formal verification with monitoring., , and . FPT, page 167-174. IEEE, (2014)