3192 search results - page 170 / 639 » Translating Model Simulators to Analysis Models |
GRAPHICSINTERFACE
2003
14 years 11 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 ...
79
Voted
SIMUTOOLS
2008
14 years 11 months ago
2008
Wireless communication has attracted considerable interest in the research community, and many wireless networks are evaluated using discrete event simulators like OMNeT++. Althou...
WSC
1997
14 years 11 months ago
1997
Earthwork projects involve moving specific amounts of earth from a discrete set of source locations to a discrete set of destinations. Constructors use different methods and equip...
WSC
1997
14 years 11 months ago
1997
Today's business climate for manufacturers requires low inventory, quick response systems that turn out a wide variety of products. Since many companies are reaching physical...
SIGSOFT
2005
ACM
15 years 11 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...