Pinned Loading

1. Evaluating-a-multicore-Mixed-Criticality-System-implementation-against-a-temporal-isolation-kernel Evaluating-a-multicore-Mixed-Criticality-System-implementation-against-a-temporal-isolation-kernel Public

   Python 1 1

2. Ada-RTE-supporting-semi-partitioned-model Ada-RTE-supporting-semi-partitioned-model Public

   Ada 1

3. synthetic-Ada-tasksets-generation-for-a-MCS-semi-partitioned-model-or-RTEMS-on-XtratuM synthetic-Ada-tasksets-generation-for-a-MCS-semi-partitioned-model-or-RTEMS-on-XtratuM Public

   Fork of Pozzan's work: https://github.com/cornacchia/py-xu-burns-2019-rta

   Python 1

4. Jandom Jandom Public

   Forked from herrBez/Jandom

   An abstract-interpretation based static analyzer written in Scala.

   Scala 3

5. Parser-Core-Language Parser-Core-Language Public

   A Parser written in Haskell for the Core Language

   Haskell 1

6. IQPuzzlerSolver IQPuzzlerSolver Public

   An artificial intelligence which solves IQ puzzler game.

   Python 2