6308 search results - page 307 / 1262 » Modeling Urgency in Timed Systems |
174
Voted
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
282
click to vote
JBI
2011
15 years 1 months ago
2011
Automated approaches to promoting health behavior change, such as exercise, diet, and medication adherence promotion, have the potential for significant positive impact on society...
188
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present, in this paper, an algorithm which integrates flow control and dynamic load balancing in Time Warp. The algorithm is intended for use in a distributed memory environme...
175
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The fundamental role that intrinsic stochasticity plays in cellular functions has been shown via numerous computational and experimental studies. In the face of such e...
159
click to vote
EOR
2010
15 years 6 months ago
2010
Resources including various assets of supply chains, face random demand over time and can be shared by others. We consider an operational setting where a resource is shared by two...