Sciweavers

1329 search results - page 117 / 266
» Analysis of Dynamic Communicating Systems by Hierarchical Ab...
Sort
View
GLOBECOM
2007
IEEE
16 years 20 days ago
The Design and Analysis of Protocol Sequences for Robust Wireless Accessing
Abstract—In this paper, a family of linear congruence sequences with interesting cross-correlation properties is investigated for potential applications in defining new multiple...
Chung Shue Chen, Wing Shing Wong, Yeqiong Song
ICCS
2004
Springer
15 years 11 months ago
Simulation Coercion Applied to Multiagent DDDAS
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
Yannick Loitière, David C. Brogan, Paul F. ...
FMICS
2007
Springer
16 years 15 days ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...
GLOBECOM
2006
IEEE
16 years 12 days ago
Blind Carrier Frequency Offset Estimation for OFDM/OQAM Systems Based on Subchannel Signals
Abstract— New blind carrier frequency offset (CFO) estimation methods based on the correlation function of the subchannel signals are presented for OFDM/OQAM systems. The propose...
Gang Lin, Lars Lundheim, Nils Holte
BIRTHDAY
2010
Springer
15 years 7 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef