1399 search results - page 189 / 280 » Verification of Test Suites |
158
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...
169
Voted
COR
2007
15 years 6 months ago
2007
A new problem encoding is devised for the minimum span frequency assignment problem in wireless communications networks which is compact and general. Using the new encoding, which...
158
click to vote
MMS
2008
15 years 6 months ago
2008
Creating non-linear interactive media is a challenging task. In this paper we summarise our findings with non-linear, interactive movie productions. We carry out this discussion b...
157
Voted
EOR
2007
15 years 6 months ago
2007
In this paper, a new model for the semi-obnoxious facility location problem is introduced. The new model is composed of a weighted minisum function to represent the transportation...
162
Voted
PAMI
2006
15 years 6 months ago
2006
We contrast the performance of two methods of imposing constraints during the tracking of articulated objects, the first method preimposing the kinematic constraints during trackin...