CNRS Research Fellow at the Computer Science Research Lab of the University of Bordeaux.
Highlights
- Pro
Stars
The module implements the procedure to build the Karp and miller tree for a given Petri Net.
C library to restrict resources access and to perform basic profiling on subprocesses.
NetBSD Google Summer of Code 2011 project (#2)
Porting DRM/GEM from OpenBSD to NetBSD (Intel only)