1268 search results - page 92 / 254 » Verifying distributed systems: the operational approach |
148
click to vote
WSC
2000
15 years 7 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
151
click to vote
PVLDB
2008
15 years 5 months ago
2008
Many stream-processing systems enforce an order on data streams during query evaluation to help unblock blocking operators and purge state from stateful operators. Such in-order p...
152
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Modern internet and telephone switches consist of numerous VLSI-circuits operating at high frequencies to handle high bandwidths. It is beyond question that such systems must cont...
185
click to vote
SAC
2002
ACM
15 years 5 months ago
2002
ACM
Distributed cooperative engineering applications require consistent and long-term sharing of large volumes of data, which may cause conflicts due to concurrent read/write operatio...
164
click to vote
DASFAA
2005
IEEE
15 years 11 months ago
2005
IEEE
In many different application areas, e.g. space observation systems or engineering systems of world-wide operating companies, there is a need for an efficient distributed intersect...