1495 search results - page 212 / 299 » Modeling and controllability for a class of hybrid mechanica... |
MMAS
2010
Springer
13 years 3 months ago
2010
Springer
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
EH
2005
IEEE
14 years 2 months ago
2005
IEEE
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...
IEEEAMS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...