Sciweavers

91 search results - page 1 / 19
» Software-Assisted Cache Replacement Mechanisms for Embedded ...
Sort
View
ICCAD
2001
IEEE
93views Hardware» more  ICCAD 2001»
14 years 7 months ago
Software-Assisted Cache Replacement Mechanisms for Embedded Systems
Prabhat Jain, Srinivas Devadas, Daniel W. Engels, ...
ECRTS
2009
IEEE
13 years 8 months ago
Using Randomized Caches in Probabilistic Real-Time Systems
While hardware caches are generally effective at improving application performance, they greatly complicate performance prediction. Slight changes in memory layout or data access p...
Eduardo Quiñones, Emery D. Berger, Guillem ...
SAS
2009
Springer
214views Formal Methods» more  SAS 2009»
14 years 11 months ago
Abstract Interpretation of FIFO Replacement
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
Daniel Grund, Jan Reineke
ECRTS
2006
IEEE
14 years 5 months ago
WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...
Isabelle Puaut
ECRTS
2005
IEEE
14 years 4 months ago
Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
Sebastian Fischmeister, Klemens Winkler