|
|
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 |
20 | Odile Favaron, Pawaton Kaemawichanurat |
Inequalities between the Kk-isolation number and the independent Kk-isolation number of a graph. |
Discret. Appl. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Mathieu Escouteloup |
Garantir l'isolation microarchitecturale des processeurs. (Ensuring microarchitectural isolation in processors). |
|
2021 |
RDF |
|
20 | Jinyu Gu 0001, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, Haibo Chen 0001 |
Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. |
USENIX Annual Technical Conference |
2020 |
DBLP BibTeX RDF |
|
20 | Julien Lepiller |
Verifying Software Fault Isolation. (Vérification d'isolation de fautes logicielle). |
|
2019 |
RDF |
|
20 | Mohammad-Mahdi Bazm |
Unified isolation architectures and mechanisms against side channel attacks for decentralized cloud infrastructures. (Architecture d'isolation unifiée et mécanismes de lutte contre les canaux auxiliaires pour infrastructures cloud décentralisées). |
|
2019 |
RDF |
|
20 | Mahieddine Yaker |
Conception et réalisation d'un écosystème basé sur des propriétés formelles d'isolation mémoire pour l'Internet des objets. (Design and Implementation of an Ecosystem Based on Formal Memory Isolation Properties for the Internet of Things). |
|
2019 |
RDF |
|
20 | Kaijun Song, Maoyu Fan, Yong Fan 0003 |
Wideband Half-Mode SIW Power Divider With Improved Output Isolation Using Slotline Isolation Technology. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Bruno Medeiros, Marcos A. Simplício Jr., Ewerton R. Andrade |
Multi-tenant Isolation of What?: Building a Secure Tenant Isolation Architecture for Cloud Networks. |
SoCC |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Narjes Jomaa |
Le co-design d'un noyau de système d'exploitation et de sa preuve formelle d'isolation. (The co-design of an operating system kernel and its formal proof of isolation). |
|
2018 |
RDF |
|
20 | Corina Graif, Alina Lungeanu, Alyssa M. Yetter |
Neighborhood isolation in Chicago: Violent crime effects on structural isolation and homophily in inter-neighborhood commuting networks. |
Soc. Networks |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Maria Mendez Real |
Spatial Isolation against Logical Cache-based Side-Channel Attacks in Many-Core Architectures. (Isolation physique contre les attaques logiques par canaux cachés basées sur le cache dans des architectures many-core). |
|
2017 |
RDF |
|
20 | Serge Romaric Tembo Mouafo |
Applications de l'intelligence artificielle à la détection et l'isolation de pannes multiples dans un réseau de télécommunications. (Application of artificial intelligence to the detection and isolation of multiple faults in a telecommunications network). |
|
2017 |
RDF |
|
20 | Valentin Del Piccolo |
Isolation réseau dans un environnement Cloud Public/Hybride. (Network Isolation in a Public/Hybrid cloud environment). |
|
2017 |
RDF |
|
20 | Tuan Anh Tran 0002 |
Cadre unifié pour la modélisation des incertitudes statistiques et bornées: application à la détection et isolation de défauts dans les systèmes dynamiques incertains par estimation. (A unified framework for modeling statistical and bounded uncertainties: application to fault detection and isolation of uncertain dynamic systems via estimation). |
|
2017 |
RDF |
|
20 | Lluís Vilanova García |
Code-Centric Domain Isolation: a hardware/software co-design for efficient program isolation. |
|
2016 |
RDF |
|
20 | Alexander Moshchuk, Helen J. Wang, Yunxin Liu |
Content-based isolation: rethinking isolation policy design on client systems. |
CCS |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
Fault Isolation and Quick Recovery in Isolation File Systems. |
HotStorage |
2013 |
DBLP BibTeX RDF |
|
20 | Quentin Sabah |
SIAAM: Simple Isolation for an Abstract Actor Machine. (SIAAM: Isolation dynamique pour une machine abstraite à base d'acteurs). |
|
2013 |
RDF |
|
20 | Akane Suzuki, Takahiro Shioyama, Hirotsugu Kubo, Yuta Fukushima, Kiyoshi Naemura, Nae Hinata, Hiroaki Kanda, Shinji Yamamori, Sunao Takeda, Toshiharu Yamaguchi, Yuichi Ishikawa, You Kato |
New automatic cell isolation system for flow cytometry: Cell isolation unit and staining reagent kit. |
EMBC |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Matthieu Lemerre, Vincent David, Guy Vidal-Naquet |
A communication mechanism for resource isolation. |
IIES@EuroSys |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova |
Programmable temporal isolation in real-time and embedded execution environments. |
IIES@EuroSys |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone |
Kernel design for isolation and assurance of physical memory. |
IIES@EuroSys |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Geoffray, Gaël Thomas 0001, Bertil Folliot, Charles Clément |
Towards a new isolation abstraction for OSGi. |
IIES@EuroSys |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat |
KESO: an open-source multi-JVM for deeply embedded systems. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
KESO, OSEK/VDX, spatial isolation, Java, embedded systems, memory protection, AUTOSAR |
20 | Joseph P. Wherton, David Prendergast 0001 |
The Building Bridges Project: Involving Older Adults in the Design of a Communication Technology to Support Peer-to-Peer Social Engagement. |
USAB |
2009 |
DBLP DOI BibTeX RDF |
Loneliness, User-centered design, Voice over Internet Protocol (VoIP), Social isolation |
20 | Sameh Elnikety, Steven G. Dropsho, Emmanuel Cecchet, Willy Zwaenepoel |
Predicting replicated database scalability from standalone database profiling. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
generalized snapshot isolation, multi-master systems, single-master systems, database replication |
20 | Charles Reis, Steven D. Gribble |
Isolating web programs in modern browser architectures. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
multi-process browser, web browser architecture, reliability, robustness, isolation |
20 | Kurt Mehlhorn, Michael Sagraloff |
Isolating real roots of real polynomials. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
bisection algorithm, bitstream coefficient, descartes' rule of sign, real polynomial, root isolation |
20 | Stefan Berger, Ramón Cáceres, Dimitrios E. Pendarakis, Reiner Sailer, Enriquillo Valdez, Ronald Perez, Wayne Schildhauer, Deepa Srinivasan |
TVDc: managing security in the trusted virtual datacenter. |
ACM SIGOPS Oper. Syst. Rev. |
2008 |
DBLP DOI BibTeX RDF |
virtual trusted platform module, security, integrity, virtualization, isolation, mandatory access control |
20 | Michael Todd Gamble, Rose F. Gamble |
Reasoning about Hybrid System of Systems Designs. |
ICCBSS |
2008 |
DBLP DOI BibTeX RDF |
interoperability, hybrid systems, isolation, system of systems |
20 | Bozidar Bratina, Nenad Muskinja, Boris Tovornik |
Design of an Auto-associative Neural Network by Using Design of Experiments Approach. |
KES (1) |
2008 |
DBLP DOI BibTeX RDF |
nonlinear principle components, neural networks, Design of Experiments, Fault detection and isolation |
20 | Ben Liblit |
Cooperative debugging with five hundred million test cases. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
cooperative bug isolation, statistical debugging |
20 | Hilary Davis 0001, Frank Vetere, Shawn Ashkanasy, Gavin Dyson, Penelope Schofield, Kate Thompson, Giselle Withers, David Thomas 0003 |
Towards social connection for young people with cancer. |
OZCHI |
2008 |
DBLP DOI BibTeX RDF |
social connectedness through technology, interaction, handheld devices and mobile computing, social isolation, peer support |
20 | Juha Puustjärvi |
Exploiting a database system in scheduling internet-based workflows. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
internet-based workflows, databases, workflows, SQL, isolation |
20 | Rosario Giuseppe Garroppo, Stefano Giordano, Stefano Lucetti, Luca Tavanti |
Providing air-time usage fairness in IEEE 802.11 networks with the deficit transmission time (DTT) scheduler. |
Wirel. Networks |
2007 |
DBLP DOI BibTeX RDF |
Channel-aware scheduler, Traffic flows isolation, IEEE 802.11, Max-min fairness, Proportional fairness, Performance anomaly |
20 | Joseph Aguilar-Martin, Claudia Isaza, Eduard Diez-Lledo, Marie-Véronique Le Lann, Julio Waissman Vilanova |
Process Monitoring Using Residuals and Fuzzy Classification with Learning Capabilities. |
IFSA (2) |
2007 |
DBLP DOI BibTeX RDF |
Residuals, Fuzzy Classification, Faults Isolation, Faults Identification |
20 | Le Kang, Yici Cai, Yi Zou, Jin Shi, Xianlong Hong, Sheldon X.-D. Tan |
Fast Decoupling Capacitor Budgeting for Power/Ground Network Using Random Walk Approach. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
programming method, decoupling capacitor budgeting algorithm, random walk approach, decap budgeting algorithm, power ground network design, isolation property, decap optimization process, leakage currents optimization algorithm, refined leakage model, heuristic method |
20 | Kyle J. Nesbit, James Laudon, James E. Smith 0001 |
Virtual private caches. |
ISCA |
2007 |
DBLP DOI BibTeX RDF |
quality of service, chip multiprocessor, soft real-time, shared caches, performance isolation |
20 | Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan 0003, Craig B. Zilles |
Hardware atomicity for reliable software speculation. |
ISCA |
2007 |
DBLP DOI BibTeX RDF |
Java, optimization, checkpoint, atomicity, speculation, isolation |
20 | Qinbao Song, Martin J. Shepperd, Michelle Cartwright, Carolyn Mair |
Software Defect Association Mining and Defect Correction Effort Prediction. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
defect association, defect isolation effort, defect correction effort, Software defect prediction |
20 | Christian Plattner, Andreas Wapf, Gustavo Alonso |
Searching in time. |
SIGMOD Conference |
2006 |
DBLP DOI BibTeX RDF |
satellite database, time-split replication, timetravel, snapshot isolation |
20 | Mihai Budiu, Úlfar Erlingsson, Martín Abadi |
Architectural support for software-based protection. |
ASID |
2006 |
DBLP DOI BibTeX RDF |
control-flow integrity, software fault isolation, security, control-flow graph, hardware support, memory protection, binary rewriting |
20 | Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov |
High-performance implementations of the Descartes method. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Bernstein bases, Descartes, Taylor shift, de Casteljau, polynomial real root isolation, register tiling, high-performance computing, code generation, performance tuning |
20 | Arno Eigenwillig, Vikram Sharma 0001, Chee-Keng Yap |
Almost tight recursion tree bounds for the Descartes method. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Davenport-Mahler bound, Descartes method, Descartes rule of signs, polynomial real root isolation, Bernstein basis |
20 | Seunglak Choi, Jungsook Kim, Hyukjae Jang, Su Myeon Kim, Junehwa Song, Hangkyu Kim, Yunjoon Lee |
A framework for handling dependencies among web services transactions. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
isolation relaxation, transaction management protocol, web services, transaction model |
20 | Pedro C. Santana 0001, Marcela D. Rodríguez, Víctor M. González 0001, Luís A. Castro 0001, Ángel G. Andrade |
Supporting emotional ties among mexican elders and their families living abroad. |
CHI Extended Abstracts |
2005 |
DBLP DOI BibTeX RDF |
communication boards, sharing, elderly, isolation, digital photos, companionship, cognitive decline |
20 | Wei Jin, Jeffrey S. Chase, Jasleen Kaur 0001 |
Interposed proportional sharing for a storage service utility. |
SIGMETRICS |
2004 |
DBLP DOI BibTeX RDF |
storage services, quality of service, differentiated service, multiprocessor scheduling, utility computing, weighted fair queuing, performance isolation, fair sharing, proportional sharing |
20 | Nick A. Hine, John L. Arnott |
A multimedia social interaction service for inclusive community living: Initial user trials. |
Univers. Access Inf. Soc. |
2002 |
DBLP DOI BibTeX RDF |
Assistive communication, Internet, Videoconferencing, Social isolation |
20 | Mahadev Satyanarayanan |
The evolution of Coda. |
ACM Trans. Comput. Syst. |
2002 |
DBLP DOI BibTeX RDF |
continuous data access, intermittent networks, isolation-only transactions, low-bandwidth networks, optimistic replica control, translucent cache management, weakly connected operation, mobile computing, Adaptation, caching, Linux, UNIX, conflict resolution, failure, Windows, high availability, disconnected operation, disaster recovery, data staging, hoarding, server replication |
20 | Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès |
Incommunicado: efficient communication for isolates. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
application isolation, inter-application communication |
20 | Nick A. Hine, John L. Arnott |
Assistive social interaction for non-speaking people living in the community. |
ASSETS |
2002 |
DBLP DOI BibTeX RDF |
assitive communication, community care, Internet, World Wide Web (WWW), videoconferencing, social isolation |
20 | Bettina Kemme, Gustavo Alonso |
A new approach to developing and implementing eager database replication protocols. |
ACM Trans. Database Syst. |
2000 |
DBLP DOI BibTeX RDF |
one-copy-serializability, total error multicast, fault-tolerance, group communication, database replication, replica control, isolation levels |
20 | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
Testing embedded real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product |
20 | Yuan Gao, Ye Ge, Jennifer C. Hou |
RMCM: Reliable Multicasts for Core-based Multicast Trees. |
ICNP |
2000 |
DBLP DOI BibTeX RDF |
core-based multicast trees, RMCM, multicast applications, on-tree router, core-based tree, retransmission request, optimal recovery, turning point approach, IP options, group membership changes, repliers, delayed ACK approach, repair-based reliable multicast, NAK implosion control, recovery latency, recovery isolation, FreeBSD 2.2.8, Internet, Internet, transport protocols, packet switching, network topology, digital simulation, trees (mathematics), telecommunication network routing, multicast communication, reliable multicasts, event-driven simulation, topology changes, local recovery, data packets, hosts |
20 | Toshinori Hosokawa, Kenichi Kawaguchi, Mitsuyasu Ohta, Michiaki Muraoka |
A Design for testability Method Using RTL Partitioning. |
Asian Test Symposium |
1996 |
DBLP DOI BibTeX RDF |
line-up structure, internally balanced structure, acyclic structure, partitioning, ATPG, DFT, RTL, isolation, balanced structure |
20 | Lutz J. Micheel, Hans L. Hartnagel |
Interband RTDs with Nanoelectronic HBT-LED Structures for Multiple-Valued Computation. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
heterojunction bipolar transistors, resonant tunnelling devices, light emitting devices, interband RTDs, resonant tunnelling devices, nanoelectronic HBT-LED structures, multiple-valued computation, nanoelectronic arrays, complex signal processing methods, HBT-LED-RTD circuitry, heterojunction bipolar transistors, light emitting devices, internal optical methods, signal summation, precision photon streams, positive-digit radix-2 MVL, A/D conversion capability, optical isolation, buried optical interconnects, microcavity lasers, signal processing, optical interconnections, optical interconnects, multiple-valued logic, multivalued logic circuits, thresholding functions, analogue-digital conversion |
20 | Richard E. Smith |
Mandatory Protection for Internet Server Software. |
ACSAC |
1996 |
DBLP DOI BibTeX RDF |
multilevel security applications, Internet server software, server overrun, attack code, server host, mandatory protection mechanisms, commercial systems, Unix chroot isolation, type enforcement, server protection, Internet, MLS, security flaws |
20 | L. Simoncini, Zsolt Miklós Kovács-Vajna |
A system for reading USA census '90 hand-written fields. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
USA census '90 handwritten fields reading, complete reading task, scanned raster image, ASCII string, form identification, field isolation, bounding box removal, blob segmentation, broken character joining, isolated character recognition, word building, dictionary correction, confidence generation, NIST Special Database, standards, optical character recognition, handwriting recognition, government data processing |
20 | Ram Chillarege |
Self-testing software probe system for failure detection and diagnosis. |
CASCON |
1994 |
DBLP BibTeX RDF |
diagnosis, detection, failure, isolation, software errors |
20 | Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin, Andrew H. Mason, Clifford E. Kahn |
A Retrospective on the VAX VMM Security Kernel. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
VAX VMM, A1-level security requirements, standard interfaces, ULTRIX-32 operating systems, multiple concurrent virtual machines, controlled sharing, system management tools, DEC computers, supervisory programs, virtual machines, security of data, configuration management, virtual-machine monitor, isolation, security kernel, microcode, sensitive data |
18 | Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller |
Report on the EDBT/ICDT 2010 workshop on updates in XML. |
SIGMOD Rec. |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Virgil D. Gligor |
Architectures for practical security. |
SACMAT |
2010 |
DBLP DOI BibTeX RDF |
architectures |
18 | Sung-Min Lee 0004, Sang-Bum Suh, Bokdeuk Jeong, Sangdok Mo, Brian Myungjune Jung, Jung-Hyun Yoo, Jae-Min Ryu, Dong-Hyuk Lee |
Fine-grained I/O access control of the mobile devices based on the Xen architecture. |
MobiCom |
2009 |
DBLP DOI BibTeX RDF |
I/O access control, smart phone security, virtual machine, virtual machine monitor |
18 | Jing Li 0072, Bo Yang 0004, Xiaochuan Hu, Qing Dong 0002, Shigetoshi Nakatake |
STI stress aware placement optimization based on geometric programming. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
sti stress, sti well width, placement optimization |
18 | Bin Lin 0002, Ananth I. Sundararaj, Peter A. Dinda |
Time-sharing parallel applications through performance-targeted feedback-controlled real-time scheduling. |
Clust. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Parallel computing, Real-time scheduling, Feedback control, Time-sharing |
18 | Thirumalaisamy Ragunathan, P. Krishna Reddy |
Improving the performance of read-only transactions through asynchronous speculation. |
SpringSim |
2008 |
DBLP DOI BibTeX RDF |
parallel processing, concurrency control, database systems, speculation, read-only transactions |
18 | Ruo Ando, Youki Kadobayashi, Yoichi Shinoda |
An Enhancement of Trusted Domain Enforcement using VMM Interruption Mechanism. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Xinwen Zhang, Michael J. Covington, Songqing Chen, Ravi S. Sandhu |
SecureBus: towards application-transparent trusted computing with mandatory access control. |
AsiaCCS |
2007 |
DBLP DOI BibTeX RDF |
SecureBus, secure platform, trusted computing, mandatory access control |
18 | Douglas W. Raiford, Dan E. Krane, Travis E. Doom, Michael L. Raymer |
A Multi-Objective Genetic Algorithm that Employs a Hybrid Approach for Isolating Codon Usage Bias Indicative of Translational Efficiency. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Enriquillo Valdez, Reiner Sailer, Ronald Perez |
Retrofitting the IBM POWER Hypervisor to Support Mandatory Access Control. |
ACSAC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Sunil Soman, Laurent Daynès, Chandra Krintz |
Task-aware garbage collection in a multi-tasking virtual machine. |
ISMM |
2006 |
DBLP DOI BibTeX RDF |
resource reclamation, task-aware garbage collection, java, virtual machine, multi-tasking |
18 | Silvio Simani |
Identification and fault diagnosis of a simulated model of an industrial gas turbine. |
IEEE Trans. Ind. Informatics |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Praveen Yalagandula, Michael Dahlin |
A scalable distributed information management system. |
SIGCOMM |
2004 |
DBLP DOI BibTeX RDF |
networked system monitoring, distributed hash tables, information management system |
18 | Xuxian Jiang, Dongyan Xu, Rudolf Eigenmann |
Protection mechanisms for application service hosting platforms. |
CCGRID |
2004 |
DBLP DOI BibTeX RDF |
|
18 | P. D. Grant, M. W. Denhoff, Raafat R. Mansour |
A Comparison between RF MEMS Switches and Semiconductor Switches. |
ICMENS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Se-Hyun Yang, Babak Falsafi |
Near-Optimal Precharging in High-Performance Nanoscale CMOS Caches. |
MICRO |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Anita Sarma, Zahra Noroozi, André van der Hoek |
Palantír: Raising Awareness among Configuration Management Workspaces . |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Tim Kempster, Colin Stirling, Peter Thanisch |
Diluting ACID. |
SIGMOD Rec. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Mark K. Gardner, Jane W.-S. Liu |
Performance of algorithms for scheduling real-time systems with overrun and overload. |
ECRTS |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Edgar Nett, Michael Mock |
A Recovery Model for Extended Real-Time Transactions. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Richard Hull 0001 |
Global Predicate-Based Locks in Long-Running Transactions. |
EDOC |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Franc Novak, Igor Mozetic, Marina Santo Zarnik, Anton Biasizzo |
Enhancing design-for-test for active analog filters by using CLP. |
J. Electron. Test. |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Bruce Martin |
Concurrent programming vs. concurrency control: shared events or shared data. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Christine Choppy, Gianna Reggio |
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). |
SAC |
2010 |
DBLP DOI BibTeX RDF |
CASL, UML, SOA, temporal logic |
16 | Piramanayagam Arumuga Nainar, Ben Liblit |
Adaptive bug isolation. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
binary instrumentation, control-dependence graphs, dynamic feedback, dyninst, heuristic search, statistical debugging |
16 | |
Isolation. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Andrea Monteriù, Prateek Asthana, Kimon P. Valavanis, Sauro Longhi |
Real-Time Model-Based Fault Detection and Isolation for UGVs. |
J. Intell. Robotic Syst. |
2009 |
DBLP DOI BibTeX RDF |
Real-time systems, Fault diagnosis, Fault detection |
16 | Heidar A. Talebi, Khashayar Khorasani, Siamak Tafazoli |
A Recurrent Neural-Network-Based Sensor and Actuator Fault Detection and Isolation for Nonlinear Systems With Application to the Satellite's Attitude Control Subsystem. |
IEEE Trans. Neural Networks |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Alomari, Alan D. Fekete, Uwe Röhm |
A Robust Technique to Ensure Serializable Executions with Snapshot Isolation DBMS. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Butter, Markus Aleksy |
MixVM - An Approach to Service Isolation and Data Protection in Mobile Context-Sensitive Applications. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jingliang Zhang, Chengxiang Si, Yajun Jia, Jiangang Zhang, Xiaoming Han, Lu Xu 0001 |
Volume Based Metadata Isolation in Blue Whale Cluster File System. |
HPCC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | José Maria Monteiro, Angelo Brayner, Sérgio Lifschitz |
Using transaction isolation levels for ensuring replicated database consistency in mobile computing environments. |
MobiDE |
2009 |
DBLP DOI BibTeX RDF |
mobile computing, concurrency control, data replication |
16 | Giovane Cesar Moreira Moura, Aiko Pras |
Scalable Detection and Isolation of Phishing. (PDF / PS) |
AIMS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ben Robins, Kerstin Dautenhahn, Paul Dickerson |
From Isolation to Communication: A Case Study Evaluation of Robot Assisted Play for Children with Autism with a Minimally Expressive Humanoid Robot. |
ACHI |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Vittorio Bilò, Michele Flammini, Gianpiero Monaco, Luca Moscardelli |
On the Performances of Nash Equilibria in Isolation Games. |
COCOON |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Megumi Ito, Shuichi Oikawa |
Lightweight Shadow Paging for Efficient Memory Isolation in Gandalf VMM. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
Virtual Machine Monitors, System Software |
16 | Mohammad Alomari, Michael J. Cahill, Alan D. Fekete, Uwe Röhm |
The Cost of Serializability on Platforms That Use Snapshot Isolation. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Yangmin Li 0001, Qingsong Xu |
Design of a new decoupled XY flexure parallel kinematic manipulator with actuator isolation. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Andreas I. Reppas, Andreas C. Tsoumanis, Constantinos I. Siettos |
The influence of infection control policies: A systematic study of the dynamics of an individual-based epidemic model with isolation. |
BIBE |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Piotr Przystalka |
Model-Based Fault Detection and Isolation Using Locally Recurrent Neural Networks. |
ICAISC |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 5891 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|