670 search results - page 76 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
EWRL
2008
13 years 9 months ago
2008
If one possesses a model of a controlled deterministic system, then from any state, one may consider the set of all possible reachable states starting from that state and using any...
IJCAI
2007
13 years 9 months ago
2007
Agents often have to construct plans that obey deadlines or, more generally, resource limits for real-valued resources whose consumption can only be characterized by probability d...
ATC
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
VIS
2009
IEEE
14 years 9 months ago
2009
IEEE
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...
CCGRID
2001
IEEE
13 years 11 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...