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:
schedul (28)
base (26)
system (24)
time (20)
real (16)

Stem prioriti$ (all stems)

136 papers:

CBSECBSE-2015-RamachandranDPM #network
Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks (GSR, WD, JP, SM, WJ, DH, BP), pp. 43–48.
DACDAC-2015-HuangCZL #behaviour #named #realtime #scheduling
PASS: priority assignment of real-time tasks with dynamic suspending behavior under fixed-priority scheduling (WHH, JJC, HZ, CL), p. 6.
DACDAC-2015-TsaiYPLTCC #design #energy #in memory #memory management #using
Energy-efficient non-volatile TCAM search engine design using priority-decision in memory technology for DPI (HJT, KHY, YCP, CCL, YHT, MFC, TFC), p. 6.
DATEDATE-2015-HanFNQ #energy #fault tolerance #multi #scheduling
Energy minimization for fault tolerant scheduling of periodic fixed-priority applications on multiprocessor platforms (QH, MF, LN, GQ), pp. 830–835.
DATEDATE-2015-WangNRQ #manycore #realtime #scheduling #statistics
Multi-core fixed-priority scheduling of real-time tasks with statistical deadline guarantee (TW, LN, SR, GQ), pp. 1335–1340.
ICGTICGT-2015-Padberg #configuration management #petri net
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (JP), pp. 104–120.
PADLPADL-2015-CruzR #compilation #linear #logic programming #on the #source code
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities (FC, RR), pp. 34–49.
SACSAC-2015-QueirozH #capacity
Translating full duplexity into capacity gains for the high-priority traffic classes of IEEE 802.11 (SQ, RH), pp. 634–639.
HPCAHPCA-2015-LiRJOEBFR #throughput
Priority-based cache allocation in throughput processors (DL, MR, DRJ, MO, ME, DB, DSF, SWR), pp. 89–100.
PPoPPPPoPP-2015-0003GTT #queue
The lock-free k-LSM relaxed priority queue (MW, JG, JLT, PT), pp. 277–278.
PPoPPPPoPP-2015-AlistarhKLS #queue #scalability
The SprayList: a scalable relaxed priority queue (DA, JK, JL, NS), pp. 11–20.
VLDBVLDB-2014-ZhangJSR #big data #recommendation #using
Getting Your Big Data Priorities Straight: A Demonstration of Priority-based QoS using Social-network-driven Stock Recommendation (RZ, RJ, PS, LR), pp. 1665–1668.
HCIDUXU-ELAS-2014-FordSCT #energy #personalisation
Personalized Energy Priorities: A User-Centric Application for Energy Advice (RF, OS, AC, PT), pp. 542–553.
HCILCT-TRE-2014-BesiosL #education
Immersive Creative Classrooms within the Zones of Educational Priorities in Greek Primary Schools (AB, NL), pp. 258–268.
REFSQREFSQ-2014-RiegelD #analysis #elicitation #heuristic #optimisation #performance
An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.
PPoPPPPoPP-2014-0003VTCT #data type #scheduling
Data structures for task-based priority scheduling (MW, FV, JLT, DC, PT), pp. 379–380.
VMCAIVMCAI-2014-SchwarzSVA #analysis #precise #source code
Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs (MDS, HS, VV, KA), pp. 21–38.
DACDAC-2013-AxerE #fault #probability #scheduling
Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors (PA, RE), p. 7.
DATEDATE-2013-LukasiewyczSC #programming #using
Priority assignment for event-triggered systems using mathematical programming (ML, SS, SC), pp. 982–987.
PODSPODS-2013-Kejlberg-RasmussenTTTY
I/O-efficient planar range skyline and attrition priority queues (CKR, YT, KT, KT, JY), pp. 103–114.
ICSMEICSM-2013-TianLS #analysis #debugging #multi #named #predict
DRONE: Predicting Priority of Reported Bugs by Multi-factor Analysis (YT, DL, CS), pp. 200–209.
STOCSTOC-2013-Thorup #independence #set #similarity
Bottom-k and priority sampling, set similarity and subset sums with minimal independence (MT), pp. 371–380.
SACSAC-2013-ShihL #kernel #manycore #named
nuKernel: MicroKernel for multi-core DSP SoCs with load sharing and priority interrupts (CSS, HYL), pp. 1525–1532.
SPLCSPLC-2013-WangPXCZ0 #named
SmartFixer: fixing software configurations based on dynamic priorities (BW, LTP, YX, KC, HZ, WZ), pp. 82–90.
LCTESLCTES-2013-MehiaouiWPMNZBLG #clustering #distributed #optimisation
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems (AM, EW, STP, CM, MDN, HZ, JPB, LL, SG), pp. 121–132.
PPoPPPPoPP-2013-ShunBFG
Reducing contention through priority updates (JS, GEB, JTF, PBG), pp. 299–300.
CASECASE-2012-TanWL #queue
Improving patient flow in emergency department through dynamic priority queue (KWT, CW, HCL), pp. 125–130.
DATEDATE-2012-DimitrakopoulosK #metaprogramming #multi #network
Dynamic-priority arbiter and multiplexer soft macros for on-chip networks switches (GD, EK), pp. 542–545.
DATEDATE-2012-FanQ #framework #manycore #realtime #scheduling
Harmonic semi-partitioned scheduling for fixed-priority real-time tasks on multi-core platform (MF, GQ), pp. 503–508.
DATEDATE-2012-ShahRK #bound #scheduling #using
Bounding WCET of applications using SDRAM with Priority Based Budget Scheduling in MPSoCs (HS, AR, AK), pp. 665–670.
PLDIPLDI-2012-NagarakatteBMM #concurrent #debugging #detection #manycore
Multicore acceleration of priority-based schedulers for concurrency bug detection (SN, SB, MMKM, MM), pp. 543–554.
SACSAC-2012-CappelloQ
Expressing global priorities by best-matching (IC, PQ), pp. 1544–1550.
PPoPPPPoPP-2012-LiuS #queue
A lock-free, array-based priority queue (YL, MFS), pp. 323–324.
DATEDATE-2011-IndrusiakS #performance #transaction
Fast and accurate transaction-level model of a wormhole network-on-chip with priority preemptive virtual channel arbitration (LSI, OMdS), pp. 1089–1094.
DATEDATE-2011-KakoeeBB #communication #named #network #reliability
ReliNoC: A reliable network for priority-based on-chip communication (MRK, VB, LB), pp. 667–672.
DATEDATE-2011-ShahRK #bound #latency #performance
Priority division: A high-speed shared-memory bus arbitration with bounded latency (HS, AR, AK), pp. 1497–1500.
CIAACIAA-2011-ChengJBK #on the #synthesis
On the Hardness of Priority Synthesis (CHC, BJ, CB, AK), pp. 110–117.
SEFMSEFM-2011-HafaiedhGM #distributed #implementation #interactive #multi
Distributed Implementation of Systems with Multiparty Interactions and Priorities (IBH, SG, NM), pp. 38–57.
POPLPOPL-2011-SchwarzSVLM #protocol #source code #static analysis
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol (MDS, HS, VV, PL, MMO), pp. 93–104.
ICSTICST-2011-Bogdanov #generative #testing
Test Generation for X-machines with Non-terminal States and Priorities of Operations (KB), pp. 130–139.
DATEDATE-2010-TakaseTT #clustering #memory management #multi
Partitioning and allocation of scratch-pad memory for priority-based preemptive multi-task systems (HT, HT, HT), pp. 1124–1129.
ICPRICPR-2010-HsinLLC #image #using
Image Inpainting Using Structure-Guided Priority Belief Propagation and Label Transformations (HFH, JJL, CSL, HYC), pp. 4492–4495.
MODELSMoDELS-v1-2010-WangXHZZM #approach #consistency #feature model #modelling
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models (BW, YX, ZH, HZ, WZ, HM), pp. 181–195.
REFSQREFSQ-2010-BebenseeWB #requirements
Binary Priority List for Prioritizing Software Requirements (TB, IvdW, SB), pp. 67–78.
CASECASE-2009-ChiddarwarB #coordination #multi
Dynamic priority allocation for conflict free coordinated manipulation of multiple agents (SSC, NRB), pp. 549–554.
DATEDATE-2009-MillbergJ #worst-case
Priority based forced requeue to reduce worst-case latencies for bursty traffic (MM, AJ), pp. 1070–1075.
DATEDATE-2009-SanderGRBM #communication
Priority-based packet communication on a bus-shaped structure for FPGA-systems (OS, BG, CR, JB, KDMG), pp. 178–183.
DATEDATE-2009-StoimenovPT #realtime #reliability #scheduling
Reliable mode changes in real-time systems with fixed priority or EDF scheduling (NS, SP, LT), pp. 99–104.
FASEFASE-2009-JahierHR #inheritance #modelling #validation
Synchronous Modeling and Validation of Priority Inheritance Schedulers (EJ, NH, PR), pp. 140–154.
FoSSaCSFoSSaCS-2009-ArandaVV #on the #power of #replication #strict
On the Expressive Power of Restriction and Priorities in CCS with Replication (JA, FDV, CV), pp. 242–256.
LATALATA-2009-Gnaedig #termination
Termination of Priority Rewriting (IG), pp. 386–397.
ICEISICEIS-DISI-2009-Papazoglou #research
Foresight & Research Priorities for Service Oriented Computing (MPP), p. 31.
SEKESEKE-2009-XieWXWY #named #scheduling
PP-HAS: A Task Priority Based Preemptive Human Resource Scheduling Method (LX, QW, JX, YW, YY), pp. 655–660.
PPDPPPDP-2009-GabbrielliMM #on the #power of
On the expressive power of priorities in CHR (MG, JM, MCM), pp. 267–276.
CAVCAV-2009-BasuBPS #distributed #model checking #scheduling
Priority Scheduling of Distributed Systems Based on Model Checking (AB, SB, DP, JS), pp. 79–93.
DATEDATE-2008-ParkSP #embedded #execution #using
Hiding Cache Miss Penalty Using Priority-based Execution for Embedded Processors (SP, AS, YP), pp. 1190–1195.
DATEDATE-2008-TumeoBCCMPFS #multi #realtime
A Dual-Priority Real-Time Multiprocessor System on FPGA for Automotive Applications (AT, MB, LC, MC, MM, GP, FF, DS), pp. 1039–1044.
DATEDATE-2008-Vernay #challenge #embedded #research
Perspective on Embedded Systems: Challenges, Solutions and Research Priorities (DV), p. 2.
CSEETCSEET-2008-PortBK #requirements
Nancy R. Mead: Making Requirements Prioritization a Priority (DNP, BWB, DK), pp. 250–261.
FLOPSFLOPS-2008-KoninckSD #compilation #optimisation
Optimizing Compilation of CHR with Rule Priorities (LDK, PJS, GJD), pp. 32–47.
ICALPICALP-A-2008-EisenbrandR #realtime #scheduling
A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation (FE, TR), pp. 246–257.
ICPRICPR-2008-TaketomiSY #database #estimation #realtime #using
Real-time camera position and posture estimation using a feature landmark database with priorities (TT, TS, NY), pp. 1–4.
SACSAC-2008-OrdinezDS #approach #behaviour #scheduling
A behavior priority driven approach for resource reservation scheduling (LO, DD, RMS), pp. 315–319.
SACSAC-2008-RaveendranBG #algorithm #evaluation #realtime #scheduling #trade-off
Evaluation of priority based real time scheduling algorithms: choices and tradeoffs (BKR, SB, SG), pp. 302–307.
DATEDATE-2007-CucuG #multi #scheduling
Feasibility intervals for multiprocessor fixed-priority scheduling of arbitrary deadline periodic systems (LC, JG), pp. 1635–1640.
DATEDATE-2007-JuCR #analysis #scheduling
Accounting for cache-related preemption delay in dynamic priority schedulability analysis (LJ, SC, AR), pp. 1623–1628.
ICALPICALP-2007-ChuKM #correctness
Checking and Spot-Checking the Correctness of Priority Queues (MC, SK, AM), pp. 728–739.
ICALPICALP-2007-GimbertZ #game studies #probability
Perfect Information Stochastic Priority Games (HG, WZ), pp. 850–861.
CIKMCIKM-2007-LiMGDBM #predict #process #using
Predicting individual priorities of shared activities using support vector machines (LL, MJM, WG, CD, BB, DRM), pp. 515–524.
PPDPPPDP-2007-KoninckSD
User-definable rule priorities for CHR (LDK, TS, BD), pp. 25–36.
SACSAC-2007-ChenTL
A priority assignment strategy of processing elements over an on-chip bus (YSC, SJT, SWL), pp. 1176–1180.
SACSAC-2007-ZhangZZMY #algorithm #random #streaming
A priority random sampling algorithm for time-based sliding windows over weighted streaming data (LZ, ZL, YQZ, YM, ZY), pp. 453–456.
DATEDATE-2006-RickettsIVI #scheduling
Priority scheduling in digital microfluidics-based biochips (AJR, KMI, NV, MJI), pp. 329–334.
STOCSTOC-2006-Szegedy
The DLT priority sampling is essentially optimal (MS), pp. 150–158.
ICALPICALP-v2-2006-AcetoCFI #axiom #on the
On the Axiomatizability of Priority (LA, TC, WF, AI), pp. 480–491.
ICALPICALP-v2-2006-GimbertZ #game studies
Deterministic Priority Mean-Payoff Games as Limits of Discounted Games (HG, WZ), pp. 312–323.
ICPRICPR-v1-2006-HansenMT #analysis #clustering #re-engineering #sorting
Cluster Analysis and Priority Sorting in Huge Point Clouds for Building Reconstruction (WvH, EM, UT), pp. 23–26.
PPDPPPDP-2006-CaferraEP
Rewriting term-graphs with priority (RC, RE, NP), pp. 109–120.
VLDBVLDB-2005-HallB #database #linux
Getting Priorities Straight: Improving Linux Support for Database I/O (CH, PB), pp. 1116–1127.
SEFMSEFM-2005-NivelleP #verification
Verification of an Off-Line Checker for Priority Queues (HdN, RP), pp. 210–219.
AdaEuropeAdaEurope-2005-MartinezH #communication #named #protocol #realtime #standard
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet (JMM, MGH), pp. 180–195.
AdaEuropeAdaEurope-2005-SaezLTC #implementation #performance
Efficient Alternatives for Implementing Fixed-Priority Schedulers (SS, VLG, ST, AC), pp. 39–50.
SIGMODSIGMOD-2004-ArgeBHY #performance #worst-case
The Priority R-Tree: A Practically Efficient and Worst-Case Optimal R-Tree (LA, MdB, HJH, KY), pp. 347–358.
AdaEuropeAdaEurope-2004-RealBGSC #ada
Dynamic Ceiling Priorities: A Proposal for Ada0Y (JR, AB, FJMG, ES, AC), pp. 261–272.
SACSAC-2004-AwanY #commit #modelling #protocol #reliability #web
Analytical modelling of priority commit protocol for reliable Web applications (IA, MY), pp. 313–317.
LCTESLCTES-2004-JejurikarG #realtime #scheduling
Procrastination scheduling in fixed priority real-time systems (RJ, RKG), pp. 57–66.
STOCSTOC-2003-KaplanMT
Dynamic rectangular intersection with priorities (HK, EM, RET), pp. 639–648.
STOCSTOC-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.
DATEDATE-2002-KimKM #algorithm #analysis #realtime #scalability #using
A Dynamic Voltage Scaling Algorithm for Dynamic-Priority Hard Real-Time Systems Using Slack Time Analysis (WK, JK, SLM), pp. 788–794.
DATEDATE-2002-QuanH #energy #scheduling
Minimum Energy Fixed-Priority Scheduling for Variable Voltage Processor (GQ, XH), pp. 782–787.
STOCSTOC-2002-ArgeBDHM #algorithm #graph #queue
Cache-oblivious priority queue and graph algorithm applications (LA, MAB, EDD, BHM, JIM), pp. 268–276.
ICALPICALP-2002-Elmasry #adaptation #sorting
Priority Queues, Pairing, and Adaptive Sorting (AE), pp. 183–194.
HPCAHPCA-2002-ZhuZZ #memory management #multi #scheduling
Fine-Grain Priority Scheduling on Multi-Channel Memory Systems (ZZ, ZZ, XZ), pp. 107–116.
ISMMISMM-2002-Robertz #memory management
Applying priorities to memory allocation (SGR), pp. 108–118.
DACDAC-2001-QuanH #energy #performance #realtime #scheduling
Energy Efficient Fixed-Priority Scheduling for Real-Time Systems on Variable Voltage Processors (GQ, XH), pp. 828–833.
ICFPICFP-2001-Hinze #implementation
A Simple Implementation Technique for Priority Search Queues (RH), pp. 110–121.
STOCSTOC-2000-AnderssonT #bound #worst-case
Tight(er) worst-case bounds on dynamic searching and priority queues (AA, MT), pp. 335–342.
ICMLICML-2000-TowellPM #learning
Learning Priorities From Noisy Examples (GGT, TP, MRM), pp. 1031–1038.
LCTESLCTES-2000-BelloM #network #scheduling
Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network (LLB, OM), pp. 1–18.
ICLPCL-2000-WangZL #fixpoint #logic programming #source code
Alternating Fixpoint Theory for Logic Programs with Priority (KW, LZ, FL), pp. 164–178.
DACDAC-1999-ShinC #realtime #scheduling
Power Conscious Fixed Priority Scheduling for Hard Real-Time Systems (YS, KC), pp. 134–139.
TACASTACAS-1999-GardnerL #probability #realtime
Analyzing Stochastic Fixed-Priority Real-Time Systems (MKG, JWSL), pp. 44–58.
ESECESEC-FSE-1999-GiannakopoulouMK #question
Checking Progress with Action Priority: Is it Fair? (DG, JM, JK), pp. 511–527.
ICLPICLP-1999-HirataY #concurrent #declarative #logic
Declarative Priority in a Concurrent Logic Language ON (KH, KY), pp. 215–229.
REICRE-1998-Hooks
A Case for Priority (IH), p. 62–?.
HPDCHPDC-1998-PagniaT #protocol #replication
Improving Replication Protocols through Priorities (HP, OET), pp. 342–343.
LCTESLCTES-1998-Balarin #embedded #realtime
Priority Assignment for Embedded Reactive Real-Time Systems (FB), pp. 146–155.
CIKMCIKM-1997-DogduO #execution #realtime #transaction
Real-Time Transactions with Execution Histories: Priority Assignment and Load Control (ED, ), pp. 301–308.
TACASTACAS-1996-CleavelandLNS #distributed #modelling #verification
Priorities for Modeling and Verifying Distributed Systems (RC, GL, VN, SS), pp. 278–297.
AdaTRI-Ada-1996-YueDL #ada #protocol
Priority Ceiling Protocol in Ada (KbY, SD, TL), pp. 3–9.
ICPRICPR-1996-WiebeB #image #quality #video
Improving image and video transmission quality over ATM with foveal prioritization and priority dithering (KJW, AB), pp. 939–943.
SEKESEKE-1996-Liu #approach #quality #requirements
A Quantitative Approach for Assessing the Priorities of Software Quality Requirements (XFL), pp. 377–384.
ICLPJICSLP-1996-SakamaI #logic programming #representation #source code
Representing Priorities in Logic Programs (CS, KI), pp. 82–96.
RTARTA-1996-SakaiT #semantics #term rewriting
Semantics and Strong Sequentiality of Priority Term Rewriting Systems (MS, YT), pp. 377–391.
ICSMEICSM-1995-GuptaS #data flow #testing
Priority based data flow testing (RG, MLS), pp. 348–357.
LCTESLCT-RTS-1995-LeeLK #hybrid #scheduling
Scheduling of Hard Aperiodic Tasks in Hybrid Static/Dynamic Priority Systems (JL, SL, HK), pp. 7–19.
ESOPESOP-1994-Prasad
Broadcasting with Priority (KVSP), pp. 469–484.
HPDCHPDC-1993-NakamuraT #network #performance #protocol
Starvation-Prevented Priority-Based Total Ordering Broadcast Protocol on High-Speed Single Channel Network (AN, MT), pp. 281–288.
KRKR-1992-Ryan #representation
Representing Defaults as Sentences with Reduced Priority (MR), pp. 649–660.
DACDAC-1991-Harrison #layout #using
VLSI Layout Compaction Using Radix Priority Search Trees (AJH), pp. 732–735.
SIGMODSIGMOD-1991-BeckerSW
Spatial Priority Search: An Access Technique for Scaleless Maps (BB, HWS, PW), pp. 128–137.
CAVCAV-1991-Jensen #concurrent
The Concurrency Workbench with Priorities (CTJ), pp. 147–157.
LICSLICS-1991-CamilleriW
CCS with Priority Choice (JC, GW), pp. 246–255.
RTARTA-1991-Billaud #animation #graph grammar #interactive #named #term rewriting
ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities (MB), pp. 437–438.
VLDBVLDB-1990-JauhariCL #algorithm #named
Priority-Hints: An Algorithm for Priority-Based Buffer Management (RJ, MJC, ML), pp. 708–721.
ICGTGG-1990-LitovskyM #graph
Computing with Graph Relabelling Systems with Priorities (IL, YM), pp. 549–563.
VLDBVLDB-1989-CareyJL #scheduling
Priority in DBMS Resource Scheduling (MJC, RJ, ML), pp. 397–410.
RTARTA-1989-Mohan #confluence #semantics
Priority Rewriting: Semantics, Confluence, and Conditional (CKM), pp. 278–291.
LICSLICS-1988-CleavelandH #algebra #process
Priorities in Process Algebras (RC, MH), pp. 193–202.
RTARTA-1987-BaetenBK #term rewriting
Term Rewriting Systems with Priorities (JCMB, JAB, JWK), pp. 83–94.
POPLPOPL-1985-Lamport #concurrent #specification #what #why
What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority (LL), pp. 78–83.
PLDISCC-1984-ChowH
Register allocation by priority-based coloring (FCC, JLH), pp. 222–232.
PLDIBest-of-PLDI-1984-ChowH
Register allocation by priority-based coloring (with retrospective) (FCC, JLH), pp. 91–103.
ICALPICALP-1984-GoudaR #communication #finite #state machine
Communicating Finite State Machines with Priority Channels (MGG, LER), pp. 209–221.
ICALPICALP-1981-ItaiKR #implementation
A Sparse Table Implementation of Priority Queues (AI, AGK, MR), pp. 417–431.
STOCSTOC-1977-Brown #complexity #maintenance #queue
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.