576 search results - page 82 / 116 » Model composition for scheduling analysis in platform design |
137
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
146
click to vote
SAC
2010
ACM
16 years 11 days ago
2010
ACM
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...
150
click to vote
CCGRID
2001
IEEE
15 years 9 months ago
2001
IEEE
Global Computing achieves high throughput computing by harvesting a very large number of unused computing resources connected to the Internet. This parallel computing model target...
160
click to vote
AOSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
191
Voted
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...