Specification of persistent storage for causal consistency database

A blockgraph for mesh networks

Basic structure for machine learning projects

Alliance/Coriolis Toolkit & Checker contain various design flow examples, blocks or full chips. It is also used as a regression test for all the tools.

Subject of my Phd thesis.

migrating old papers from gforge

The BoolEAN POLynomial Evaluation library

Algorithms to solve boolean polynomial systems

Additional commands and libraries for inrimage distribution

INRIMAGE is a software dedicated to image processing

Multivariate polynomial system solver