Sciweavers

3600 search results - page 283 / 720
» The settling-time reducibility ordering
Sort
View
WSC
2008
15 years 9 months ago
Optimizing staffing schedule in light of patient satisfaction for the whole outpatient hospital ward
The waiting time for patients in outpatient departments of hospitals is a problem throughout the world. In this context, a discrete-event-simulation model was developed to examine...
Soemon Takakuwa, Athula Wijewickrama
WSC
2008
15 years 9 months ago
Multi-product lot merging/splitting algorithms for a semiconductor wafer fabrication
This paper focuses on a lot merging/splitting problem in a semiconductor wafer fabrication facility. In the fab, two or more lots can be merged into a single lot if routes and all...
June-Young Bang, Jae-Hun Kang, Bong-Kyun Kim, Yeon...
APN
2008
Springer
15 years 8 months ago
Faster Unfolding of General Petri Nets Based on Token Flows
In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [11]. In contr...
Robin Bergenthum, Robert Lorenz, Sebastian Mauser
ASPDAC
2008
ACM
78views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Handling partial correlations in yield prediction
In nanometer regime, IC designs have to consider the impact of process variations, which is often indicated by manufacturing/parametric yield. This paper investigates a yield model...
Sridhar Varadan, Janet Meiling Wang, Jiang Hu
CBSE
2008
Springer
15 years 8 months ago
State Space Reduction Techniques for Component Interfaces
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
Markus Lumpe, Lars Grunske, Jean-Guy Schneider