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 “"hardware capability"”.
-
Fine and coarse-grained parallelisation techniques for complex systems
Over the last decade or so, increases in hardware capability have not directly translated into increases in software performance. The emergence of multi-core and many-core architecture has caused difficulty for users who, without proficiency in software development, then turn to frameworks and …
-
Efficient Deep Learning Computing: From TinyML to LargeLM
… the gigantic model sizes of LLMs also exceed the hardware capability even for the most advanced GPUs. We developed post-training quantization schemes for different serving workloads to reduce redundant bits of weights and activations, enabling W8A8 quantization (SmoothQuant) for compute-bound …
-
CHERI Compartmentalisation for Embedded Systems
… proposes CompartOS as a new lightweight hardware-software compartmentalisation model building on CHERI (a hardware capability architecture) to secure mainstream and complex embedded software systems. CompartOS is an automatic, linkage-based compartmentalisation model that isolates …
-
High-performance memory safety - Optimizing the CHERI capability machine
This work presents optimizations for modern capability machines and specifically for the CHERI architecture, a 64-bit MIPS instruction set extension for security, supporting fine-grained memory protection through hardware-enforced capabilities. The original CHERI model uses 256-bit capabilities to …