25195 search results - page 4883 / 5039 » Applications of Computers to Dance |
180
click to vote
RTSS
2005
IEEE
16 years 5 days ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
174
click to vote
TPHOL
2005
IEEE
16 years 5 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
168
click to vote
TRIDENTCOM
2005
IEEE
16 years 5 days ago
2005
IEEE
— Recent advances in networking include new bandwidth-intensive applications, sophisticated protocols that enable real-time data and multimedia delivery and aspects of network se...
162
click to vote
TRIDENTCOM
2005
IEEE
16 years 5 days ago
2005
IEEE
To facilitate a broad range of experimental research on novel protocols and application concepts, we employ an indoor wireless testbed to emulate the performance of the real-world...
175
click to vote
VISUALIZATION
2005
IEEE
16 years 5 days ago
2005
IEEE
Existing parallel or remote rendering solutions rely on communicating pixels, OpenGL commands, scene-graph changes or application-specific data. We propose an intermediate soluti...