2711 search results - page 160 / 543 » Stochastic Hybrid Systems: Application to Communication Netw... |
159
click to vote
FAC
2008
15 years 6 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
180
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper explores the computation and communication overlap capabilities enabled by the new CORE-Direct hardware capabilities introduced in the InfiniBand (IB) Host Cha...
175
click to vote
FMCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
172
click to vote
DSD
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
189
click to vote
SRDS
2000
IEEE
15 years 11 months ago
2000
IEEE
Group communication systems are powerful building blocks that facilitate the development of fault-tolerant distributed applications. Such systems generally run in an asynchronous ...