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:
lemma (8)
context (4)
free (4)
loop (3)
phase (3)

Stem pump$ (all stems)

22 papers:

DACDAC-2015-AsadJ #programming #using #verification
Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming (HuA, KDJ), p. 6.
HCIDHM-EH-2015-SinghWLMW #formal method #modelling #reasoning #requirements
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
DLTDLT-2014-Sorokin #context-free grammar
Pumping Lemma and Ogden Lemma for Displacement Context-Free Grammars (AS), pp. 154–165.
LATALATA-2014-Kalocinski #on the
On Computability and Learnability of the Pumping Lemma Function (DK), pp. 433–440.
HCIDUXU-ELAS-2014-KarlinPC #experience #learning #online #user interface
Pumping Up the Citizen Muscle Bootcamp: Improving User Experience in Online Learning (BK, BP, AC), pp. 562–573.
DATEDATE-2013-CanisAB #multi #reduction #synthesis
Multi-pumping for resource reduction in FPGA high-level synthesis (AC, JHA, SDB), pp. 194–197.
Pumping, Shrinking and Pronouns: From Context Free to Indexed Grammars (ES), pp. 516–522.
KDDKDD-2013-FeiKSNMH #detection #learning
Heat pump detection from coarse grained smart meter data with positive and unlabeled learning (HF, YK, SS, MRN, SKM, JH), pp. 1330–1338.
LICSLICS-2013-Kobayashi #type system
Pumping by Typing (NK0), pp. 398–407.
CASECASE-2012-YangHTLSL #automation #process
A vacuum-pumped microfluidic device for automated in-line mixing and focusing processes (ASY, HHH, LYT, PHL, TLS, CLL), pp. 109–114.
FMFM-2012-ZhaoZKL #approach #case study #hybrid #industrial
A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example (HZ, NZ, DK, KGL), pp. 471–485.
CASECASE-2011-LeonardoKKDS #monitoring #simulation
Simulation of a hydraulic pump application for monitoring and diagnosis methods (DL, SK, AKH, AD, RS), pp. 341–345.
CSLCSL-2011-Kartzow #automaton #graph
A Pumping Lemma for Collapsible Pushdown Graphs of Level 2 (AK), pp. 322–336.
ICALPICALP-v2-2010-ChambartS #problem
Pumping and Counting on the Regular Post Embedding Problem (PC, PS), pp. 64–75.
DLTDLT-2009-Kanazawa #context-free grammar #multi
The Pumping Lemma for Well-Nested Multiple Context-Free Languages (MK), pp. 312–325.
ITiCSEITiCSE-2005-Gal-EzerT #automaton #challenge #education
Challenges in teaching the pumping lemma in automata theory course (JGE, MBT), p. 369.
DATEDATE-2003-BurbidgeTR #automation #embedded #monitoring
Techniques for Automatic On Chip Closed Loop Transfer Function Monitoring For Embedded Charge Pump Phase Locked Loops (MJB, JT, AR), pp. 10496–10503.
FoSSaCSFoSSaCS-1998-Beauquier #automaton
Pumping Lemmas for Timed Automata (DB), pp. 81–94.
ICALPICALP-1994-CaronCCDJ #constraints
Pumping, Cleaning and Symbolic Constraints Solving (ACC, HC, JLC, MD, FJ), pp. 436–449.
ICALPICALP-1984-RestivoR #formal method #permutation
Cancellation, Pumping and Permutation in Formal Languages (AR, CR), pp. 414–422.
ICGTGG-1978-Kreowski #graph
A Pumping Lemma for Context-Free Graph Languages (HJK), pp. 270–283.
DACDAC-1970-Meles #design
Computer aided centrifugal pump design (MM), pp. 138–144.

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.