Items where Author is "Abel, Andreas"

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.

Conference or Workshop Item

Abel, Andreas and Reineke, Jan
(2016) Gray-Box Learning of Serial Compositions of Mealy Machines.
In: NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings.
Conference: None | Not Set

Abel, Andreas and Reineke, Jan
(2015) MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines.
In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, November 2-6, 2015.
Conference: ICCAD - IEEE/ACM International Conference on Computer-Aided Design

Abel, Andreas and Reineke, Jan
(2014) Reverse engineering of cache replacement policies in Intel microprocessors and their evaluation.
In: 2014 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2014, Monterey, CA, USA, March 23-25, 2014.
Conference: None | Not Set

Abel, Andreas and Reineke, Jan
(2014) Reverse engineering of cache replacement policies in Intel microprocessors and their evaluation.
In: 2014 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2014, Monterey, CA, USA, March 23-25, 2014.
Conference: None | Not Set

Abel, Andreas and Reineke, Jan
(2013) Measurement-based modeling of the cache replacement policy.
In: 19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013.
Conference: RTAS - IEEE Real-Time and Embedded Technology and Applications Symposium

This list was generated on Thu Nov 15 00:02:56 2018 CET.