7529 search results - page 320 / 1506 » The Modula-3 Type System |
145
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
Stability analysis of a baseline power system architecture for modern aircraft is addressed. Power electronic converters are widely used in modern aircraft power distribution syst...
164
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
161
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
: This paper introduces a modified relaxation approach that allows to improve the convergence of iterations while analyzing mixed systems with different simulators. The method redu...
158
click to vote
JAL
2008
15 years 6 months ago
2008
Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...
180
click to vote
JUCS
2008
15 years 6 months ago
2008
: The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological...