3387 search results - page 119 / 678 » Model-Checking for Real-Time Systems |
207
click to vote
INFOCOM
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract—Motivated by the increasing usage of wireless broadcast networks for multicast real-time applications like video, this paper considers a canonical real-time multicast sc...
193
click to vote
FCCM
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper presents the porting of an RTOS Micro C/OS-II on a novel reconfigurable instruction cell based architecture which fills the gap between DSP, FPGA and ASIC with high per...