Sciweavers

814 search results - page 90 / 163
» Analysis of Modular Arithmetic
Sort
View
PVM
2005
Springer
15 years 3 months ago
Analysis of the Component Architecture Overhead in Open MPI
Abstract. Component architectures provide a useful framework for developing an extensible and maintainable code base upon which largescale software projects can be built. Component...
Brian Barrett, Jeffrey M. Squyres, Andrew Lumsdain...
ITC
1999
IEEE
98views Hardware» more  ITC 1999»
15 years 2 months ago
A design diversity metric and reliability analysis for redundant systems
Design diversity has long been used to protect redundant systems against common-mode failures. The conventional notion of diversity relies on "independent" generation of...
Subhasish Mitra, Nirmal R. Saxena, Edward J. McClu...
HICSS
1997
IEEE
104views Biometrics» more  HICSS 1997»
15 years 2 months ago
A Simulation Tool for Analysis of Alternative Paradigms for the New Electricity Business
Variousproposals have been madefor new paradigms for operating the restructuring electrical system. One of the key challenges associated with this restructuring is to effectively ...
Thomas J. Overbye, Peter W. Sauer, George Gross, M...
INFOCOM
1997
IEEE
15 years 2 months ago
Design and Performance Analysis of a Growable Multicast ATM Switch
In ihis paper, we design and analyze a growable multicast ATM switch. It can grow to a large size since both cell routing and contention resolution are designed to distribute over...
Kuochen Wang, Ming-Howe Cheng
ASIAN
2006
Springer
116views Algorithms» more  ASIAN 2006»
15 years 2 months ago
Secrecy Analysis in Protocol Composition Logic
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...