-
Towards efficient and secure shared memory applications
The invasion of multi-core and multi-processor platforms on all aspects of computing makes shared memory parallel programming mainstream. Yet, the fundamental problems... -
Efficient first order functional program interpreter with time bound certific...
Colloque avec actes et comité de lecture. internationale.
