1161 search results - page 179 / 233 » Resource Modeling for Timed Creol Models |
132
Voted
JCSS
2007
15 years 3 months ago
2007
In distributed real-time systems, an application is often modeled as a set of real-time transactions, where each transaction is a chain of precedence-constrained tasks. Each task ...
135
click to vote
AC
2002
Springer
15 years 3 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
147
click to vote
NAACL
2010
15 years 1 months ago
2010
The quality of a statistical machine translation (SMT) system is heavily dependent upon the amount of parallel sentences used in training. In recent years, there have been several...
128
Voted
IJRR
2010
15 years 24 days ago
2010
We present an anytime algorithm for coordinating multiple autonomous searchers to find a potentially adversarial target on a graphical representation of a physical environment. Th...
182
Voted
TPDS
2010
14 years 10 months ago
2010
Predicting grid performance is a complex task because heterogeneous resource nodes are involved in a distributed environment. Long execution workload on a grid is even harder to pr...