Filters








9 Hits in 5.2 sec

Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD

Yung-Ruei Chang, S.V. Amari, Sy-Yen Kuo
2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings.  
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.  ...  Since there exist dependencies between combinatorial performance requirements, we apply the Multi-state Dependency Operation (MDO) of OBDD to deal with these dependencies in a multi-state system.  ...  Reliability/Availability Evaluation of a Multistate System In this section, an algorithm similar to SEA for evaluating the system reliability of multi-state imperfect coverage is proposed.  ... 
doi:10.1109/prdc.2002.1185638 dblp:conf/prdc/ChangAK02 fatcat:adxgagxnwrbn3gqdrhgwvkt45u

A Survey on Modeling and Enhancing Reliability of Wireless Sensor Network

Latha Venkatesan, S. Shanmugavel, Chandrasekaran Subramaniam
2013 Wireless Sensor Network  
This paper discusses the different modeling approaches to evaluate the reliability and classification of the approaches to improve it.  ...  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  ...  Reliability level of the network can evaluated using the tool called as reliability modeling. Reliability modeling and analysis are key steps to the design and optimization of sensor network systems.  ... 
doi:10.4236/wsn.2013.53006 fatcat:hmcqgsnearay5f2fm77m5jgo6y

Power minimization in IC design: principles and applications

Massoud Pedram
1996 ACM Transactions on Design Automation of Electronic Systems  
It reviews some of the techniques and tools that have been proposed to overcome these difficulties and outlines the future challenges that must be met to design low power, high performance systems.  ...  This article presents an in-depth survey of CAD methodologies and techniques for designing low power digital CMOS circuits and systems and describes the many issues facing designers at architectural, logical  ...  is to reduce system cost (cooling, packaging, and energy) and ensure long-term circuit reliability.  ... 
doi:10.1145/225871.225877 fatcat:jv72d4vvgfcmhmsmfazpkooyge

VM-Flow [chapter]

Ivo J. G. dos Santos, Edmundo R. M. Madeira
2004 IFIP International Federation for Information Processing  
To view a copy of this license, visit : http://creativecommons.org/licenses/by-nc-sa/3.0/ or send a letter to Creative Commons,  ...  For the avoidance of doubt, the content of this report reflects only the opinion of the project consortium members and its authors.  ...  OBDDs.  ... 
doi:10.1007/1-4020-8155-3_15 fatcat:tdnlcms72rbznjvwphoztdx37y

Alternative Power Systems and Devices [chapter]

2017 Systems, Controls, Embedded Systems, Energy, and Machines  
Reasonable efforts have been made to publish reliable data and information, but the author and the publisher cannot assume responsibility for the validity of all materials or for the consequences of their  ...  use.  ...  Unfortunately, it is impossible to build real systems that satisfy hard real-time requirements. Due to the imperfection of hardware (and of designers), any system may break.  ... 
doi:10.1201/9781420037043-7 fatcat:px3rpk2xgvhtbjwr7s3h3k6ute

Liprotides: a New Class of Protein Lipid-Complexes

Jannik N. Pedersen, Henriette Kristina S. Frislev, Jan S. Pedersen, Daniel E. Otzen
2016 Biophysical Journal  
Developments have focused both on new techniques and improvements in reliability and ease of use.  ...  We have developed a new program, SasCalc, that can be used to calculate small-angle scattering profiles for chemical and biochemical systems.  ...  roughness defects of an imperfect membrane.  ... 
doi:10.1016/j.bpj.2015.11.3085 fatcat:eqeeb47atfc4lisnurb25n55gu

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101) Computational Geometry (Dagstuhl Seminar 11111) Computational Complexity of Discrete Problems (Dagstuhl Seminar 11121) Exploration and Curiosity in Robot Learning and Inference (Dagstuhl Seminar 11131)

Jürgen Dix, Wojtek Jamroga, Dov, Pankaj Agarwal, Kurt Mehlhorn, Monique, Martin Grohe, Michal Koucký, Rüdiger Reischuk, Dieter Van, Jeremy Wyatt, Peter Dayan (+2 others)
2011 unpublished
The environment is an essential component of multi-agent systems, which is often used to coordinate the behaviour of individual agents.  ...  Instead of evaluating only the behavioural complexity of the system after exploration, I propose to measure what the system can accomplish.  ...  We show that both approaches perform much better than the state of the art, and that statistically the two approaches perform very similarly, suggesting that entropy reduction is a useful heuristic even  ... 
fatcat:lcqcxdam4rfcbecsifbfdfapna

Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Seminar 14022) Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031) Planning with Epistemic Goals (Dagstuhl Seminar 14032)

Frederik Armknecht, Helena Handschuh, Tetsu Iwata, Bart, Bernd Bremer, Valerio Mohr, Martin Pascucci, Schulz, Erika Ábrahám, Alberto Avritzer, Anne Remke, William Sanders (+13 others)
2014 unpublished
How to make use of characteristics of the system to fight the state space explosion? e.  ...  In this talk we will talk about the use of such REMs for predicting network coverage holes and discuss how using spatial statistics methods such as Kriging can produce reliable predictions under certain  ...  of ICT systems.  ... 
fatcat:iqk466everfcdhf5guvz5ph2ee

Block Copolymer Patterning of Functional Materials

Edward Crossland, Apollo-University Of Cambridge Repository, Apollo-University Of Cambridge Repository
2014
Declaration This dissertation is the result of my own work and includes nothing which is the outcome of work done in collaboration except where specifically indicated in the text.  ...  In 1994 the true symmetry and form of the gyroid was identified by two groups independently [8, 9] and led to a re-evaluation of the OBDD to the G phase [10] .  ...  describes the common performance measures used to evaluated solar cell devices.  ... 
doi:10.17863/cam.16719 fatcat:4jeuygvl4jbb5fgosf6vepalli