Ascertaining Uncertainty for Efficient Exact Cache Analysis

Valentin Touzeau, Claire Maïza, David Monniaux, +1

arXiv (Cornell University)

EngineeringVerificationComputer ArchitectureSoftware EngineeringComputational Complexity +23

Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems

Sebastian Altmeyer, Robert I. Davis, Claire Maïza

Real-Time Systems

Hardware SecurityEngineeringReal-time Operating SystemTiming AnalysisPerformance Modeling +6

Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems

Sebastian Altmeyer, Robert I. Davis, Claire Maïza

EngineeringMemory Access TimesReal-time System DesignComputer ArchitectureEmbedded Systems +18

Analysis of Probabilistic Cache Related Pre-emption Delays

Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, +2

EngineeringComputer ArchitectureMultipath ProgramsOperations ResearchHardware Security +17

A generic and compositional framework for multicore response time analysis

Sebastian Altmeyer, Robert I. Davis, Leandro Soares Indrusiak, +3

EngineeringComputer ArchitectureLocal MemoryProcessor ArchitectureSoftware Analysis +20

Resilience analysis

Sebastian Altmeyer, Claire Maïza, Jan Reineke

EngineeringReal-time Operating SystemComputer ArchitectureComputer EngineeringCaching +11

An extensible framework for multicore response time analysis

Robert I. Davis, Sebastian Altmeyer, Leandro Soares Indrusiak, +3

Real-Time Systems

EngineeringComputer ArchitectureProcessor ArchitectureHardware SecurityDifferent Multicore Architectures +16

Integrating cache related pre-emption delay analysis into EDF scheduling

William Richard Elgon Lunniss, Sebastian Altmeyer, Claire Maïza, +1

EngineeringMemory Access TimesComputer ArchitectureEmbedded SystemsHardware Security +16

Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor

Hamza Rihani, Matthieu Moy, Claire Maïza, +2

Cluster ComputingCompute ClusterEngineeringComputer ArchitectureMemory Access +20

Fast and exact analysis for LRU caches

Valentin Touzeau, Claire Maïza, David Monniaux, +1

Proceedings of the ACM on Programming Languages

EngineeringVerificationComputer ArchitectureComputational ComplexityMemory Model (Programming) +19