|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 199 occurrences of 125 keywords
|
|
|
Results
Found 224 publication records. Showing 224 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Gopal Gupta 0001 |
Software Engineering Track Chair's Message. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Joseph J. Sharkey, Kanad Ghose, Dmitry V. Ponomarev, Oguz Ergin |
Power-Efficient Wakeup Tag Broadcast. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Javier Álvez, Paqui Lucio |
An Algorithm for Local Variable Elimination in Normal Logic Programs. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi |
Algorithms and Complexity Results for #SAT and Bayesian Inference. |
FOCS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet |
SBSAT: a State-Based, BDD-Based Satisfiability Solver. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Youtao Zhang, Jun Yang 0002 |
Low cost instruction cache designs for tag comparison elimination. |
ISLPED |
2003 |
DBLP DOI BibTeX RDF |
low-power instruction cache, tag comparison elimination |
15 | Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi |
An efficient profile-analysis framework for data-layout optimizations. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Brigitte Pientka |
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang |
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
multi agent systems, planning |
15 | Thom W. Frühwirth, Slim Abdennadher |
Tutorial: Reasoning with, about and for Constraint Handling Rules. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang |
Planning in a multi-agent environment: theory and practice. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
agent selection and planning, agent architectures, formalisms and logics |
15 | Dmitri A. Dolgov, Edmund H. Durfee |
Satisficing strategies for resource-limited policy search in dynamic environments. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
|
15 | J Strother Moore |
Rewriting for Symbolic Execution of State Machine Models. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
microprocessor simulation, pipelined machine, verification, theorem proving, Hardware modeling |
15 | Laurent Daynès, Grzegorz Czajkowski |
High-Performance, Space-Efficient, Automated Object Locking. |
ICDE |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Éric Villemonte de la Clergerie |
Natural Language Tabular Parsing. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Yanhong A. Liu, Scott D. Stoller |
Dynamic Programming via Static Incrementalization. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook |
A New, Simpler Linear-Time Dominators Algorithm. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
flowgraphs, microtrees, path compression, compilers, dominators |
15 | Sergio Antoy, Zena M. Ariola |
Narrowing the Narrowing Space. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Narrowing space, Computed expression, Regular computed expression, Finite representation, Narrowing, Functional logic programming |
15 | Andrew Fetterer, Shashi Shekhar |
A Performance Analysis of Hierarchical Shortest Path Algorithms. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
hierarchical shortest path algorithms, Advanced Traveler Information Systems, boundary graph, fragment graphs, fully memoized hierarchical routing algorithm, shortest-path data structure, real graph, storage overhead, Twin Cities metropolitan road-map, performance analysis, computer networks, computation time, metropolitan area networks |
15 | David Sands |
Total Correctness by Local Improvement in the Transformation of Functional Programs. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
operational equivalence, unfold-fold, program transformation, correctness, improvement |
15 | David A. Schmidt |
Abstract Interpretation of Small-Step Semantics. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
15 | David Sands 0001 |
Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996)) |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Georges Gardarin, Fernando Machuca, Philippe Pucheral |
OFL: A Functional Execution Model for Object Query Languages. |
SIGMOD Conference |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Richard J. Fateman |
Lookup Tables, Recurrences and Complexity. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #224 of 224 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|