5149 search results - page 520 / 1030 » Timed Asynchronous Distributed Systems |
154
click to vote
WOA
2010
15 years 4 months ago
2010
Maritime search and rescue operations are critical missions involving personnel, boats, helicopter, aircrafts in a struggle against time often worsened by adversary sea and weather...
155
click to vote
DUX
2007
15 years 10 months ago
2007
Using 180 RFID tags to track and plot locations over time, guests to an event at the San Francisco Museum of Modern Art (SFMOMA) collectively constructed a public visualization of...
182
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
174
click to vote
CLUSTER
2006
IEEE
16 years 21 days ago
2006
IEEE
The paper addresses the problem of matching and scheduling of DAG-structured application to both minimize the makespan and maximize the robustness in a heterogeneous computing sys...
160
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
We consider the problem of horizontally partitioning a dynamic relation across a large number of disks/nodes by the use of range partitioning. Such partitioning is often desirable...