Sciweavers

1624 search results - page 115 / 325
» Modelling Variability for System Families
Sort
View
98
Voted
ENGL
2007
81views more  ENGL 2007»
15 years 2 months ago
Computational Comparisons of GPC and NGPC Schemes
—In this paper the GPC and NGPC model predictive control techniques are applied to a typical plant and compared in terms of computational efficiency. The system identification an...
D. N. Rao, M. R. K. Murthy, D. N. Harshal, S. R. M...
106
Voted
ICIP
2003
IEEE
16 years 4 months ago
Integrated segmentation and classification for automotive airbag suppression
The use of airbags into automobiles has significantly improved the safety of the occupants. Unfortunately, when airbags are deployed in the case of a crash, they can also cause fa...
Michael E. Farmer, Anil K. Jain
239
Voted
PLDI
2009
ACM
16 years 3 months ago
A decision procedure for subset constraints over regular languages
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
Pieter Hooimeijer, Westley Weimer
112
Voted
JCPHY
2011
133views more  JCPHY 2011»
14 years 5 months ago
A Riemann solver for single-phase and two-phase shallow flow models based on relaxation. Relations with Roe and VFRoe solvers
We present a Riemann solver derived by a relaxation technique for classical single-phase shallow flow equations and for a two-phase shallow flow model describing a mixture of so...
Marica Pelanti, François Bouchut, Anne Mang...
118
Voted
ISSTA
2006
ACM
15 years 8 months ago
Coverage and adequacy in software product line testing
Software product line modeling has received a great deal of attention for its potential in fostering reuse of software artifacts across development phases. Research on the testing...
Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi