2171 search results - page 92 / 435 » Cooperative Validation in Distributed Control Systems Design |
111
click to vote
HOTOS
2009
IEEE
15 years 5 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
152
click to vote
RTSS
2005
IEEE
15 years 7 months ago
2005
IEEE
A key challenge for distributed real-time and embedded (DRE) middleware is maintaining both system reliability and desired real-time performance in unpredictable environments wher...
125
Voted
CCGRID
2008
IEEE
15 years 8 months ago
2008
IEEE
— Data grids and its cost effective nature has taken on a new level of interest in recent years; amalgamation of different providers results in increased capacity as well as lowe...
118
click to vote
GLOBECOM
2009
IEEE
14 years 11 months ago
2009
IEEE
We consider the uplink of two mobile stations with the help of one common relay. Recently, joint network-channel coding based on LDPC codes was proposed for this setup where the ch...
124
click to vote
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...