Search results for "Reliability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Pankaj Bhawnani, Behrouz Homayoun Far, Günther Ruhe	Explorative Study to Provide Decision Support for Software Release Decisions.	ICSM	2005	DBLP DOI BibTeX RDF	Reliability Demonstration Chart, Decision Support, Defects, Software Reliability Growth Models, Incremental software development
27	Azam Beg	Improving Nano-circuit Reliability Estimates by Using Neural Methods.	NanoNet	2009	DBLP DOI BibTeX RDF	probability of failure, nano-metric circuits, reliability model, neural network model, Reliability estimation
27	Kai-Yuan Cai	Software Reliability Experimentation and Control.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	software experimentation, software reliability control, software reliability, adaptive testing
27	Cher Ming Tan, Kelvin Ngan Chong Yeo	A Reliability Statistics Perspective on the Pitfalls of Standard Wafer-Level Electromigration Accelerated Test (SWEAT).	J. Electron. Test.	2001	DBLP DOI BibTeX RDF	electromigration testing, accelerated stress testing, reliability statistics, wafer-level reliability, SWEAT
27	Chin-Wen Ho, Sun-Yuan Hsieh, Gen-Huey Chen	An Efficient Parallel Strategy for Computing K-terminal Reliability and Finding Most Vital Edge in 2-trees and Partial 2-trees.	IPPS	1997	DBLP DOI BibTeX RDF	efficient parallel strategy, K-terminal reliability computation, most vital edge finding, 2-trees, partial 2-trees, connected graph components, logarithmic time, reliability, processors, edges, computation time, vertices, CRCW PRAM
27	Alessandro Bogliolo, Maurizio Damiani, Piero Olivo, Bruno Riccò	Reliability evaluation of combinational logic circuits by symbolic simulation.	VTS	1995	DBLP DOI BibTeX RDF	mcnc benchmark circuits, fault-tolerant combinational logic circuits, circuit functionality, fault indicators, control variables, BDD-based symbolic simulation, undetectable multiple faults, VLSI, VLSI, combinational circuits, logic CAD, digital simulation, circuit analysis computing, reliability evaluation, integrated circuit reliability
27	Yu G. Chen, Maria C. Yuang	An efficient terminal-pair reliability algorithm for network management.	LCN	1995	DBLP DOI BibTeX RDF	terminal-pair reliability, probabilistic reliability, path-based partition method, network reduction technique, cut-based partition algorithm, network reduction, performance evaluation, network management, computer network management, minimum cut, failure probabilities
27	Oded Berman, Noushin Ashrafi	Optimization Models for Reliability of Modular Software Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	modular software systems, modular design technique, software practitioners, fault tolerance, dynamic programming, dynamic programming, fault tolerant computing, modularization, software reliability, software reliability, redundancy, redundancy, integer programming, optimization models
27	Markos Z. Tsoukalas, Joe W. Duran, Simeon C. Ntafos	On Some Reliability Estimation Problems in Random and Partition Testing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	effective testing strategy, test outcomes, Thayer-Lipow-Nelson reliability model, upper confidence bounds, cost weighted performance, software reliability, program testing, random testing, partition testing
27	Joe Palma, Jeff Tian, Peng Lu	Collecting data for software reliability analysis and modeling.	CASCON	1993	DBLP BibTeX RDF	reliability, data collection, software reliability engineering
27	Nachimuthu Karunanithi, L. Darrell Whitley, Yashwant K. Malaiya	Prediction of Software Reliability Using Connectionist Models.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	training regimes, data representation methods, complexity, software reliability, software reliability, neural nets, network models, connectionist models
27	Harry Joe	Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	general-order-statistics, nonhomogeneous-Poisson-process software reliability models, asymptotic likelihood inference, asymptotic confidence levels, interval estimates, conditional failure rate, debugging, software reliability, statistical analysis, inference mechanisms, statistical inference
27	Shinji Inoue, Shigeru Yamada	Two-Dimensional Software Reliability Assessment with Testing-Coverage.	SSIRI	2008	DBLP DOI BibTeX RDF	Cobb-Douglas Production Function, Two-Dimensional NHPP, Software Reliability Assessment Measures, Parameter Estimation, Testing-Coverage, Software Reliability Growth Model, Goodness-of-Fit
26	Atef Mohamed, Mohammad Zulkernine	On Failure Propagation in Component-Based Software Systems.	QSIC	2008	DBLP DOI BibTeX RDF	failure propagation, Software architecture, system reliability, component based software system
26	Mohamed F. Ahmed, Swapna S. Gokhale	Linux Bugs: Life Cycle and Resolution Analysis.	QSIC	2008	DBLP DOI BibTeX RDF	Linux Bugs, Reliability, Architecture
26	Ozcan Ozturk 0001, Mahmut T. Kandemir, Mary Jane Irwin, Sri Hari Krishna Narayanan	Compiler directed network-on-chip reliability enhancement for chip multiprocessors.	LCTES	2010	DBLP DOI BibTeX RDF	reliability, compiler, noc, chip multiprocessors
26	Elsa Carvalho, Jorge Cruz 0001, Pedro Barahona	Probabilistic constraints for reliability problems.	SAC	2010	DBLP DOI BibTeX RDF	continuous constraints, reliability, uncertainty
26	Hao Chen, Jie Han 0001	Stochastic computational models for accurate reliability evaluation of logic circuits.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	stochastic computation, stochastic computational model, fault tolerance, logic circuits, reliability evaluation
26	Mawahib Hussein Sulieman	On the Reliability of Interconnected CMOS Gates Considering MOSFET Threshold-Voltage Variations.	NanoNet	2009	DBLP DOI BibTeX RDF	Reliability, CMOS, threshold voltage, gates
26	Beoungil Cho, Hyunsang Youn, Eunseok Lee 0001	Performability analysis method from reliability and availability.	ICHIT	2009	DBLP DOI BibTeX RDF	performability, reliability, Markov chain, dependability, availability
26	Hagen Sämrow, Claas Cornelius, Frank Sill, Andreas Tockhorn, Dirk Timmermann	Twin logic gates: improved logic reliability by redundancy concerning gate oxide breakdown.	SBCCI	2009	DBLP DOI BibTeX RDF	gate oxide breakdown, reliability, integrated circuit design, redundant systems
26	Chuanyi Liu, Yu Gu 0005, Linchun Sun, Bin Yan, Dongsheng Wang 0002	R-ADMAD: high reliability provision for large-scale de-duplication archival storage systems.	ICS	2009	DBLP DOI BibTeX RDF	data de-duplication, reliability, error correcting code
26	Bin Zhang 0011	Online circuit reliability monitoring.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	reliability, circuit, macromodel, online monitoring
26	Ajay Dholakia, Evangelos Eleftheriou, Xiao-Yu Hu, Ilias Iliadis, Jai Menon 0001, K. K. Rao	A new intra-disk redundancy scheme for high-reliability RAID storage systems in the presence of unrecoverable errors.	ACM Trans. Storage	2008	DBLP DOI BibTeX RDF	File and I/O systems, stochastic modeling, RAID, reliability analysis
26	Vasanth Iyer, Rammurthy Garimella, M. B. Srinivas	Training Data Compression Algorithms and Reliability in Large Wireless Sensor Networks.	SUTC	2008	DBLP DOI BibTeX RDF	Sensor Networks, Reliability, Compression, Fault-tolerant algorithms
26	Drew C. Ness, David J. Lilja	Statistically translating low-level error probabilities to increase the accuracy and efficiency of reliability simulations in hardware description languages.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	fault distribution, reliability analysis, SEU, SER
26	Melanie Po-Leen Ooi, Ye Chow Kuang, Chris Chan, Serge N. Demidenko	Predictive Die-Level Reliability-Yield Modeling for Deep Sub-micron Devices.	DELTA	2008	DBLP DOI BibTeX RDF	wafer testing, reliability, integrated circuits, burn-in, yield modelling
26	Vickey Wadhwani, Fiaz Memon, M. Muzaffar Hameed	Architecture Based Reliability and Testing Estimation for Mobile Applications.	IMTIC	2008	DBLP DOI BibTeX RDF	Architecture-based Estimation, Reliability, Software Architecture, Software Testing, Case Study
26	Yuan-Shun Dai, Yi Pan 0001, Xukai Zou	A Hierarchical Modeling and Analysis for Grid Service Reliability.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Grid reliability, graph theory, Markov model, queuing theory, resource management system
26	Norman F. Schneidewind	Finding the optimal parameters for a software reliability model.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Shuttle software, Parameter estimation, Object oriented methods, Software reliability model
26	Hao Wang 0010, Yang Richard Yang, Paul H. Liu, Jia Wang 0001, Alexandre Gerber, Albert G. Greenberg	Reliability as an interdomain service.	SIGCOMM	2007	DBLP DOI BibTeX RDF	reliability, traffic engineering, fast rerouting
26	Kevin M. Greenan, Ethan L. Miller, Thomas J. E. Schwarz, Darrell D. E. Long	Disaster recovery codes: increasing reliability with large-stripe erasure correcting codes.	StorageSS	2007	DBLP DOI BibTeX RDF	storage reliability, erasure coding
26	D. N. P. Murthy	Product warranty and reliability.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Warranty, Models, Reliability, Management
26	Katerina Goseva-Popstojanova, Ajay Deep Singh, Sunil Mazimdar, Fengbin Li	Empirical Characterization of Session-Based Workload and Reliability for Web Servers.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Web workload, Web error behaviour, Web reliability, Session-based analysis, Heavy-tailed distributions
26	Ajay Dholakia, Evangelos Eleftheriou, Xiao-Yu Hu, Ilias Iliadis, Jai Menon 0001, K. K. Rao	Analysis of a new intra-disk redundancy scheme for high-reliability RAID storage systems in the presence of unrecoverable errors.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF	file and I/O systems, stochastic modeling, RAID, reliability analysis
26	Saïda Benlarbi	Estimating SLAs Availability/Reliability in Multi-services IP Networks.	ISAS	2006	DBLP DOI BibTeX RDF	Multi-service IP network, Reliability, Availability, Service Level Agreement, Markov Modeling
26	Ping Wang, Changsong Sun, Lijie Li	Primary Research on Internetware Reliability Technology.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF	Fault-tolerant technology, Software engineering, Software reliability, Internetware
26	Takao Ando, Hiroyuki Okamura, Tadashi Dohi	Estimating Markov Modulated Software Reliability Models via EM Algorithm.	DASC	2006	DBLP DOI BibTeX RDF	Information criterion, EM algorithm, Software reliability models, Markov modulated processes
26	Norman F. Schneidewind	Reliability - Security Model.	ICECCS	2006	DBLP DOI BibTeX RDF	Integration of security and reliability, Conditional probability of security failures, Policy implications resulting from model results
26	Thomas Pompl, Christian Schlünder, Martina Hommel, Heiko Nielen, Jens Schneider	Practical aspects of reliability analysis for IC designs.	DAC	2006	DBLP DOI BibTeX RDF	ESD, TDDB of intermetal dielectric, design-in reliability, gate oxide integrity, hot carrier stress, stress-induced voiding, NBTI, electromigration
26	Zhijian Lu, John C. Lach, Mircea R. Stan, Kevin Skadron	Improved Thermal Management with Reliability Banking.	IEEE Micro	2005	DBLP DOI BibTeX RDF	Dynamic thermal/reliability management, Analytical and simulation techniques, Modeling, Performability, Electromigration
26	Bojan Cukic	The Virtues of Assessing Software Reliability Early.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	software reliability prediction
26	Kanad Chakraborty	Testing and Reliability Techniques for High-Bandwidth Embedded RAMs.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	multiport RAM, BIST (built-in self-test), BISR (built-in self-repair), column-multiplexed addressing, fault tolerance, reliability, bandwidth
26	Ismail Assayad, Alain Girault, Hamoudi Kalla	A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints.	DSN	2004	DBLP DOI BibTeX RDF	multi-criteria scheduling, active software replication, reliability, safety-critical systems, heterogeneous systems, Distributed real-time systems
26	Vittorio Cortellessa, Antonio Pompei	Towards a UML profile for QoS: a contribution in the reliability domain.	WOSP	2004	DBLP DOI BibTeX RDF	software reliability, UML profile, software performance, component-based software systems
26	Nachiappan Nagappan	Toward a Software Testing and Reliability Early Warning Metric Suite.	ICSE	2004	DBLP DOI BibTeX RDF	software testing, software metrics, Software reliability, software processes, empirical software engineering
26	Timothy K. Tsai, Navjot Singh 0001	Reliability Testing of Applications on Windows NT.	DSN	2000	DBLP DOI BibTeX RDF	fault tolerance, reliability, testing, fault injection, Windows NT
26	Russell A. Fink	Reliability Modeling of Freely-Available Internet-Distributed Software.	IEEE METRICS	1998	DBLP DOI BibTeX RDF	cumulative fault modeling, logarithmic modeling, Goel-Okumoto, internet software, XbaeMatrix, fault data metrics, fault data extraction technique, reliability modeling
26	Bojan Cukic	Combining Testing and Correctness Verification in Software Reliability Assessment.	HASE	1997	DBLP DOI BibTeX RDF	probability of correctness, process-control software, Software reliability, safety-critical systems, statistical sampling
26	Norman F. Schneidewind	Reliability and Risk Analysis for Software that Must be Safe.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	Software Reliability, Risk Analysis, Software Safety
26	Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin	The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Reliability, power grid, complexity reduction
26	Geppino Pucci	A New Approach to the Modeling of Recovery Block Structures.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	recovery block structures, error events, failure histories, dependability predictions, testing stages, project choices, software reliability, program testing, system recovery, reliability model, reliability theory, model parameters, development cycle
26	Wangbong Lee, Boo-Geum Jung, Jongmoon Baik	Early Reliability Prediction: An Approach to Software Reliability Assessment in Open Software Adoption Stage.	SSIRI	2008	DBLP DOI BibTeX RDF	Software Reliability Prediction, Module Complexity, Embedded Systems, Open Source Software
26	Andrew C. Myers	Using Security Policies to Write Secure Software.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
26	Javier Esparza, Michael Luttenberger	Newtonian Program Analysis - An Introduction.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
26	Orna Kupferman	Multi-Valued Automata and Their Applications.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
26	Xavier Leroy	Mechanized semantics - with applications to program proof and compiler verification.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
26	Orna Grumberg	2-Valued and 3-Valued Abstraction-Refinement in Model Checking.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
26	Patrick Cousot, Radhia Cousot	A gentle introduction to formal verification of computer systems by abstract interpretation.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
26	Andrew D. Gordon 0001, Cédric Fournet	Principles and Applications of Refinement Types.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
26	Antonín Kucera 0001	Effective Analysis of Infinite State Stochastic Processes Games.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
26	Gerhard Jäger	Modal Fixed Point Logics.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
26	C.-H. Luke Ong	Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
26	Alejandro Russo, Andrei Sabelfeld, Keqin Li 0002	Implicit flows in malicious and nonmalicious code.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
26	Ronald Cools	3. Approximating Integrals, Estimating Errors, and Giving the Wrong Solution for a Deceptively Easy Problem.	Accuracy and Reliability in Scientific Computing	2005	DBLP DOI BibTeX RDF
26	Bo Einarsson	1. What Can Go Wrong in Scientific Computing?	Accuracy and Reliability in Scientific Computing	2005	DBLP DOI BibTeX RDF
26	Sven Hammarling	4. An Introduction to the Quality of Computed Solutions.	Accuracy and Reliability in Scientific Computing	2005	DBLP DOI BibTeX RDF
26	G. William Walster	9. The Use and Implementation of Interval Data Types.	Accuracy and Reliability in Scientific Computing	2005	DBLP DOI BibTeX RDF
26	Françoise Chaitin-Chatelin, Elisabeth Traviesas-Cassan	6. PRECISE and the Quality of Reliable Numerical Software.	Accuracy and Reliability in Scientific Computing	2005	DBLP DOI BibTeX RDF
26	Wayne H. Enright	7. Tools for the Verification of Approximate Solutions to Differential Equations.	Accuracy and Reliability in Scientific Computing	2005	DBLP DOI BibTeX RDF
26	Françoise Chaitin-Chatelin, Elisabeth Traviesas-Cassan	5. Qualitative Computing.	Accuracy and Reliability in Scientific Computing	2005	DBLP DOI BibTeX RDF
26	William D. Gropp	12. Issues in Accurate and Reliable Use of Parallel Computing in Numerical Programs.	Accuracy and Reliability in Scientific Computing	2005	DBLP DOI BibTeX RDF
26	Craig C. Douglas, Hans Petter Langtangen	11. Hardware-Assisted Algorithms.	Accuracy and Reliability in Scientific Computing	2005	DBLP DOI BibTeX RDF
26	Bo Einarsson, Brian Wichmann, Kenneth W. Dritz, Craig C. Douglas, Hans Petter Langtangen, Van Snyder, Ronald F. Boisvert, Roldan Pozo	8. General Methods for Implementing Reliable and Correct Software.	Accuracy and Reliability in Scientific Computing	2005	DBLP DOI BibTeX RDF
26	Siegfried M. Rump	10. Computer-Assisted Proofs and Self-Validating Methods.	Accuracy and Reliability in Scientific Computing	2005	DBLP DOI BibTeX RDF
26	Fred Roberts, Frank Hwang, Clyde L. Monma (eds.)	Reliability Of Computer And Communication Networks, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, December 2-4, 1989	Reliability Of Computer And Communication Networks	1991	DBLP DOI BibTeX RDF
26	William H. Cunningham	The Optimal Multiterminal Cut Problem.	Reliability Of Computer And Communication Networks	1989	DBLP DOI BibTeX RDF
26	Charles J. Colbourn, Eugene I. Litvak	Bounding Network Parameters by Approximating Graphs.	Reliability Of Computer And Communication Networks	1989	DBLP DOI BibTeX RDF
26	Gerald R. Ash	Robust Desing of Dynamic Routing Networks.	Reliability Of Computer And Communication Networks	1989	DBLP DOI BibTeX RDF
26	Cauligi S. Raghavendra, M. A. Sridhar	On Dynamic Full Access in Multistage Interconnection Networks.	Reliability Of Computer And Communication Networks	1989	DBLP DOI BibTeX RDF
26	Daniel Bienstock	Graph Searching, Path-Width, Tree-Width and Related Problems (A Survey).	Reliability Of Computer And Communication Networks	1989	DBLP DOI BibTeX RDF
26		Program.	Reliability Of Computer And Communication Networks	1989	DBLP BibTeX RDF
26	Frank Kwang-Ming Hwang	A Survey on Double Loop Networks.	Reliability Of Computer And Communication Networks	1989	DBLP DOI BibTeX RDF
26		List of Participants.	Reliability Of Computer And Communication Networks	1989	DBLP BibTeX RDF
26		Preface.	Reliability Of Computer And Communication Networks	1989	DBLP BibTeX RDF
26	Chiuh-Cheng Chyu	Decomposable Probabilistic Influence Diagrams.	Reliability Of Computer And Communication Networks	1989	DBLP DOI BibTeX RDF
26	Dhiraj K. Pradhan	Fault-Tolerant VLSI Architectures Based on de Bruijn Graphs (Galileo in the Mid Nineties).	Reliability Of Computer And Communication Networks	1989	DBLP DOI BibTeX RDF
26	Richard H. Cardwell	Survivable Fiber Network Design.	Reliability Of Computer And Communication Networks	1989	DBLP DOI BibTeX RDF
26	Martin Grötschel, Clyde L. Monma, Mechthild Stoer	Polyhedral Approaches to Network Survivability.	Reliability Of Computer And Communication Networks	1989	DBLP DOI BibTeX RDF
26	Sergio Bittanti (eds.)	Software Reliability Modelling and Identification (Como, Italy, September 2-4, 1987)	Software Reliability Modelling and Identification	1988	DBLP DOI BibTeX RDF
26	Giuseppe Iazeolla, Pierre-Jacques Courtois, Onno J. Boxma (eds.)	Computer Performance and Reliability, Proceedings of the Second International MCPR Workshop held in Rome, Italy, May 25-29, 1987	Computer Performance and Reliability	1988	DBLP BibTeX RDF
26	Simonetta Balsamo, B. Pandolfi	Bounded Aggregation in Markovian Networks.	Computer Performance and Reliability	1987	DBLP BibTeX RDF
26	Debasis Mitra 0001, Pantelis Tsoucas	Convergence of Relaxations for Numerical Solutions of Stochastic Problems.	Computer Performance and Reliability	1987	DBLP BibTeX RDF
26	Jean C. Walrand	Quick Simulation of Queueing Networks: An Introduction.	Computer Performance and Reliability	1987	DBLP BibTeX RDF
26	Micha Hofri	A Feedback-less Distributed Broadcast Algorithm for Multihop Radio Networks with Time-Varying Structure.	Computer Performance and Reliability	1987	DBLP BibTeX RDF
26	Aura Ganz, Imrich Chlamtac	Finite Buffer Queueing Models for Single and Multiple Transmissions Channel Access Protocols.	Computer Performance and Reliability	1987	DBLP BibTeX RDF
26	Kishor S. Trivedi, Andrew L. Reibman, Roger Smith	Transient Analysis of Markov and Markov Reward Models.	Computer Performance and Reliability	1987	DBLP BibTeX RDF
26	Philip Heidelberger, Ambuj Goyal	Sensitivity Analysis of Continuous Time Markov Chains Using Uniformization.	Computer Performance and Reliability	1987	DBLP BibTeX RDF
26	Donald F. Towsley, Ravi Mirchandaney	The Effect of Communication Delays on the Performance of Load Balancing Policies in Distributed Systems.	Computer Performance and Reliability	1987	DBLP BibTeX RDF
26	Philip S. Yu, C. Mani Krishna 0001, Yann-Hang Lee	An Adaptive Optimization Model with Applications to Testing.	Computer Performance and Reliability	1987	DBLP BibTeX RDF