323 search results - page 36 / 65 » Automatic generation of simulation models for semiconductor ... |
WSC
2000
13 years 11 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
GRAPHICSINTERFACE
2003
13 years 11 months ago
2003
Though realistic eulerian fluid simulation systems now provide believable movements, straightforward renderable surface representation, and affordable computation costs, they are...
JSC
2010
13 years 5 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
— Statistical static timing analysis deals with the increasing variations in manufacturing processes to reduce the pessimism in the worst case timing analysis. Because of the cor...
EUROMICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...