|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8788 occurrences of 4704 keywords
|
|
|
Results
Found 14241 publication records. Showing 14241 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Djamal Habet, Lionel Paris, Belaid Benhamou |
Consistent Neighborhood for the Satisfiability Problem. |
ICTAI (2) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Ramsés Morales, Indranil Gupta |
AVMON: Optimal and Scalable Discovery of Consistent Availability Monitoring Overlays for Distributed Systems. |
ICDCS |
2007 |
DBLP DOI BibTeX RDF |
Optimality, Scalability, Monitoring, Consistency, Availability, Overlay, Churn |
16 | Wei-Zhi Wu |
Knowledge Reduction in Consistent Incomplete Decision Systems Based on Dempster-Shafer Theory of Evidence. |
FSKD (1) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Schaus, Yves Deville, Pierre Dupont |
Bound-Consistent Deviation Constraint. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Neil C. Rowe |
Finding Logically Consistent Resource-Deception Plans for Defense in Cyberspace. |
AINA Workshops (1) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Syed Sibte Raza Abidi, Yong Han Chong, Yan Zeng |
Generating customized yet factually consistent information: a constraint satisfaction approach. |
Int. J. Digit. Libr. |
2006 |
DBLP DOI BibTeX RDF |
Information customization, Information personalization, E-Healthcare, Constraint satisfaction, Adaptive hypermedia systems |
16 | Florian Deissenboeck, Markus Pizka |
Concise and consistent naming. |
Softw. Qual. J. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jef Wijsen |
Project-Join-Repair: An Approach to Consistent Query Answering Under Functional Dependencies. |
FQAS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Rhodri H. Davies, Carole J. Twining, Christopher J. Taylor 0001 |
Consistent spherical parameterisation for statistical shape modelling. |
ISBI |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Yen-Tuo Chang, Bing-Yu Chen 0004, Wan-Chi Luo, Jian-Bin Huang |
Skeleton-Driven Animation Transfer Based on Consistent Volume Parameterization. |
Computer Graphics International |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Nuaman Asbeh, Mor Peleg, Mitchell Schertz, Tsvi Kuflik |
Creating Consistent Diagnoses List for Developmental Disorders Using UMLS. |
NGITS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Chaoguang Men, Yunlong Zhao, Wenbin Yao |
A Two-Phase Time-based Consistent Checkpointing Strategy. |
ITNG |
2006 |
DBLP DOI BibTeX RDF |
time-based checkpointing, fault tolerant, distributed system, checkpoint, coordinated checkpointing |
16 | Jan Chomicki |
Consistent Query Answering: Opportunities and Limitations. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Zijing Tan, Wei Wang 0009, Baile Shi |
Extending Tree Automata to Obtain Consistent Query Answer from Inconsistent XML Document. |
IMSCCS (2) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Wanhua Hu, Tao Lin 0006, Kazuo Sakai, Atsumi Imamiya, Masaki Omata |
Setup Consistent Visual Textures for Haptic Surfaces in a Virtual Reality World. |
Universal Access in Ambient Intelligence Environments |
2006 |
DBLP DOI BibTeX RDF |
textured surfaces, virtual reality, haptics, multimodal human-computer interfaces |
16 | SungEun Jo, Sang Woo Kim |
Consistent normalized least mean square filtering with noisy data matrix. |
IEEE Trans. Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Leopoldo E. Bertossi, Loreto Bravo |
Consistent Query Answers in Virtual Data Integration Systems. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Florian Deißenböck, Markus Pizka |
Concise and Consistent Naming. |
IWPC |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Král, Ondrej Pangrác |
An Asymptotically Optimal Linear-Time Algorithm for Locally Consistent Constraint Satisfaction Problems. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Bin Gao 0001, Tie-Yan Liu, Tao Qin 0001, Xin Zheng, QianSheng Cheng, Wei-Ying Ma |
Web image clustering by consistent utilization of visual features and surrounding texts. |
ACM Multimedia |
2005 |
DBLP DOI BibTeX RDF |
spectral graph, image processing, consistency, co-clustering |
16 | Tugkan Batu, Süleyman Cenk Sahinalp |
Locally Consistent Parsing and Applications to Approximate String Comparisons. |
Developments in Language Theory |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Ciaran Ferry, Stephen Blott |
The consistent web: a vision for the future. |
CoNEXT |
2005 |
DBLP DOI BibTeX RDF |
web/internet, content distribution, consistency management |
16 | Katrien Jacobs, Jean-Daniel Nahmias, Cameron Angus, Alex Reche Martinez, Céline Loscos, Anthony Steed |
Automatic generation of consistent shadows for augmented reality. |
Graphics Interface |
2005 |
DBLP BibTeX RDF |
common illumination, augmented reality, image based rendering |
16 | Alex D. Leow, Sung-Cheng Huang, Alex Geng, James T. Becker, Simon W. Davis, Arthur W. Toga, Paul M. Thompson |
Inverse Consistent Mapping in 3D Deformable Image Registration: Its Construction and Statistical Properties. |
IPMI |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Jirí Srba |
On Counting the Number of Consistent Genotype Assignments for Pedigrees. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Edmilson Marmo Moreira, Regina Helena Carlucci Santana, Marcos José Santana |
Using Consistent Global Checkpoints to Synchronize Processes in Distributed Simulation. |
DS-RT |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Victor C. S. Lee, Joseph Kee-Yin Ng, Jo Y. P. Chong, Kwok-Wa Lam |
Reading temporally consistent data in broadcast disks. |
ACM SIGMOBILE Mob. Comput. Commun. Rev. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Zhijun Wang 0001, Hao Che, Mohan Kumar, Sajal K. Das 0001 |
CoPTUA: Consistent Policy Table Update Algorithm for TCAM without Locking. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
ternary CAM, policy table update, Network processor, packet classification |
16 | Xiaolin Wu 0001, Ning Zhang |
Primary-consistent soft-decision color demosaicking for digital cameras (patent pending). |
IEEE Trans. Image Process. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Piwowarski, Mounia Lalmas |
Providing consistent and exhaustive relevance assessments for XML retrieval evaluation. |
CIKM |
2004 |
DBLP DOI BibTeX RDF |
relevance assessment process, XML, evaluation, INEX |
16 | Jan Chomicki, Jerzy Marcinkowski, Slawomir Staworko |
Computing consistent query answers using conflict hypergraphs. |
CIKM |
2004 |
DBLP DOI BibTeX RDF |
query processing, integrity constraints, inconsistency |
16 | Christian Wöhler |
3D Surface Reconstruction by Self-Consistent Fusion of Shading and Shadow Features. |
ICPR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Djamal Habet, Michel Vasquez |
Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Baruch Awerbuch, Christian Scheideler |
Consistent and compact data management in distributed storage systems. |
SPAA |
2004 |
DBLP DOI BibTeX RDF |
load balancing, peer-to-peer systems, range queries, distributed data management |
16 | Rodolfo Bezerra Batista, Alerrandro L. A. C. Correa, Alba Cristina Magalhaes Alves de Melo |
Computing Binary Space Partition Trees using a Scope Consistent DSM System in a Cluster of Workstations. |
PDP |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Nüchter, Hartmut Surmann, Kai Lingemann, Joachim Hertzberg |
Consistent 3D Model Construction with Autonomous Mobile Robots. |
KI |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Sergio Flesca, Filippo Furfaro, Sergio Greco, Ester Zumpano |
Repairs and Consistent Answers for XML Data with Functional Dependencies. |
Xsym |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Raylin Tso, Ying Miao 0001, Eiji Okamoto |
A New Algorithm for Searching a Consistent Set of Shares in a Threshold Scheme with Cheaters. |
ICISC |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Robert D. Kleinberg, Frank Thomson Leighton |
Consistent load balancing via spread minimization. |
STOC |
2003 |
DBLP DOI BibTeX RDF |
load balancing, randomized algorithms, on-line algorithms |
16 | David Billington, Andrew Rock |
Constructive Plausible Logic Is Relatively Consistent. |
Australian Conference on Artificial Intelligence |
2003 |
DBLP DOI BibTeX RDF |
Knowledge representation, Logic, Common-sense reasoning, Nonmonotonicity |
16 | Leopoldo E. Bertossi, Jan Chomicki, Alvaro Cortés-Calabuig, Claudio Gutierrez 0001 |
Consistent Answers from Integrated Data Sources. |
FQAS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | P. M. van der Poorten, Sheng Zhou, Christopher B. Jones |
Topologically-Consistent Map Generalisation Procedures and Multi-scale Spatial Databases. |
GIScience |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Ana L. N. Fred |
Finding Consistent Clusters in Data Partitions. |
Multiple Classifier Systems |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Shigetoshi Nakatake, Yukiko Kubo, Yoji Kajitani |
Consistent floorplanning with super hierarchical constraints. |
ISPD |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Christophe Costa Florêncio |
Consistent Identification in the Limit of Any of the Classes k -Valued Is NP-hard. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
Learning theory, Grammatical inference, Categorial grammars, Formal language theory |
16 | Victor C. S. Lee, Kwok-Wa Lam, Simon Wu, Eddie Y. M. Chan |
Broadcasting Consistent Data in Mobile Computing Environments. |
IEEE Real Time Technology and Applications Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Hans J. Johnson, Gary E. Christensen |
Landmark and Intensity-Based, Consistent Thin-Plate Spline Image Registration. |
IPMI |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat |
An integrated environment for the presentation of consistent SMIL 2.0 documents. |
ACM Symposium on Document Engineering |
2001 |
DBLP DOI BibTeX RDF |
SMIL 2.0, interactive multimedia documents, formal methods, LOTOS, temporal consistency, RT-LOTOS |
16 | Viviane Crestana-Jensen, Amy J. Lee, Elke A. Rundensteiner |
Consistent Schema Version Removal: An Optimization Technique for Object-Oriented Views. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
Object-oriented views, transparent schema evolution, evolving software applications, performance evaluation, interoperability, schema version |
16 | Wolfgang D. Rencken, Wendelin Feiten, Martin Soika |
Large Consistent Geometric Landmark Maps. |
Sensor Based Intelligent Robots |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Susanne Graf |
Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction. |
Distributed Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Andrea Clematis, Vittoria Gianuzzi |
Extending PVM with Consistent Cut Capabilities: Application Aspects and Implementation Strategies. |
PVM/MPI |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Paul S. LeMahieu, Jehoshua Bruck |
A Consistent History Link Connectivity Protocol. |
IPPS/SPDP |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Takaya Yuizono, Yoji Nagasawa, Jun Munemori |
Application of Groupware for a New Idea Generation Consistent Support System Using PDA for Input Device. |
ICPP Workshops |
1999 |
DBLP DOI BibTeX RDF |
student experiment, idea generation support, KJ method, groupware, PDA |
16 | Mesaac Makpangou, Guillaume Pierre, Christian Khoury, Neilze Dorta |
Replicated Directory Service for Weakly Consistent Distributed Caches. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
Cooperative Caches, Directory Service, Weak Consistency |
16 | Roberto Baldoni, Jean-Michel Hélary, Michel Raynal |
Consistent Records in Asynchronous Computations. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Zhonghua Yang, Chengzheng Sun, Abdul Sattar 0001, Yanyan Yang |
Guaranteed Mutually Consistent Checkpointing in Distributed Computations. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Loon-Been Chen, I-Chen Wu |
An Efficient Incremental Algorithm for Identifying Consistent Checkpoints. |
ICPADS |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Yunjung Yi, Taesoon Park, Heon Young Yeom |
A Causal Logging Scheme for Lazy Release Consistent Distributed Shared Memory Systems. |
ICPADS |
1998 |
DBLP DOI BibTeX RDF |
Lazy release consistency, Fault tolerance, Checkpointing, Rollback-recovery, Message logging, Distributed shared memory system |
16 | Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
Consistent State Restoration in Shared Memory Systems. |
APDC |
1997 |
DBLP DOI BibTeX RDF |
|
16 | P. S. Thiagarajan |
A Trace Consistent Subset of PTL. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Pascal Poncelet, Lotfi Lakhal |
Consistent Structural Updates for Object Database Design |
CAiSE |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Kokichi Sugihara |
Topologically Consistent Algorithms Realted to Convex Polyhedra. |
ISAAC |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Gil Neiger, Mark R. Tuttle |
Common Knowledge and Consistent Simultaneous Coordination. |
WDAG |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Bernadette Charron-Bost |
Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory. |
WDAG |
1989 |
DBLP DOI BibTeX RDF |
|
15 | I-Cheng Yeh 0001, Chao-Hung Lin, Olga Sorkine, Tong-Yee Lee |
Template-Based 3D Model Fitting Using Dual-Domain Relaxation. |
IEEE Trans. Vis. Comput. Graph. |
2011 |
DBLP DOI BibTeX RDF |
Template-based fitting, dual mesh, local surface flattening, consistent parameterization, Laplacian coordinates, cross-parameterization, intersurface mapping |
15 | Tetsuo Shima, Suguru Saito, Masayuki Nakajima 0001 |
Design and Evaluation of More Accurate Gradient Operators on Hexagonal Lattices. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2010 |
DBLP DOI BibTeX RDF |
hexagonal lattice, consistent gradient operator, gradient intensity, Image processing, orientation |
15 | Jef Wijsen |
On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
first-order expressibility, primary keys, conjunctive queries, consistent query answering |
15 | Maciej Liskiewicz, Johannes Textor |
Negative selection algorithms without generating detectors. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
consistent learning, artificial immune systems, negative selection |
15 | Qing Chen, Evangelos Triantaphyllou |
Estimating Data for Multicriteria Decision Making Problems: Optimization Techniques. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Data elicitation, Consistent judgment matrix, Scale, Analytic hierarchy process, AHP, Eigenvalue, Eigenvector, Multicriteria decision making, MCDM, Incomplete judgments, Least squares problem, Pairwise comparisons |
15 | Chao Yang 0001, Juan C. Meza, Byounghak Lee, Lin-Wang Wang |
KSSOLV - a MATLAB toolbox for solving the Kohn-Sham equations. |
ACM Trans. Math. Softw. |
2009 |
DBLP DOI BibTeX RDF |
Kohn-Sham equations, Planewave discretization, direct constrained minimization (DCM), electronic structure calculation, nonlinear eigenvalue problem, pseudopotential, self-consistent field iteration (SCF), density functional theory (DFT) |
15 | Christopher Scaffidi, Brad A. Myers, Mary Shaw |
Intelligently creating and recommending reusable reformatting rules. |
IUI |
2009 |
DBLP DOI BibTeX RDF |
consistent data format, end-user programming, spreadsheets |
15 | Weihai Yu |
Decentralized Orchestration of BPEL Processes with Execution Consistency. |
APWeb/WAIM |
2009 |
DBLP DOI BibTeX RDF |
Continuation-passing messaging, Dynamic process structure, Consistent orchestration, Decentralized orchestration |
15 | Yehuda Afek, Nir Shavit, Moran Tzafrir |
Interrupting Snapshots and the JavaTM^{\mbox{\tiny TM}} Size() Method. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
consistent state, fault-tolerance, atomic, snapshot, global state |
15 | Jun Zhi, Jianyong Liu, Wei Xu, Limin Zhi |
Fusion Algorithm Based on the Intuitionistic Fuzzy Set and Multiple Neural Network. |
ISNN (2) |
2009 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy decision matrix, Additive consistent linear programming, Neural network, Intuitionistic fuzzy set |
15 | Damien Imbs, Michel Raynal |
Software Transactional Memories: An Approach for Multicore Programming. |
PaCT |
2009 |
DBLP DOI BibTeX RDF |
Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state |
15 | Thiago Teixeira, Deokwoo Jung, Gershon Dublon, Andreas Savvides |
Identifying people in camera networks using wearable accelerometers. |
PETRA |
2009 |
DBLP DOI BibTeX RDF |
association problem, consistent labelling, unique identification |
15 | Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal |
Development of ISEE: An Information Security Engineering Environment. |
ISPA |
2009 |
DBLP DOI BibTeX RDF |
Information security engineering environment, ISO/IEC security standards, Consistent development, Continuous maintenance, Security engineering |
15 | Hamidreza Hashempour, Fabrizio Lombardi |
Device Model for Ballistic CNFETs Using the First Conducting Band. |
IEEE Des. Test Comput. |
2008 |
DBLP DOI BibTeX RDF |
CNFET, charge density, self-consistent voltage, drain-source current, CAD, approximation, carbon nanotube, closed-form |
15 | Thomas Eiter, Michael Fink 0001, Gianluigi Greco, Domenico Lembo |
Repair localization for query answering from inconsistent databases. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
inconsistency management in databases, logic programming, data integration, stable models, consistent query answering, Database repairs |
15 | Yi Luo 0002, D. Manivannan 0001 |
FINE: A Fully Informed aNd Efficient Communication-Induced Checkpointing Protocol. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
communication-induced checkpointing protocols, consistent global checkpoints, Distributed systems |
15 | Ioanna Roussaki, Maria Strimpakou, Carsten Pils |
Distributed Context Retrieval and Consistency Control in Pervasive Computing. |
J. Netw. Syst. Manag. |
2007 |
DBLP DOI BibTeX RDF |
query handling, consistent context replication, context-awareness, context management |
15 | Fu-Lai Chung, Shitong Wang 0001, Min Xu, Dewen Hu, Qing Lin |
Possibility Theoretic Clustering and its Preliminary Application to Large Image Segmentation. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
Exponential possibility distribution, Consistent functions, Epanechnikov kernel functions, Biased sampling, Large image segmentation, Clustering algorithm |
15 | Oscar Nierstrasz |
Modeling Change as a First-Class Entity. |
ASWEC |
2007 |
DBLP DOI BibTeX RDF |
Software Systems must change to remain useful, Current programming languages and support environments, however, treat software systems as though they were static, unchanging and globally consistent, We argue in favour of a more dynamic approach in which complex software systems can seen as a set of overlapping and constantly changing contexts, We report on some initial research activities pointing in this direction, and we lay out our vision for modeling and managing change as a first-class entity |
15 | Nalaka Gooneratne, Zahir Tari, James Harland |
Verification of web service descriptions using graph-based traversal algorithms. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
consistent descriptions, verification, service descriptions |
15 | Patricia Jablonski, Daqing Hou |
CReN: a tool for tracking copy-and-paste code clones and renaming identifiers consistently in the IDE. |
ETX |
2007 |
DBLP DOI BibTeX RDF |
consistent renaming, copy-and-paste programming, intent inference, Java, error detection, code clone, abstract syntax tree, Eclipse integrated development environment |
15 | Changzhong Wang, Congxin Wu, Degang Chen 0002 |
Homomorphisms Between Relation Information Systems. |
RSKT |
2007 |
DBLP DOI BibTeX RDF |
Consistent functions, relation mappings, relation information systems, reduction, homomorphism |
15 | Eugene V. Shilnikov |
Parallel Program Complex for 3D Unsteady Flow Simulation. |
PARA |
2006 |
DBLP DOI BibTeX RDF |
Unsteady viscous gas flows, Parallel program complex, Kinetically consistent finite difference schemes, Parallelization efficiency, Turbulent flows |
15 | I. D. Zaslavsky |
Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic. |
TbiLLC |
2005 |
DBLP DOI BibTeX RDF |
three-valued predicate, Luk-theory, Luk-consistent theory, Lukcomplete theory, Luk-decidable theory |
15 | Marek Tudruj, Janusz Borkowski, Damian Kopanski |
Parallel Program Graphical Design with Program Execution Control Based on Global Application States. |
ISPDC/HeteroPar |
2004 |
DBLP DOI BibTeX RDF |
Graphical parallel program design, Distributed computing, Consistent global states |
15 | Mohamed Mosbah 0001, Rodrigue Ossamy |
Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing. |
ENC |
2004 |
DBLP DOI BibTeX RDF |
distributed programming languages, distributed systems, distributed debugging, local computations, consistent global states, Global predicates detection |
15 | Paul I. Barton, Cha Kun Lee |
Modeling, simulation, sensitivity analysis, and optimization of hybrid systems. |
ACM Trans. Model. Comput. Simul. |
2002 |
DBLP DOI BibTeX RDF |
combined discrete/continuous simulation, consistent reinitialization, state events, sensitivity analysis, transitions, discontinuities, Hybrid automata |
15 | Augusto Ciuffoletti |
Session level rollback recovery. |
ISCC |
2002 |
DBLP DOI BibTeX RDF |
checkpointing algorithm, recovery algorithm, checkpoint disposal algorithm, quasi-synchronous coordination, consistent cut, distributed control |
15 | John Moses |
A Consideration of the Impact of Interactions with Module Effects on the Direct Measurement of Subjective Software Attributes. |
IEEE METRICS |
2001 |
DBLP DOI BibTeX RDF |
expert agreement, ordinal scale, 3-D multinomial models, interactions with module length, Bayesian inference, maintainability, cohesion, consistent measurement |
15 | Scott D. Stoller |
Detecting Global Predicates in Distributed Systems with Clocks. |
Distributed Comput. |
2000 |
DBLP DOI BibTeX RDF |
Distributed debugging, Real-time monitoring, Consistent global states, Global predicate detection |
15 | Valerio Pascucci, Chandrajit L. Bajaj |
Time critical isosurface refinement and smoothing. |
VVS |
2000 |
DBLP DOI BibTeX RDF |
consistent embedding, multi-resolution data structures, progressive algorithms, smooth isosurfaces, recursive subdivision |
15 | Lorenzo Alvisi, E. N. Elnozahy, Sriram Rao, Syed Amir Husain, Asanka De Mel |
An Analysis of Communication Induced Checkpointing. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
Performance Evaluation, MPI, Checkpointing, Rollback Recovery, Consistent Global States |
15 | Guohong Cao, Mukesh Singhal |
Low-Cost Checkpointing with Mutable Checkpoints in Mobile Computing Systems. |
ICDCS |
1998 |
DBLP DOI BibTeX RDF |
consistent checkpointing, Mobile computing, non-blocking, causal dependency |
15 | Christine Morin, Isabelle Puaut |
A Survey of Recoverable Distributed Shared Virtual Memory Systems. |
IEEE Trans. Parallel Distributed Syst. |
1997 |
DBLP DOI BibTeX RDF |
distributed shared virtual memory, consistent states, Distributed systems, availability, backward error recovery |
15 | Scott D. Stoller |
Detecting Global Predicates in Distributed Systems with Clocks. |
WDAG |
1997 |
DBLP DOI BibTeX RDF |
distributed debugging, real-time monitoring, consistent global states, partially-synchronous systems, global predicate detection |
Displaying result #201 - #300 of 14241 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|