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 19 of 19 for “"High Level Abstractions"”.

  1. Techniques for enabling GPU code generation of low-level optimizations and dynamic parallelism from high-level abstractions

    … ways to target GPUs for computations. From low-level C style syntax that provides for full control and most performance at the cost of slow code-development times to High-level DSLs that can abstracts the complexities of GPU programming, speeding up code-development at the cost of performance. …

    uiuc Repository record for Techniques for enabling GPU code generation of low-level optimizations and dynamic parallelism from high-level abstractions (opens in a new tab)

  2. Deep CNN and MLP-based vision systems for algae detection in automatic inspection of underwater pipelines

    … due to their ability to extract and represent high-level abstractions in data sets. This work describes a vision inspection system based on deep learning and computer vision algorithms for detection of algae in underwater pipelines. The proposed algorithm comprises a CNN or a MLP network, …

    brazil-uerj Repository record for Deep CNN and MLP-based vision systems for algae detection in automatic inspection of underwater pipelines (opens in a new tab)

  3. Reconfigurable middleware architectures for large scale sensor networks

    … to be energy efficient, typically lack the high-level abstractions of advanced programming languages. Though strong, the dichotomy between these two paradigms can be overcome. The SENSIX software framework, described in this dissertation, uniquely integrates constraint-dominated wireless …

    unm Repository record for Reconfigurable middleware architectures for large scale sensor networks (opens in a new tab)

  4. Multi-language code search

    … to represent many equivalent programs and high-level abstractions using equality rules. We also present Yogo, a code search tool for Java and Python that implements Yograph and outputs search results as detailed pointers to AST nodes. Our evaluation shows that, in both languages, Yogo can …

    mit Repository record for Multi-language code search (opens in a new tab)

  5. SMADL – The social machines architecture description language

    We are experiencing a high growth in the number of Web applications being developed. This is happening mainly because the Web is going into a new phase, called programmable Web, where several Web-based systems make their APIs publicly available. In order to deal with the complexity of this emerging …

    brazil-ufpe Repository record for SMADL – The social machines architecture description language (opens in a new tab)

  6. Low-cost Agents with Language Perception and Dynamic Inference

    … costs. Traditional agents often suffer from high learning expenses due to their limited ability to generalize across diverse tasks and environments. Recent advances in large language models (LLMs) have shown strong generalization capabilities by leveraging high-level abstractions of the world …

    mit Repository record for Low-cost Agents with Language Perception and Dynamic Inference (opens in a new tab)

  7. A virtual machine approach to parallel debugging

    … with the complexity of parallel programs through high-level abstractions and a divide-and-conquer strategy. As it is solely based on the execution history, this approach avoids the non-reproducibility that results from the nondeterministic characteristics of a parallel program. We have implemented …

    ubc Repository record for A virtual machine approach to parallel debugging (opens in a new tab)

  8. Program Synthesis for Quantum Applications

    … variability. Unlike classical programming, where high-level abstractions and optimized compilers ease development, quantum programming still relies heavily on low-level circuit representations, making manual implementation complex and error-prone. Program syn-thesis, an approach that automatically …

    maryland Repository record for Program Synthesis for Quantum Applications (opens in a new tab)

  9. Modular Implementation of Program Adaptation with Existing Scientific Codes

    … each of which aims to: design and implement high-level abstractions for expressing adaptation strategies, develop a dynamic tuning approach for parallel programs, and support flexible runtime adaptation schemes, respectively. The applicability of the proposed approaches is demonstrated …

    vt Repository record for Modular Implementation of Program Adaptation with Existing Scientific Codes (opens in a new tab)

  10. Supercharging Programming through Compiler Technology

    … user to bear this burden, I propose building high-level abstractions within general-purpose compilers that enable fast, portable, and composable programs to be automatically generated. This thesis will demonstrate this approach through several real-world and composable compilers that I built …

    mit Repository record for Supercharging Programming through Compiler Technology (opens in a new tab)

  11. Code generation of array constructs for distributed memory systems

    Programming for high-performance systems to fully utilize the potential of the computing system is a complex problem. This is particularly evident when programming distributed memory clusters containing multiple NUMA chips and GPUs on each node since it would require a complex combination of MPI, …

    uiuc Repository record for Code generation of array constructs for distributed memory systems (opens in a new tab)

  12. A practical, comprehensive and accessible binary framework for security

    … approaches, while more comprehensive, incur high performance costs. Additionally, complexities of binary frameworks hinder swift development of security solutions. Effective solutions must balance sound and comprehensive code coverage with high performance to ensure practical viability, while …

    cambridge Repository record for A practical, comprehensive and accessible binary framework for security (opens in a new tab)

  13. Implied Obligations of Good Faith in English Contract Law

    … The argument of this thesis does not depend on high-level abstractions of a ‘theory’, ‘concept’ or ‘principle’ of good faith. Instead, its goal is to provide an interpretivist account of the common law, which explains how good faith is already being used in practice, in light of the orthodox …

    cambridge Repository record for Implied Obligations of Good Faith in English Contract Law (opens in a new tab)

  14. Deep learning for land cover and land use classification

    … excitement in deep machine learning to model the high-level abstractions through hierarchical feature representations without human-designed features or rules, which demonstrates great potential in identifying and characterising LC and LU patterns from VFSR imagery. In this thesis, a set of novel …

    lancaster Repository record for Deep learning for land cover and land use classification (opens in a new tab)

  15. Composable abstractions for synchronization in dynamic threading platforms

    High-level abstractions for parallel programming simplify the development of efficient parallel applications. In particular, composable abstractions allow programmers to construct a complex parallel application out of multiple components, where each component itself may be designed to exploit …

    mit Repository record for Composable abstractions for synchronization in dynamic threading platforms (opens in a new tab)

  16. Language Evolution for Parallel and Scientific Computing

    … to make the development for and usage of high-performance computing easier. Many attempts have failed, perhaps because this is a hard problem, perhaps because the social motivation and the required steps to achieve success have not come together, and perhaps solutions to date only solve …

    mit Repository record for Language Evolution for Parallel and Scientific Computing (opens in a new tab)

  17. Provisioning end-to-end quality of service for real-time interactive video over software-defined networking

    … network operator to manage the network using high level abstractions. This thesis presents taxonomy for classifying SDN research. In research first area, this thesis presents Video over Software-Defined Networking (VSDN), a network architecture that selects feasible paths using the …

    iupui Repository record for Provisioning end-to-end quality of service for real-time interactive video over software-defined networking (opens in a new tab)

  18. Reducing the cost of real-time software through a cyclic task abstraction for Ada

    … language, addressing aversions to incorporating high-level abstractions. Together, the Cyclic Task Specification and Acton advance real-time systems by providing the clarity, structure and simplicity needed to express cyclic tasks and have their real-time constraints enforced at run-time. …

    aus-cath Repository record for Reducing the cost of real-time software through a cyclic task abstraction for Ada (opens in a new tab)

  19. Reducing the cost of real-time software through a cyclic task abstraction for Ada

    … language, addressing aversions to incorporating high-level abstractions. Together, the Cyclic Task Specification and Acton advance real-time systems by providing the clarity, structure and simplicity needed to express cyclic tasks and have their real-time constraints enforced at run-time. …

    anu Repository record for Reducing the cost of real-time software through a cyclic task abstraction for Ada (opens in a new tab)