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 398 for “"Abstractions"”.
-
Active abstractions
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
-
Abstractions for Reverse Engineering
Increasingly sophisticated systems are being integrated into our daily lives, raising the need to verify their safety and reliability. Formal methods offer a range of techniques for providing sound guarantees of a system's correctness with respect to its specification. The continuous evolution of …
-
Abstractions from Spectral Sonorities
In this analytical commentary and the accompanying portfolio of compositions, I deal primarily with issues relating to Spectral and Post- Spectral techniques in contemporary music. Potential limitations of Spectralism (as a genre) are taken into consideration, and several philosophical …
-
Memory abstractions for parallel programming
… memory access is made. Properly designed memory abstractions help ease the task of parallel programming by mitigating the complexity of synchronization or admitting more efficient use of resources. This dissertation describes five memory abstractions for parallel programming: (i) cactus stacks …
-
Foundational Abstractions for Quantum Programming
… I answer this question by showing how the basic abstractions of programming upon which many quantum algorithms rely – such as data structures and control flow – can fail to work correctly or efficiently on a quantum computer. I then demonstrate how we can leverage insights from research in …
-
The camera's abstractions and "the" truth
It must be some law of nature that Existentialists are to be reared in urban environments. I suppose it is the obvious disconnection from the earth in the cities' concrete canyons that emphasizes existential alienation. In places like New York, distinctions of nature are blurred, as it is always …
-
Better-Quasi-Orders: Extensions and Abstractions
We generalise the notion of �-scattered to partial orders and prove that some large classes of �-scattered partial orders are better-quasi-ordered under embeddability. This generalises theorems of Laver, Corominas and Thomass�e regarding �-scattered linear orders, �-scattered trees, countable …
-
Performativities, Virtualities, Abstractions, and Cunningham's BIPED
This thesis explores the complex relations between subjective perception and dance movements, mainly exemplified by drawing on two short extracts from Merce Cunningham's choreography BIPED (1999). The central aim of the study is to formulate a performative phenomenological inquiry, which moves …
-
Synthesis of procedural and data abstractions
Program synthesis is the process of developing a computer program automatically from a specification of its desired behavior. In contrast to software development environments that require the user to write program code, automation shifts the responsibility of the user to the specification phase of …
-
Geometric abstractions for conceptual design support
Thesis (Ocean. E.)--Massachusetts Institute of Technology, Dept. of Ocean Engineering, 1994, and Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Civil Engineering, 1994.
-
Providing caching abstractions for web applications
… It achieves this by proposing high-level caching abstractions for frequently observed query patterns in web applications. These abstractions take the form of declarative query objects, and once the developer defines them, she does not have to worry about managing the cache (i.e., insertion and …
-
Functional programming abstractions for weakly consistent systems
… argues that functional programming language abstractions can simplify scalable concurrent programming for weakly consistent systems. Functional programming espouses mutation-free programming, and rare mutations when present are explicit in their types. By controlling and explicitly reasoning …
-
THE USE OF ABSTRACTIONS IN MODEL MANAGEMENT.
… modeling system (KBMS) with knowledge abstractions as the vehicle of knowledge and model representation. Knowledge abstractions are introduced as a hybrid of the predicate calculus, semantic network, and frame representations in artificial intelligence (AI) embodied in an equivalent of …
-
Abstractions for safety assurance of autonomous systems
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-09-01 without embargo terms
-
Building grounded abstractions for artificial intelligence programming
… from particular drawbacks. High-level Al uses abstractions that often have no relation to the way real, biological brains work. Low-level Al, on the other hand, tends to lack the powerful abstractions that are needed to express complex structures and relationships. I have tried to combine the …
-
Decentralizing UNIX abstractions in the exokernel architecture
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997.
-
Flexible and efficient sharing of protected abstractions
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.
-
Adaptive Abstractions for Robust Hierarchical Manipulation Planning
… approaches, which introduce state and action abstractions to make planning tractable. However, our abstractions often rely on imperfect models of the world, which can lead to brittle execution. Furthermore, these abstractions depend on having accurate state information, which is often only …
-
Shared Memory Abstractions for Heterogeneous Multicore Processors
We are now seeing diminishing returns from classic single-core processor designs, yet the number of transistors available for a processor is still increasing. Processor architects are therefore experimenting with a variety of multicore processor designs. Heterogeneous multicore processors with …
Page 1 of 20