Author: "Koenig, Jérémie" / Publisher: elsevier bv - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Koenig, Jérémie"' showing total 2 results

Start Over Author "Koenig, Jérémie" Publisher elsevier bv

2 results on '"Koenig, Jérémie"'

1. ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions

Author: Kim, Jieung, primary, Koenig, Jérémie, additional, Chen, Hao, additional, Gu, Ronghui, additional, and Shao, Zhong, additional
Published: 2024
Full Text: View/download PDF

2. Thrdabs: A Template to Build Verified Thread-Local Interfaces with Software Scheduler Abstractions

Author: Kim, Jieung, primary, Koenig, Jérémie, additional, Chen, Hao, additional, Gu, Ronghui, additional, and Shao, Zhong, additional
Published: 2023
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results