1054 search results - page 127 / 211 » Translation Validation of System Abstractions |
163
click to vote
TGC
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
169
click to vote
INFOCOM
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract— When multiple paths are available between communicating hosts, application quality can be improved by switching among them to always use the best one. The key to such a...
162
click to vote
GLOBECOM
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract—With the proliferation of wireless multimedia applications, multicast/broadcast has been recognized as an efficient technique to transmit a large volume of data to mult...
168
click to vote
EDUTAINMENT
2007
Springer
16 years 14 days ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
221
click to vote
PATMOS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...