3387 search results - page 667 / 678 » Model-Checking for Real-Time Systems |
SMA
2009
ACM
14 years 2 months ago
2009
ACM
Collision detection in geometrically complex scenes is crucial in physical simulations and real time applications. Works based on spatial hierarchical structures have been propose...
SMA
2009
ACM
14 years 2 months ago
2009
ACM
We present practical algorithms for accelerating geometric queries on models made of NURBS surfaces using programmable Graphics Processing Units (GPUs). We provide a generalized f...
ICTAI
2008
IEEE
14 years 1 months ago
2008
IEEE
—The dynamics of many systems are described by ordinary differential equations (ODE). Solving ODEs with standard methods (i.e. numerical integration) needs a high amount of compu...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— We present a modular robot design inspired by the creation of complex structures and functions in biology via deformation. Our design is based on the Tensegrity model of cellul...
RTAS
2008
IEEE
14 years 1 months ago
2008
IEEE
Interactive 3D games are now widely available on a variety of mobile devices for which battery-life is a major concern. Many of these devices support voltage/frequencyscalable pro...