Altmeyer sebastian (12 risultati)

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - As timing is a major property of hard real-time, proving timing correctness is of utter importance. A static timing analysis derives upper bounds on the execution time of tasks, a scheduling analysis uses these bounds and checks if each task meets its timing constraints.In preemptively scheduled systems with caches, this interface between timing analysis and scheduling analysis must be considered outdated.On a context switch, a preempting task may evict cached data of a preempted task that need to be reloaded again after preemption.The additional execution time due to these reloads, called cache-related preemption delay (CRPD), may substantially prolong a task's execution time and strongly influence the system's performance.In this thesis, we present a formal definition of the cache-related preemption delay and determine the applicability and the limitations of a separate CRPD computation.To bound the CRPD based on the analysis of the preempted task, we introduce the concept of definitely cached useful cache blocks.This new concept eliminates substantial pessimism with respect to former analyses by considering the over-approximation of a preceding timing analysis.We consider the impact of the preempting task to further refine the CRPD bounds.To this end, we present the notion of resilience. The resilience of a cache block is a measure for the amount of disturbance of a preempting task a cache block of the preempted task may survive.Based on these CRPD bounds, we show how to correctly account for the CRPD in the schedulability analysis for fixed-priority preemptive systems and present new CRPD-aware response time analyses: ECB-Union and Multiset approaches.…

HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Condizione: New.

LP. Condizione: Gut. LP-Vinyl Schallplatte in einem guten bis sehr guten Zustand, am Cover kleinere Gebrauchsspuren. Die Vinyl-Platten sind stets in Inlays. (Keine genaue Jahreszahl angegeben.) A Magnificat In D Major, No. 243 B Unser Mund Sei Voll Lachens (Cantata No. 110, For Christmas Day). N85 Sprache: Deutsch Gewicht in Gramm: 1001.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As timing is a major property of hard real-time, proving timing correctness is of utter importance. A static timing analysis derives upper bounds on the execution time of tasks, a scheduling analysis uses these bounds and checks if each task meets its timing constraints.In preemptively scheduled systems with caches, this interface between timing analysis and scheduling analysis must be considered outdated.On a context switch, a preempting task may evict cached data of a preempted task that need to be reloaded again after preemption.The additional execution time due to these reloads, called cache-related preemption delay (CRPD), may substantially prolong a task's execution time and strongly influence the system's performance.In this thesis, we present a formal definition of the cache-related preemption delay and determine the applicability and the limitations of a separate CRPD computation.To bound the CRPD based on the analysis of the preempted task, we introduce the concept of definitely cached useful cache blocks.This new concept eliminates substantial pessimism with respect to former analyses by considering the over-approximation of a preceding timing analysis.We consider the impact of the preempting task to further refine the CRPD bounds.To this end, we present the notion of resilience. The resilience of a cache block is a measure for the amount of disturbance of a preempting task a cache block of the preempted task may survive.Based on these CRPD bounds, we show how to correctly account for the CRPD in the schedulability analysis for fixed-priority preemptive systems and present new CRPD-aware response time analyses: ECB-Union and Multiset approaches. 176 pp. Englisch.…

Condizione: New. Print on Demand.

Condizione: New. Print on Demand.

Condizione: New. PRINT ON DEMAND.

Hardcover. Condizione: new. Hardcover. The present Reprint contains 8 articles accepted and published in the Special Issue "Numerical Simulation and Methods in Computational Fluid Dynamics" in the MDPI journal Mathematics, which cover a wide range of topics connected to the theory, numerical methods, and simulation techniques of complex fluid dynamic systems. These topics include, among others, magnetic field-induced Joule-heating thermal convection, a Tiwari and Das approach to buoyant convective thermal transport, as well as a computational and machine learning-based approach, and the use of an influence matrix method for accurate implementation of rotating magneto-hydrodynamics. Moreover, Newton's method using implicit Coriolis integration, transition modelling from shear-driven turbulence to convective turbulence, and convective heat transfer via uniformly accelerated and decelerated turbulent pipe flows are also explored.It is hoped that the Reprint will be interesting and useful for those working in the area of computational fluid dynamics (CFD), complex systems, and numerics, as well as for those with a mathematical background who wish to become familiar with recent advances in CFD, which now plays a crucial role in almost all sectors of human life and activity. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Buch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.

Buch. Condizione: Neu. Numerical Simulation and Methods in Computational Fluid Dynamics | Buch | Englisch | 2026 | MDPI AG | EAN 9783725860593 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.