Search results for "predicate"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	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
93	Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami	Predicate-Based Dynamic Slicing of Message Passing Programs.	SCAM	2002	DBLP DOI BibTeX RDF	predicate slice, predicate trace, message passing, program comprehension, Program slicing
89	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
86	Todd D. Millstein, Christopher Frost 0001, Jason Ryder, Alessandro Warth	Expressive and modular predicate dispatch for Java.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	dynamic dispatch, Predicate dispatch, modular typechecking
86	Todd D. Millstein	Practical predicate dispatch.	OOPSLA	2004	DBLP DOI BibTeX RDF	dynamic dispatch, predicate dispatch, modular typechecking
80	Neeraj Mittal, Alper Sen 0001, Vijay K. Garg	Solving Computation Slicing Using Predicate Detection.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	program trace analysis, computation slicing, testing and debugging, predicate detection
74	Ribao Wei, Dingfeng Ye	Delegate predicate encryption and its application to anonymous authentication.	AsiaCCS	2009	DBLP DOI BibTeX RDF	predicate encryption, anonymous authentication
74	Emily Shen, Elaine Shi, Brent Waters	Predicate Privacy in Encryption Systems.	TCC	2009	DBLP DOI BibTeX RDF
68	Yun-Hong Lee, Albert Mo Kim Cheng	Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	real-time rule-based expert system, EQL, response time upper bound, predicate dependency list, optimization, timing analysis
68	Amir Pnueli	Ranking Abstraction as a Companion to Predicate Abstraction, .	ATVA	2005	DBLP DOI BibTeX RDF
62	Neeraj Mittal, Vijay K. Garg	Techniques and applications of computation slicing.	Distributed Comput.	2005	DBLP DOI BibTeX RDF	analyzing distributed computation, predicate control, global property evaluation, software fault tolerance, testing and debugging, predicate detection
62	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, Software model checking
62	Shay Artzi, Michael D. Ernst	Using predicate fields in a highly flexible industrial control system.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	experimental control system, predicate fields, structure, classifiers, predicates, user interface development
62	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	POPL	2005	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, software model checking
61	Thanaa M. Ghanem, Walid G. Aref, Ahmed K. Elmagarmid	Exploiting predicate-window semantics over data streams.	SIGMOD Rec.	2006	DBLP DOI BibTeX RDF
61	Thanaa M. Ghanem	Supporting Predicate-Window Queries in Data Stream Management Systems.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
61	Felix C. Gärtner, Stefan Pleisch	(Im)Possibilities of Predicate Detection in Crash-Affected Systems.	WSS	2001	DBLP DOI BibTeX RDF
61	Lex Bijlsma 0001, Rob Nederpelt	Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions.	Acta Informatica	1998	DBLP DOI BibTeX RDF
61	Craig Chambers	Predicate Classes.	ECOOP	1993	DBLP DOI BibTeX RDF
56	Chunbo Chu, Monica Brockmeyer	Predicate Detection Modality and Semantics in Three Partially Synchronous Models.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Semantics, Observability, Modality, Partial synchrony, Predicate detection
56	Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001	Locating faults through automated predicate switching.	ICSE	2006	DBLP DOI BibTeX RDF	predicate switching, automated debugging, dynamic slicing
56	Kuo-Chung Tai	Theory of Fault-Based Predicate Testing for Computer Programs.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	predicate testing, boolean operator faults, relational operator faults, off-by-$epsilon$ faults, Software testing, fault-based testing
55	Hon Fung Li, Juergen Rilling, Dhrubajyoti Goswami	Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	message passing, program comprehension, concurrent program, program slicing
55	Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi	Generalized Predicate Completion.	KBCS	1989	DBLP DOI BibTeX RDF
55	Yun-Hong Lee, Albert Mo Kim Cheng	Optimizing Real-Time Equational Rule-Based Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	EQL language, real-time rule-based systems, graphs, runtime optimization
55	Patrick Cousot, Radhia Cousot	Systematic Design of Program Analysis Frameworks.	POPL	1979	DBLP DOI BibTeX RDF
50	Joseph M. Hellerstein	Optimization Techniques for Queries with Expensive Methods.	ACM Trans. Database Syst.	1998	DBLP DOI BibTeX RDF	expensive methods, predicate migration, predicate placement, query optimization, extensibility, object-relational databases
50	Weihaw Chuang, Brad Calder	Predicate prediction for efficient out-of-order execution.	ICS	2003	DBLP DOI BibTeX RDF	predicate prediction, predicated execution
50	Xudong He, Weili Yao	Translating hierarchical predicate transition nets to CC++ program skeletons.	COMPSAC	1997	DBLP DOI BibTeX RDF	hierarchical predicate transition net translation, CC++ program skeletons, overall translation architecture, translation rules, transformational software development methodology, Petri nets, semantics, syntax, concurrent object-oriented programming
50	Patrick Coscas, Gilles Fouquier, Agnes Lanusse	Modelling actor programs using Predicate/Transition nets.	PDP	1995	DBLP DOI BibTeX RDF	actor programs, translation scheme, PRAL-M, PTN, visualizing, parallel programming, Petri nets, data structures, data structures, debugging, parallel machines, formalism, high-level Petri nets, concurrent computation, Predicate/Transition nets
50	Carlo Blundo, Vincenzo Iovino, Giuseppe Persiano	Private-Key Hidden Vector Encryption with Key Confidentiality.	CANS	2009	DBLP DOI BibTeX RDF	private-key predicate encryption, key confidentiality
50	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
50	Hanxiong Chen, Toshiro Ohno, Nobuo Ohbo	Processing Queries with Expensive Predicates by Filtering.	COMPSAC	1999	DBLP DOI BibTeX RDF	Expensive predicate, Query processing, Filtering
50	Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal	Efficient Distributed Detection of Conjunctions of Local Predicates.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	on-the-fly global predicate detection, Distributed systems
49	Shuvendu K. Lahiri, Randal E. Bryant	Indexed Predicate Discovery for Unbounded System Verification.	CAV	2004	DBLP DOI BibTeX RDF
49	Mikhail Smelyanskiy, Scott A. Mahlke, Edward S. Davidson	Probabilistic Predicate-Aware Modulo Scheduling.	CGO	2004	DBLP DOI BibTeX RDF
49	Beth Simon, Brad Calder, Jeanne Ferrante	Incorporating Predicate Information into Branch Predictors.	HPCA	2003	DBLP DOI BibTeX RDF
49	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang	SAT Based Predicate Abstraction for Hardware Verification.	SAT	2003	DBLP DOI BibTeX RDF
49	Hans Jürgen Ohlbach	SCAN - Elimination of Predicate Quantifiers.	CADE	1996	DBLP DOI BibTeX RDF
49	Neeraj Mittal, Alper Sen 0001, Vijay K. Garg, Ranganath Atreya	Finding Satisfying Global States: All for One and One for All.	IPDPS	2004	DBLP DOI BibTeX RDF
49	Craig M. Chase, Vijay K. Garg	Efficient Detection of Restricted Classes of Global Predicates.	WDAG	1995	DBLP DOI BibTeX RDF
45	Markus Schneider 0001, Thomas Behr	Topological relationships between complex spatial objects.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	9-intersection model, complex spatial data type, proof-by-constraint-and-drawing, topological cluster predicate, topological constraint rule, topological predicate group, Topological predicate
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	Xudong He	A method for analyzing properties of hierarchical predicate transition nets.	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
44	David Lorge Parnas	Predicate Logic for Software Engineering.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	logical expressions, predicate expressions, software engineering, software engineering, formal logic, software documentation, predicate logic, tabular expressions, partial functions
44	Senlin Liang, Michael Kifer	Deriving predicate statistics in datalog.	PPDP	2010	DBLP DOI BibTeX RDF	argument dependency, derived predicate statistics, query optimization, cost estimate
44	Rajeev Alur, Thao Dang 0001, Franjo Ivancic	Predicate abstraction for reachability analysis of hybrid systems.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	hybrid systems, Reachability analysis, predicate abstraction
44	Jie Zuo, Changjie Tang, Tianqing Zhang	Mining Predicate Association Rule by Gene Expression Programming.	WAIM	2002	DBLP DOI BibTeX RDF	Predicate association rule, Fitness, Gene expression programming, Chromosome
44	Ralph-Johan Back, Joakim von Wright	Predicate Transformers and Higher Order Logic.	REX Workshop	1992	DBLP DOI BibTeX RDF	nondeterminism, higher order logic, state spaces, weakest preconditions, procedures, Stepwise refinement, predicate transformers, HOL, semantics of programming languages, total correctness
44	Markus Lindquist	Parameterized Reachability Trees for Predicate/Transition Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Petri nets, reachability analysis, Predicate/Transition nets, high level nets
43	Zhenwei Wang, Hui Li	Manufacturing-Oriented Discrete Process Modeling Approach Using the Predicate Logic.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
43	Songtao Xia, Ben Di Vito, César A. Muñoz	Predicate Abstraction of Programs with Non-linear Computation.	ATVA	2006	DBLP DOI BibTeX RDF
43	Harald Fecher, Michael Huth 0001	Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.	ATVA	2006	DBLP DOI BibTeX RDF
43	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Ranking Abstraction as Companion to Predicate Abstraction.	FORTE	2005	DBLP DOI BibTeX RDF
43	Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani	Automatic Predicate Abstraction of C Programs.	PLDI	2001	DBLP DOI BibTeX RDF	C
43	Michael D. Ernst, Craig S. Kaplan, Craig Chambers	Predicate Dispatching: A Unified Theory of Dispatch.	ECOOP	1998	DBLP DOI BibTeX RDF
43	Irene Stahl	On the Utility of Predicate Invention in Inductive Logic Programming.	ECML	1994	DBLP DOI BibTeX RDF
38	Loon-Been Chen, I-Chen Wu	An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Conjunctive predicate, distributed system, distributed debugging, global predicate detection
38	Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa	Automated Test Data Generation Using an Iterative Relaxation Method.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	dynamic test data generation, input dependency set, predicate residuals, predicate sliccs, path testing, relaxation methods
38	Ernst Zimmermann	Predicate Logical Extensions of some Subintuitionistic Logics.	Stud Logica	2009	DBLP DOI BibTeX RDF	(sub)intuitionistic logic, predicate logic, Kripke semantics
38	Alain-Pierre Manine	Learning the ontological theory of an information extraction system in the multi-predicate ILP setting.	SAC	2009	DBLP DOI BibTeX RDF	genic interactions, multiple predicate learning, ontology, information extraction, inductive logic programming
38	Dong Su, Kewei Lv	A New Hard-Core Predicate of Paillier's Trapdoor Function.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	Paillier’s trapdoor function, Hard-core Predicate, Most significant bit
38	Shuvendu K. Lahiri, Randal E. Bryant	Predicate abstraction with indexed predicates.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction
38	Deborah East, Miroslaw Truszczynski	Predicate-calculus-based logics for modeling and solving search problems.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic
38	Franco Montagna	On the predicate logics of continuous t-norm BL-algebras.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Predicate many-valued logics, T-norm semantics, Complexity
38	Raymond T. Boute	Functional declarative language design and predicate calculus: a practical approach.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics
38	Thomas Ball, Todd D. Millstein, Sriram K. Rajamani	Polymorphic predicate abstraction.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	polymorphism, Software model checking, predicate abstraction
38	Yaomin Fu, Peter Bodorik, Dawn N. Jutla	A Self-Managed Predicate-Based Cache.	CNSR	2005	DBLP DOI BibTeX RDF	Predicate Cache, Cache Evaluation, Distributed Systems, Storage Management
38	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	Word level predicate abstraction and refinement for verifying RTL verilog.	DAC	2005	DBLP DOI BibTeX RDF	SAT, predicate abstraction, verilog
38	Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer	Structural search for RTL with predicate learning.	DAC	2005	DBLP DOI BibTeX RDF	learning, satisfiability, interval arithmetic, predicate abstraction
38	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav	Predicate Abstraction of ANSI-C Programs Using SAT.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	ANSI-C, SAT, predicate abstraction
38	Dmitrij P. Skvortsov	On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees.	Stud Logica	2004	DBLP DOI BibTeX RDF	Intermediate predicate logics, recursive and finite axiomatizability, Kripke semantics
38	Mikhail Smelyanskiy, Scott A. Mahlke, Edward S. Davidson, Hsien-Hsin S. Lee	Predicate-Aware Scheduling: A Technique for Reducing Resource Constraints.	CGO	2003	DBLP DOI BibTeX RDF	predicate analysis, software pipelining, instruction scheduling, VLIW processor, resource utilization, predicated execution
38	Francis Alexandre, Khaled Bsaïes, Moussa Demba	Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.	LOPSTR	2003	DBLP DOI BibTeX RDF	Corrective predicate, implicative formulas, folding/unfolding rules, theorem proving, program synthesis, abduction
38	Ivan Kramosil	Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions.	Soft Comput.	2001	DBLP DOI BibTeX RDF	First-order predicate calculus, Standard semantics, Boolean-like semantics, Frequentistic semantics, Completeness theorems
38	J. Bradley	An Extended Owner-Coupled Set Data Model and Predicate Calculus for Database Management.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	Codasyl DBTG, DSL AlPHA, connection field, extended Bachman diagram, extended owner-coupled set data model, extended owner-coupled set predicate calculus, information bearing set name, owner-coupled set, static set, virtual set, functional dependency, dynamic set
37	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
37	Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav	Efficient Verification of Sequential and Concurrent C Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	concurrency, process algebra, software verification, predicate abstraction, abstraction refinement
37	Neeraj Mittal, Vijay K. Garg	Software Fault Tolerance of Distributed Programs Using Computation Slicing.	ICDCS	2003	DBLP DOI BibTeX RDF	pruning search-space, software-fault tolerance, testing and debugging, predicate detection, partial-order methods
37	Satyaki Das, David L. Dill	Counter-Example Based Predicate Discovery in Predicate Abstraction.	FMCAD	2002	DBLP DOI BibTeX RDF
37	Joe Hurd	Predicate Subtyping with Predicate Sets.	TPHOLs	2001	DBLP DOI BibTeX RDF
37	Jonathan Katz, Arkady Yerukhimovich	On Black-Box Constructions of Predicate Encryption from Trapdoor Permutations.	ASIACRYPT	2009	DBLP DOI BibTeX RDF
37	Shuvendu K. Lahiri, Shaz Qadeer	Complexity and Algorithms for Monomial and Clausal Predicate Abstraction.	CADE	2009	DBLP DOI BibTeX RDF
37	Hongtao Huang	Detection of Disjunctive Normal Form Predicate in Distributed Systems.	ICDCN	2008	DBLP DOI BibTeX RDF
37	Jonathan Katz, Amit Sahai, Brent Waters	Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
37	Eun-Young Kang 0001, Stephan Merz	Predicate diagrams for the verification of real-time systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF
37	Daniel Kroening, Natasha Sharygina	Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.	DATE	2007	DBLP DOI BibTeX RDF
37	Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita	Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction.	ATVA	2007	DBLP DOI BibTeX RDF
37	Jan Rauch	Definability of Association Rules in Predicate Calculus.	Foundations and Novel Approaches in Data Mining	2006	DBLP DOI BibTeX RDF
37	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.	CAV	2006	DBLP DOI BibTeX RDF
37	Tuangthong Wattarujeekrit, Nigel Collier	Exploring Predicate-Argument Relations for Named Entity Recognition in the Molecular Biology Domain.	Discovery Science	2005	DBLP DOI BibTeX RDF
37	David W. Binkley, Mark Harman	Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	software maintenance, program comprehension, program slicing, Dependence analysis
37	Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang	Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates.	CAV	2003	DBLP DOI BibTeX RDF
37	Li Shen 0007, Zhiying Wang 0003, Jianzhuang Lu	Predicate Analysis Based on Path Information.	APPT	2003	DBLP DOI BibTeX RDF
37	Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu	The Availability Semantics of Predicate Data Flow Diagram.	GCC (2)	2003	DBLP DOI BibTeX RDF
37	Xudong He	A Formal Definition of Hierarchical Predicate Transition Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
37	Harman van den Berg	Existential Graphs and Dynamic Predicate Logic.	ICCS	1995	DBLP DOI BibTeX RDF
37	Weidong Chen 0005, David Scott Warren	Compilation of Predicate Abstractions in Higher-Order Logic Programming.	PLILP	1991	DBLP DOI BibTeX RDF
37	Harry B. Hunt III, Daniel J. Rosenkrantz	The Complexity of Testing Predicate Locks.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF
37	Ken Kaneiwa, Philip H. P. Nguyen	Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring.	ISWC	2009	DBLP DOI BibTeX RDF