@CONFERENCE\{IMM2003-02530,
    author       = "K. Virk and J. Madsen",
    title        = "Resource Allocation Model for Modelling Abstract {RTOS} on Multiprocessor System-on-Chip",
    year         = "2003",
    month        = "nov",
    pages        = "48-51",
    booktitle    = "The 21th Norchip Conference",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2530-full.html",
    abstract     = "Resource Allocation is an important problem in {RTOS'}s, and has
been an active area of research. Numerous approaches have been
developed and many different techniques have been combined for a
wide range of applications. In this paper, we address the problem
of resource allocation in the context of modelling an abstract
{RTOS} on multiprocessor SoC platforms. We discuss the
implementation details of a simplified basic priority inheritance
protocol for our abstract system model in SystemC."
}