1663 search results - page 279 / 333 » Verification and validation of simulation models |
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—We analyze how node mobility can influence the convergence time of averaging gossip algorithms on networks. Our main result is that even a small number of fully mobile nodes ca...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
—Automated estimation of DNA base-sequences is an important step in genomics and in many other emerging fields in biological and medical sciences. Current automated sequencers p...
ISCAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Since the xDSL specifications impose stringent linearity requirements to ensure the integrity of the data transferred, current line drivers use linear amplifiers. The do...
PIMRC
2008
IEEE
15 years 4 months ago
2008
IEEE
—In recent years, cooperative communication has been proposed as a new communication paradigm that incorporates a relay node to assist the direct point-to-point transmission. By ...
ICDCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...