Explore projects
-
-
Updated
-
Admin GUI to edit X-Validator rules.
Updated -
Contextual validation of XML documents (test assertions across several documents).
Updated -
Updated
-
-
Updated
-
Version of the Clang compiler interface with the support for source files featuring the XFOR programming structure.
Updated -
Simulation of XDW actors.
Updated -
-
Simulator of XD* client-actors, Validation service of XD* messages.
Updated -
Updated
-
-
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
Updated -
Updated
-
-
Display (tiled) images on Cluster-Driven Ultra-high-resolution Wall Displays
Updated -
-
-
This project concerns the use of machine learning techniques to estimation Worst Case Execution Times (WCET), on architectures with caches.
Updated