Stem moor$ (all stems)

21 papers:

DATE-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.

DAC-2012-PalemA #exclamation #what

What to do about the end of Moore’s law, probably! (KVP, LA), pp. 924–929.

DATE-2012-CamposanoGGJ

Moore meets maxwell (RC, DG, SGT, VJ), pp. 1275–1276.

KDD-2012-Ma #information management #semantics

Semantic search and a new moore’s law effect in knowledge engineering (WYM), p. 586.

CIAA-2011-CastiglioneRS #algorithm #automaton #nondeterminism

Nondeterministic Moore Automata and Brzozowski’s Algorithm (GC, AR, MS), pp. 88–99.

ASPLOS-2010-Brewer

Technology for developing regions: Moore’s law is not enough (EAB), pp. 1–2.

ICST-2010-LodingP #automaton #generative #model checking #testing

Timed Moore Automata: Test Data Generation and Model Checking (HL, JP), pp. 449–458.

DAC-2009-CongNPJBGRRS #question

Moore’s Law: another casualty of the financial meltdown? (JC, NSN, RP, WHJ, JB, MG, RR, PR, HS), pp. 202–203.

ASE-2008-GibbsBSDC #automation #question

Living with the Law: Can Automation give us Moore with Less? (CG, JB, NS, MD, YC), pp. 395–398.

DAC-2008-Vucurevich #3d

3-D semiconductor’s: more from Moore (TV), p. 664.

ICPR-2008-Wang #algorithm #string

A new method to obtain the shift-table in Boyer-Moore’s string matching algorithm (YW), pp. 1–4.

DAC-2007-Hiller

There Is More Than Moore In Automotive ... (HH), p. 376.

DATE-2007-Furuyama #challenge #mobile #question

Keynote address: Challenges of digital consumer and mobile SoC’s: more Moore possible? (TF), p. 1.

DATE-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.

CIAA-2007-KleinB07a

Accelerating Boyer Moore Searches on Binary Texts (STK, MBN), pp. 130–143.

DAC-2004-RutenbarBMPPSW #question

Will Moore’s Law rule in the land of analog? (RAR, ARB, THYM, EP, RP, CS, JW), p. 633.

ILPS-1995-GiacobazziR #abstract interpretation #dependence #functional #semantics

Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics (RG, FR), pp. 321–335.

CSL-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.

CADE-1988-Kaufmann #interactive #proving #theorem proving

An Interactive Enhancement to the Boyer-Moore Theorem Prover (MK), pp. 735–736.

CADE-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.

ICALP-1978-Galil #algorithm #on the #string

On Improving the Worst Case Running Time of the Boyer-Moore String Matching Algorithm (ZG), pp. 241–250.