1681 search results - page 99 / 337 » Formal Design of Distributed Control Systems with Lustre |
EMSOFT
2005
Springer
14 years 4 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
HOTI
2005
IEEE
14 years 4 months ago
2005
IEEE
— A crucial part of any high-performance computing system is its interconnection network. In the OSMOSIS project, Corning and IBM are jointly developing a demonstrator interconne...
GLOBECOM
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— This paper theoretically analyzes cross-layer optimized design of transmit power allocation in distributed interference-limited wireless networks with asynchronously ac...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
— Retroactivity is a parasitic phenomenon that changes the desired input/output response of a system when it is connected to “downstream” systems. Downstream and upstream ref...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
Performance measurement of large distributed multiagent systems (MAS) offers challenges that must be addressed explicitly in the agent infrastructure. Performance data is widely d...