• Modeling a Real Time Operating System Using SpecC

      Nukala, Akilesh (Auckland University of Technology, 2007)
      In today's digital (electronics) world, people's desire for electronic goods that ease their life at work, and leisure is increasing the complexity of the products of the embedded systems industry. For example, MP3 players ...