BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
queue
Google queue

Tag #queue

48 papers:

CASECASE-2019-BaeM #equivalence #recursion
Exit Time Recursions, Recording Principles, and Queue Equivalence in Generalized Regular Flow Lines (SYB, JRM), pp. 922–929.
CIAACIAA-2018-KutribMW #automaton #preprocessor
Boosting Pushdown and Queue Machines by Preprocessing (MK, AM, MW), pp. 28–40.
DLTDLT-2016-KuskeP #monad
The Trace Monoids in the Queue Monoid and in the Direct Product of Two Free Monoids (DK, OP), pp. 256–267.
CIAACIAA-J-2013-KutribMMPW15 #automaton #decidability #finite
Deterministic input-driven queue automata: Finite turns, decidability, and closure properties (MK, AM, CM, BP, MW), pp. 58–71.
PPoPPPPoPP-2015-0003GTT
The lock-free k-LSM relaxed priority queue (MW, JG, JLT, PT), pp. 277–278.
PPoPPPPoPP-2015-AlistarhKLS #scalability
The SprayList: a scalable relaxed priority queue (DA, JK, JL, NS), pp. 11–20.
CAiSECAiSE-2014-SenderovichWGM #mining #predict #process
Queue Mining — Predicting Delays in Service Processes (AS, MW, AG, AM), pp. 42–57.
CIAACIAA-2013-KutribMMPW #automaton #decidability #finite
Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties (MK, AM, CM, BP, MW), pp. 232–243.
CASECASE-2012-TanWL
Improving patient flow in emergency department through dynamic priority queue (KWT, CW, HCL), pp. 125–130.
PPoPPPPoPP-2012-LiuS
A lock-free, array-based priority queue (YL, MFS), pp. 323–324.
ICEISICEIS-DISI-2010-BohmHL #clustering #multi #optimisation
Multi-process Optimization Via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 5–14.
ICEISICEIS-J-2010-BohmHL10a #clustering #multi #optimisation
Multi-flow Optimization via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 31–47.
KEODKEOD-2010-Martinez-VillasenorGGH #multi #ontology
An Ontology Driven Multi-agent System for Client Assignment in a Bank Queue (MdLMV, DGM, MGM, NHG), pp. 241–250.
QAPLQAPL-2009-Aissani
An MX/G/1 Energetic Retrial Queue with Vacations and it’s Control (AA), pp. 33–44.
HPDCHPDC-2009-SonmezYIE #evaluation #predict #runtime
Trace-based evaluation of job runtime and queue wait time predictions in grids (OOS, NY, AI, DHJE), pp. 111–120.
ASEASE-2008-Hall #modelling #realtime #specification #using #validation
Validating Real Time Specifications using Real Time Event Queue Modeling (RJH), pp. 79–88.
SACSAC-2008-TsaiHC #design #power management #scalability
Power-efficient and scalable load/store queue design via address compression (YYT, CJH, CHC), pp. 1523–1527.
DATEDATE-2008-KM #design #process
Process Variation Aware Issue Queue Design (RK, MM), pp. 1438–1443.
PPoPPPPoPP-2008-GiacomoniMV #concurrent #parallel #performance #pipes and filters
FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue (JG, TM, MV), pp. 43–52.
TACASTACAS-2008-TorreMP #analysis #bound #concurrent
Context-Bounded Analysis of Concurrent Queue Systems (SLT, PM, GP), pp. 299–314.
CASECASE-2007-SchmidtR
Queue time and x-factor characteristics for semiconductor manufacturing with small lot sizes (KS, OR), pp. 1069–1074.
HPDCHPDC-2007-HackerM #reliability #using
Using queue structures to improve job reliability (TJH, ZM), pp. 43–54.
ICPRICPR-v1-2006-LinCW #detection #multi #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.
DACDAC-2006-StojanovicBDW #effectiveness #implementation
A cost-effective implementation of an ECC-protected instruction queue for out-of-order microprocessors (VS, RIB, JD, RW), pp. 705–708.
CIAACIAA-2005-AnselmoM #2d #automaton #simulation
Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata (MA, MM), pp. 43–53.
DATEDATE-2005-PapaefstathiouOKKMN #network
Queue Management in Network Processors (IP, TO, GK, CK, IM, AN), pp. 112–117.
HPCAHPCA-2005-JonesOAG #reduction
Software Directed Issue Queue Power Reduction (TMJ, MFPO, JA, AG), pp. 144–153.
ITiCSEITiCSE-2004-Sher #implementation
A simple implementation of a queue with a circularly linked list (DBS), p. 274.
HPCAHPCA-2004-AbellaG #distributed
Low-Complexity Distributed Issue Queue (JA, AG), pp. 73–83.
DACDAC-2003-KornarosPNZ #memory management #multi #optimisation #programmable
A fully-programmable memory management system optimizing queue handling at multi-gigabit rates (GK, IP, AN, NZ), pp. 54–59.
DACDAC-2003-MoreshetB #design #power management
Power-aware issue queue design for speculative instructions (TM, RIB), pp. 634–637.
HPDCHPDC-2003-KlebanC
Quelling Queue Storms (SDK, SHC), pp. 162–173.
PDPPDP-2003-HeLJ #approach #case study
A Case Study of a System Level Approach to Exploration of Queuing Management Schemes for Input Queue Packet Switches (CH, ML, MFJ), pp. 401–408.
STOCSTOC-2002-ArgeBDHM #algorithm #graph
Cache-oblivious priority queue and graph algorithm applications (LA, MAB, EDD, BHM, JIM), pp. 268–276.
CSMRCSMR-2001-PentaCAM #maintenance #modelling #web
Modeling Web Maintenance Centers through Queue Models (MDP, GC, GA, EM), pp. 131–138.
ICSMEICSM-2001-AntoniolCLPR #approach #maintenance
A Queue Theory-Based Approach to Staff Software Maintenance Centers (GA, GC, GADL, MDP, FR), pp. 510–519.
ICALPICALP-2001-AbdullaBB #effectiveness
Effective Lossy Queue Languages (PAA, LB, AB), pp. 639–651.
CIAACIAA-2000-Ibarra #reachability #safety
Reachability and Safety in Queue Systems (OHI), pp. 145–156.
HPCAHPCA-1999-FalsafiW #abstraction #communication #parallel #programming #protocol
Parallel Dispatch Queue: A Queue-Based Programming Abstraction to Parallelize Fine-Grain Communication Protocols (BF, DAW), pp. 182–192.
ICALPICALP-1998-PetersenR #performance #simulation
Efficient Simulations by Queue Machines (HP, JMR), pp. 884–895.
ICPRICPR-1996-FurukawaIU #image #multi
Active tubes in multiscale image queue (RF, MI, TU), pp. 488–492.
LICSLICS-1996-GodefroidL #protocol #verification
Symbolic Protocol Verification With Queue BDDs (PG, DEL), pp. 198–206.
HPCAHPCA-1995-Weiss #implementation #multi
Implementing Register Interlocks in Parallel-Pipeline Multiple Instruction Queue, Superscalar Processors (SW), pp. 14–21.
HPDCHPDC-1993-MaR #composition #multi #named
MULTIPAR: An Output Queue ATM Modular Switch with Multiple Phases and Replicated Planes (JM, KR), pp. 152–159.
PODSPODS-1991-Garcia-MolinaS #nondeterminism
Non-Deterministic Queue Operations (HGM, KS), pp. 53–62.
PODSPODS-1988-Kelter #concurrent #protocol
The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol (UK), pp. 142–151.
ESOPESOP-1986-TanakaK #compilation #concurrent #prolog
Compiling Extended Concurrent Prolog — Single Queue Compilation (JT, MK), pp. 301–314.
STOCSTOC-1977-Brown #complexity #maintenance
The Complexity of Priority Queue Maintenance (MRB), pp. 42–48.

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.