|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 5 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Rok Sosic, Jun Gu, Robert R. Johnson |
The Unison algorithm: fast evaluation of Boolean expressions.  |
ACM Trans. Design Autom. Electr. Syst.  |
1996 |
DBLP DOI BibTeX RDF |
Boolean differential, Boolean evaluation, Unison algorithm, Boolean expressions |
| 1 | Wolf Zimmermann, Axel Dold |
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksy Schubert |
The Complexity of beta-Reduction in Low Orders. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell H. Clifton |
A comparison of space requirements for short-circuit and full evaluation of Boolean expressions. |
ACM Southeast Regional Conference |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Masataka Sassa, Ikuo Nakata |
Time-Optimal Short-Circuit Evaluation of Boolean Expressions. |
Inf. Process. Lett. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip D. Laird |
Comment on: "An Optimal Evaluation of Boolean Expressions in an Online Query System". |
Commun. ACM |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehud Gudes, Anthony Hoffman |
A Note on: "An Optimal Evaluation of Boolean Expressions in an Online Query System". |
Commun. ACM |
1979 |
DBLP BibTeX RDF |
|
| 1 | Vojin M. Plavsic, Per-Erik Danielsson |
Sequential Evaluation of Boolean Functions. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
sequential evaluation, Boolean decision, data base search, evaluation of Boolean expressions, fast evaluation, hierarchical Boolean functions, multilevel Boolean functions, partial evaluation |
| 1 | Michael Z. Hanani |
An Optimal Evaluation of Boolean Expressions in an Online Query System. |
Commun. ACM |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Amnon Barak, Eliahu Shamir |
On the Parallel Evaluation of Boolean Expressions. |
SIAM J. Comput. |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Z. Hanani |
An Optimal Evaluation of Boolean Expressions in an On-Line Query System. |
GI Jahrestagung |
1976 |
DBLP BibTeX RDF |
|
| 1 | Franco P. Preparata, David E. Muller |
Efficient Parallel Evaluation of Boolean Expression. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
evaluation of Boolean expressions, computational complexity, parallel computation, combinational networks, Boolean expressions |
| 1 | Yuri Breitbart, Allen Reiter |
Algorithms for Fast Evaluation of Boolean Expressions. |
Acta Inf. |
1975 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")