Search results

Showing 21 to 26 of 26 results

Using formal analysis and search-based techniques to address the assurance of cyber-physical systems at the requirements level

Using formal analysis and search-based techniques to address the assurance of cyber-physical systems at the requirements level

Text (2017)

Part of Electronic Theses & Dissertations

A sorted partitioning approach to fast and scalable dynamic packet classification

A sorted partitioning approach to fast and scalable dynamic packet classification

Yingchareonthawornchai, Sorrachai

Text (2019)

Part of Electronic Theses & Dissertations

Coding over resource-constrained wireless networks

Coding over resource-constrained wireless networks

Halloush, Rami D.

Text (2012)

Part of Electronic Theses & Dissertations

Accelerating Sparse Eigensolvers Through Asynchrony, Hybrid Algorithms, and Heterogeneous Architectures

Accelerating Sparse Eigensolvers Through Asynchrony, Hybrid Algorithms, and Heterogeneous Architectures

Alperen, Abdullah

Text (2024)

Part of Electronic Theses & Dissertations

MULTI-AGENT REINFORCEMENT LEARNING FOR NETWORK PROTOCOL SYNTHESIS

MULTI-AGENT REINFORCEMENT LEARNING FOR NETWORK PROTOCOL SYNTHESIS

Dutta, Hrishikesh

Text (2024)

Part of Electronic Theses & Dissertations

VERIFICATION OF PROBABILISTIC HYPERPROPERTIES ON MARKOV MODELS

VERIFICATION OF PROBABILISTIC HYPERPROPERTIES ON MARKOV MODELS

Dobe, Oyendrila

Text (2024)

Part of Electronic Theses & Dissertations