Avancerad sökning
Visar resultat 1 - 5 av 88 avhandlingar som matchar ovanstående sökkriterier.
1. Get your priorities straight
Sammanfattning : This thesis deals with three different aspects of queues and buffers. First, how a novel memory architecture can improve a solution to the problem of supporting a priority queue with priorities from a bounded universe. LÄS MER
2. Efficient symbolic state exploration of timed systems : Theory and implementation
Sammanfattning : Timing aspects are important for the correctness of safety-critical systems. It is crucial that these aspects are carefully analysed in designing such systems. UPPAAL is a tool designed to automate the analysis process. LÄS MER
3. A parallel, iterative method of moments and physical optics hybrid solver for arbitrary surfaces
Sammanfattning : We have developed an MM–PO hybrid solver designed to deliver reasonable accuracy inexpensively in terms of both CPU-time and memory demands. The solver is based on an iterative block Gauss–Seidel process to avoid unnecessary storage and matrix computations, and can be used to solve the radiation and scattering problems for both disjunct and connected regions. LÄS MER
4. Assessment and Mapping of Environmental Degradation Factors in Outdoor Applications -A Part in the Prediction of Service Life for Wooden Building Components
Sammanfattning : .... LÄS MER
5. Domain-based partitioning for parallel SAMR applications
Sammanfattning : This thesis presents a study of domain-based partitioning techniques for dynamic structured grid hierarchies, occuring in structured adaptive mesh refinement (SAMR) methods. Such methods for obtaining the numerical solution to partial differential equations yield highly advantageous ratios for cost/accuracy as compared to methods based upon static uniform approximations. LÄS MER