3172 search results - page 622 / 635 » Combining Specification Techniques for Processes, Data and T... |
162
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
—As the number of Mobile IP (MIP) [2] users grow, so will the demand for delay sensitive real-time applications, such as audio streaming, that require seamless handoff, namely, a...
156
Voted
ASM
2003
ASM
15 years 10 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
145
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
There is a growing concern about the increasing vulnerability of future computing systems to errors in the underlying hardware. Traditional redundancy techniques are expensive for...
142
click to vote
HPDC
2002
IEEE
15 years 10 months ago
2002
IEEE
Clusters of workstations have become a cost-effective means of performing scientific computations. However, large network latencies, resource sharing, and heterogeneity found in ...
176
click to vote
SIGGRAPH
1993
ACM
15 years 9 months ago
1993
ACM
Image-space simplifications have been used to accelerate the calculation of computer graphic images since the dawn of visual simulation. Texture mapping has been used to provide a...