8780 search results - page 364 / 1756 » On the Feasibility of Consistent Computations |
177
click to vote
ICPP
2003
IEEE
16 years 26 days ago
2003
IEEE
Strong mobility, which allows an external thread to transparently migrate an agent at any time, is difficult to implement in Java since the Java Virtual Machine does not allow se...
190
click to vote
IPPS
2003
IEEE
16 years 26 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
222
click to vote
IPPS
2003
IEEE
16 years 26 days ago
2003
IEEE
Real-time systems usually operate in an environment that changes continuously. These changes cause the performance of the system to vary during run time. An allocation of resource...
206
click to vote
SAC
2003
ACM
16 years 25 days ago
2003
ACM
In recent years the MPEG-4 ISO compression standard has gained much attention. With its high compression ratio it promises to make broadbandstreaming more feasible. However, curre...
183
click to vote
FOSSACS
2003
Springer
16 years 24 days ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...