3387 search results - page 119 / 678 » Model-Checking for Real-Time Systems |
87
Voted
FGR
2008
IEEE
15 years 9 months ago
2008
IEEE
157
Voted
INFOCOM
2008
IEEE
15 years 9 months 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...
112
Voted
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
148
click to vote
FCCM
2007
IEEE
15 years 9 months 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...