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:
program (6)
time (5)
log (5)
function (3)
optim (3)

Stem poli$ (all stems)

25 papers:

CHICHI-2015-PerelmanSRPDD #2d #3d #design #interactive
The Roly-Poly Mouse: Designing a Rolling Input Device Unifying 2D and 3D Interaction (GP, MS, MR, CP, MD, ED), pp. 327–336.
ASPLOSASPLOS-2015-MullapudiVB #automation #image #named #optimisation #pipes and filters
PolyMage: Automatic Optimization for Image Processing Pipelines (RTM, VV, UB), pp. 429–443.
STOCSTOC-2014-ArtemenkoS #generative #pseudo
Pseudorandom generators with optimal seed length for non-boolean poly-size circuits (SA, RS), pp. 99–108.
CGOCGO-2013-JeonGT #named #performance #program analysis
Skadu: Efficient vector shadow memories for poly-scopic program analysis (DJ, SG, MBT), p. 12.
DACDAC-2011-BanY #layout #modelling #optimisation
Layout aware line-edge roughness modeling and poly optimization for leakage minimization (YB, JSY), pp. 447–452.
ESOPESOP-2010-BaillotGM #functional #linear #logic
A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.
SFMSFM-2008-Zavattaro #automaton #probability
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.
PEPMPEPM-2007-OchoaP #partial evaluation
Poly-controlled partial evaluation in practice (CO, GP), pp. 164–173.
PPDPPPDP-2006-PueblaO #partial evaluation
Poly-controlled partial evaluation (GP, CO), pp. 261–271.
STOCSTOC-2005-Ben-SassonS #complexity #query
Simple PCPs with poly-log rate and query complexity (EBS, MS), pp. 266–275.
ICFPICFP-2005-DantasWWW #aspect-oriented #functional #named #polymorphism #programming language
PolyAML: a polymorphic aspect-oriented functional programming language (DSD, DW, GW, SW), pp. 306–319.
OOPSLAOOPSLA-2005-CuneiV #flexibility #framework #named
PolyD: a flexible dispatching framework (AC, JV), pp. 487–503.
AdaEuropeAdaEurope-2004-VergnaudHPK #distributed #middleware #named #reliability
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications (TV, JH, LP, FK), pp. 106–119.
IFLIFL-2002-EllmenreichL #named #parallel #programming #refinement
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines (NE, CL), pp. 118–133.
STOCSTOC-2001-KilianP #concurrent
Concurrent and resettable zero-knowledge in poly-loalgorithm rounds (JK, EP), pp. 560–569.
STOCSTOC-1998-HolmLT #algorithm
Poly-Logarithmic Deterministic Fully-Dynamic Algorithms for Connectivity, Minimum Spanning Tree, 2-Edge, and Biconnectivity (JH, KdL, MT), pp. 79–89.
CSLCSL-1998-Makowsky #invariant
Invariant Definability and P/poly (JAM), pp. 142–158.
TOOLSTOOLS-ASIA-1997-PasalaR #collaboration #constraints #design pattern #flexibility #mobile #named
PolyConstraints: A Design Pattern for Flexible Collaboration in Heterogeneous Mobile Environments (AP, DJR), pp. 166–175.
ICALPICALP-1995-NikoletseasRSY #graph #memory management #probability
Stochastic Graphs Have Short Memory: Fully Dynamic Connectivity in Poly-Log Expected Time (SEN, JHR, PGS, MY), pp. 159–170.
ECOOPECOOP-1995-BruceSG #named #object-oriented #polymorphism #type safety
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language (KBB, AS, RvG), pp. 27–51.
KDDKDD-1994-Kiselev #functional #named #source code
PolyAnalyst — A Machine Discovery System Inferring Functional Programs (MVK), pp. 237–250.
TLCATLCA-1993-LeivantM #λ-calculus
λ calculus characterizations of poly-time (DL, JYM), pp. 274–288.
STOCSTOC-1992-AjtaiM #algorithm #linear #programming
A Deterministic Poly(log log N)-Time N-Processor Algorithm for Linear Programming in Fixed Dimension (MA, NM), pp. 327–338.
AdaTRI-Ada-C-1992-Hermida #ada #anti #development #named
HEmut-PoliCaza: Introducing Ada in the University Through PC Anti-Virus Software Development (AH), pp. 148–156.
STOCSTOC-1986-LuekerMR #difference #linear #programming
Linear Programming with Two Variables per Inequality in Poly-Log Time (Preliminary Version) (GSL, NM, VR), pp. 196–205.

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.