BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
law (7)
boyer (5)
more (5)
algorithm (3)
will (2)

Stem moor$ (all stems)

21 papers:

DATEDATE-2014-HeinigDHMWHGBKR #integration
System integration — The bridge between More than Moore and More Moore (AH, MD, AH, FM, TW, KH, AG, RB, SK, JR), pp. 1–9.
DACDAC-2012-PalemA #exclamation #what
What to do about the end of Moore’s law, probably! (KVP, LA), pp. 924–929.
Moore meets maxwell (RC, DG, SGT, VJ), pp. 1275–1276.
KDDKDD-2012-Ma #information management #semantics
Semantic search and a new moore’s law effect in knowledge engineering (WYM), p. 586.
CIAACIAA-2011-CastiglioneRS #algorithm #automaton #nondeterminism
Nondeterministic Moore Automata and Brzozowski’s Algorithm (GC, AR, MS), pp. 88–99.
Technology for developing regions: Moore’s law is not enough (EAB), pp. 1–2.
ICSTICST-2010-LodingP #automaton #generative #model checking #testing
Timed Moore Automata: Test Data Generation and Model Checking (HL, JP), pp. 449–458.
DACDAC-2009-CongNPJBGRRS #question
Moore’s Law: another casualty of the financial meltdown? (JC, NSN, RP, WHJ, JB, MG, RR, PR, HS), pp. 202–203.
ASEASE-2008-GibbsBSDC #automation #question
Living with the Law: Can Automation give us Moore with Less? (CG, JB, NS, MD, YC), pp. 395–398.
DACDAC-2008-Vucurevich #3d
3-D semiconductor’s: more from Moore (TV), p. 664.
ICPRICPR-2008-Wang #algorithm #string
A new method to obtain the shift-table in Boyer-Moore’s string matching algorithm (YW), pp. 1–4.
There Is More Than Moore In Automotive ... (HH), p. 376.
DATEDATE-2007-Furuyama #challenge #mobile #question
Keynote address: Challenges of digital consumer and mobile SoC’s: more Moore possible? (TF), p. 1.
DATEDATE-2007-Naumann #design #evolution #question
Keynote address: Was Darwin wrong? Has design evolution stopped at the RTL level... or will software and custom processors (or system-level design) extend Moore’s law? (AN), p. 2.
Accelerating Boyer Moore Searches on Binary Texts (STK, MBN), pp. 130–143.
DACDAC-2004-RutenbarBMPPSW #question
Will Moore’s Law rule in the land of analog? (RAR, ARB, THYM, EP, RP, CS, JW), p. 633.
ICLPILPS-1995-GiacobazziR #abstract interpretation #dependence #functional #semantics
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics (RG, FR), pp. 321–335.
CSLCSL-1990-Stark #fixpoint #logic #on the
On the Existence of Fixpoints in Moore’s Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle (RFS), pp. 354–365.
CADECADE-1988-Kaufmann #interactive #proving #theorem proving
An Interactive Enhancement to the Boyer-Moore Theorem Prover (MK), pp. 735–736.
CADECADE-1980-Gloess #correctness #empirical #parsing #proving #theorem proving
An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions (PYG), pp. 154–169.
ICALPICALP-1978-Galil #algorithm #on the #string
On Improving the Worst Case Running Time of the Boyer-Moore String Matching Algorithm (ZG), pp. 241–250.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.