7103 search results - page 464 / 1421 » Program Generation and Components |
145
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
127
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...
130
click to vote
ICSM
1999
IEEE
15 years 9 months ago
1999
IEEE
Exception-handling constructs provide a mechanism for raising exceptions, and a facility for designating protected code by attaching exception handlers to blocks of code. Despite ...
130
click to vote
WEBDB
1998
Springer
15 years 9 months ago
1998
Springer
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
168
Voted
BTW
1997
Springer
15 years 9 months ago
1997
Springer
Database systems as basis for CAD frameworks have to provide data management as well as transaction management facilities meeting the requirements of design applications. One of t...