Sciweavers

7992 search results - page 214 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
TSMC
2008
187views more  TSMC 2008»
13 years 10 months ago
A Position-Based Clustering Technique for Ad Hoc Intervehicle Communication
Abstract--Intervehicle communication is a key technique of intelligent transport systems. Recently, ad hoc networking in the vehicular environment was investigated intensively. Thi...
Zhigang Wang, Lichuan Liu, MengChu Zhou, N. Ansari
GLOBECOM
2007
IEEE
14 years 5 months ago
Block Equalization for Single-Carrier Satellite Communications with High-Mobility Receivers
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...
Luca Rugini, Paolo Banelli, Matteo Berioli
PODC
2009
ACM
14 years 11 months ago
Brief announcement: self-assembly as graph grammar as distributed system
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...
Aaron Sterling
IPPS
2007
IEEE
14 years 5 months ago
Nonuniformly Communicating Noncontiguous Data: A Case Study with PETSc and MPI
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...
Pavan Balaji, Darius Buntinas, Satish Balay, Barry...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
14 years 5 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
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...
Doron Drusinsky, Man-tak Shing