Sökning: "Type Systems"
Visar resultat 1 - 5 av 2224 avhandlingar innehållade orden Type Systems.
1. Functional Programming for Embedded Systems
Sammanfattning : Embedded Systems application development has traditionally been carried out in low-level machine-oriented programming languages like C or Assembler that can result in unsafe, error-prone and difficult-to-maintain code. Functional programming with features such as higher-order functions, algebraic data types, polymorphism, strong static typing and automatic memory management appears to be an ideal candidate to address the issues with low-level languages plaguing embedded systems. LÄS MER
2. Static Timing Analysis of Parallel Systems Using Abstract Execution
Sammanfattning : The Power Wall has stopped the past trend of increasing processor throughput by increasing the clock frequency and the instruction level parallelism.Therefore, the current trend in computer hardware design is to expose explicit parallelism to the software level. LÄS MER
3. Perceive those things which cannot be seen : A cognitive systems engineering perspective on requirements management
Sammanfattning : Non-functional requirements contribute to the overall quality of software, and should therefore be a part of any development effort. However, in practice they are often considered to be too difficult to handle. The purpose of this thesis is to gain understanding of where the nature and origin of these difficulties may lie. LÄS MER
4. Competence Systems
Sammanfattning : Today, more and more organizations rely upon the competencies of their staffs. This increasing reliance on competence has triggered many organizations to implement competence systems in order to support staff allocation and competence development. LÄS MER
5. Sources of Variations in Error Sensitivity of Computer Systems
Sammanfattning : Technology scaling is reducing the reliability of integrated circuits. This makes it important to provide computers with mechanisms that can detect and correct hardware errors. This thesis deals with the problem of assessing the hardware error sensitivity of computer systems. LÄS MER