2875 search results - page 218 / 575 » Using separation of concerns for embedded systems design |
164
Voted
CDC
2008
IEEE
16 years 21 days ago
2008
IEEE
Abstract— This paper is concerned with the robust stabilization of a class of stochastic large-scale systems. The uncertainties satisfy integral quadratic constraints. The random...
152
click to vote
IWFM
1998
15 years 7 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
168
Voted
ESANN
2004
15 years 7 months ago
2004
: The contribution concerns the design of a generalised functional-link neural network with internal dynamics and its applicability to system identification by means of multi-input...
204
click to vote
TCOS
2010
15 years 28 days ago
2010
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...
151
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...