1663 search results - page 279 / 333 » Validation and Verification of Simulation Models |
131
Voted
INFOCOM
2009
IEEE
15 years 10 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...
75
Voted
ICASSP
2008
IEEE
15 years 10 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...
89
Voted
ISCAS
2008
IEEE
15 years 10 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...
132
Voted
PIMRC
2008
IEEE
15 years 10 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 ...
134
Voted
ICDCS
2007
IEEE
15 years 10 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...