286 search results - page 35 / 58 » Schedulability Analysis of MSC-based System Models |
137
Voted
JSSPP
2004
Springer
15 years 9 months ago
2004
Springer
As we continue to evolve into large-scale parallel systems, many of them employing hundreds of computing engines to take on mission-critical roles, it is crucial to design those s...
129
click to vote
ICDCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a design and analysis of scheduling techniques to cope with the inherent unreliability and instability of worker nodes in large-scale donation-based distribute...
120
Voted
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
131
Voted
JAIR
1998
15 years 3 months ago
1998
Scheduling dialogs, during which people negotiate the times of appointments, are common in everyday life. This paper reports the results of an in-depth empirical investigation of ...
114
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...