4438 search results - page 628 / 888 » The Case for Collaborative Programming |
193
Voted
ECMDAFA
2010
Springer
15 years 11 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
158
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper deals with output feedback impulse control under set-membership uncertainty where the control realization consists of a sequence of δ-impulses. It indicates solutio...
186
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Control saturation is an important limitation in practical control systems and it is well known that performance degradation or instability may result if this limitation is not...
192
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
Differential Evolution (DE) is a novel evolutionary approach capable of handling non-differentiable, non-linear and multi-modal objective functions. DE has been consistently ranked...
173
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...