1681 search results - page 105 / 337 » Formal Design of Distributed Control Systems with Lustre |
TPDS
2008
13 years 10 months ago
2008
Real-time image transmission is crucial to an emerging class of distributed embedded systems operating in open network environments. Examples include avionics mission replanning ov...
SRDS
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper we investigate dependability issues of nextgeneration distributed multimedia applications. Examples of such applications are autonomous vehicle control, telemedicine...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
ICS
2011
Tsinghua U.
13 years 2 months ago
2011
Tsinghua U.
Phase-Change Memory (PCM) technology has received substantial attention recently. Because PCM is byte-addressable and exhibits access times in the nanosecond range, it can be used...