53 search results - page 3 / 11 » Interactive parser synthesis by example |
GRAPHICSINTERFACE
2003
13 years 6 months ago
2003
Modal analysis provides a powerful tool for efficiently simulating the behavior of deformable objects. This paper shows how manipulation, collision, and other constraints may be ...
DATE
2005
IEEE
13 years 11 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
RSP
2005
IEEE
13 years 11 months ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
TOG
2008
13 years 5 months ago
2008
Simulated characters in simulated worlds require simulated skills. We develop control strategies that enable physically-simulated characters to dynamically navigate environments w...
PERCOM
2009
ACM
14 years 4 days ago
2009
ACM
—One part of the vision of ubiquitous computing is the integration of sensing and actuation nodes into everyday objects, clothes worn on the body, and in large numbers into the e...