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