7557 search results - page 540 / 1512 » Modeling Timed Concurrent Systems |
177
click to vote
WSC
2008
15 years 9 months ago
2008
This study evaluates appointment systems used in hospitals by incorporating appointment rules and patient characteristics. Using an experiment unit at an internal medicine departm...
165
click to vote
ISPA
2004
Springer
16 years 10 days ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
161
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
This paper is concerned with nonuniform sampling systems, where the sampling interval is time-varying within a certain known bound. The system is transformed into a time-varying d...
207
click to vote
PRDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...
240
Voted
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...