Export 3 results:
Filters: Author is Singhoff, Frank [Clear All Filters]
"Architecture, mechanisms and scheduling analysis tool for multicore time-and space-partitioned systems", ACM SIGBED Review, vol. 8, no. 3: ACM, pp. 23–27, 2011.
"NORTH-Non-intrusive Observation and RunTime verification of cyber-pHysical systems", Ada User Journal, 2018.
"Scheduling Analysis Principles and Tool for Time-and Space-Partitioned Systems", Simposio de informatica, pp. 582–585, 2012.