Search results for "predicates"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
121	Vijay K. Garg, Brian Waldecker	Detection of Weak Unstable Predicates in Distributed Programs.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	programtesting, weak unstable predicates, weakconjunctive predicates, distributed debugger, testing, distributed algorithms, debugging, Unix, UNIX, communication complexity, distributed programs, distributed memory systems, program debugging, message complexity, Sun workstations, global predicates
87	Craig M. Chase, Vijay K. Garg	Detection of Global Predicates: Techniques and Their Limitations.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Unstable predicates, Distributed debugging, Predicate detection
87	Mark Minas	Detecting Quantified Global Predicates in Parallel Programs.	Euro-Par	1995	DBLP DOI BibTeX RDF	parallel debugger, testing, debugging, Global predicates
85	Vijay K. Garg, Craig M. Chase, J. Roger Mitchell, Richard B. Kilgore	Detecting conjunctive channel predicates in a distributed programming environment.	HICSS (2)	1995	DBLP DOI BibTeX RDF	conjunctive channel predicates detection, efficient global predicate detection, local predicates, global virtual time computation, distributed processing, message passing, Boolean functions, programming environments, communication complexity, programming theory, monotonicity, message complexity, Boolean formula, termination detection, telecommunication channels, distributed programming environment
81	Ashlesha Joshi, Samuel T. King, George W. Dunlap, Peter M. Chen	Detecting past and present intrusions through vulnerability-specific predicates.	SOSP	2005	DBLP DOI BibTeX RDF	IntroVirt, virtual-machine introspection, virtual-machine replay, vulnerability-specific predicates, intrusion detection, semantic gap
79	Iosif Lazaridis, Sharad Mehrotra	Optimization of multi-version expensive predicates.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	expensive methods, multi-version predicates, multimedia sensor networks, user-defined predicates, data streams, query optimization, adaptive query processing
75	Mark McKenney, Alejandro Pauly, Reasey Praing, Markus Schneider 0001	Dimension-refined topological predicates.	GIS	2005	DBLP DOI BibTeX RDF	SPAL2D, GIS, spatial databases, dimension, topological predicates
71	Stewart Shapiro	Reasoning with Slippery Predicates.	Stud Logica	2008	DBLP DOI BibTeX RDF	comparison class, supervaluation, sorites paradox, penumbral connection, conversational score, response-dependence, tolerance, Vagueness, contextualism, Kripke structures
69	David G. Cantor	On The Ambiguity Problem of Backus Systems.	J. ACM	1962	DBLP DOI BibTeX RDF
69	Anirban Majumdar 0001, Clark D. Thomborson	Manufacturing opaque predicates in distributed systems for code obfuscation.	ACSC	2006	DBLP BibTeX RDF	distributed predicate detection, mobile code protection, opaque predicates, software protection, distributed systems security, code obfuscation
64	Loon-Been Chen, I-Chen Wu	Detection of Summative Global Predicates.	ICPADS	1997	DBLP DOI BibTeX RDF
64	Edward P. F. Chan, Jimmy N. H. Ng	A General and Efficient Implementation of Geometric Operators and Predicates.	SSD	1997	DBLP DOI BibTeX RDF
62	Décio Krause, Steven French	Quantum sortal predicates.	Synth.	2007	DBLP DOI BibTeX RDF	Sortal predication, Quantum predicates, Sortal logic, Intensional semantics
62	Martin Erwig, Markus Schneider 0001	Spatio-Temporal Predicates.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	Time in geographic information, spatio-temporal data types, representation of spatio-temporal objects, changes of spatial predicates, developments of spatial objects
60	Flemming Nielson, Hanne Riis Nielson	Layered Predicates.	REX Workshop	1992	DBLP DOI BibTeX RDF	partial equivalence relations, Kripke-logical relations, layered predicates, Kripke-layered predicates, substitution properties, well-structured proofs, correctness of code generation, proof principles, denotational semantics, logical relations
59	Linda A. Ness	L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages
58	Eun-Jung Lee	Local Detection of Exclusive Global Predicates.	ICPP	1999	DBLP DOI BibTeX RDF
58	Vijay K. Garg, Brian Waldecker	Detection of Unstable Predicates in Distributed Programs.	FSTTCS	1992	DBLP DOI BibTeX RDF
58	Andrzej Blikle	Three-Valued Predicates for Software Specification and Validation.	VDM Europe	1988	DBLP DOI BibTeX RDF
56	Surajit Chaudhuri, Kyuseok Shim	Optimization of Queries with User-Defined Predicates.	ACM Trans. Database Syst.	1999	DBLP DOI BibTeX RDF	user-defined predicates, dynamic programming, query optimization
52	Elvira Albert, Germán Puebla, John P. Gallagher	Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.	LOPSTR	2005	DBLP DOI BibTeX RDF
52	Craig M. Chase, Vijay K. Garg	Efficient Detection of Restricted Classes of Global Predicates.	WDAG	1995	DBLP DOI BibTeX RDF
52	Brian Waldecker, Vijay K. Garg	Detection of strong predicates in distributed programs.	SPDP	1991	DBLP DOI BibTeX RDF
50	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre	Software Verification with BLAST.	SPIN	2003	DBLP DOI BibTeX RDF
50	Zhiyuan Chen 0003, Flip Korn, Nick Koudas, S. Muthukrishnan 0001	Selectivity Estimation for Boolean Queries.	PODS	2000	DBLP DOI BibTeX RDF
50	Paulo Moura	Secure Implementation of Meta-predicates.	PADL	2009	DBLP DOI BibTeX RDF	meta-predicates, security, Logic-programming
50	Dan López de Sa	The over-generalization problem: predicates rigidly signifying the "unnatural".	Synth.	2008	DBLP DOI BibTeX RDF	Over-generalization problem, Natural properties, General terms, Natural kind terms, Predicates, Rigidity
50	Sihem Amer-Yahia, Emiran Curtmola, Alin Deutsch	Flexible and efficient XML search with complex full-text predicates.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	XML text search, text predicates, full-text search
50	Goce Trajcevski, Peter Scheuermann, Hervé Brönnimann, Agnès Voisard	Dynamic topological predicates and notifications in moving objects databases.	Mobile Data Management	2005	DBLP DOI BibTeX RDF	event notification systems, moving objects databases, topological predicates
50	Ajay D. Kshemkalyani	A Fine-Grained Modality Classification for Global Predicates.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	distributed system, synchronization, causality, Predicates, distributed execution, global state
48	Zheng Yuan, Qiaoyan Wen, Wenling Wu, Qing Zhang	An ID-Based Watermarking Scheme for Java Programs.	EUC Workshops	2006	DBLP DOI BibTeX RDF	watermarked opaque predicates, Java programs, ID, aggregate signature, watermarking scheme
46	Reasey Praing, Markus Schneider 0001	Efficient Implementation Techniques for Topological Predicates on Complex Spatial Objects.	GeoInformatica	2008	DBLP DOI BibTeX RDF	complex spatial object, predicate verification, predicate determination, topological feature vector, exploration phase, evaluation phase, nine-intersection matrix characterization, matrix thinning, minimum cost decision tree, spatial database, topological predicate
46	Seung-won Hwang, Kevin Chen-Chuan Chang	Probe Minimization by Schedule Optimization: Supporting Top-K Queries with Expensive Predicates.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	database systems, distributed information systems, Database query processing
46	Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita	Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction.	ATVA	2007	DBLP DOI BibTeX RDF
46	Amit Chandel, Oktie Hassanzadeh, Nick Koudas, Mohammad Sadoghi, Divesh Srivastava	Benchmarking declarative approximate selection predicates.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	declarative data quality, performance, SQL, accuracy, data cleaning
46	Vinit A. Ogale, Vijay K. Garg	Detecting Temporal Logic Predicates on Distributed Computations.	DISC	2007	DBLP DOI BibTeX RDF
46	Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi	Opaque Predicates Detection by Abstract Interpretation.	AMAST	2006	DBLP DOI BibTeX RDF
46	Haifeng Jiang, Hongjun Lu, Wei Wang 0011	Efficient Processing of Twig Queries with OR-Predicates.	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
46	Adi Akavia, Shafi Goldwasser, Shmuel Safra	Proving Hard-Core Predicates Using List Decoding.	FOCS	2003	DBLP DOI BibTeX RDF
46	Megan Thomas, Joseph M. Hellerstein	Boolean Bounding Predicates for Spatial Access Methods.	DEXA	2002	DBLP DOI BibTeX RDF
46	Kevin Chen-Chuan Chang, Seung-won Hwang	Minimal probing: supporting expensive predicates for top-k queries.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF	Database Manager
46	Markus Schneider 0001	A Design of Topological Predicates for Complex Crisp and Fuzzy Regions.	ER	2001	DBLP DOI BibTeX RDF
46	Xiaoyong Du 0001, Zhibin Liu, Naohiro Ishii	A New Factoring Algorithm for Magic Predicates.	ASIAN	1998	DBLP DOI BibTeX RDF	query optimization, deductive databases, factoring, magic sets
46	Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier	Local and Temporal Predicates In Distributed Systems.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	knowledge predicate, local predicate, temporal predicate, distributed computation, observation, predicate, predicate transformer
46	Joseph M. Hellerstein, Michael Stonebraker	Predicate Migration: Optimizing Queries with Expensive Predicates.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	SQL, C
46	Maurizio Proietti, Alberto Pettorossi	Synthesis of Eureka Predicates for Developing Logic Programs.	ESOP	1990	DBLP DOI BibTeX RDF
44	Hongtao Huang	Detection of Disjunctive Normal Form Predicate in Distributed Systems.	ICDCN	2008	DBLP DOI BibTeX RDF
44	Guy Dumais, Hon Fung Li	Distributed Predicate Detection in Series-Parallel Systems.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	state lattice, concurrent interval, series-parallel structure, separable predicate, distributed computation, predicate detection, communication graph
44	Donghui Zhang, Alexander Markowetz, Vassilis J. Tsotras, Dimitrios Gunopulos, Bernhard Seeger	On computing temporal aggregates with range predicates.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	Temporal aggregates, functional aggregates, range predicates, indexing
44	Richard Kuntschke, Alfons Kemper	Matching and evaluation of disjunctive predicates for data stream sharing.	CIKM	2006	DBLP DOI BibTeX RDF	data stream sharing, disjunctive predicates, predicate evaluation, predicate matching
44	S. Venkatesan 0001, Brahma Dathan	Testing and Debugging Distributed Programs Using Global Predicates.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Distributed algorithms, asynchronous distributed systems, message complexity, distributed debugging, distributed testing, global predicates
39	Xiaoshuang Xu, Yucai Feng, Feng Wang	Efficient Processing of XML Twig Queries with All Predicates.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
39	Olivier Devillers, Marc Glisse, Sylvain Lazard	Predicates for line transversals to lines and line segments in three-dimensional space.	SCG	2008	DBLP DOI BibTeX RDF	optimality, polynomial, predicate, line transversal
39	Sriram Sankaranarayanan 0001, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta	Dynamic inference of likely data preconditions over predicates by tree learning.	ISSTA	2008	DBLP DOI BibTeX RDF	machine learning, verification, decision trees, sat, software specification
39	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
39	Tobias Salzbrunn, Gerik Scheuermann	Streamline Predicates.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Flow visualization, feature detection
39	Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar	Joining dataflow with predicates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	counterexample analysis, model checking, dataflow analysis, predicate abstraction
39	Alejandro Pauly, Markus Schneider 0001	Topological Predicates Between Vague Spatial Objects.	SSTD	2005	DBLP DOI BibTeX RDF
39	Alfonso Gerevini, Alessandro Saetti, Ivan Serina, Paolo Toninelli	Planning with Derived Predicates Through Rule-Action Graphs and Local Search Techniques.	AI*IA	2005	DBLP DOI BibTeX RDF
39	Surajit Chaudhuri, Vivek R. Narasayya, Sunita Sarawagi	Extracting predicates from mining models for efficient query evaluation.	ACM Trans. Database Syst.	2004	DBLP DOI BibTeX RDF	Complex predicate optimization, simpler rules from complex predictive functions
39	Ajay D. Kshemkalyani	A Note on Modalities for Nonconjunctive Global Predicates.	IWDC	2003	DBLP DOI BibTeX RDF
39	Alper Sen 0001, Vijay K. Garg	Detecting Temporal Logic Predicates on the Happened-Before Model.	IPDPS	2002	DBLP DOI BibTeX RDF	distributed systems, model checking, temporal logic, CTL, predicate detection
39	Lars Engebretsen	The Non-approximability of Non-Boolean Predicates.	RANDOM-APPROX	2001	DBLP DOI BibTeX RDF
39	Terence John Parr, Russell W. Quong	Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k).	CC	1994	DBLP DOI BibTeX RDF
38	Saeed Parsa, Mojtaba Vahidi-Asl, Somaye Arabi Naree	Finding Causes of Software Failure Using Ridge Regression and Association Rule Generation Methods.	SNPD	2008	DBLP DOI BibTeX RDF	Ridge Regression method, Association rule generation, Bug predictors, Predicate, Software debugging
38	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai	Localization and Register Sharing for Predicate Abstraction.	TACAS	2005	DBLP DOI BibTeX RDF
38	Andreas Roth 0002	Specification and Verification of Encapsulation in Java Programs.	FMOODS	2005	DBLP DOI BibTeX RDF
38	Kjell Johan Sæbø	A Whether Forecast.	TbiLLC	2005	DBLP DOI BibTeX RDF
38	Andrei Voronkov	On Completeness of Program Synthesis Systems.	CSL	1991	DBLP DOI BibTeX RDF
38	Harry B. Hunt III, Daniel J. Rosenkrantz	The Complexity of Testing Predicate Locks.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF
38	Charles G. Nelson, Derek C. Oppen	A Simplifier Based on Efficient Decision Algorithms.	POPL	1978	DBLP DOI BibTeX RDF
37	Miklós Ferenczi	On Conservative Extensions in Logics with Infinitary Predicates.	Stud Logica	2009	DBLP DOI BibTeX RDF	conservative extension, infinitary predicates, algebraic logic
37	Vahid Garakani, Sayyed Kamyar Izadi, Mostafa Haghjoo, Mohammad Harizi	Ntjfsatnot: a novel method for query with not-predicates on xml data.	CIKM	2007	DBLP DOI BibTeX RDF	dewey encoding, not-predicates, tjfast, twig joins, xml
37	Aleksandar Nanevski, Guy E. Blelloch, Robert Harper 0001	Automatic Generation of Staged Geometric Predicates.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	robust predicates, floating-point filters, exact arithmetic, computational geometry, program transformation
37	Vijay K. Garg, Brian Waldecker	Detection of Strong Unstable Predicates in Distributed Programs.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Unstable predicates, distributed algorithms, distributed debugging, predicate detection
36	Caetano Traina Jr., Agma J. M. Traina, Marcos R. Vieira, Adriano S. Arantes, Christos Faloutsos	Efficient processing of complex similarity queries in RDBMS through query rewriting.	CIKM	2006	DBLP DOI BibTeX RDF	similarity predicates, query rewriting
36	Samir Saad, Joe Tekli, Richard Chbeir, Kokou Yétongnon	Towards Multimedia Fragmentation.	ADBIS	2006	DBLP DOI BibTeX RDF	Multimedia fragmentation, Range and KNN operators, predicates implication, objects classification
36	Sebastian Fischer 0001	A functional logic database library.	WCFLP	2005	DBLP DOI BibTeX RDF	database library, dynamic predicates, curry, persistent storage
36	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
36	Benjamin Bell, Louis-François Pau	Contour Tracking and Corner Detection in a Logic Programming Environment.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	Prolog predicates, logic programming, computerised picture processing, computerised pattern recognition, computerised pattern recognition, unification, backtracking, corner detection, parameter selection, contour tracking, logic programming environment
33	José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad, Stephen H. Muggleton	An ILP System for Learning Head Output Connected Predicates.	EPIA	2009	DBLP DOI BibTeX RDF
33	Christoph Koch 0001	Approximating predicates and expressive queries on probabilistic databases.	PODS	2008	DBLP DOI BibTeX RDF	complexity, approximation, probabilistic databases, uncertain data
33	Decheng Ding, Klaus Weihrauch, Yongcheng Wu	Absolutely Non-effective Predicates and Functions in Computable Analysis.	TAMC	2007	DBLP DOI BibTeX RDF	measure, computability, representation, set, undecidability
33	Tiago Soares, Ricardo Rocha 0001, Michel Ferreira	Generic Cut Actions for External Prolog Predicates.	PADL	2006	DBLP DOI BibTeX RDF	Prolog Systems Implementation, External Modules, Pruning
33	Hong Chen, Xiaoling Wang, Aoying Zhou	Efficient Evaluation of Distance Predicates in XPath Full-Text Query.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
33	Alejandro Pauly, Markus Schneider 0001	Identifying topological predicates for vague spatial objects.	SAC	2005	DBLP DOI BibTeX RDF	VASA, cancellation rule, clustering rule, vague spatial data type, query language, three-valued logic
33	Zografoula Vagena, Nick Koudas, Divesh Srivastava, Vassilis J. Tsotras	Efficient Handling of Positional Predicates Within XML Query Processing.	XSym	2005	DBLP DOI BibTeX RDF
33	Enhua Jiao, Tok Wang Ling, Chee Yong Chan	PathStack : A Holistic Path Join Algorithm for Path Query with Not-Predicates on XML Data.	DASFAA	2005	DBLP DOI BibTeX RDF
33	Dong-Ho Lee, Dong-Joo Park	An Efficient Incremental Nearest Neighbor Algorithm for Processing k-Nearest Neighbor Queries with Visal and Semantic Predicates in Multimedia Information Retrieval System.	AIRS	2005	DBLP DOI BibTeX RDF
33	Surajit Chaudhuri, Venkatesh Ganti, Luis Gravano	Selectivity Estimation for String Predicates: Overcoming the Underestimation Problem.	ICDE	2004	DBLP DOI BibTeX RDF
33	Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang	Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates.	CAV	2003	DBLP DOI BibTeX RDF
33	Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman	Predicate Abstraction with Minimum Predicates.	CHARME	2003	DBLP DOI BibTeX RDF
33	Surajit Chaudhuri, Vivek R. Narasayya, Sunita Sarawagi	Efficient Evaluation of Queries with Mining Predicates.	ICDE	2002	DBLP DOI BibTeX RDF
33	Mikael Goldmann, Alexander Russell	Spectral Bounds on General Hard Core Predicates.	STACS	2000	DBLP DOI BibTeX RDF
33	Gautam Bhargava, Piyush Goel, Balakrishna R. Iyer	Hypergraph Based Reorderings of Outer Join Queries with Complex Predicates.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF	SQL
33	Henrik Boström	Specialization of Recursive Predicates.	ECML	1995	DBLP DOI BibTeX RDF
33	Surajit Chaudhuri	Finding Nonrecursive Envelopes for Datalog Predicates.	PODS	1993	DBLP DOI BibTeX RDF	Datalog
33	François Fages	On the Semantics of Optimization Predicates in CLP Languages.	FSTTCS	1993	DBLP DOI BibTeX RDF
31	Guido Moerkotte, Thomas Neumann 0001	Faster Join Enumeration for Complex Queries.	ICDE	2008	DBLP DOI BibTeX RDF
31	Guido Moerkotte, Thomas Neumann 0001	Dynamic programming strikes back.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	complex joins, query optimization, hypergraphs