29143 search results - page 70 / 5829 » A Sortation System Model |
ACSD
2003
IEEE
14 years 2 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
The current technologies have made it possible to execute parallel applications across heterogeneous platforms. However, the performance models available do not provide adequate m...
EMSOFT
2003
Springer
14 years 2 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
CODES
1999
IEEE
14 years 1 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
SIGMETRICS
2003
ACM
14 years 2 months ago
2003
ACM
The increasing constraints on power consumption in many computing systems point to the need for power modeling and estimation for all components of a system. The Operating System ...