Sciweavers

3400 search results - page 372 / 680
» tools 2008
Sort
View
INFOCOM
2008
IEEE
16 years 1 months ago
The Meandering Current Mobility Model and its Impact on Underwater Mobile Sensor Networks
—Underwater mobile acoustic sensor networks are promising tools for the exploration of the oceans. These networks require new robust solutions for fundamental issues such as: loc...
Antonio Caruso, Francesco Paparella, Luiz Filipe M...
INFOCOM
2008
IEEE
16 years 1 months ago
A Device-Independent Router Model
Abstract—Several popular simulation and emulation environments fail to account for realistic packet forwarding behaviors of commercial switches and routers. Such simulation or em...
Roman Chertov, Sonia Fahmy, Ness B. Shroff
IPPS
2008
IEEE
16 years 1 months ago
What is the best way to prove a cryptographic protocol correct?
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
Sreekanth Malladi, Gurdeep S. Hura
ISBI
2008
IEEE
16 years 1 months ago
Morphological-based adaptive segmentation and quantification of cell assays in high content screening
In fluorescence-labelled cell assays for high content screening applications, image processing software is necessary to have automatic algorithms for segmenting the cells individ...
Jesús Angulo, Béatrice Schaack
ISCAS
2008
IEEE
160views Hardware» more  ISCAS 2008»
16 years 1 months ago
ATLAS: An adaptively formed hierarchical cell library based analog synthesis framework
— This paper presents ATLAS - a framework for automated analog circuit synthesis that comprises of both topology generation and subsequent circuit sizing. A hierarchically arrang...
Angan Das, Ranga Vemuri