Sciweavers

3910 search results - page 715 / 782
» Analyzing Cross-Connected Networks
Sort
View
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
13 years 8 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün
IJHPCA
2010
113views more  IJHPCA 2010»
13 years 8 months ago
Accurate Heterogeneous Communication Models and a Software Tool for Their Efficient Estimation
In this paper, we analyze restrictions of traditional communication performance models affecting the accuracy of analytical prediction of the execution time of collective communic...
Alexey L. Lastovetsky, Vladimir Rychkov, Maureen O...
IJISTA
2010
100views more  IJISTA 2010»
13 years 8 months ago
Development of an awakening detection system with the NN and adaptation for fluctuation of brightness quantity in the captured i
Recently, accidents such that seniors fall down from the bed in care facilities or hospitals are increased. To prevent these accidents, we have developed an awakening detection sys...
Nobuhisa Yamanaka, Hironobu Satoh, Fumiaki Takeda
INFOCOM
2010
IEEE
13 years 8 months ago
Design and Analysis of a Robust Pipelined Memory System
Abstract—Many network processing applications require wirespeed access to large data structures or a large amount of flowlevel data, but the capacity of SRAMs is woefully inadeq...
Hao Wang, Haiquan (Chuck) Zhao, Bill Lin, Jun Xu
INFOCOM
2010
IEEE
13 years 8 months ago
URCA: Pulling out Anomalies by their Root Causes
—Traffic anomaly detection has received a lot of attention over recent years, but understanding the nature of these anomalies and identifying the flows involved is still a manu...
Fernando Silveira, Christophe Diot