|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2736 occurrences of 1660 keywords
|
|
|
Results
Found 5891 publication records. Showing 5891 according to the selection in the facets
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 |
|
Displaying result #301 - #400 of 5891 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|