Sciweavers

438 search results - page 54 / 88
» constraints 1998
Sort
View
ISMB
1998
15 years 1 months ago
BioSim: A New Qualitative Simulation Environment for Molecular Biology
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
Karsten R. Heidtke, Steffen Schulze-Kremer
PTS
1998
81views Hardware» more  PTS 1998»
15 years 1 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
SODA
1998
ACM
114views Algorithms» more  SODA 1998»
15 years 1 months ago
Exact Arithmetic at Low Cost - A Case Study in Linear Programming
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
Bernd Gärtner
WSC
1998
15 years 1 months ago
Effective Implementation of Cycle Time Reduction Strategies for Semiconductor Back-end Manufacturing
Using discrete-event simulation models, a study was conducted to evaluate the current production practices of a high-volume semiconductor back-end operation. The overall goal was ...
Joerg Domaschke, Steven Brown, Jennifer Robinson, ...
WSC
1998
15 years 1 months ago
The Use of Simulation in Facility Layout Design: A Practical Consulting Experience
This paper presents a practical undertaking to solve an industry-specific problem of facility expansion through relocation of an existing production facility to a proposed new fac...
Emmanuel S. Eneyo, Gertrude P. Pannirselvam