Search for dissertations about: "Abstraction"

Showing result 21 - 25 of 326 swedish dissertations containing the word Abstraction.

2. 21. Raising Abstraction of Timing Analysis through Model-Driven Engineering

   Author : Alessio Bucaioni; De-Jiu Chen; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Abstract :  The complexity of software running on vehicular embedded systems is constantlyincreasing and this negatively affects its development costs and time tomarket. One way to deal with these issues is to boost abstraction in the formof models to (i) ease the reasoning about the system architecture, (ii) automatecertain stages of the development, (iii) early detect flaws in the system architecturethrough fundamental analysis and (iv) take appropriate countermeasuresbefore the system is implemented. READ MORE

4. 22. Organomolybdenum Complexes in Organic Synthesis- New methods for the Preparation of Cationic Diene Complexes and Applications to Synthesis

   Author : Emelie Bjurling; Centrum för analys och syntes; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Organisk kemi; Organic chemistry; indoles; carbenium ions; hexafluoroisopropanol; hydride abstraction; molybdenum; cationic diene complexes;

   Abstract : Indolyl substituted pyranyl- and cyclohexenyl molybdenum complexes were synthesised through stereoselective nucleophilic addition of indoles to the corresponding cationic 2H-pyran or cyclohexadiene molybdenum complex. Decomplexation of an allylic molybdneum complex by treatment with iodine gave 1-(4-iodo-2-cyclohexenyl)-1H-indole-3-carbonitrile in high regio-selectivity. READ MORE

5. 23. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION

   Author : Mona Noori-Hosseini; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Temporal logic; Anonymity; Opacity; Discrete event systems.; Automation; Formal verification; Fault diagnosability; Incremental abstraction;

   Abstract : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. READ MORE

6. 24. Towards automated conceptual design space exploration

   Author : Jakob Müller; Chalmers tekniska högskola; []
   Keywords : HUMANIORA; HUMANITIES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Engineering Design; Model Abstraction; Function Modelling; Knowledge Based Engineering; Model Based Design; Function-Means Modelling; Geometry Modelling; Design Space Exploration; Product Development; Systems Engineering; Design Automation; Aerospace;

   Abstract : In mature and safety-concerned industries, such as the aerospace industry, product development is often incremental and design solutions are limited to improvements of an existing design. Radical changes to the known product architecture are avoided, for reasons of reliability, lack of technology or lack of design space exploration (DSE) methods. READ MORE

7. 25. Custom Datapaths for DSP ASICs Methodology and Implementation

   Author : Pontus Åström; Institutionen för elektro- och informationsteknik; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical engineering; Elektroteknik; handshake circuits; design patterns; design abstraction; design methodology; UMTS; interleaver architecture; Turbo decoder implementation; low power; Digital filter; wave digital filter;

   Abstract : This thesis regards datapath design and analysis at several abstraction levels. Five papers are presented that focus on datapath design for mobile communication systems and design methodologies for such datapaths. Paper I discusses different aspects of Turbo channel decoder design for high speed and low power applications. READ MORE