Sökning: "abstract data type"
Visar resultat 6 - 10 av 224 avhandlingar innehållade orden abstract data type.
6. Expressivity and Complexity of the Grammatical Framework
Sammanfattning : This thesis investigates the expressive power and parsing complexity of the Grammatical Framework (GF), a formalism originally designed for displaying formal propositions and proofs in natural language. This is done by relating GF with two more well-known grammar formalisms; Generalized Context-Free Grammar (GCFG), best seen as a framework for describing various grammar formalisms; and Parallel Multiple Context-Free Grammar (PMCFG), an instance of GCFG. LÄS MER
7. Architectures and Compilation Techniques for a Data-Driven Processor Array
Sammanfattning : This thesis presents two processor array architectures and a program transformation technique, which are aimed at efficient exploitation of fine-grain parallelism. The class of architectures considered are fine-grain processor arrays with a data-driven execution model. LÄS MER
8. Fetal programming and parent-of-origin effects of type 2 diabetes and insulin secretion
Sammanfattning : Abstract Type 2 diabetes mellitus (T2DM) is a heterogeneous and a complex disease defined by hyperglycemia. Thepancreas and its islets are central for glucose homeostasis and healthy adipose tissue. In turn, lipid levels in the bloodare crucial for glucose level stability. LÄS MER
9. Programming Language Techniques for Natural Language Applications
Sammanfattning : It is easy to imagine machines that can communicate in natural language. Constructing such machines is more difficult. The aim of this thesis is to demonstrate how declarative grammar formalisms that distinguish between abstract and concrete syntax make it easier to develop natural language applications. LÄS MER
10. Shared Memory Objects as Synchronization Abstractions: Algorithmic Implementations and Concurrent Applications
Sammanfattning : Multicore and many-core architectures have penetrated the vast majority of computing systems, from high-end servers to low-energy embedded devices. From the hardware's perspective, performance scalability comes in the form of increasing numbers of cores. Nevertheless, fully utilizing this power is still an open research and engineering issue. LÄS MER