Sciweavers

1024 search results - page 94 / 205
» High-Level Execution Time Analysis
Sort
View
92
Voted
WCET
2010
14 years 10 months ago
Toward Precise PLRU Cache Analysis
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, cache analysis is mandat...
Daniel Grund, Jan Reineke
99
Voted
FPL
2007
Springer
141views Hardware» more  FPL 2007»
15 years 7 months ago
Analysis of Kernel Effects on Optimisation Mismatch in Cache Reconfiguration
The effect of kernel operations on cache optimisations in a soft-core reconfigurable system is important for dynamic cache switching design. Considering kernel operations changes ...
John Shield, Peter Sutton, Philip Machanick
97
Voted
B
2007
Springer
15 years 7 months ago
Modelling and Proof Analysis of Interrupt Driven Scheduling
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...
Bill Stoddart, Dominique Cansell, Frank Zeyda
102
Voted
DATE
2003
IEEE
108views Hardware» more  DATE 2003»
15 years 6 months ago
System-Level Power Analysis Methodology Applied to the AMBA AHB Bus
The specification on power consumption of a digital system is extremely important due to the growing relevance of the market of portable devices and must be taken into account sin...
Marco Caldari, Massimo Conti, Massimo Coppola, Pao...
CGF
2010
115views more  CGF 2010»
15 years 28 days ago
Visualization and Analysis-Oriented Reconstruction of Material Interfaces
Reconstructing boundaries along material interfaces from volume fractions is a difficult problem, especially because the under-resolved nature of the input data allows for many co...
Jeremy S. Meredith, Hank Childs