Sciweavers

659 search results - page 77 / 132
» Product Line Sigraphs
Sort
View
WSC
2001
13 years 9 months ago
Critical tools identification and characteristics curves construction in a wafer fabrication facility
The purpose of this research was to identify the factors in a wafer fabrication facility that significantly affect the cycle times of two main technologies that are currently in p...
Dima Nazzal, Mansooreh Mollaghasemi
EOR
2006
59views more  EOR 2006»
13 years 7 months ago
Sensitivity analysis in linear optimization: Invariant support set intervals
Sensitivity analysis is one of the most interesting and preoccupying areas in optimization. Many attempts are made to investigate the problem's behavior when the input data c...
Alireza Ghaffari Hadigheh, Tamás Terlaky
DSTEP
2010
13 years 5 months ago
A Discussion of Three Visualisation Approaches to Providing Cognitive Support in Variability Management
: Variability management in software intensive systems can be a complex and cognitively challenging process. Configuring a Software Product Line with thousands of variation points ...
Ciarán Cawley, Patrick Healy, Goetz Botterw...
ICSE
2009
IEEE-ACM
13 years 5 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...
VAMOS
2010
Springer
13 years 9 months ago
Semistructured Merge in Revision Control Systems
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
Sven Apel, Jörg Liebig, Christian Lengauer, C...