Sökning: "Component"
Visar resultat 16 - 20 av 3701 avhandlingar innehållade ordet Component.
16. Introducing Mode Switch in Component-Based Software Development
Sammanfattning : Self-adaptivity, characterized by the ability to dynamically adjust behavior at runtime, is a growing trend in the evolution of modern embedded systems. While self-adaptive systems tend to be flexible and autonomous, self-adaptivity may inevitably complicate software design, test and analysis. LÄS MER
17. Methodological studies in solid phase synthesis : Linkers and applications of multi-component condensations
Sammanfattning : Solid phase synthesis has become an increasingly important tool in the synthesis of oligopolymers and small organic molecules. This thesis covers three important areas in the solid phase synthesis technique: linker strategies, reduction methods and novel routes to complex heterocycles. LÄS MER
18. Component Synthesis of Machine Tool and Cutter for Process Optimisation
Sammanfattning : Metal cutting is today one of the leading forming processes in the manufacturing industry. The metal cutting industry houses several actors providing machine tools and cutting tools with a fierce competition as a consequence. Extensive efforts are made to improve the performance of both machine tools and cutting tools. LÄS MER
19. Very low bitrate facial video coding : based on principal component analysis
Sammanfattning : This thesis introduces a coding scheme for very low bitrate video coding through the aid of principal component analysis. Principal information of the facial mimic for a person can be extracted and stored in an Eigenspace. Entire video frames of this persons face can then be compressed with the Eigenspace to only a few projection coefficients. LÄS MER
20. Learning Component Behavior from Tests : Theory and Algorithms for Automata with Data
Sammanfattning : Formal models are often used to describe the behavior of a computer program or component. Behavioral models have many different usages, e.g., in model-based techniques for software development and verification,such as model checking and model based testing. LÄS MER