3387 search results - page 408 / 678 » Model-Checking for Real-Time Systems |
231
click to vote
RTAS
2003
IEEE
16 years 24 days ago
2003
IEEE
Distributed real-time and embedded (DRE) applications often possess stringent quality of service (QoS) requirements. Designing middleware for DRE applications poses several challe...
194
click to vote
MOMM
2009
ACM
16 years 6 days ago
2009
ACM
In this paper, we describe completed and ongoing work towards an interactive multimedia system that will appeal to today’s youth culture identified as most likely to adopt such ...
200
Voted
HPDC
1995
IEEE
15 years 11 months ago
1995
IEEE
Most algorithms proposed for controlling traffic prior to entering ATM networks are based on static mechanisms. Such static control mechanisms do not account for the dynamics of ...
277
click to vote
DATE
2003
IEEE
16 years 25 days ago
2003
IEEE
As MultiProcessor System-on-a-Chip (MPSoC) designs become more common, hardware/software codesign engineers face new challenges involving operating system integration. To speed up...
193
click to vote
GLVLSI
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...