A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
A Novel OBDD-Based Reliability Evaluation Algorithm for Wireless Sensor Networks on the Multicast Model
2015
Mathematical Problems in Engineering
Preserved Fulltext
The two-terminal reliability calculation for wireless sensor networks (WSNs) is a #P-hard problem. ...
The reliability calculation of WSNs on the multicast model provides an even worse combinatorial explosion of node states with respect to the calculation of WSNs on the unicast model; many real WSNs require ...
Ghasemzadeh [13] presented a method to analyze the -terminal reliability based on factoring using the "If-Then-Else(ITE)" operation of OBDD. Hardy et al. ...
doi:10.1155/2015/269781
fatcat:5gsiknz72nbelaat2l53rwxxi4
Computing system failure frequencies and reliability importance measures using OBDD
2004
IEEE transactions on computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Further, we extend all of the proposed algorithms in this paper to analyze systems with imperfect fault-coverage. ...
In addition, we propose an efficient approach based on OBDD to evaluate the reliability of a nonrepairable system and the availability of a repairable system with imperfect fault-coverage mechanisms. ...
Moreover, all of the proposed algorithms based on OBDD in this paper could also be extended to analyze a system with imperfect fault-coverage. ...
doi:10.1109/tc.2004.1255790
fatcat:bdhfwlpjind2zjsjlikwletxfi
A Survey on Modeling and Enhancing Reliability of Wireless Sensor Network
2013
Wireless Sensor Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Also the paper analyzes reliability enhancement by existing fault tolerant methods in WSN and compares the performance of these techniques with the technique we developed. ...
Design of reliable wireless sensor network (WSN) need to address the failure of single or multiple network components and implementation of the techniques to tolerate the faults occurred at various levels ...
Combinatorial model: It can be used to analyze transient or steady state network. ...
doi:10.4236/wsn.2013.53006
fatcat:hmcqgsnearay5f2fm77m5jgo6y
An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis
2008
IEEE transactions on systems, man and cybernetics. Part A. Systems and humans
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Index Terms-Binary decision diagrams (BDDs), commoncause failures (CCF), imperfect coverage (IPC), network reliability, sensitivity. ...
A sample network system is analyzed to illustrate the basics and advantages of our approach. ...
Shrestha of the University of Massachusetts Dartmouth for his help with the software tool development and network benchmark testing and the editors and reviewers for their comments, contributions, and ...
doi:10.1109/tsmca.2007.909493
fatcat:hezwjax7dreefddxq22quvezuu
Two-terminal reliability analysis for multi-phase communication networks
2016
Eksploatacja i Niezawodnosc
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
researches of network reliability generally assume that the system structures do not change with time. ...
This paper presents the concept of multi-phase network systems (MPNS) to consider dynamic characteristics of networks, and analyze the reliability of MPNS. ...
BDD method for reliability evaluation BDD or ordered BDD (OBDD) based methods [14, 15, 19, 22, 33, 47] have been widely used in analyzing network reliability since 1990s. ...
doi:10.17531/ein.2016.3.14
fatcat:ok64rnqtsvartbbvinkab4dmsa
Disjoint Spanning Tree Based Reliability Evaluation of Wireless Sensor Network
2020
Sensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
It is necessary to quantify the performance of these networks with the help of network reliability measures to ensure the stable operation of WSNs. ...
Monitoring a WSN depends on the type of collective data the sensor nodes have acquired. ...
In this work, it is assumed that the nodes are reliable for the ease of testing them; however, in the future, the evaluation of WSN reliability with imperfect nodes as well as imperfect links can be examined ...
doi:10.3390/s20113071
pmid:32485883
fatcat:7vjtp5x265h37jpxjwijasngiu
Power minimization in IC design: principles and applications
1996
ACM Transactions on Design Automation of Electronic Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Multi-Level Network Optimization. Network don't cares can be used for minimizing the intermediate nodes in a Boolean network [Savoj et al. 1991] . ...
A practical method using local OBDD constructions is described by the authors. ...
doi:10.1145/225871.225877
fatcat:jv72d4vvgfcmhmsmfazpkooyge
Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD
2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
This paper presents an efficient approach based on OBDD for the reliability analysis of a multi-state system subject to imperfect fault-coverage with combinatorial performance requirements. ...
In addition, this OBDD-based approach is combined with the conditional probability methods to find solutions for the multi-state imperfect coverage models. ...
Then, we can easily obtain the reliability of a network system subject to imperfect coverage from Equation (7) . ...
doi:10.1109/prdc.2002.1185638
dblp:conf/prdc/ChangAK02
fatcat:adxgagxnwrbn3gqdrhgwvkt45u
Probabilistic databases
2009
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This raises the possibility that other tractable cases of OBDDs can be inferred, perhaps by analyzing both the query expression and the database statistics. ...
In Data Cleaning, deduplication is one of the key components and is also a noisy and imperfect process. ...
doi:10.1145/1538788.1538810
fatcat:l5klhyjkujhnnfjjnrzzrfe4ba
Alternative Power Systems and Devices
[chapter]
2017
Systems, Controls, Embedded Systems, Energy, and Machines
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
use. ...
Reprinted material is quoted with permission, and sources are indicated. A wide variety of references are listed. ...
When using mini-slotting, as soon as the network is idle and some node would like to transmit a message, the node has to wait for a unique (for each node) time before sending messages. ...
doi:10.1201/9781420037043-7
fatcat:px3rpk2xgvhtbjwr7s3h3k6ute
Impact of Degraded Communication on Interdependent Power Systems: The Application of Grid Splitting
2016
Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In [14] , artificial neural networks (ANNs) are used to predict instabilities. ...
A two-phase ordered binary decision diagram (OBDD) method is presented in [16] , which is based on a simplified graph and finds islands with coherent generators and a low power imbalance reducing the amount ...
be analyzed. ...
doi:10.3390/electronics5030049
fatcat:dmvsa6fikzcjncfugp4htgupdq
Synthesizing fault-tolerant programs from deontic logic specifications
2013
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our technique for synthesis is based on the use of (bi)simulation algorithms for capturing different fault-tolerance classes, and the extension of a synthesis algorithm for CTL to cope with dCTLspecifications ...
Moreover, we have implemented a tool called dCTL Synthesizer (syntdctl) which was used to synthesize automatically wellknown fault-tolerant examples. iv ...
It has been a pleasure working with him. ...
doi:10.1109/ase.2013.6693149
dblp:conf/kbse/Demasi13
fatcat:z7sidjnzrfdwnginmj7nujhcg4
VM-Flow
[chapter]
2004
IFIP International Federation for Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The CONTRACT project is co-funded by the European Commission under the 6th Framework Programme for RTD with project number FP6-034418. ...
OBDDs. ...
The UDDI registry is implemented as multiple peer nodes where the registration across all nodes is replicated by node operators. ...
doi:10.1007/1-4020-8155-3_15
fatcat:tdnlcms72rbznjvwphoztdx37y
Liprotides: a New Class of Protein Lipid-Complexes
2016
Biophysical Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Developments have focused both on new techniques and improvements in reliability and ease of use. ...
Now in its 6 th year of user operations, this exceptionally reliable beamline has proven itself to be highly successful with more than 90 papers acknowledging the beamline published in 2014 alone. ...
roughness defects of an imperfect membrane. ...
doi:10.1016/j.bpj.2015.11.3085
fatcat:eqeeb47atfc4lisnurb25n55gu
Fault-tolerant Architectures for Nanowire and Quantum Array Devices
[article]
2013
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
A case study based on pass-transistor logic using wrap-gate nanowire devices is presented. ...
In addition, a planarization algorithm is presented and implemented in order to synthesize planar error correcting circuits using such devices. ...
Reliability can be increased by either using reliable components or by using fault tolerance. ...
doi:10.11575/prism/26166
fatcat:eaqzsejvsbachi33kkdavespsi
« Previous
Showing results 1 — 15 out of 19 results