1681 search results - page 67 / 337 » Formal Design of Distributed Control Systems with Lustre |
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
POPL
2000
ACM
14 years 1 days ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
SERP
2008
13 years 9 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
: Wireless sensor/actuator networks (WSANs) are emerging as a new generation of sensor networks. Serving as the backbone of control applications, WSANs will enable an unprecedented...
AOSD
2010
ACM
14 years 2 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...