5015 search results - page 888 / 1003 » Model Checking a Path |
VISUALIZATION
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a new particle tracing approach for the simulation of mid- and high-frequency sound. Inspired by the photorealism obtained by methods like photon mapping, we develop a ...
IMC
2005
ACM
14 years 3 months ago
2005
ACM
In some contexts it may be useful to predict the latency for short TCP transfers. For example, a Web server could automatically tailor its content depending on the network path to...
IMC
2005
ACM
14 years 3 months ago
2005
ACM
Interference has always been considered as an unavoidable peril in wireless networks. A single data transmission is useful to some nodes and becomes interference to others. Based ...
SAC
2005
ACM
14 years 3 months ago
2005
ACM
In parallel and distributed processing, tasks are ordinarily clustered and assigned to different processors or machines before they are scheduled. The assignment of tasks to proc...
ASIAN
2005
Springer
14 years 3 months ago
2005
Springer
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...