Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"MLIR"”.
-
Dafny-HLS: verified and optimized high-level synthesis via MLIR with LLM-assisted bug repair
… descriptions (e.g., C/C++). While recent MLIR-based HLS frameworks enable multi-level optimization and automated design space exploration, they are based on the critical assumption that input programs are functionally correct. Moreover, subtle logic bugs in HLS often evade compilers, …
-
Investigating language preferences in improving multilingual Swahili information retrieval
Multilingual Information Retrieval (MLIR) systems are designed to retrieve information from multiple languages in response to a query posed in another language or in one of the languages in which a user is looking for information. Researchers have proposed several approaches for combining the …
-
MojoFrame: dataframe library in Mojo language
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-20 without embargo terms
-
Scalable High-Level Synthesis for AI accelerator design
Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2027-05-01