Items where Author is "Maiza, Claire"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Touzeau, Valentin and Maiza, Claire and Monniaux, David and Reineke, Jan
(2017) Ascertaining Uncertainty for Efficient Exact Cache Analysis.
In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II.
Conference: CAV Computer Aided Verification

Altmeyer, Sebastian and Davis, Robert I. and Indrusiak, Leandro Soares and Maiza, Claire and Nélis, Vincent and Reineke, Jan
(2015) A generic and compositional framework for multicore response time analysis.
In: Proceedings of the 23rd International Conference on Real Time Networks and Systems, RTNS 2015, Lille, France, November 4-6, 2015.

Altmeyer, Sebastian and Lisper, Björn and Maiza, Claire and Reineke, Jan and Rochange, Christine
(2015) WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?
In: 15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, July 7, 2015, Lund, Sweden.

Altmeyer, Sebastian and Davis, Robert I. and Indrusiak, Leandro Soares and Maiza, Claire and Nélis, Vincent and Reineke, Jan
(2015) A generic and compositional framework for multicore response time analysis.
In: Proceedings of the 23rd International Conference on Real Time Networks and Systems, RTNS 2015, Lille, France, November 4-6, 2015.

Reineke, Jan and Altmeyer, Sebastian and Grund, Daniel and Hahn, Sebastian and Maiza, Claire
(2014) Selfish-LRU: Preemption-aware caching for predictability and performance.
In: 20th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2014, Berlin, Germany, April 15-17, 2014.
Conference: RTAS IEEE Real-Time and Embedded Technology and Applications Symposium

This list was generated on Sun Dec 22 03:13:51 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.