Sciweavers

7557 search results - page 337 / 1512
» Modeling Timed Concurrent Systems
Sort
View
RTSS
2008
IEEE
16 years 1 months ago
A Multi-mode Real-Time Calculus
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiag...
JNW
2008
106views more  JNW 2008»
15 years 6 months ago
Optimization of Job Schedule Model Based on Grid Environment
CPU utilization, throughput, turnaround time, waiting time, and response time are the factor to influence system performance. Every system uses different scheduling algorithms to a...
Homer Wu, Chong-Yen Lee, Wuu-Yee Chen, Tsang-Yean ...
ICDCS
1995
IEEE
15 years 10 months ago
Specifying Weak Sets
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
Jeannette M. Wing, David C. Steere
KBSE
2008
IEEE
16 years 1 months ago
Automated Mapping from Goal Models to Self-Adaptive Systems
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
Mirko Morandini, Loris Penserini, Anna Perini
RTAS
2009
IEEE
16 years 1 months ago
Lightweight Modeling of Complex State Dependencies in Stream Processing Systems
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
Anne Bouillard, Linh T. X. Phan, Samarjit Chakrabo...