3820 search results - page 621 / 764 » Bounded Model Debugging |
116
Voted
SIGGRAPH
2009
ACM
15 years 8 months ago
2009
ACM
We present a novel parallel continuous collision detection (PCCD) method to utilize the widely available multi-core CPU architecture. Our method works with a wide variety of defor...
78
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
126
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— In this paper we develop a new dual decomposition method for optimizing a sum of convex objective functions corresponding to multiple agents but with coupled constraints. In ou...
118
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— We consider the problem of small-gain analysis of asymptotic behavior in interconnected nonlinear dynamic systems. Mathematical models of these systems are allowed to be uncert...
140
click to vote
ECRTS
2008
IEEE
15 years 8 months ago
2008
IEEE
Real-time data services can benefit data-intensive real-time applications, e.g., e-commerce, via timely transaction processing using fresh data, e.g., the current stock prices. T...