1624 search results - page 212 / 325 » Modelling Variability for System Families |
146
Voted
PODC
2009
ACM
16 years 27 days ago
2009
ACM
The era of parallel computing for the masses is here, but writing correct parallel programs remains far more difficult than writing sequential programs. Aside from a few domains,...
117
Voted
IOR
2002
15 years 3 months ago
2002
In this study, an adaptive Bayesian decision model is developed to determine the optimal replacement age for the systems maintained according to a general age replacement policy. I...
145
Voted
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
151
Voted
AAAI
2007
15 years 6 months ago
2007
Human visual capability has remained largely beyond the reach of engineered systems despite intensive study and considerable progress in problem understanding, algorithms and comp...
121
Voted
CASES
2001
ACM
15 years 7 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...