Sciweavers

981 search results - page 75 / 197
» Switch Scheduling and Network Design for Real-Time Systems
Sort
View
FDL
2008
IEEE
15 years 6 months ago
Model-based Design Space Exploration for RTES with SysML and MARTE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
Marcello Mura, Luis Gabriel Murillo, Mauro Prevost...
RTAS
2008
IEEE
15 years 6 months ago
Schedulability Analysis of MSC-based System Models
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
ICNS
2006
IEEE
15 years 5 months ago
Retrospective Scheduling of Elastic Bandwidth Reservations in LambdaGrids
The ability to reserve network bandwidth is critical for the success of high-performance grid applications. While reservation of lightpaths in dynamically switched optical network...
Sumit Naiksatam, Silvia M. Figueira
RTCSA
2005
IEEE
15 years 5 months ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
HYBRID
2007
Springer
15 years 6 months ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur