252 search results - page 37 / 51 » Timing Analysis of the FlexRay Communication Protocol |
113
click to vote
IWCMC
2009
ACM
15 years 8 months ago
2009
ACM
Minimal configuration and quick deployment of ad hoc networks make it suitable for numerous applications such as emergency situations, border monitoring, and military missions, e...
108
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— The border gateway protocol (BGP) is known to take a long time to converge to a steady state following the failure of BGP routers or inter-router links. This has resulted in ex...
121
Voted
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
We present an approach to the analysis and optimization of heterogeneous distributed embedded systems for hard real-time applications. The systems are heterogeneous not only in te...
120
click to vote
RAS
2007
15 years 1 months ago
2007
We coordinate in discrete time the interaction of two heterogeneous groups of mobile agents: a group of ground vehicles (ugvs) and a group of aerial vehicles (uavs). The ground ag...
135
click to vote
NFM
2011
14 years 8 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...