Search results for "isolation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Ben Liblit	Reflections on the Role of Static Analysis in Cooperative Bug Isolation.	SAS	2008	DBLP DOI BibTeX RDF
16	Zhenyu Wang, Xiangdong Li, Lining Yao, Qi Feng, Ruimin Wang	Research on Endpoint Isolation and Remediation Mechanism Based on Trusted Access Technology.	EUC (2)	2008	DBLP DOI BibTeX RDF
16	Xiaoxiao Wang 0001, Hassan Salmani, Mohammad Tehranipoor, James F. Plusquellic	Hardware Trojan Detection and Isolation Using Current Integration and Localized Current Analysis.	DFT	2008	DBLP DOI BibTeX RDF
16	Swaroop Ghosh, Swarup Bhunia, Kaushik Roy 0001	CRISTA: A New Paradigm for Low-Power, Variation-Tolerant, and Adaptive Circuit Synthesis Using Critical Path Isolation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
16	Andrea Monteriù, Prateek Asthana, Kimon P. Valavanis, Sauro Longhi	Model-Based Sensor Fault Detection and Isolation System for Unmanned Ground Vehicles: Theoretical Aspects (part I).	ICRA	2007	DBLP DOI BibTeX RDF
16	Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young	Transactions with isolation and cooperation.	OOPSLA	2007	DBLP DOI BibTeX RDF	TIC, open-nesting, transactional memory, nested transactions, punctuation
16	Nader Meskin, Khashayar Khorasani	Fault Detection and Isolation in a redundant reaction wheels configuration of a satellite.	SMC	2007	DBLP DOI BibTeX RDF
16	Heidar A. Talebi, Rajnikant V. Patel, Khashayar Khorasani	Fault detection and isolation for uncertain nonlinear systems with application to a satellite reaction wheel actuator.	SMC	2007	DBLP DOI BibTeX RDF
16	Tao Jiang, Khashayar Khorasani	A fault detection, isolation and reconstruction strategy for a satellite's attitude control subsystem with redundant reaction wheels.	SMC	2007	DBLP DOI BibTeX RDF
16	Raphaela G. Fernandes, Diego Rodrigo Cabral Silva, Luiz A. H. de Oliveira, Adrião Duarte Dória Neto	Faults Detection and Isolation Based On Neural Networks Applied to a Levels Control System.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Christian Komusiewicz, Falk Hüffner, Hannes Moser, Rolf Niedermeier	Isolation Concepts for Enumerating Dense Subgraphs.	COCOON	2007	DBLP DOI BibTeX RDF
16	David J. Paul, Frans Henskens, Michael Hannaford	Isolation and Web Services Transactions.	PDCAT	2007	DBLP DOI BibTeX RDF
16	G. D. Gonzalez, Roberto Paut, Aldo Cipriano, David Rodrigo Miranda, G. E. Ceballos	Fault detection and isolation using concatenated wavelet transform variances and discriminant analysis.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
16	Gareth Funka-Lea, Yuri Boykov, Charles Florin, Marie-Pierre Jolly, Romain Moreau-Gobard, Rana Ramaraj, Daniel Rinck	Automatic heart isolation for CT coronary visualization using graph-cuts.	ISBI	2006	DBLP DOI BibTeX RDF
16	Cunzhi Pan, Shaopu Yang	Digital Control for Semi-Active Isolation System with Magnetorheological Damper.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
16	Bounpadith Kannhavong, Hidehisa Nakayama, Nei Kato, Yoshiaki Nemoto, Abbas Jamalipour	Analysis of the node isolation attack against OLSR-based mobile ad hoc networks.	ISCN	2006	DBLP DOI BibTeX RDF
16	Hai Liang Peng, Joc Cing Tay	The Baldwin effect under spatial isolation and autonomous reproduction.	GECCO	2006	DBLP DOI BibTeX RDF	learning, evolution, multi-agent simulation, prisoner's dilemma, Baldwin effect
16	Tsung-Yu Yang, Hsin-Lung Tu, Hwann-Kaeo Chiou	Low-voltage high-linear and isolation transformer based mixer for direct conversion receiver.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Reza Molavi, Shahriar Mirabbasi, Resve A. Saleh	A high-speed low-energy dynamic PLA using an input-isolation scheme.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Hyuncheol Kim, Seong-Jin Ahn 0001, Jun Kyun Choi	Performance Analysis of Dynamic Host Isolation System in Wireless Mobile Networks.	ICCSA (5)	2006	DBLP DOI BibTeX RDF
16	Shanbin Li, Dominique Sauter, Christophe Aubrun	Robust Fault Isolation Filter Design for Networked Control Systems.	ETFA	2006	DBLP DOI BibTeX RDF
16	Shawn Hansen, Ted Wilcox, Dan Stanzione	InfiniBand routing - InfiniBand routing and switching: improving fabric scalability, distance, and fault isolation.	SC	2006	DBLP DOI BibTeX RDF
16	Hao Cai, Andy J. Wellings	Temporal Isolation in Ravenscar-Java.	ISORC	2005	DBLP DOI BibTeX RDF
16	Stefan Paal, Reiner Kammüller, Bernd Freisleben	Application Object Isolation in Cross-Platform Operating Environments.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF
16	Rosario Giuseppe Garroppo, Stefano Giordano, Stefano Lucetti, Luca Tavanti	Achieving Flow Isolation in 802.11 Networks with the DTT Scheduler.	EuroNGI Workshop	2005	DBLP DOI BibTeX RDF
16	Li Li, Liying Ma, Khashayar Khorasani	A Dynamic Recurrent Neural Network Fault Diagnosis and Isolation Architecture for Satellite's Actuator/Thruster Failures.	ISNN (3)	2005	DBLP DOI BibTeX RDF
16	Alan D. Fekete, Elizabeth J. O'Neil, Patrick E. O'Neil	A Read-Only Transaction Anomaly Under Snapshot Isolation.	SIGMOD Rec.	2004	DBLP DOI BibTeX RDF
16	Qing Zhao 0003, Zhihan Xu	Design of a novel knowledge-based fault detection and isolation scheme.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
16	Matthias Müller 0002, Andreas Wortmann 0002, Dominik Mader, Sven Simon 0001	Register Isolation for Synthesizable Register Files.	PATMOS	2004	DBLP DOI BibTeX RDF
16	Jing Zhou 0002, Changyun Wen, Y. Zhang	Adaptive backstepping control of nonlinear systems and application to base isolation schemes.	ICARCV	2004	DBLP DOI BibTeX RDF
16	Giuseppe Nunnari, Flavio Cannavò, R. Vrânceanu	Bayesian Networks Approach for a Fault Detection and Isolation Case Study.	WSC	2004	DBLP DOI BibTeX RDF
16	Rattikorn Hewett	Model extraction for fault isolation.	SMC (1)	2004	DBLP DOI BibTeX RDF
16	Mohammad Azam, Krishna R. Pattipati, Ann Patterson-Hine	Optimal sensor allocation for fault detection and isolation.	SMC (2)	2004	DBLP DOI BibTeX RDF
16	Timur Friedman, Donald F. Towsley, James F. Kurose	Scalable End-to-End Multicast Tree Fault Isolation.	ICT	2004	DBLP DOI BibTeX RDF
16	June Andronick, Boutheina Chetali, Olivier Ly	Using Coq to Verify Java Card Applet Isolation Properties.	TPHOLs	2003	DBLP DOI BibTeX RDF	Security, Theorem Proving, Smart Card
16	Chris Calabro, Russell Impagliazzo, Valentine Kabanets, Ramamohan Paturi	The Complexity of Unique k-SAT: An Isolation Lemma for k-CNFs.	CCC	2003	DBLP DOI BibTeX RDF
16	Ruiqi Tian, Xiaoping Tang, Martin D. F. Wong	Dummy-feature placement for chemical-mechanical polishinguniformity in a shallow-trench isolation process.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
16	Shamil Ishmukhametov, Guohua Wu	Isolation and the high/low hierarchy.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
16	Heiko Schuldt, Gustavo Alonso, Catriel Beeri, Hans-Jörg Schek	Atomicity and isolation for transactional processes.	ACM Trans. Database Syst.	2002	DBLP DOI BibTeX RDF	execution guarantees, rocesses, semantically rich transactions, unified theory of concurrency control and recovery, electronic commerce, business process management, locking, transactional workflows, Advanced transaction models
16	Dieter Kranzlmüller	Scalable Parallel Program Debugging with Process Isolation and Grouping.	IPDPS	2002	DBLP DOI BibTeX RDF
16	Ruiqi Tian, Xiaoping Tang, D. F. Wong 0001	Dummy feature placement for chemical-mechanical polishing uniformity in a shallow trench isolation process.	ISPD	2001	DBLP DOI BibTeX RDF
16	Yigang He, Yichuang Sun	Fault isolation in nonlinear analog circuits with tolerance using the neural network-based L1-norm.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
16	Ming-Dou Ker, Wen-Yu Lo, Tung-Yang Chen, Howard Tang, S.-S. Chen, Mu-Chun Wang	Compact Layout Rule Extraction for Latchup Prevention in a 0.25-?m Shallow-Trench-Isolation Silicided Bulk CMOS Process.	ISQED	2001	DBLP DOI BibTeX RDF
16	Anoop Reddy, Ramesh Govindan, Deborah Estrin	Fault isolation in multicast trees.	SIGCOMM	2000	DBLP DOI BibTeX RDF	TCP/IP
16	Cathy J. Barnard, David H. Van Haaften	Simulation of logistics systems: simulation model for shipment of waste to the waste isolation pilot plant.	WSC	2000	DBLP DOI BibTeX RDF
16	Jianping Gao, Qiwen Xu	Rigorous Design of a Fault Diagnosis and Isolation Algorithm.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
16	Brian Ness, Viet Ngo	Regression Containment through Source Change Isolation.	COMPSAC	1997	DBLP DOI BibTeX RDF
16	Dexter P. Bradshaw	Failure isolation and recovery in composite multidatabases.	CASCON	1994	DBLP BibTeX RDF
16	William R. Simpson, John W. Sheppard	Fault Isolation in an Integrated Diagnostic Environment.	IEEE Des. Test Comput.	1993	DBLP DOI BibTeX RDF
16	Gregory F. Johnson, Janet A. Walz	A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference.	POPL	1986	DBLP DOI BibTeX RDF
14	Omer Khan, Sandip Kundu	Hardware/Software Codesign Architecture for Online Testing in Chip Multiprocessors.	IEEE Trans. Dependable Secur. Comput.	2011	DBLP DOI BibTeX RDF	hard error detection, isolation and tolerance, Chip Multiprocessor (CMP), hardware/software codesign
14	Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker 0001, Benjamin G. Zorn	Modular Protections against Non-control Data Attacks.	CSF	2011	DBLP DOI BibTeX RDF	non-control data attack, control-flow integrity, frame rule, data isolation, data integrity, Hoare logic, language-based security
14	Roberto Jung Drebes, Takashi Nanya	Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels.	EDCC	2010	DBLP DOI BibTeX RDF	monolithic kernels, error isolation, subsystem extraction, error propagation
14	Meiyappan Nagappan	Analysis of execution log files.	ICSE (2)	2010	DBLP DOI BibTeX RDF	analysis of textual data, diagnosis, fault isolation, log files
14	Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun	A practical concurrent binary search tree.	PPoPP	2010	DBLP DOI BibTeX RDF	snapshot isolation, optimistic concurrency
14	Xiaosong Jiang	An Utility Scheme for Online Fault Detection.	IFITA (3)	2009	DBLP DOI BibTeX RDF	Failure detection and isolation, robust adaptive observers, flight control systems
14	Xinxin Jin, Haogang Chen 0002, Xiaolin Wang 0001, Zhenlin Wang, Xiang Wen, Yingwei Luo, Xiaoming Li	A Simple Cache Partitioning Approach in a Virtualized Environment.	ISPA	2009	DBLP DOI BibTeX RDF	Virtual Machine, Cache partitioning, Performance Isolation
14	Matthew Wachs, Gregory R. Ganger	Co-scheduling of Disk Head Time in Cluster-Based Storage.	SRDS	2009	DBLP DOI BibTeX RDF	shared storage, clustering, quality of service, performance, approximation algorithms, heuristics, performance isolation, strip packing
14	Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan 0003, Craig B. Zilles	Hardware Atomicity: An Effective Abstraction for Reliable Software Speculation.	IEEE Micro	2008	DBLP DOI BibTeX RDF	Java, optimization, architecture, compiler, checkpoint, atomicity, speculation, isolation, compiler-architecture interactions
14	Kevin Reick, Pia N. Sanda, Scott B. Swaney, Jeffrey W. Kellington, Michael J. Mack, Michael S. Floyd, Daniel Henderson	Fault-Tolerant Design of the IBM Power6 Microprocessor.	IEEE Micro	2008	DBLP DOI BibTeX RDF	fault tolerance, reliability, fault isolation, RAS, instruction retry, Hot Chips 19
14	Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith	A Reservation-Based Extended Transaction Protocol.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	Continuous Availability, Extended Transaction Model, Relaxed Atomicity, Web Services, Transaction Processing, Isolation, Business Activity, Reservation Protocol
14	Ted Huffmire, Brett Brotherton, Nick Callegari, Jonathan Valamehr, Jeff White, Ryan Kastner, Timothy Sherwood	Designing secure systems on reconfigurable hardware.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	controlled sharing, enforcement mechanisms, security primitives, Field programmable gate arrays (FPGAs), static analysis, advanced encryption standard (AES), security policies, systems-on-a-chip (SoCs), separation, isolation, memory protection, reference monitors, hardware security, execution monitors
14	Christian Plattner, Gustavo Alonso, M. Tamer Özsu	Extending DBMSs with satellite databases.	VLDB J.	2008	DBLP DOI BibTeX RDF	Satellite databases, Extending database functionality, Dynamic satellite creation, Snapshot isolation
14	José Enrique Armendáriz-Iñigo, A. Mauch-Goya, José Ramón González de Mendívil, Francesc D. Muñoz-Escoí	SIPRe: a partial database replication protocol with SI replicas.	SAC	2008	DBLP DOI BibTeX RDF	eager database replication, generalized snapshot isolation, highly-available systems, partial database replication, scalability, database replication, database recovery
14	Rui Guo, Bin B. Zhu, Min Feng 0002, Aimin Pan, Bosheng Zhou	Compoweb: a component-oriented web architecture.	WWW	2008	DBLP DOI BibTeX RDF	delayed-binding, security, web, component, interface, reuse, mashup, protection, browser, encapsulation, isolation, same-origin policy
14	J. R. Juárez-Rodríguez, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, Francesc D. Muñoz-Escoí	A Database Replication Protocol Where Multicast Writesets Are Always Committed.	ARES	2008	DBLP DOI BibTeX RDF	performance, Replicated databases, transaction scheduling, isolation levels
14	Greg Paperin	Using holey fitness landscapes to counteract premature convergence in evolutionary algorithms.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	gene flow, holey fitness landscape, reproductive isolation, genetic algorithm, evolutionary algorithm, premature convergence
14	Xiaochun Yu, R. D. (Shawn) Blanton	Multiple defect diagnosis using no assumptions on failing pattern characteristics.	DAC	2008	DBLP DOI BibTeX RDF	defect diagnosis, fault isolation, IC testing
14	Derek Leonard, Zhongmei Yao, Vivek Rai, Dmitri Loguinov	On lifetime-based node failure and stochastic resilience of decentralized peer-to-peer networks.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	lifetime node failure, network disconnection, stochastic resilience, user isolation, peer-to-peer networks
14	Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit	Statistical debugging using compound boolean predicates.	ISSTA	2007	DBLP DOI BibTeX RDF	debugging effort metrics, dynamic feedback analysis, statistical bug isolation, three-valued logic
14	Yuan Zhang, Vugranam C. Sreedhar, Weirong Zhu, Vivek Sarkar, Guang R. Gao	Optimized lock assignment and allocation: a method for exploiting concurrency among critical sections.	PPoPP	2007	DBLP DOI BibTeX RDF	isolation semantics, concurrency, synchronization, locks, critical sections
14	Jaidev P. Patwardhan, Chris Dwyer, Alvin R. Lebeck, Daniel J. Sorin	NANA: A nano-scale active network architecture.	ACM J. Emerg. Technol. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Accumulator ISA, defect isolation, reverse path forwarding, active network, DNA, defect tolerance, self-assembly, carbon nanotube, nanoelectronics, nanocomputing
14	Jianyong Zhang, Anand Sivasubramaniam, Qian Wang, Alma Riska, Erik Riedel	Storage performance virtualization via throughput and latency control.	ACM Trans. Storage	2006	DBLP DOI BibTeX RDF	quality of service, virtualization, fairness, Storage systems, performance isolation, I/O scheduling
14	Jeremy Philippe, Noel De Palma, Sara Bouchenak, Fabienne Boyer, Daniel Hagimont	A black-box approach for web application SLA.	SAC	2006	DBLP DOI BibTeX RDF	quality of service, web applications, performance isolation, request scheduling
14	Bonnie A. Nardi, Justin Harris	Strangers and friends: collaborative play in world of warcraft.	CSCW	2006	DBLP DOI BibTeX RDF	gemeinschaft, social ties, community, learning, play, MMOGs, multiplayer games, social isolation
14	Erland Jonsson	Towards an Integrated Conceptual Model of Security and Dependability.	ARES	2006	DBLP DOI BibTeX RDF	component isolation, Java, resource management, software components, JVM
14	Stephen Fickas, Craig Pataky, Zebin Chen	DuckCall: : tackling the first hundred yards problem.	ASSETS	2006	DBLP DOI BibTeX RDF	TV interface, transportation access, cognitive impairments, trip planning, reminders, social isolation
14	Ling Wang, Tong Shao, Shumei Wang, Gongxuan Zhang	An Apparatus Realizing Switch of Computing Device Status.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF	Computing device, multi operating systems, isolation
14	Sameh Elnikety, Steven G. Dropsho, Fernando Pedone	Tashkent: uniting durability with transaction ordering for high-performance scalable database replication.	EuroSys	2006	DBLP DOI BibTeX RDF	generalized snapshot isolation, database replication
14	Giuseppe Di Fatta, Stefan Leue, Evghenia Stegantova	Discriminative pattern mining in software fault detection.	SOQUA	2006	DBLP DOI BibTeX RDF	automated debugging, fault isolation
14	Christian Bettstetter, Christian Hartmann 0001	Connectivity of Wireless Multihop Networks in a Shadow Fading Environment.	Wirel. Networks	2005	DBLP DOI BibTeX RDF	node isolation, wireless sensor networks, ad hoc networking, connectivity, wireless multihop networks
14	Muthian Sivathanu, Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau	Improving storage system availability with D-GRAID.	ACM Trans. Storage	2005	DBLP DOI BibTeX RDF	Block-based storage, smart disks, file systems, RAID, Disk array, fault isolation
14	Jianyong Zhang, Anand Sivasubramaniam, Alma Riska, Qian Wang, Erik Riedel	An interposed 2-Level I/O scheduling framework for performance virtualization.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	quality of service, virtualization, fairness, storage systems, performance isolation, I/O scheduling
14	Kynthia Brunette, Matthew Eisenstadt, Erik Pukinskis, William Ryan	Meeteetse: social well-being through place attachment.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	artificial companionship, place attachment, social well-being, community, aging, elderly, isolation
14	Patricia Serrano-Alvarado, Claudia Roncancio, Michel E. Adiba	A Survey of Mobile Transactions.	Distributed Parallel Databases	2004	DBLP DOI BibTeX RDF	transaction execution, mobility, databases, consistency, atomicity, isolation, mobile transactions, durability
14	Mark W. Bailey, Jack W. Davidson	Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Target-sensitive test suite generation, automatic fault isolation, procedure-calling convention, compiler testing and debugging, code generation
14	Christian Bettstetter, Christian Hartmann 0001	Connectivity of wireless multihop networks in a shadow fading environment.	MSWiM	2003	DBLP DOI BibTeX RDF	node isolation, simulation, wireless sensor networks, modeling, ad hoc networking, analysis, connectivity, wireless multihop networks
14	Bernard Riera 0001	Specifications, Design and Evaluation of an Advanced Human-Adapted Supervisory System.	Cogn. Technol. Work.	2001	DBLP DOI BibTeX RDF	Dynamic reference model, Ecological interfaces, FDI (fault detection and isolation), Supervisory systems
14	Giuseppe Lipari, Sanjoy K. Baruah	A Hierarchical Extension to the Constant Bandwidth Server Framework.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF	Constant-bandwidth server, Hierarchical composition, Inter-application isolation, Bandwidth reclamation, Earliest deadline first, Preemptive scheduling
14	Massimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini	Operating system enhancements to prevent the misuse of system calls.	CCS	2000	DBLP DOI BibTeX RDF	access control database, buffer overflow based attacks, Linux, Linux, isolation, system calls interception
14	W. B. Martin, P. D. White, W. Mark Vanfleet	Government, industry, and academia: Teaming to design high confidence information security applications.	FMSP	2000	DBLP DOI BibTeX RDF	data isolation, formal specification, refinement, information flow, Separation kernel
14	Andrew A. Chien, Jay H. Byun	Safe and Protected Execution for the Morph/AMRM Reconfigurable Processor.	FCCM	1999	DBLP DOI BibTeX RDF	Multiprocess Protection, Process isolation, Machine Virtualization, Adaptive Computing, Reconfigurable Processor
14	Sasikumar Cherubal, Abhijit Chatterjee	A Methodology for Efficient Simulation and Diagnosis of Mixed-Signal Systems Using Error Waveforms.	DFT	1999	DBLP DOI BibTeX RDF	fault simulation, Mixed-signal test, fault isolation
14	J. Wesley Hines, Robert E. Uhrig, Darryl J. Wrest	Use of Autoassociative Neural Networks for Signal Validation.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	sensor calibration, neural networks, fault detection and isolation
14	Samuel Norman Hamilton, Alex Orailoglu	Concurrent Error Recovery with Near-Zero Latency in Synthesized ASICs.	DATE	1998	DBLP DOI BibTeX RDF	On-line Fault Isolation, Permanent Fault Resilience, High-level Synthesis of Fault Tolerant ICs, Low Latency Fault Recovery, Safety Critical Systems, Fault Tolerant Microarchitectures
14	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
14	Kevin M. Passino, Panos J. Antsaklis	Fault detection and identification in an intelligent restructurable controller.	J. Intell. Robotic Syst.	1988	DBLP DOI BibTeX RDF	isolation and identification, restructurable control, shallow knowledge, deep knowledge, artificial intelligence, knowledge representation, expert systems, Fault detection, intelligent systems, failure diagnosis
14	Yacoub M. El-Ziq, Stephen Y. H. Su	Fault Diagnosis of MOS Combinational Networks.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	computer-aided testing, diagnosable networks, fault testing, MOS (metal oxide semiconductor), fault diagnosis, test generation, design for testability, fault detection, Automatic testing, fault location, fault isolation, computer algorithms, statistical results
12	José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, José Ramón Garitagoitia, Francesc D. Muñoz-Escoí	Correctness proof of a database replication protocol under the perspective of the I/O automaton model.	Acta Informatica	2009	DBLP DOI BibTeX RDF
12	Adam Barth, Collin Jackson, John C. Mitchell	Securing frame communication in browsers.	Commun. ACM	2009	DBLP DOI BibTeX RDF