2497 search results - page 349 / 500 » Requirements for models of achievable routing |
105
Voted
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
124
click to vote
VR
2010
IEEE
15 years 8 days ago
2010
IEEE
Collaborative virtual environment has been limited on static or rigid 3D models, due to the difficulties of real-time streaming of large amounts of data that is required to descri...
107
click to vote
MIR
2006
ACM
15 years 7 months ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...
155
click to vote
SIGMETRICS
1996
ACM
15 years 6 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
106
click to vote
TCSV
2002
15 years 1 months ago
2002
Unified video-on-demand (UVoD) is a recently proposed architecture that integrates multicast transmission with unicast transmission to improve system efficiency. Streaming channels...