8810 search results - page 290 / 1762 » Open. Closed. Open |
ENTCS
2006
15 years 6 months ago
2006
173
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
180
Voted
EOR
2006
15 years 6 months ago
2006
This paper models and analyzes serial production lines with specialists at each station and a single, cross-trained floating worker who can work at any station. We formulate Marko...