Stem poli$ (all stems)

25 papers:

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

ASPLOS-2015-MullapudiVB #automation #image #named #optimisation #pipes and filters

PolyMage: Automatic Optimization for Image Processing Pipelines (RTM, VV, UB), pp. 429–443.

STOC-2014-ArtemenkoS #generative #pseudo

Pseudorandom generators with optimal seed length for non-boolean poly-size circuits (SA, RS), pp. 99–108.

CGO-2013-JeonGT #named #performance #program analysis

Skadu: Efficient vector shadow memories for poly-scopic program analysis (DJ, SG, MBT), p. 12.

DAC-2011-BanY #layout #modelling #optimisation

Layout aware line-edge roughness modeling and poly optimization for leakage minimization (YB, JSY), pp. 447–452.

ESOP-2010-BaillotGM #functional #linear #logic

A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.

SFM-2008-Zavattaro #automaton #probability

A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.

PEPM-2007-OchoaP #partial evaluation

Poly-controlled partial evaluation in practice (CO, GP), pp. 164–173.

PPDP-2006-PueblaO #partial evaluation

Poly-controlled partial evaluation (GP, CO), pp. 261–271.

STOC-2005-Ben-SassonS #complexity #query

Simple PCPs with poly-log rate and query complexity (EBS, MS), pp. 266–275.

ICFP-2005-DantasWWW #aspect-oriented #functional #named #polymorphism #programming language

Poly_AML: a polymorphic aspect-oriented functional programming language (DSD, DW, GW, SW), pp. 306–319.

OOPSLA-2005-CuneiV #flexibility #framework #named

PolyD: a flexible dispatching framework (AC, JV), pp. 487–503.

AdaEurope-2004-VergnaudHPK #distributed #middleware #named #reliability

PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications (TV, JH, LP, FK), pp. 106–119.

IFL-2002-EllmenreichL #named #parallel #programming #refinement

PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines (NE, CL), pp. 118–133.

STOC-2001-KilianP #concurrent

Concurrent and resettable zero-knowledge in poly-loalgorithm rounds (JK, EP), pp. 560–569.

STOC-1998-HolmLT #algorithm

Poly-Logarithmic Deterministic Fully-Dynamic Algorithms for Connectivity, Minimum Spanning Tree, 2-Edge, and Biconnectivity (JH, KdL, MT), pp. 79–89.

CSL-1998-Makowsky #invariant

Invariant Definability and P/poly (JAM), pp. 142–158.

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

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

ECOOP-1995-BruceSG #named #object-oriented #polymorphism #type safety

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language (KBB, AS, RvG), pp. 27–51.

KDD-1994-Kiselev #functional #named #source code

PolyAnalyst — A Machine Discovery System Inferring Functional Programs (MVK), pp. 237–250.

TLCA-1993-LeivantM #λ-calculus

λ calculus characterizations of poly-time (DL, JYM), pp. 274–288.

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

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

STOC-1986-LuekerMR #difference #linear #programming

Linear Programming with Two Variables per Inequality in Poly-Log Time (Preliminary Version) (GSL, NM, VR), pp. 196–205.