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 36 for “"composability"”.
-
Protein potentials and domains : re-use and composability
Protein-protein interactions are one of the cornerstones of biological processes throughout the cell. Unfortunately, lack of available data precludes many possible approaches to modeling these fundamental interactions at scale. This thesis focuses on a specific set of protein domains, known as …
-
Performance composability: An emerging challenge in performance-adaptive systems
… The problem essentially lies in performance composability or lack thereof; a challenge that arises because individual optimizations in performance-sensitive systems generally do not compose well when combined. Performance adaptation in such systems needs to be carefully designed and …
-
Error-free message transmission in the universal composability framework
… for error-free communication in the Universal Composability framework. Realizing these functionalities enables protocols to make use of cryptographic error-correcting schemes which are more powerful than classical codes. First, we define new ideal functionalities TrCLOSE and FCWT to model …
-
On Black-Box Complexity and Adaptive, Universal Composability of Cryptographic Tasks
… multiparty computation (MPC) in the Universal Composability (UC) model that are secure against malicious, adaptive adversaries. In the standard model, security is only guaranteed in a stand-alone setting; however, nothing is guaranteed when multiple protocols are arbitrarily composed. In …
-
Semantic Web Enabled Composition of Web Services
… thrusts: semantic description of Web services, composability of participant services, and generation of composite service descriptions. This dissertation deals with the aforementioned research issues. We first propose an ontology-based framework for organizing and describing semantic Web …
-
Incrementally verifiable computation or knowledge implies time/space efficiency
… time/space efficiency and the new criterion of composability. We deduce the existence of our proposed proof system by way of a natural new assumption about proofs of knowledge. In fact, a main contribution of our result is showing that knowledge can be "traded" for time and space efficiency in …
-
A calculus for composable, computational cryptography
The universal composability (UC) framework is the established standard for analyzing cryptographic protocols in a modular way, such that security is preserved under concurrent composition with arbitrary other protocols. However, although UC is widely used for on-paper proofs, prior attempts at …
-
Building a Distributed Transaction Processing System Using DARQ
… related to fault tolerance, resilience, and composability. Composable Resilient Steps (CReSt) and its implementation, Deduplicated Asynchronously Recoverable Queues (DARQ), provide an abstraction to address these challenges by separating application logic from resilience mechanisms. This …
-
HyFlow: A High Performance Distributed Software Transactional Memory Framework
… deadlocks, livelocks, and scalability and composability challenges. These problems are exacerbated in distributed systems due to their distributed versions which are more complex to cope with (e.g., distributed deadlocks). STM and D-STM are promising alternatives to lock-based and …
-
Implementing a Tiled Singular Value Decomposition: A Framework for Tiled Linear Algebra in Julia
… and multi-use frameworks by allowing composability. Utilizing a tiled approach, the implemented framework improves data locality, parallelism, and scalability, making it well-suited for modern heterogeneous environments. Its practical benefits are demonstrated through the …
-
Globally Synchronized Frames for guaranteed Quality-of-Service in shared memory systems
… to achieve better hardware efficiency and composability towards end-to-end QoS than component-wise QoS approaches. Finally, we propose the METERG (MEasurement Time Enforcement and Runtime Guarantee) QoS framework.
-
Cryptographic Simulation Techniques with Applications to Quantum Zero-Knowledge and Copy-Protection
… QPoK with desirable properties needed for composability. The technique combines Watrous’ rewinding with a recently studied cryptographic tool, statistical receiver-private oblivious transfer. This is the first construction of QPoK with the desired composability features. We also introduce a …
-
Verifiable compilation of I/O automata without global synchronization
… the constraints on these definitions, the composability requirements for the components of a composite automaton, and the transformation a definition of a composite automaton into a definition of an equivalent primitive automaton.
-
Cooperative hierarchical resource management for efficient composition of parallel software
… software environments to provide bolt-on composability - without changing a single line of the original application code. Lithe can also serve as the foundation for building new parallel abstractions and runtime systems that automatically interoperate with one another. We have built and …
-
Fast and Scalable Subgraph Learning
… and the model architecture—but at the cost of composability, creating tightly coupled systems that slow further development. This thesis introduces MOSAIC, a lightweight data transformation that reframes subgraph classification as nodewise prediction by augmenting the graph with representative …
-
Flexible memory protection for multicore processors
… the performance, reliability, security, and composability of the software it runs. Desirable features of an access control mechanism include: the ability to grant arbitrary permissions on any region of memory to any thread in the system; zero-copy sharing between threads with no restrictions …
-
Principles for the design and construction of synthetic circuits utilizing protein-protein interactions in Saccharomyces cerevisiae
… with protein devices are created. To illustrate composability, two systems are engineered in yeast, the first of which interfaces a phosphorylation load driver within flanking transcriptional regulatory modules to mitigate retroactivity, exemplifying time-scale separation as a means of realizing …
-
Learning to Plan by Learning Rules
… modified version of value iteration. We achieve composability by building off of a hierarchical reinforcement learning (HRL) framework called the options framework, in which low-level options can be composed arbitrarily. And lastly, we achieve data-efficient learning by integrating our HRL …
-
Tinkering with ScratchBit : explorations in blended making
… to engage in blended making. With an emphasis on composability, the ScratchBit allows almost any material -- such as cardboard, dolls, sneakers, or even swing sets - to be transformed into a physical interface for projects created with the Scratch visual programming language. This thesis presents …
-
HyflowCPP: A Distributed Software Transactional Memory Framework for C++
… deadlocks, livelocks, non-scalability, non-composability), which are aggravated in a distributed environment due to the complexity of multi-node concurrency. At its core, DTM's atomic section-based synchronization abstraction enables the execution of a sequence of multi-node object …
Page 1 of 2