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 20 of 54 for “"Stateful"”.
-
Local Reasoning for Stateful Programs
"Programs are called stateful when they manipulate the state of a computer explicitly, for example, by assignment. The main theme of the thesis is reasoning about stateful programs. In fact, for the past 30 years, significant efforts have been made for obtaining good reasoning principles to ensure …
-
Distributed dynamic partially stateful dataflow
… logic in a single system. Noria's partially-stateful dataflow allows it to evict and reconstruct state on demand, and avoid prior dataflow systems' restriction to windowed state. Unlike existing dataflow systems, Noria adapts on-line to schema and query changes, and shares state and …
-
A Stateful Web Augmentation Toolkit
This thesis introduces the Stateful Web Augmentation Toolkit (SWAT), a toolkit that gives users control over the presentation and functionality of web content. SWAT extends Chickenfoot, a Firefox browser scripting environment that offers a variety of automation and manipulation capabilities. SWAT …
-
SibylFuzzer : stateful fuzzing for file systems
… I designed and implemented SibylFuzzer, a stateful fuzzer for testing file system behavior. Sibyl- Fuzzer is based on SibylFS, a third-party system comprised of a model for acceptable file system behavior and a procedure for comparing real-life file system implementation behavior against …
-
Stateful anycast for distributed DDoS mitigation
… interest. This document describes the design of Stateful Anycast, a conceptual anycast-like network service based on IP anycast. Stateful Anycast is designed to support stateful sessions without losing anycast's ability to defend against DDoS attacks. Stateful Anycast employs a set of anycasted …
-
Automating the analysis of stateful feature models
El modelado de la variabilidad es una de las principales tareas en el desarrollo de l´ıneas de productos software (LPS). Los FMs son el modelo mas utilizado para ello. Los FMs representan el conjunto de decisiones que pueden tomar los usuarios para configurar su producto como una jerarqu´ıa de …
-
Applications and Computation of Stateful Polya Trees
… partition according to a Beta distribution. Stateful Polya trees are an extension of the Polya tree where each set in the recursive partition has one or more discrete state variables associated with it. We can learn the posterior distributions of these state variables along with the posterior …
-
Dynamics and Phenomena in Stateful Multi-Agent Systems
… diffusion on networks. The complexities of statefulness induce substantial technical challenges that preclude existing analyses from applying. In this thesis, we develop new techniques towards understanding these important and dynamic social systems in two key settings: price of anarchy …
-
Stateful task recovery in the UNIX operating system
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1995.
-
SLO-aware optimization and stateful orchestration for LLM systems
… the thesis concludes by exploring the future of Stateful Agent Orchestration. We propose the design of an ML Agent Compiler, a runtime environment akin to a JVM for agents. This proposed framework addresses the limitations of current stateless orchestration by introducing graph-based …
-
Stateless node rebalancing and stateful building blocks for limitless autoscaling
Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2027-05-01
-
DPR Cluster: An Automated Framework for Deploying Resilient Stateful Cloud Microservices
Recent advances in distributed recovery protocols enable application builders to achieve strong prefix recovery guarantees in distributed systems of cache-stores (pairs of fast cache backed with persistent storage to answer storage requests) with low overhead. Specifically, Distributed Prefix …
-
Secure Access to Service-based Collaborative Workflow Across Organisations
… to integrate and coordinate distributed users, stateful Grid Services, Information systems and Grid Compute Resources. The research is supported by the UK e-Science Project, DAME (Distributed Aircraft Maintenance Environment), a collaborative project that demonstrates the use Grid Computing for …
-
Stable and fair congestion control mechanisms for cooperative vehicle safety in vehicular networks
… a novel congestion control mechanism named Stateful Utilization-Based Power Adaptation (SUPRA) which is fundamentally a stateful version of LMRC algorithm to control power of transmission in contrast to Range Control algorithms. The control function of SUPRA has the ability to be tailored to …
-
Scalable mobility support in future internet architectures
… for consumer mobility automatically via its stateful forwarding plane, a solution for producer mobility was left unspecified. The mobility support scheme we propose decouples the tasks of 1) detecting whether data may exist on a mobile producer, and of 2) forwarding interest packets towards …
-
A framework for specifying and formally verifying application security policies
… applications, which can be composed of many stateful components, it is hard to reason about all possible interactions and check that a policy is satisfied in every case. In this thesis, we present work on a new static-analysis framework in the Coq proof assistant to verify that …
-
CRYPTOGRAPHY FROM CONSENSUS TO THE COSMOS
… 2022)) models attackers as arbitrary unbounded stateful algorithms -- agnostic to what computational model is physically realizable by the universe, yielding a more general (and future-proof) notion of security.
-
Evaluating SigmaOS with Kubernetes for Orchestrating Microservice and Serverless Applications
… the realm’s namespace. Procs are lightweight, stateful, and can communicate. SigmaOS manages the scheduling and execution of procs to achieve high resource utilization and performance isolation. This thesis compares SigmaOS with Kubernetes, a mainstream cloud operating system, using a …
Page 1 of 3