Sciweavers

1877 search results - page 132 / 376
» Network Locality at the Scale of Processes
Sort
View
ICT
2004
Springer
131views Communications» more  ICT 2004»
15 years 10 months ago
Fairness and Protection Behavior of Resilient Packet Ring Nodes Using Network Processors
The Resilient Packet Ring IEEE 802.17 is an evolving standard for the construction of Local and Metropolitan Area Networks. The RPR protocol scales to the demands of future packet ...
Andreas Kirstädter, Axel Hof, Walter Meyer, E...
NETWORKING
2004
15 years 6 months ago
Multi-domain Diagnosis of End-to-End Service Failures in Hierarchically Routed Networks
Probabilistic inference was shown effective in non-deterministic diagnosis of end-to-end service failures. Since exact probabilistic diagnosis is known to be an NP-hard problem, a...
Malgorzata Steinder, Adarshpal S. Sethi
ENTCS
2007
111views more  ENTCS 2007»
15 years 4 months ago
Compositional State Space Reduction Using Untangled Actions
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
Xu Wang, Marta Z. Kwiatkowska
JCC
2006
103views more  JCC 2006»
15 years 4 months ago
Flooding in GROMACS: Accelerated barrier crossings in molecular dynamics
: The major bottleneck of today's atomistic molecular dynamics (MD) simulations is that because of the enormous computational effort involved, only processes at nanoseconds to...
Oliver F. Lange, Lars V. Schäfer, Helmut Grub...
KDD
2003
ACM
175views Data Mining» more  KDD 2003»
16 years 5 months ago
Time and sample efficient discovery of Markov blankets and direct causal relations
Data Mining with Bayesian Network learning has two important characteristics: under broad conditions learned edges between variables correspond to causal influences, and second, f...
Ioannis Tsamardinos, Constantin F. Aliferis, Alexa...