BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
generat (9)
time (7)
number (7)
test (6)
comput (5)

Stem prime$ (all stems)

50 papers:

CHICHI-2015-JokinenSPS #validation
Quick Affective Judgments: Validation of a Method for Primed Product Comparisons (JPPJ, JMS, PMHP, PS), pp. 2221–2230.
CHICHI-2015-LiOT #fault
Exploring the Effect of Pre-operational Priming Intervention on Number Entry Errors (KYL, PO, HWT), pp. 1335–1344.
CAiSECAiSE-2015-HarmanBJRK #elicitation #memory management #process
Virtual Business Role-Play: Leveraging Familiar Environments to Prime Stakeholder Memory During Process Elicitation (JH, RB, DJ, SRM, UK), pp. 166–180.
CADECADE-2015-EchenimPT #equation #generative #logic #quantifier
Quantifier-Free Equational Logic and Prime Implicate Generation (ME, NP, ST), pp. 311–325.
DACDAC-2014-RoyMIT #multi #performance
Tile Before Multiplication: An Efficient Strategy to Optimize DSP Multiplier for Accelerating Prime Field ECC for NIST Curves (DBR, DM, MI, JT), p. 6.
ICALPICALP-v1-2014-FouqueT #generative #random
Close to Uniform Prime Number Generation with Fewer Random Bits (PAF, MT), pp. 991–1002.
CHICHI-2014-ChenKH #game studies #health
“Healthifying” exergames: improving health outcomes through intentional priming (FXC, ACK, EBH), pp. 1855–1864.
ICPRICPR-2014-OskarssonAT #graph #multi #scalability
Prime Rigid Graphs and Multidimensional Scaling with Missing Data (MO, , AT), pp. 750–755.
ICTSSICTSS-2014-DwarakanathJ #test coverage
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria (AD, AJ), pp. 63–79.
IJCARIJCAR-2014-EchenimPT #equation #logic
A Rewriting Strategy to Generate Prime Implicates in Equational Logic (ME, NP, ST), pp. 137–151.
CHICHI-2013-HarrisonSFLC #visual notation
Influencing visual judgment through affective priming (LH, DS, SF, AL, RC), pp. 2949–2958.
HCIDUXU-CXC-2013-ValenteM #education #game studies
Teachers and Children Playing with Factorization: Putting Prime Slaughter to the Test (AV, EM), pp. 311–320.
HCIHCI-AMTE-2013-SteinhoffS #categorisation
Priming Categorization in a Card Sort (CS, JDS), pp. 265–272.
SIGIRSIGIR-2013-ScholerKWLW #assessment
The effect of threshold priming and need for cognition on relevance calibration and assessment (FS, DK, WCW, HSL, WW), pp. 623–632.
CHICHI-2011-LewisDG
Affective computational priming and creativity (SL, MD, EG), pp. 735–744.
SEKESEKE-2009-Fan #architecture #multi
A Recognition-primed Architecture for Human-centric Multi-agent Systems (XF), pp. 200–205.
CSLCSL-2008-Nguyen #proving #using
Proving Infinitude of Prime Numbers Using Binomial Coefficients (PN), pp. 184–198.
TACASTACAS-2006-KettleKS
Widening ROBDDs with Prime Implicants (NK, AK, TS), pp. 105–119.
DLTDLT-2006-HanSW #regular expression
Prime Decompositions of Regular Languages (YSH, KS, DW), pp. 145–155.
IJCARIJCAR-2006-GregoireT #composition #functional #library #scalability
A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers (BG, LT), pp. 423–437.
DACDAC-2005-JinS #performance
Prime clauses for fast enumeration of satisfying assignments to boolean circuits (HJ, FS), pp. 750–753.
CIAACIAA-2005-BastienCFR #equivalence #normalisation
Prime Normal Form and Equivalence of Simple Grammars (CB, JC, WF, WR), pp. 78–89.
ICALPICALP-2005-HanedaKT
Suitable Curves for Genus-4 HCC over Prime Fields: Point Counting Formulae for Hyperelliptic Curves of Type y2=x2k+1+ax (MH, MK, TT), pp. 539–550.
DATEDATE-DF-2004-Thiel #validation
Have I Really Met Timing? — Validating PrimeTime Timing Reports with Spice (TT), pp. 114–119.
SACSAC-J-2003-Paradkar04 #consistency #generative #interactive #modelling #self #testing #towards
Towards model-based generation of self-priming and self-checking conformance tests for interactive system (AMP), pp. 315–322.
HPCAHPCA-2004-KharbutliISL #using
Using Prime Numbers for Cache Indexing to Eliminate Conflict Misses (MK, KI, YS, JL), pp. 288–299.
SACSAC-2003-Paradkar #consistency #generative #interactive #modelling #self #testing #towards
Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems (AMP), pp. 1110–1117.
DACDAC-2002-CaoLCC #megamodelling #named #power management
HiPRIME: hierarchical and passivity reserved interconnect macromodeling engine for RLKC power delivery (YC, YML, THC, CCPC), pp. 379–384.
CIAACIAA-2002-CzyzowiczFPR
Prime Decompositions of Regular Prefix Codes (JC, WF, AP, WR), pp. 85–94.
DLTDLT-2002-UmeoK #automaton #communication #infinity #realtime #sequence
An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton (HU, NK), pp. 339–348.
STOCSTOC-1999-BussGIP #calculus #linear #polynomial
Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (SRB, DG, RI, TP), pp. 547–556.
CIKMCIKM-1999-ProllSRS #web
Ready for Prime Time: Pre-Generation of Web Pages in TIScover (BP, HS, WR, HS), pp. 63–68.
HPDCHPDC-1998-FryNS #approach #constant #distributed
Computing Twin Primes and Brun’s Constant: A Distributed Approach (PHF, JN, BKS), pp. 42–49.
DLTDLT-1997-CastelliGM
Indecomposable prefix codes and prime trees (MGC, DG, SM), pp. 135–145.
PPDPALP-1996-Marchiori96a #abstract domain #first-order #logic #using
Prime Factorizations of Abstract Domains Using First Order Logic (EM), pp. 209–223.
DLTDLT-1995-Lipponen #on the #problem
On F-Prime Solutions of the Post Correspondence Problem (ML), pp. 139–147.
DACDAC-1993-HamadaCC #approach #linear #named #network #using
Prime: A Timing-Driven Placement Tool using A Piecewise Linear Resistive Network Approach (TH, CKC, PMC), pp. 531–536.
DACDAC-1992-CoudertM #incremental
Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions (OC, JCM), pp. 36–39.
DACDAC-1992-LinCM #generative #multi
Symbolic Prime Generation for Multiple-Valued Functions (BL, OC, JCM), pp. 40–44.
CADECADE-1992-Jackson #incremental
Computing Prime Implicates Incrementally (PJ), pp. 253–267.
CADECADE-1990-JacksonP
Computing Prime Implicants (PJ, JP), pp. 543–557.
DACDAC-1989-McGeerB #logic #performance
Efficient Prime Factorization of Logic Expressions (PCM, RKB), pp. 221–225.
PODSPODS-1989-MannilaR #algorithm #normalisation #testing
Practical Algorithms for Finding Prime Attributes and Testing Normal Forms (HM, KJR), pp. 128–133.
STOCSTOC-1988-PintzSS #infinity #performance #testing
Two Infinite Sets of Primes with Fast Primality Tests (JP, WLS, ES), pp. 504–509.
STOCSTOC-1987-AdlemanH #polynomial #random
Recognizing Primes in Random Polynomial Time (LMA, MDAH), pp. 462–469.
DACDAC-1986-KuoC #generative #multi
Generating essential primes for a Boolean function with multiple-valued inputs (YSK, WKC), pp. 193–199.
STOCSTOC-1986-GoldwasserK
Almost All Primes Can Be Quickly Certified (SG, JK), pp. 316–329.
STOCSTOC-1984-Huang #algebra #finite
Factorization of Polynomials over Finite Fields and Factorization of Primes in Algebraic Number Fields (MDAH), pp. 175–182.
ICSEICSE-1982-Forman #analysis #composition #data flow
Global Data Flow Analysis by Decomposition into Primes (IRF), pp. 386–392.
POPLPOPL-1980-Tarjan #parsing
Prime Subprogram Parsing of a Program (RET), pp. 95–105.

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.