Sökning: "model of computation"
Visar resultat 6 - 10 av 355 avhandlingar innehållade orden model of computation.
6. Computation of Parameters in some Mathematical Models
Sammanfattning : In computational science it is common to describe dynamic systems by mathematical models in forms of differential or integral equations. These models may contain parameters that have to be computed for the model to be complete. LÄS MER
7. Numerical computation of ship stern/propeller flow
Sammanfattning : .... LÄS MER
8. Model Order Reduction with Rational Krylov Methods
Sammanfattning : Rational Krylov methods for model order reduction are studied. A dual rational Arnoldi method for model order reduction and a rational Krylov method for model order reduction and eigenvalue computation have been implemented. It is shown how to deflate redundant or unwanted vectors and how to obtain moment matching. LÄS MER
9. System Design for DSP Applications with the MASIC Methodology
Sammanfattning : The difficulties of system design are persistentlyincreasing due to the integration of more functionality on asystem, time-to-market pressure, productivity gap, andperformance requirements. To address the system designproblems, design methodologies build system models at higherabstraction level. LÄS MER
10. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems
Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER