Search results for "reliable systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Fadi J. Kurdahi, Nikil Dutt, Ahmed M. Eltawil, Sani R. Nassif	Cross-Layer Approaches to Designing Reliable Systems Using Unreliable Chips.	VLSI Design	2008	DBLP DOI BibTeX RDF
2	Pradip Bose	Designing reliable systems with unreliable components.	IEEE Micro	2006	DBLP DOI BibTeX RDF	reliable components, reliable systems
2	Shekhar Y. Borkar	Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation.	IEEE Micro	2005	DBLP DOI BibTeX RDF	Hardware Computer System Organization
2	Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund	Designing Safe, Reliable Systems Using Scade.	ISoLA	2004	DBLP DOI BibTeX RDF
2	Zahava Koren, J. Rajagopal, C. Mani Krishna, Israel Koren, W. Wang, J. Loman	Using Rational Approximations for Evaluating the Reliablity of Highly Reliable Systems. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	Highly Reliable Systems, Simulation, Reliability, Rational Interpolation
2	Jeffery A. Solheim, John H. Rowland	An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	artificial software systems, top-down strategies, sandwich integration strategies, spot unit testing, bottom-up integration, defect correction, big-bang strategies, code generator, software reliability, program testing, system reliability, reliable systems, verification processes
1	Yuanshun Dai, Yanping Xiang, Yanfu Li, Liudong Xing, Gewei Zhang	Consequence Oriented Self-Healing and Autonomous Diagnosis for Highly Reliable Systems and Software.	IEEE Transactions on Reliability	2011	DBLP DOI BibTeX RDF
1	Eduardo B. Fernández, Hironori Washizaki, Nobukazu Yoshioka, Michael VanHilst	An Approach to Model-based Development of Secure and Reliable Systems.	ARES	2011	DBLP DOI BibTeX RDF
1	Radim Bris	Exact reliability quantification of highly reliable systems with maintenance.	Rel. Eng. & Sys. Safety	2010	DBLP DOI BibTeX RDF
1	Engin Ipek, Jeremy Condit, Edmund B. Nightingale, Doug Burger, Thomas Moscibroda	Dynamically replicated memory: building reliable systems from nanoscale resistive memories.	ASPLOS	2010	DBLP DOI BibTeX RDF	write endurance, phase-change memory
1	Cesar Sanín, Edward Szczerbicki	Implementing Decisional Trust: a First Approach for Smart Reliable Systems.	Cybernetics and Systems	2009	DBLP DOI BibTeX RDF
1	Richard B. Schmidt	An ada retrospective: developing large, mature, reliable systems.	SIGAda	2009	DBLP DOI BibTeX RDF
1	Nawwaf N. Kharma, Luc Varin	Synthetic biology I.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	synthetic biology, biological computing
1	Joel Adams	Test-driven data structures: revitalizing CS2.	SIGCSE	2009	DBLP DOI BibTeX RDF	data structures, pedagogy, unit testing, test-driven development, agile methods, cs2
1	Adeel Israr, Abdulhadi Shoufan, Sorin A. Huss	An efficient reliability evaluation approach for system-level design of embedded systems.	ISQED	2009	DBLP DOI BibTeX RDF
1	Jirí Hýsek, Milan Ceska, Vladimír Janousek	Model-Based Design and Verification of Reactive Systems.	EUROCAST	2009	DBLP DOI BibTeX RDF	formal verification, reactive systems, model-based design, state charts
1	Falk Langer, Dirk Eilers, Rudi Knorr	Fault Detection in Discrete Event Based Distributed Systems by Forecasting Message Sequences with Neural Networks.	KI	2009	DBLP DOI BibTeX RDF	self learning fault detection, message sequence learning, neural networks, distributed embedded systems
1	Jaewoo Chung, Jose M. A. Tanchoco	Material Handling Automation in Production and Warehouse Systems.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
1	Todd M. Austin, Valeria Bertacco, Scott A. Mahlke, Yu Cao	Reliable Systems on Unreliable Fabrics.	IEEE Design & Test of Computers	2008	DBLP DOI BibTeX RDF
1	Qiaoyan Yu, Paul Ampadu	Adaptive error control for reliable systems-on-chip.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Yong Liao, Lixin Gao, Roch Guérin, Zhi-Li Zhang	Reliable interdomain routing through multiple complementary routing processes.	CoNEXT	2008	DBLP DOI BibTeX RDF
1	Subhasish Mitra, Ravishankar K. Iyer, Kishor S. Trivedi, James W. Tschanz	Reliable system design: models, metrics and design techniques.	ICCAD	2008	DBLP DOI BibTeX RDF
1	Ayse Kivilcim Coskun, Tajana Simunic Rosing, Keith Whisnant, Kenny C. Gross	Temperature-aware MPSoC scheduling for reducing hot spots and gradients.	ASP-DAC	2008	DBLP DOI BibTeX RDF
1	Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich	Symbolic Reliability Analysis and Optimization of ECU Networks.	DATE	2008	DBLP DOI BibTeX RDF
1	Paul Milbredt, Andreas Steininger, Martin Horauer	Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks.	DELTA	2008	DBLP DOI BibTeX RDF	slightly-off-specification, inconsistency, system testing, FlexRay
1	Igor Siveroni, Andrea Zisman, George Spanoudakis	Property Specification and Static Verification of UML Models.	ARES	2008	DBLP DOI BibTeX RDF	Model Checking, UML, Spin, Static Verification
1	Satish Mishra, Bernd-Holger Schlingloff	Compliance of CMMI Process Area with Specification Based Development.	SERA	2008	DBLP DOI BibTeX RDF	Software Quality Guarantees, Process Models and Process Management, Process Support Tools, Model Driven Engineering, Software Engineering Processes
1	Albert F. Myers	Achievable Limits on the Reliability of k-out-of-n: G Systems Subject to Imperfect Fault Coverage.	IEEE Transactions on Reliability	2008	DBLP DOI BibTeX RDF
1	Eugene H. Spafford	Cyber Security: Assessing Our Vulnerabilities and Developing an Effective Defense.	ISIPS	2008	DBLP DOI BibTeX RDF	security policy, vulnerabilities, patching, cyber security, security education
1	Guillaume Waignier, Anne-Françoise Le Meur, Laurence Duchien	Architectural Specification and Static Analyses of Contractual Application Properties.	QoSA	2008	DBLP DOI BibTeX RDF
1	Johann A. Makowsky	From Hilbert's program to a logic tool box.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 01-08, 01A67, 68-01, 68-03, 97-03, 97D20, 03B70
1		The Ant Colony Paradigm for Reliable Systems Design.	Intelligence in Reliability Engineering	2007	DBLP DOI BibTeX RDF
1	Fabrice Kordon, Janos Sztipanovits (eds.)	Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers	Monterey Workshop	2007	DBLP DOI BibTeX RDF
1	Cristiana Bolchini, Davide Quarta, Marco D. Santambrogio	SEU mitigation for sram-based fpgas through dynamic partial reconfiguration.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	fault detection, SEU, partial dynamic reconfiguration
1	Wesley W. Terpstra, Jussi Kangasharju, Christof Leng, Alejandro P. Buchmann	Bubblestorm: resilient, probabilistic, and exhaustive peer-to-peer search.	SIGCOMM	2007	DBLP DOI BibTeX RDF	simulation, peer-to-peer, resilience, exhaustive search
1	Perwez Shahabuddin, Victor F. Nicola, Philip Heidelberger, Ambuj Goyal, Peter W. Glynn	Varaince reduction in mean time to failure simulations (1988).	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
1	Tristan Glatard, Xavier Pennec	Optimizing jobs timeouts on clusters and production grids.	CCGRID	2007	DBLP DOI BibTeX RDF
1	Xavier Vera, Jaume Abella	Surviving to Errors in Multi-Core Environments.	IOLTS	2007	DBLP DOI BibTeX RDF
1	Ming Zhang, T. M. Mak, James Tschanz, Kee Sup Kim, Norbert Seifert, Davia Lu	Design for Resilience to Soft Errors and Variations.	IOLTS	2007	DBLP DOI BibTeX RDF
1	Teijo Lehtonen, Pasi Liljeberg, Juha Plosila	Fault Tolerance Analysis of NoC Architectures.	ISCAS	2007	DBLP DOI BibTeX RDF
1	Hwisung Jung, Massoud Pedram	A Unified Framework for System-Level Design: Modeling and Performance Optimization of Scalable Networking Systems.	ISQED	2007	DBLP DOI BibTeX RDF
1	Richard S. Swart, Robert F. Erbacher	Educating Students to Create Trustworthy Systems.	IEEE Security & Privacy	2007	DBLP DOI BibTeX RDF
1	Li Bai, Fan Zheng	Ternary State Circular Sequential k-out-of-n Congestion System.	IEEE Transactions on Reliability	2007	DBLP DOI BibTeX RDF
1	Albert F. Myers	k-out-of-n: G System Reliability With Imperfect Fault Coverage.	IEEE Transactions on Reliability	2007	DBLP DOI BibTeX RDF
1	Jason W. Rupe	Review of Optimal Reliability Design, Fundamentals and Applications.	IEEE Transactions on Reliability	2007	DBLP DOI BibTeX RDF
1	Gian-Carlo Cardarilli, Salvatore Pontarelli, Marco Re, Adelio Salsano	Concurrent Error Detection in Reed-Solomon Encoders and Decoders.	IEEE Trans. VLSI Syst.	2007	DBLP DOI BibTeX RDF
1	Jürgen Hofer, Thomas Fahringer	Grid Application Fault Diagnosis Using Wrapper Services and Machine Learning.	ICSOC	2007	DBLP DOI BibTeX RDF
1	Johann A. Makowsky	From Hilbert's Program to a Logic Toolbox.	LPAR	2007	DBLP DOI BibTeX RDF
1	Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr	Statistical Runtime Checking of Probabilistic Properties.	RV	2007	DBLP DOI BibTeX RDF	statistical monitoring, Runtime verification, probabilistic properties
1	Joaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés	Building and implementing policies in autonomous and autonomic systems using MaCMAS.	ISSE	2007	DBLP DOI BibTeX RDF	Autonomic computing, Agent-oriented software engineering, Policy-based management
1	Yuan Cai, Marcus T. Schmitz, Alireza Ejlali, Bashir M. Al-Hashimi, Sudhakar M. Reddy	Cache size selection for performance, energy and reliability of time-constrained systems.	ASP-DAC	2006	DBLP DOI BibTeX RDF
1	Edson Borin, Cheng Wang, Youfeng Wu, Guido Araujo	Software-Based Transparent and Comprehensive Control-Flow Error Detection.	CGO	2006	DBLP DOI BibTeX RDF
1	Joaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés, Manuel Resinas	A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems.	DASC	2006	DBLP DOI BibTeX RDF
1	Heather Quinn, Debayan Bhaduri, Christof Teuscher, Paul Graham, Maya Gokhale	The STAR-C Truth: Analyzing Reconfigurable Supercomputing Reliability.	FCCM	2006	DBLP DOI BibTeX RDF
1	C. V. Ramamoorthy	Models and Methods for Discovering Automatable Activity Segments in a Service-Oriented Environment.	ICTAI	2006	DBLP DOI BibTeX RDF
1	C. V. Ramamoorthy	Models and Methods for Discovering Automatable Activity Segments in a Service--Oriented Environment.	ICTAI	2006	DBLP DOI BibTeX RDF
1	E. M. Kelly, L. M. Bartlett	Application of the Digraph Method in System Fault Diagnostics.	ARES	2006	DBLP DOI BibTeX RDF	Fault Diagnosis, Availability, Failure Detection, Digraphs
1	Gian-Carlo Cardarilli, Salvatore Pontarelli, Marco Re, Adelio Salsano	Concurrent error detection in Reed Solomon decoders.	ISCAS	2006	DBLP DOI BibTeX RDF
1	Indranil Saha, Debapriyay Mukhopadhyay, Satyajit Banerjee	Designing Reliable Architecture for Stateful Fault Tolerance.	PDCAT	2006	DBLP DOI BibTeX RDF	Stateful Failover, k-Fault Tolerance, Harary Graph, Load Balance, Network Topology
1	Giljong Yoo, Jeongmin Park, Eunseok Lee	Hybrid Prediction Model for improving Reliability in Self-Healing System.	SERA	2006	DBLP DOI BibTeX RDF	ID3 algorithm, Ubiquitous computing, Fuzzy logic, Bayesian network, Autonomic computing, Prediction model, Self-healing, Fuzzy neural network, Reliable system
1	Wenjing Rao, Alex Orailoglu, Ramesh Karri	Nanofabric Topologies and Reconfiguration Algorithms to Support Dynamically Adaptive Fault Tolerance.	VTS	2006	DBLP DOI BibTeX RDF
1	Jianfang Zhang	The calculating formulae, and experimental methods in error propagation analysis.	IEEE Transactions on Reliability	2006	DBLP DOI BibTeX RDF
1	Maria Toeroe	A Simulation-Based Case Study of Multi-cluster Redundancy Solutions.	ISAS	2006	DBLP DOI BibTeX RDF
1	Bilal Al Momani, Sally I. McClean, Philip J. Morrow	Using Dempster-Shafer to incorporate knowledge into satellite image classification.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Evidential theory, Classification, Remote sensing, Maximum likelihood
1	Hermann Kopetz	Providing Dependable Services with Unreliable SoCs - The DECOS Approach.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Chris A. Mattmann, Nenad Medvidovic	The GridLite DREAM: Bringing the Grid to Your Pocket.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud	A Factory to Design and Build Tailorable and Verifiable Middleware.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Man-tak Shing, Doron Drusinsky	Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	János Sallai, Miklós Maróti, Ákos Lédeczi	A Concurrency Abstraction for Reliable Sensor Network Applications.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Gregory Hackmann, Christopher D. Gill, Gruia-Catalin Roman	Towards a Real-Time Coordination Model for Mobile Computing.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Olivier Marin, Marin Bertier, Pierre Sens, Zahia Guessoum, Jean-Pierre Briot	DARX - A Self-healing Framework for Agents.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Shih-Hsi Liu, Barrett R. Bryant, Mikhail Auguston, Jeff Gray, Rajeev R. Raje, Mihran Tuceryan	A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini	Applying Service-Oriented Development to Complex Systems: BART Case Study.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	K. H. (Kane) Kim, Moon-Cheol Kim, Moon-hae Kim	Approaches for Inheritance in the TMO Programming Scheme.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Edward A. Lee, Yang Zhao	Reinventing Computing for Real Time.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Wei-Tek Tsai, Weiwei Song, Yinong Chen, Raymond A. Paul	Dynamic System Reconfiguration Via Service Composition for Dependable Computing.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Holger Giese	Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Victor L. Winter, Deepak Kapur	Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Nishkam Ravi, Liviu Iftode	Outdoor Distributed Computing with Split Smart Messages.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Luqi, Valdis Berzins, William H. Roof	Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN).	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement, Michael Dahlin, Jean-Philippe Martin, Carl Porth	BAR fault tolerance for cooperative services.	SOSP	2005	DBLP DOI BibTeX RDF	peer to peer, game theory, byzantine fault tolerance, reliable systems
1	Javier Faulin, Angel A. Juan, Carles Serrat, Vicente Bargueño	SAEDES++: determining complex system availability via simulation.	Winter Simulation Conference	2005	DBLP DOI BibTeX RDF
1	Michael E. Shin, Daniel Cooke	Connector-based self-healing mechanism for components of a reliable system.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	self-healing mechanism, component, connector
1	Sorin Cotofana, Alexandre Schmid, Yusuf Leblebici, Adrian M. Ionescu, Oliver Soffke, Peter Zipf, Manfred Glesner, A. Rubio	CONAN - A Design Exploration Framework for Reliable Nano-Electronics.	ASAP	2005	DBLP DOI BibTeX RDF
1	George A. Reis, Jonathan Chang, Neil Vachharajani, Ram Rangan, David I. August	SWIFT: Software Implemented Fault Tolerance.	CGO	2005	DBLP DOI BibTeX RDF
1	Richard G. Little	Organizational Culture and the Performance of Critical Infrastructure: Modeling and Simulation in Socio-Technological Systems.	HICSS	2005	DBLP DOI BibTeX RDF
1	T. Marshall, Y. S. Dai	Reliability Improvement and Models in Autonomic Computing.	ICPADS	2005	DBLP DOI BibTeX RDF
1	Ishwar Parulkar, Robert Cypher	Trends and Trade-Offs in Designing Highly Robust Throughput Computing Oriented Chips and Systems.	IOLTS	2005	DBLP DOI BibTeX RDF
1	Zhiyong Xu, Yiming Hu	The design and implementation of RAPID-cache for Linux.	IPCCC	2005	DBLP DOI BibTeX RDF
1	Li Bai	Circular sequential k-out-of-n congestion system.	IEEE Transactions on Reliability	2005	DBLP DOI BibTeX RDF
1	Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Denis Gracanin	Towards Formal Specification and Generation of Autonomic Policies.	EUC Workshops	2005	DBLP DOI BibTeX RDF
1	Clairton Buligon, Sérgio Cechin, Ingrid Jansch-Pôrto	Implementing Rollback-Recovery Coordinated Checkpoints.	ISSADS	2005	DBLP DOI BibTeX RDF
1	Stefania Bandini, Sara Manzoni, Paolo Mereghetti	COTS Configuration: Exploiting Experiential Knowledge To Build Reliable Systems.	KI	2004	DBLP BibTeX RDF
1	Parosh Aziz Abdulla, Johan Deneaux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund	Designing Safe, Reliable Systems using Scade.	ISoLA (Preliminary proceedings)	2004	DBLP BibTeX RDF
1	Jose Miguel Vieira dos Santos	On the Design of Long-Life Reliable Systems for Ground-Based Applications. (PDF / PS)	IOLTS	2004	DBLP DOI BibTeX RDF
1	Janet Meiling Wang, Omar Hafiz, Jun Li	A linear fractional transform (LFT) based model for interconnect parametric uncertainty.	DAC	2004	DBLP DOI BibTeX RDF	linear fractional transform, parametric uncertainty
1	Andrzej Sluzek, Tan Ching Seong	Visual detection of 3D obstacles using gated images.	ICARCV	2004	DBLP DOI BibTeX RDF
1	Andrzej Sluzek, Tan Ching Seong	A feasibility study on a novel method of visual obstacle detection.	ICIP	2004	DBLP DOI BibTeX RDF
1	Neelam Soundarajan, Jason O. Hallstrom	Responsibilities and Rewards: Specifying Design Patterns.	ICSE	2004	DBLP DOI BibTeX RDF
1	Janet Meiling Wang, Omar Hafiz	Predicting Interconnect Uncertainty with a New Robust Model Order Reduction Method.	ISQED	2004	DBLP DOI BibTeX RDF