3909 search results - page 319 / 782 » Extreme Model Checking |
162
click to vote
KBSE
2005
IEEE
16 years 25 days ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
163
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Textural appearance of many real word materials is not static but shows progress in time. If such a progress is spatially and temporally homogeneous these materials can be represe...
172
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
The paper describes the data model used to implement the SIM Content Management Server, an SGML/XML-native content server designed to support extremely fast data access to and dyn...
205
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, we suggest a linear programming formulation that allows for solving volume and capacity planning problems in semiconductor manufacturing systems. We assume a genera...
202
click to vote
WSC
1998
1998
Effective Implementation of Cycle Time Reduction Strategies for Semiconductor Back-end Manufacturing
15 years 8 months ago
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 ...