7992 search results - page 214 / 1599 » Communication Abstractions for Distributed Systems |
TSMC
2008
13 years 10 months ago
2008
Abstract--Intervehicle communication is a key technique of intelligent transport systems. Recently, ad hoc networking in the vehicular environment was investigated intensively. Thi...
GLOBECOM
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract—We compare some block equalizers for singlecarrier satellite systems subject to hard propagation conditions such as high Doppler spread, non-line-of-sight (NLOS), and no...
PODC
2009
ACM
14 years 11 months ago
2009
ACM
In 2004, Klavins et al. introduced the use of graph grammars to describe--and to program--systems of self-assembly. It turns out that these graph grammars can be embedded in a gra...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
Due to the complexity associated with developing parallel applications, scientists and engineers rely on highlevel software libraries such as PETSc, ScaLAPACK and PESSL to ease th...
RSP
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...