4346 search results - page 286 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
163
click to vote
SPAA
2009
ACM
15 years 12 months ago
2009
ACM
We consider bit communication complexity of binary consensus in synchronous message passing systems with processes prone to crashes. A distributed algorithm is locally scalable wh...
129
click to vote
HICSS
1996
IEEE
15 years 9 months ago
1996
IEEE
Many object-oriented methods have assumed classbased approaches, without considering prototype-based ones. Some authors, while admitting prototypes as a useful concept, only envis...
178
click to vote
SIGMETRICS
2003
ACM
15 years 10 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
149
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
181
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, ...