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 5 of 5 for “"State sharing"”.
-
Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
… of O (m log n), where n and m are the number of states and non-zero entries of the generator matrix of the CTMC, respectively. We have also combined the use of symbolic data structures with state-lumping techniques to develop an efficient symbolic state-space exploration algorithm for …
-
Onboard distributed replanning for crosslinked small satellite constellations
… this work. SPRINT's global planner advances the state of the art by addressing the combinatorially expensive crosslink routing planning challenges, given the constraints of small satellites. SPRINT's distributed onboard planner, the focus of this work, manages both proactive state sharing and …
-
A Compiler Directed Framework for Parallel Compositional Systems
… - can be considered as extremes along a sharing axis. Multiple threads through a process share all global state, whereas instances of a process (or independent processes) share no global state. Weaves provide the generalized framework that allows arbitrary (selective) sharing of state …
-
Enhancing Performance in Programmable 5G Networks, Blockchains, and Cloud Gaming
L'abstract è presente nell'allegato / the abstract is in the attachment