@INPROCEEDINGS {11160,
author={N.V.S. Silva and A. Oliveira and R. S. Santos and L. Almeida},
doi={},
booktitle={IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia - ESTIMedia},
title={The OReK Real-time Micro Kernel for FPGA-based Systems-on-Chip},
year={2008},
month={October},
volume={N/A},
pages={75-80} 
}