1380 search results - page 154 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
WSC
2001
13 years 11 months ago
2001
Batching jobs in a manufacturing system is a very common policy in most industries. Main reasons for batching are avoidance of setups and/or facilitation of material handling. Bat...
WSC
2000
13 years 11 months ago
2000
The paper deals with a simulation study on a planned production plant in the brick industry. We implemented this plant in TAYLOR II. Although the boundary conditions seemed relati...
ER
1997
Springer
14 years 2 months ago
1997
Springer
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
ISORC
2005
IEEE
14 years 3 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...