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:
bound (58)
lower (16)
coupl (13)
integr (8)
time (7)

Stem tight$ (all stems)

100 papers:

PLDIPLDI-2015-0010ZTZ #bound #named
Light: replay via tightly bounded recording (PL, XZ, OT, YZ), pp. 55–64.
STOCSTOC-2015-HardtP #bound #learning
Tight Bounds for Learning a Mixture of Two Gaussians (MH, EP), pp. 753–760.
ICALPICALP-v1-2015-Curticapean #complexity #framework
Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity (RC), pp. 380–392.
ICALPICALP-v2-2015-GairingKK #bound #game studies
Tight Bounds for Cost-Sharing in Weighted Congestion Games (MG, KK, GK), pp. 626–637.
ICEISICEIS-v1-2015-FuD #graph #named #scalability #social
ROBE — Knitting a Tight Hub for Shortest Path Discovery in Large Social Graphs (LF, JD), pp. 97–107.
DATEDATE-2014-BurgioDMCB #clustering #hardware #programmable #scalability
A tightly-coupled hardware controller to improve scalability and programmability of shared-memory heterogeneous clusters (PB, RD, AM, PC, LB), pp. 1–4.
DATEDATE-2014-BurgioTCMB #clustering #embedded #hardware #memory management #parallel
Tightly-coupled hardware support to dynamic parallelism acceleration in embedded shared memory clusters (PB, GT, FC, AM, LB), pp. 1–6.
DATEDATE-2014-ZhaoL #bound
Empowering study of delay bound tightness with simulated annealing (XZ, ZL), pp. 1–6.
FMFM-2014-PonzioRAF #bound #performance
Efficient Tight Field Bounds Computation Based on Shape Predicates (PP, NR, NA, MFF), pp. 531–546.
DATEDATE-2013-BurgioTMB #clustering #fine-grained #memory management
Enabling fine-grained OpenMP tasking on tightly-coupled shared memory clusters (PB, GT, AM, LB), pp. 1504–1509.
DATEDATE-2013-JaninBCDEGLT #design
Designing tightly-coupled extension units for the STxP70 processor (YJ, VB, HC, TD, CE, OAG, VL, TT), pp. 1052–1053.
DATEDATE-2013-RahimiMBGB #clustering
Variation-tolerant OpenMP tasking on tightly-coupled processor clusters (AR, AM, PB, RKG, LB), pp. 541–546.
SIGMODSIGMOD-2013-WhangYYSKK #approach #named #parallel #using
ODYS: an approach to building a massively-parallel search engine using a DB-IR tightly-integrated parallel DBMS for higher-level functionality (KYW, TSY, YMY, IYS, HYK, IJK), pp. 313–324.
STOCSTOC-2013-AzarCKS #bound #online
Tight bounds for online vector bin packing (YA, IRC, SK, FBS), pp. 961–970.
ICALPICALP-v1-2013-AndoniNPW #bound #linear #sketching
Tight Lower Bound for Linear Sketches of Moments (AA, HLN, YP, YW), pp. 25–32.
CSCWCSCW-2013-BatemanGM #navigation #social #using
Social navigation for loosely-coupled information seeking in tightly-knit groups using webwear (SB, CG, GIM), pp. 955–966.
KDDKDD-2013-NarasimhanA #bound #named #optimisation
SVMpAUCtight: a new support vector method for optimizing partial AUC based on a tight convex upper bound (HN, SA), pp. 167–175.
ICSTICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability #testing
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.
STOCSTOC-2012-BansalBJK #trade-off
Tight time-space tradeoff for mutual exclusion (NB, VB, PJ, RK), pp. 971–982.
STOCSTOC-2012-BulanekKS #bound #online #problem
Tight lower bounds for the online labeling problem (JB, MK, MES), pp. 1185–1198.
STOCSTOC-2012-ChanP #analysis #bound #fourier #network
Tight bounds for monotone switching networks via fourier analysis (SMC, AP), pp. 495–504.
STOCSTOC-2012-GalHKPV #bound
Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates (AG, KAH, MK, PP, EV), pp. 479–494.
STOCSTOC-2012-GiakkoupisW #bound #random
A tight RMR lower bound for randomized mutual exclusion (GG, PW), pp. 983–1002.
STOCSTOC-2012-WoodruffZ #bound #distributed #functional #monitoring
Tight bounds for distributed functional monitoring (DPW, QZ), pp. 941–960.
ICALPICALP-v1-2012-Marx #bound #multi
A Tight Lower Bound for Planar Multiway Cut with Fixed Number of Terminals (DM), pp. 677–688.
SACSAC-2012-OliveiraCS #bound #on the #using
On using adversary simulators to obtain tight lower bounds for response times (RSdO, AC, RAS), pp. 1573–1579.
DATEDATE-2011-AndalamRG #analysis #source code
Pruning infeasible paths for tight WCRT analysis of synchronous programs (SA, PSR, AG), pp. 204–209.
PODSPODS-2011-JowhariST #bound #problem
Tight bounds for Lp samplers, finding duplicates in streams, and related problems (HJ, MS, GT), pp. 49–58.
STOCSTOC-2011-AdamaszekCER #bound #order
Almost tight bounds for reordering buffer management (AA, AC, ME, HR), pp. 607–616.
STOCSTOC-2011-LenzenW #bound #parallel #random
Tight bounds for parallel randomized load balancing: extended abstract (CL, RW), pp. 11–20.
ICALPICALP-v1-2011-AdlerKKLST #bound #graph
Tight Bounds for Linkages in Planar Graphs (IA, SGK, PKK, DL, SS, DMT), pp. 110–121.
CIKMCIKM-2011-IslamABR #experience #visual notation #web
Tightly coupling visual and linguistic features for enriching audio-based web browsing experience (MAI, FA, YB, IVR), pp. 2085–2088.
SIGIRSIGIR-2011-PolitzS #constraints #learning #rank
Learning to rank under tight budget constraints (CP, RS), pp. 1173–1174.
CSLCSL-2011-CaiZ #bound
Tight Upper Bounds for Streett and Parity Complementation (YC, TZ), pp. 112–128.
VMCAIVMCAI-2011-OhBY #locality
Access Analysis-Based Tight Localization of Abstract Memories (HO, LB, KY), pp. 356–370.
STOCSTOC-2010-ChierichettiLP #bound
Almost tight bounds for rumour spreading with conductance (FC, SL, AP), pp. 399–408.
STOCSTOC-2010-VerbinZ #bound #memory management
The limits of buffering: a tight lower bound for dynamic membership in the external memory model (EV, QZ), pp. 447–456.
ICALPICALP-v1-2010-DietzfelbingerGMMPR #satisfiability
Tight Thresholds for Cuckoo Hashing via XORSAT (MD, AG, MM, AM, RP, MR), pp. 213–225.
ICMLICML-2010-SzitaS #bound #complexity #learning #modelling
Model-based reinforcement learning with nearly tight exploration complexity bounds (IS, CS), pp. 1031–1038.
ICSEICSE-2010-AschauerDP #evolution #industrial #interactive #modelling
A modeling language’s evolution driven by tight interaction between academia and industry (TA, GD, WP), pp. 49–58.
ICLPICLP-2010-PereiraP10 #logic programming #semantics #source code
Tight Semantics for Logic Programs (LMP, AMP), pp. 134–143.
STOCSTOC-2009-DietzfelbingerW #bound
Tight lower bounds for greedy routing in uniform small world rings (MD, PW), pp. 591–600.
DLTDLT-2009-GruberH #bound #complexity #regular expression
Tight Bounds on the Descriptional Complexity of Regular Expressions (HG, MH), pp. 276–287.
ICALPICALP-v1-2009-ElsasserS #bound #multi #random
Tight Bounds for the Cover Time of Multiple Random Walks (RE, TS), pp. 415–426.
ICALPICALP-v2-2009-ColcombetZ #automaton #bound
A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata (TC, KZ), pp. 151–162.
LICSLICS-2009-BokerK #automaton
Co-ing Büchi Made Tight and Useful (UB, OK), pp. 245–254.
STOCSTOC-2008-AttiyaHW #bound #problem
Tight rmr lower bounds for mutual exclusion and other problems (HA, DH, PW), pp. 217–226.
ICALPICALP-A-2008-GuhaM #bound #multi
Tight Lower Bounds for Multi-pass Stream Computation Via Pass Elimination (SG, AM), pp. 760–772.
CSCWCSCW-2008-StuckelG #distributed #interactive
The effects of local lag on tightly-coupled interaction in distributed groupware (DS, CG), pp. 447–456.
CSLCSL-2008-BeyersdorffM #bound
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic (OB, SM), pp. 199–214.
VMCAIVMCAI-2008-BagnaraHZ #algorithm #constraints #integer
An Improved Tight Closure Algorithm for Integer Octagonal Constraints (RB, PMH, EZ), pp. 8–21.
STOCSTOC-2007-AttiyaC #bound #random
Tight bounds for asynchronous randomized consensus (HA, KC), pp. 155–164.
STOCSTOC-2007-SchoenebeckTT
Tight integrality gaps for Lovasz-Schrijver LP relaxations of vertex cover and max cut (GS, LT, MT), pp. 302–310.
PPoPPPPoPP-2007-KejariwalTGLKBNVP #analysis #concurrent #cpu #performance #specification #thread #using
Tight analysis of the performance potential of thread speculation using spec CPU 2006 (AK, XT, MG, WL, SK, UB, AN, AVV, CDP), pp. 215–225.
SMTSMT-J-2006-GanaiTG07 #difference #encoding #integration #lazy evaluation #logic #named
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic (MKG, MT, AG), pp. 91–114.
ICLPICLP-2007-CaliL #logic programming #probability #semantics #source code #web
Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web (AC, TL), pp. 428–429.
PODSPODS-2006-GroheHS #bound #random #scalability #set
Randomized computations on large data sets: tight lower bounds (MG, AH, NS), pp. 243–252.
ITiCSEITiCSE-2006-Boetje #education #re-engineering
Foundational actions: teaching software engineering when time is tight (JB), pp. 285–288.
TACASTACAS-2006-GanaiTG #encoding #integration #lazy evaluation #logic #named
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver (MKG, MT, AG), pp. 135–150.
ICALPICALP-v1-2006-CaragiannisFKKM #bound
Tight Bounds for Selfish and Greedy Load Balancing (IC, MF, CK, PK, LM), pp. 311–322.
ICALPICALP-v1-2006-KortsarzN #algorithm #approximate #problem
Tight Approximation Algorithm for Connectivity Augmentation Problems (GK, ZN), pp. 443–452.
ICALPICALP-v2-2006-Pietrzak #bound
A Tight Bound for EMAC (KP), pp. 168–179.
KRKR-2006-Rosati #datalog #integration #logic
DL+log: Tight Integration of Description Logics and Disjunctive Datalog (RR), pp. 68–78.
ICALPICALP-2005-CzeizlerK #automaton #bound #linear
A Tight Linear Bound on the Neighborhood of Inverse Cellular Automata (EC, JK), pp. 410–420.
ICALPICALP-2005-DietzfelbingerW #constant
Balanced Allocation and Dictionaries with Tightly Packed Constant Size Bins (MD, CW), pp. 166–178.
ICALPICALP-2005-GroheKS #bound #memory management #query #streaming
Tight Lower Bounds for Query Processing on Streaming and External Memory Data (MG, CK, NS), pp. 1076–1088.
ICMLICML-2005-KaariainenL #bound #comparison #fault
A comparison of tight generalization error bounds (MK, JL), pp. 409–416.
DATEDATE-v2-2004-MeiVVL #architecture #case study #configuration management #design #matrix
Design Methodology for a Tightly Coupled VLIW/Reconfigurable Matrix Architecture: A Case Study (BM, SV, DV, RL), pp. 1224–1229.
SIGMODSIGMOD-2004-DillKSZ #integration #towards
Service-Oriented BI: Towards tight integration of business intelligence into operational applications (MD, AK, SS, TZ), p. 900.
STOCSTOC-2004-ChenKLRSV #bound #confluence #theorem
(Almost) tight bounds and existence theorems for confluent flows (JC, RDK, LL, RR, RS, AV), pp. 529–538.
CIAACIAA-2004-CampeanuP #automaton #bound #nondeterminism
Tight Bounds for NFA to DFCA Transformations for Binary Alphabets (CC, AP), pp. 306–307.
CHICHI-2004-GergleMKF #chat #matter #persistent
Persistence matters: making the most of chat in tightly-coupled work (DG, DRM, REK, SRF), pp. 431–438.
ICMLICML-2004-RuckertK #bound #learning #towards
Towards tight bounds for rule learning (UR, SK).
STOCSTOC-2003-FakcharoenpholRT #approximate #bound #metric
A tight bound on approximating arbitrary metrics by tree metrics (JF, SR, KT), pp. 448–455.
STOCSTOC-2003-FatourouFR #bound #implementation #multi
A tight time lower bound for space-optimal implementations of multi-writer snapshots (PF, FEF, ER), pp. 259–268.
ICALPICALP-2003-ChenKPSX #complexity #graph #problem
Genus Characterizes the Complexity of Graph Problems: Some Tight Results (JC, IAK, LP, ES, GX), pp. 845–856.
STOCSTOC-2002-DziembowskiM #bound #proving #security
Tight security proofs for the bounded-storage model (SD, UMM), pp. 341–350.
SATSAT-2002-FriezeW #named #satisfiability
k-SAT: A tight threshold for moderately growing k (AF, NW), p. 6.
STOCSTOC-2001-IckingM #3d #bound #complexity #diagrams #distance
A tight bound for the complexity of voroni diagrams under polyhedral convex distance functions in 3D (CI, LM), pp. 316–321.
STOCSTOC-2000-AnderssonT #bound #worst-case
Tight(er) worst-case bounds on dynamic searching and priority queues (AA, MT), pp. 335–342.
ICALPICALP-2000-AdlerFGP #bound
Tight Size Bounds for Packet Headers in Narrow Meshes (MA, FEF, LAG, MP), pp. 756–767.
ICALPICALP-1999-AndreevBCR #bound #branch #pseudo #set #source code
Small Pseudo-Random Sets Yield Hard Functions: New Tight Explict Lower Bounds for Branching Programs (AEA, JLB, AEFC, JDPR), pp. 179–189.
PODSPODS-1998-KoutsoupiasT #2d #bound
Tight Bounds for 2-Dimensional Indexing Schemes (EK, DST), pp. 52–58.
DLTDLT-1997-IwamaT #automaton #bound #nondeterminism
Tight Bounds on the Number of States of DFA’s That Are Equivalent to n-state NFA’s (KI, KT), pp. 147–154.
STOCSTOC-1996-Slavik #algorithm #analysis #set
A Tight Analysis of the Greedy Algorithm for Set Cover (PS), pp. 435–441.
KDDKDD-1996-AgrawalS #data mining #database #mining #relational
Developing Tightly-Coupled Data Mining Applications on a Relational Database System (RA, KS), pp. 287–290.
STOCSTOC-1995-AnderssonHP #array #bound
A tight lower bound for searching a sorted array (AA, JH, OP), pp. 417–426.
STOCSTOC-1995-GhoshLMMPRRTZ #algorithm #analysis
Tight analyses of two local load balancing algorithms (BG, FTL, BMM, SM, CGP, RR, AWR, RET, DZ), pp. 548–558.
ICALPICALP-1994-AumannBF #bound #cost analysis #fault #on the
On the Cost of Recomputing: Tight Bounds on Pebbling with Faults (YA, JBI, UF), pp. 47–58.
ICALPICALP-1994-Bonizzoni #bound
A Tight Lower Bound for Primitivity in k-Structures (PB), pp. 556–567.
CHICHI-1994-AhlbergS94c #query #visual notation
Visual information seeking: tight coupling of dynamic query filters with starfield displays (CA, BS), pp. 313–317.
KRKR-1994-BeekD #consistency #constraints
Constraint Tightness versus Global Consistency (PvB, RD), pp. 572–582.
ASPLOSASPLOS-1992-HenryJ #interface
A Tightly-Coupled Processor-Network Interface (DSH, CFJ), pp. 111–122.
PODSPODS-1991-JohnsonR #bound #consistency #protocol #replication
A Tight Upper Bound on the Benefits of Replication and Consistency Control Protocols (DBJ, LR), pp. 75–81.
STOCSTOC-1990-Frederickson #bound
The Information Theory Bound Is Tight for Selection in a Heap (GNF), pp. 26–33.
ICMLML-1989-Widmer #deduction #integration #learning
A Tight Integration of Deductive Learning (GW), pp. 11–13.
STOCSTOC-1986-LeightonS #algorithm #analysis #bound #grid
Tight Bounds for Minimax Grid Matching, With Applications to the Average Case Analysis of Algorithms (FTL, PWS), pp. 91–103.
ICLPSLP-1986-Gelder86 #logic programming #source code #using
Negation as Failure Using Tight Derivations for General Logic Programs (AVG), pp. 127–138.
STOCSTOC-1984-Leighton #bound #complexity #parallel #sorting
Tight Bounds on the Complexity of Parallel Sorting (FTL), pp. 71–80.
STOCSTOC-1982-Furer
The Tight Deterministic Time Hierarchy (MF), pp. 8–16.

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.