Stem queue$ (all stems)

100 papers:

PLDI-2015-KoBS #named

LaminarIR: compile-time queues for structured streams (YK, BB, BS), pp. 121–130.

CIAA-J-2013-KutribMMPW15 #automaton #decidability #finite #queue

Deterministic input-driven queue automata: Finite turns, decidability, and closure properties (MK, AM, CM, BP, MW), pp. 58–71.

CAiSE-2015-SenderovichWGMK #network #process #validation

Discovery and Validation of Queueing Networks in Scheduled Processes (AS, MW, AG, AM, SK, CAB), pp. 417–433.

PPoPP-2015-0003GTT #queue

The lock-free k-LSM relaxed priority queue (MW, JG, JLT, PT), pp. 277–278.

PPoPP-2015-AlistarhKLS #queue #scalability

The SprayList: a scalable relaxed priority queue (DA, JK, JL, NS), pp. 11–20.

CASE-2014-Wu #classification

Classifications for batch service queues in production systems (KW), pp. 698–703.

CAiSE-2014-SenderovichWGM #mining #predict #process #queue

Queue Mining — Predicting Delays in Service Processes (AS, MW, AG, AM), pp. 42–57.

PODS-2013-Kejlberg-RasmussenTTTY

I/O-efficient planar range skyline and attrition priority queues (CKR, YT, KT, KT, JY), pp. 103–114.

CIAA-2013-KutribMMPW #automaton #decidability #finite #queue

Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties (MK, AM, CM, BP, MW), pp. 232–243.

PPoPP-2013-MorrisonA #concurrent #performance

Fast concurrent queues for x86 processors (AM, YA), pp. 103–112.

CASE-2012-TanWL #queue

Improving patient flow in emergency department through dynamic priority queue (KWT, CW, HCL), pp. 125–130.

FLOPS-2012-Bouma #declarative #logic #persistent #realtime

Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) (GB), pp. 62–72.

PPoPP-2012-LiuS #queue

A lock-free, array-based priority queue (YL, MFS), pp. 323–324.

HPCA-2011-CarreteroVARMG #hardware #process #using

Hardware/software-based diagnosis of load-store queues using expandable activity logs (JC, XV, JA, TR, MM, AG), pp. 321–331.

HPCA-2011-LeeTST #fine-grained #multi #named #thread

HAQu: Hardware-accelerated queueing for fine-grained threading on a chip multiprocessor (SL, DT, YS, JT), pp. 99–110.

PPoPP-2011-KoganP #multi

Wait-free queues with multiple enqueuers and dequeuers (AK, EP), pp. 223–234.

ICEIS-DISI-2010-BohmHL #clustering #multi #optimisation #queue

Multi-process Optimization Via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 5–14.

ICEIS-ISAS-2010-GradlMWK #enterprise #modelling #network #process #using

Modeling ERP Business Processes using Layered Queueing Networks (SG, MM, HW, HK), pp. 255–260.

ICEIS-J-2010-BohmHL10a #clustering #multi #optimisation #queue

Multi-flow Optimization via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 31–47.

KEOD-2010-Martinez-VillasenorGGH #multi #ontology #queue

An Ontology Driven Multi-agent System for Client Assignment in a Bank Queue (MdLMV, DGM, MGM, NHG), pp. 241–250.

CASE-2009-HeraguCKM #analysis #network #retrieval

Analysis of autonomous vehicle storage and retrieval system by open queueing network (SSH, XC, AK, CJM), pp. 455–459.

ICPC-2009-KarumuriR #automation #detection

Automatic detection of internal queues and stages in message processing systems (SK, SPR), pp. 315–316.

ICALP-v2-2009-Mosk-AoyamaR #analysis #performance #worst-case

Worst-Case Efficiency Analysis of Queueing Disciplines (DMA, TR), pp. 546–557.

QAPL-2009-Aissani #queue

An MX/G/1 Energetic Retrial Queue with Vacations and it’s Control (AA), pp. 33–44.

HPDC-2009-SonmezYIE #evaluation #predict #queue #runtime

Trace-based evaluation of job runtime and queue wait time predictions in grids (OOS, NY, AI, DHJE), pp. 111–120.

ASE-2008-Hall #modelling #queue #realtime #specification #using #validation

Validating Real Time Specifications using Real Time Event Queue Modeling (RJH), pp. 79–88.

DATE-2008-KM #design #process #queue

Process Variation Aware Issue Queue Design (RK, MM), pp. 1438–1443.

TACAS-2008-TorreMP #analysis #bound #concurrent #queue

Context-Bounded Analysis of Concurrent Queue Systems (SLT, PM, GP), pp. 299–314.

CIAA-2008-PaunPR #question

Hopcroft’s Minimization Technique: Queues or Stacks? (AP, MP, ARP), pp. 78–91.

AdaEurope-2008-Evequoz #concurrent #performance #using #word

Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives (CE), pp. 59–72.

ICPR-2008-NaturelO #approach #detection #statistics

Detecting queues at vending machines: A statistical layered approach (XN, JMO), pp. 1–4.

SAC-2008-TsaiHC #design #power management #queue #scalability

Power-efficient and scalable load/store queue design via address compression (YYT, CJH, CHC), pp. 1523–1527.

HPDC-2008-NurmiWB #named

VARQ: virtual advance reservations for queues (DN, RW, JB), pp. 75–86.

PPoPP-2008-GiacomoniMV #concurrent #parallel #performance #pipes and filters #queue

FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue (JG, TM, MV), pp. 43–52.

WICSA-2007-Apte #analysis #distributed #performance

Performance Analysis of Distributed Software Systems: Approaches Based on Queueing Theory (VA), p. 39.

CASE-2007-SchmidtR #queue

Queue time and x-factor characteristics for semiconductor manufacturing with small lot sizes (KS, OR), pp. 1069–1074.

CASE-2007-WuMZ #standard

Compatibility of Queueing Theory, Manufacturing Systems and SEMI Standards (KW, LFM, BZ), pp. 501–506.

ITiCSE-2007-Arnold #interactive #learning #logic

Introducing propositional logic and queueing theory with the infotraffic interactive learning environments (RA), p. 356.

ICALP-2007-ChuKM #correctness

Checking and Spot-Checking the Correctness of Priority Queues (MC, SK, AM), pp. 728–739.

SFM-2007-BalsamoM #network

Queueing Networks (SB, AM), pp. 34–82.

QAPL-2007-Argent-KatwalaB #behaviour #network

PEPA Queues: Capturing Customer Behaviour in Queueing Networks (AAK, JTB), pp. 3–25.

HPDC-2007-HackerM #queue #reliability #using

Using queue structures to improve job reliability (TJH, ZM), pp. 43–54.

DAC-2006-StojanovicBDW #effectiveness #implementation #queue

A cost-effective implementation of an ECC-protected instruction queue for out-of-order microprocessors (VS, RIB, JD, RW), pp. 705–708.

ICPR-v1-2006-LinCW #detection #multi #queue #realtime

A Real-Time Multiple-Vehicle Detection and Tracking System with Prior Occlusion Detection and Resolution, and Prior Queue Detection and Resolution (SPL, YHC, BFW), pp. 828–831.

PPoPP-2006-SchererLS #scalability

Scalable synchronous queues (WNSI, DL, MLS), pp. 147–156.

CASE-2005-JainR #analysis #modelling #using

Analysis of base-stock controlled production-inventory system using discrete-time queueing models (SJ, NRSR), pp. 37–42.

DATE-2005-PapaefstathiouOKKMN #network #queue

Queue Management in Network Processors (IP, TO, GK, CK, IM, AN), pp. 112–117.

CIAA-2005-AnselmoM #2d #automaton #queue #simulation

Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata (MA, MM), pp. 43–53.

SEFM-2005-NivelleP #verification

Verification of an Off-Line Checker for Priority Queues (HdN, RP), pp. 210–219.

SAC-2005-Casale #analysis #mining #network #performance #web

Combining queueing networks and web usage mining techniques for web performance analysis (GC), pp. 1699–1703.

SAC-2005-QuagliaR #coordination #persistent #reliability

Reliability in three-tier systems without application server coordination and persistent message queues (FQ, PR), pp. 718–723.

HPCA-2005-JaleelJ #memory management #using

Using Virtual Load/Store Queues (VLSQs) to Reduce the Negative Effects of Reordered Memory Instructions (AJ, BLJ), pp. 191–200.

HPCA-2005-JonesOAG #queue #reduction

Software Directed Issue Queue Power Reduction (TMJ, MFPO, JA, AG), pp. 144–153.

ITiCSE-2004-Sher #implementation #queue

A simple implementation of a queue with a circularly linked list (DBS), p. 274.

HPCA-2004-AbellaG #distributed #queue

Low-Complexity Distributed Issue Queue (JA, AG), pp. 73–83.

TestCom-2004-HuoP #on the #testing

On Testing Partially Specified IOTS through Lossless Queues (JH, AP), pp. 76–94.

DAC-2003-KornarosPNZ #memory management #multi #optimisation #programmable #queue

A fully-programmable memory management system optimizing queue handling at multi-gigabit rates (GK, IP, AN, NZ), pp. 54–59.

DAC-2003-MoreshetB #design #power management #queue

Power-aware issue queue design for speculative instructions (TM, RIB), pp. 634–637.

STOC-2003-AzarR #multi #network

Management of multi-queue switches in QoS networks (YA, YR), pp. 82–89.

STOC-2003-Thorup #constant #integer #problem

Integer priority queues with decrease key in constant time and the single source shortest paths problem (MT), pp. 149–158.

ICALP-2003-RybinaV #bound #formal method

Upper Bounds for a Theory of Queues (TR, AV), pp. 714–724.

CIKM-2003-JiangC #analysis #data type #relational

Queueing analysis of relational operators for continuous data streams (QJ, SC), pp. 271–278.

HPDC-2003-KlebanC #queue

Quelling Queue Storms (SDK, SHC), pp. 162–173.

DAC-2002-Ykman-CouvreurLVCNK #memory management #network #optimisation #performance

System-level performance optimization of the data queueing memory management in high-speed network processors (CYC, JL, DV, FC, AN, GEK), pp. 518–523.

STOC-2002-ArgeBDHM #algorithm #graph #queue

Cache-oblivious priority queue and graph algorithm applications (LA, MAB, EDD, BHM, JIM), pp. 268–276.

CIAA-J-2000-Ibarra02 #multi #verification

Verification in Queue-Connected Multicounter Machines (OHI), pp. 115–127.

ICALP-2002-Elmasry #adaptation #sorting

Priority Queues, Pairing, and Adaptive Sorting (AE), pp. 183–194.

CSMR-2001-PentaCAM #maintenance #modelling #queue #web

Modeling Web Maintenance Centers through Queue Models (MDP, GC, GA, EM), pp. 131–138.

ICSM-2001-AntoniolCLPR #approach #maintenance #queue

A Queue Theory-Based Approach to Staff Software Maintenance Centers (GA, GC, GADL, MDP, FR), pp. 510–519.

ICALP-2001-AbdullaBB #effectiveness #queue

Effective Lossy Queue Languages (PAA, LB, AB), pp. 639–651.

ICFP-2001-Hinze #implementation

A Simple Implementation Technique for Priority Search Queues (RH), pp. 110–121.

EDOC-2001-LiuKL #enterprise #modelling

Layered Queueing Models for Enterprise JavaBean Applications (TKL, SK, ZL), pp. 174–178.

ICEIS-v1-2001-DamnjanovicRSOPR #case study #data flow #integration

Integration of Different Data Sources and Message Queueing System in Postnet-Case Studies (DD, ZR, MS, PO, BP, MR), pp. 279–282.

PPoPP-2001-ScottS #scalability

Scalable queue-based spin locks with timeout (MLS, WNSI), pp. 44–52.

STOC-2000-AnderssonT #bound #worst-case

Tight(er) worst-case bounds on dynamic searching and priority queues (AA, MT), pp. 335–342.

CIAA-2000-Ibarra #queue #reachability #safety

Reachability and Safety in Queue Systems (OHI), pp. 145–156.

LICS-2000-RybinaV #algebra

A Decision Procedure for Term Algebras with Queues (TR, AV), pp. 279–290.

STOC-1999-Gamarnik #adaptation #network #policy

Stability of Adaptive and Non-Adaptive Packet Routing Policies in Adversarial Queueing Networks (DG), pp. 206–214.

HPCA-1999-FalsafiW #abstraction #communication #parallel #programming #protocol #queue

Parallel Dispatch Queue: A Queue-Based Programming Abstraction to Parallelize Fine-Grain Communication Protocols (BF, DAW), pp. 182–192.

ICALP-1998-PetersenR #performance #queue #simulation

Efficient Simulations by Queue Machines (HP, JMR), pp. 884–895.

ICFP-1997-Okasaki

Catenable Double-Ended Queues (CO), pp. 66–74.

STOC-1996-BorodinKRSW

Adversarial Queueing Theory (AB, JMK, PR, MS, DPW), pp. 376–385.

ICPR-1996-FurukawaIU #image #multi #queue

Active tubes in multiscale image queue (RF, MI, TU), pp. 488–492.

LICS-1996-GodefroidL #protocol #queue #verification

Symbolic Protocol Verification With Queue BDDs (PG, DEL), pp. 198–206.

HPCA-1995-Weiss #implementation #multi #queue

Implementing Register Interlocks in Parallel-Pipeline Multiple Instruction Queue, Superscalar Processors (SW), pp. 14–21.

VLDB-1993-CeriW #persistent #semantics

Managing Semantic Heterogeneity with Production Rules and Persistent Queues (SC, JW), pp. 108–119.

HPDC-1993-MaR #composition #multi #named #queue

MULTIPAR: An Output Queue ATM Modular Switch with Multiple Phases and Replicated Planes (JM, KR), pp. 152–159.

STOC-1992-MaggsS #algorithm #bound #network

Simple Algorithms for Routing on Butterfly Networks with Bounded Queues (Extended Abstract) (BMM, RKS), pp. 150–161.

DAC-1991-AmonB91a #case study #synthesis

Sizing Synchronization Queues: A Case Study in Higher Level Synthesis (TA, GB), pp. 690–693.

PODS-1991-Garcia-MolinaS #nondeterminism #queue

Non-Deterministic Queue Operations (HGM, KS), pp. 53–62.

SIGMOD-1990-BernsteinHM #implementation #using

Implementing Recoverable Requests Using Queues (PAB, MH, BM), pp. 112–122.

PODS-1988-Kelter #concurrent #protocol #queue

The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol (UK), pp. 142–151.

ESOP-1986-TanakaK #compilation #concurrent #prolog #queue

Compiling Extended Concurrent Prolog — Single Queue Compilation (JT, MK), pp. 301–314.

LFP-1984-GabrielM #lisp #multi

Queue-based Multi-processing Lisp (RPG, JM), pp. 25–44.

ICALP-1981-ItaiKR #implementation

A Sparse Table Implementation of Priority Queues (AI, AGK, MR), pp. 417–431.

STOC-1979-Kosaraju79aa #realtime #simulation

Real-Time Simulation of Concatenable Double-Ended Queues by Double-Ended Queues (Preliminary Version) (SRK), pp. 346–351.

STOC-1977-Brown #complexity #maintenance #queue

The Complexity of Priority Queue Maintenance (MRB), pp. 42–48.

STOC-1973-Pratt #parallel #permutation

Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues (VRP), pp. 268–277.

DAC-1972-ChandyKB #automation #design #evaluation #interactive #modelling #network

Design automation and queueing networks: An interactive system for the evaluation of computer queueing models (KMC, TWK, JCB), pp. 357–367.

SOSP-1971-Baskett #dependence #scheduling

The Dependence of Computer System Queues upon Processing Time Distribution and Central Processor Scheduling (FB), pp. 109–113.