Stem prioriti$ (all stems)

136 papers:

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

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

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

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

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

ICGT-2015-Padberg #configuration management #petri net

Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (JP), pp. 104–120.

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

SAC-2015-QueirozH #capacity

Translating full duplexity into capacity gains for the high-priority traffic classes of IEEE 802.11 (SQ, RH), pp. 634–639.

HPCA-2015-LiRJOEBFR #throughput

Priority-based cache allocation in throughput processors (DL, MR, DRJ, MO, ME, DB, DSF, SWR), pp. 89–100.

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.

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

DUXU-ELAS-2014-FordSCT #energy #personalisation

Personalized Energy Priorities: A User-Centric Application for Energy Advice (RF, OS, AC, PT), pp. 542–553.

LCT-TRE-2014-BesiosL #education

Immersive Creative Classrooms within the Zones of Educational Priorities in Greek Primary Schools (AB, NL), pp. 258–268.

REFSQ-2014-RiegelD #analysis #elicitation #heuristic #optimisation #performance

An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.

PPoPP-2014-0003VTCT #data type #scheduling

Data structures for task-based priority scheduling (MW, FV, JLT, DC, PT), pp. 379–380.

VMCAI-2014-SchwarzSVA #analysis #precise #source code

Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs (MDS, HS, VV, KA), pp. 21–38.

DAC-2013-AxerE #fault #probability #scheduling

Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors (PA, RE), p. 7.

DATE-2013-LukasiewyczSC #programming #using

Priority assignment for event-triggered systems using mathematical programming (ML, SS, SC), pp. 982–987.

PODS-2013-Kejlberg-RasmussenTTTY

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

ICSM-2013-TianLS #analysis #debugging #multi #named #predict

DRONE: Predicting Priority of Reported Bugs by Multi-factor Analysis (YT, DL, CS), pp. 200–209.

STOC-2013-Thorup #independence #set #similarity

Bottom-k and priority sampling, set similarity and subset sums with minimal independence (MT), pp. 371–380.

SAC-2013-ShihL #kernel #manycore #named

nuKernel: MicroKernel for multi-core DSP SoCs with load sharing and priority interrupts (CSS, HYL), pp. 1525–1532.

SPLC-2013-WangPXCZ0 #named

SmartFixer: fixing software configurations based on dynamic priorities (BW, LTP, YX, KC, HZ, WZ), pp. 82–90.

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

PPoPP-2013-ShunBFG

Reducing contention through priority updates (JS, GEB, JTF, PBG), pp. 299–300.

CASE-2012-TanWL #queue

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

DATE-2012-DimitrakopoulosK #metaprogramming #multi #network

Dynamic-priority arbiter and multiplexer soft macros for on-chip networks switches (GD, EK), pp. 542–545.

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

DATE-2012-ShahRK #bound #scheduling #using

Bounding WCET of applications using SDRAM with Priority Based Budget Scheduling in MPSoCs (HS, AR, AK), pp. 665–670.

PLDI-2012-NagarakatteBMM #concurrent #debugging #detection #manycore

Multicore acceleration of priority-based schedulers for concurrency bug detection (SN, SB, MMKM, MM), pp. 543–554.

SAC-2012-CappelloQ

Expressing global priorities by best-matching (IC, PQ), pp. 1544–1550.

PPoPP-2012-LiuS #queue

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

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

DATE-2011-KakoeeBB #communication #named #network #reliability

ReliNoC: A reliable network for priority-based on-chip communication (MRK, VB, LB), pp. 667–672.

DATE-2011-ShahRK #bound #latency #performance

Priority division: A high-speed shared-memory bus arbitration with bounded latency (HS, AR, AK), pp. 1497–1500.

CIAA-2011-ChengJBK #on the #synthesis

On the Hardness of Priority Synthesis (CHC, BJ, CB, AK), pp. 110–117.

SEFM-2011-HafaiedhGM #distributed #implementation #interactive #multi

Distributed Implementation of Systems with Multiparty Interactions and Priorities (IBH, SG, NM), pp. 38–57.

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

ICST-2011-Bogdanov #generative #testing

Test Generation for X-machines with Non-terminal States and Priorities of Operations (KB), pp. 130–139.

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

ICPR-2010-HsinLLC #image #using

Image Inpainting Using Structure-Guided Priority Belief Propagation and Label Transformations (HFH, JJL, CSL, HYC), pp. 4492–4495.

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

REFSQ-2010-BebenseeWB #requirements

Binary Priority List for Prioritizing Software Requirements (TB, IvdW, SB), pp. 67–78.

CASE-2009-ChiddarwarB #coordination #multi

Dynamic priority allocation for conflict free coordinated manipulation of multiple agents (SSC, NRB), pp. 549–554.

DATE-2009-MillbergJ #worst-case

Priority based forced requeue to reduce worst-case latencies for bursty traffic (MM, AJ), pp. 1070–1075.

DATE-2009-SanderGRBM #communication

Priority-based packet communication on a bus-shaped structure for FPGA-systems (OS, BG, CR, JB, KDMG), pp. 178–183.

DATE-2009-StoimenovPT #realtime #reliability #scheduling

Reliable mode changes in real-time systems with fixed priority or EDF scheduling (NS, SP, LT), pp. 99–104.

FASE-2009-JahierHR #inheritance #modelling #validation

Synchronous Modeling and Validation of Priority Inheritance Schedulers (EJ, NH, PR), pp. 140–154.

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

LATA-2009-Gnaedig #termination

Termination of Priority Rewriting (IG), pp. 386–397.

ICEIS-DISI-2009-Papazoglou #research

Foresight & Research Priorities for Service Oriented Computing (MPP), p. 31.

SEKE-2009-XieWXWY #named #scheduling

PP-HAS: A Task Priority Based Preemptive Human Resource Scheduling Method (LX, QW, JX, YW, YY), pp. 655–660.

PPDP-2009-GabbrielliMM #on the #power of

On the expressive power of priorities in CHR (MG, JM, MCM), pp. 267–276.

CAV-2009-BasuBPS #distributed #model checking #scheduling

Priority Scheduling of Distributed Systems Based on Model Checking (AB, SB, DP, JS), pp. 79–93.

DATE-2008-ParkSP #embedded #execution #using

Hiding Cache Miss Penalty Using Priority-based Execution for Embedded Processors (SP, AS, YP), pp. 1190–1195.

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

DATE-2008-Vernay #challenge #embedded #research

Perspective on Embedded Systems: Challenges, Solutions and Research Priorities (DV), p. 2.

CSEET-2008-PortBK #requirements

Nancy R. Mead: Making Requirements Prioritization a Priority (DNP, BWB, DK), pp. 250–261.

FLOPS-2008-KoninckSD #compilation #optimisation

Optimizing Compilation of CHR with Rule Priorities (LDK, PJS, GJD), pp. 32–47.

ICALP-A-2008-EisenbrandR #realtime #scheduling

A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation (FE, TR), pp. 246–257.

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

SAC-2008-OrdinezDS #approach #behaviour #scheduling

A behavior priority driven approach for resource reservation scheduling (LO, DD, RMS), pp. 315–319.

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

DATE-2007-CucuG #multi #scheduling

Feasibility intervals for multiprocessor fixed-priority scheduling of arbitrary deadline periodic systems (LC, JG), pp. 1635–1640.

DATE-2007-JuCR #analysis #scheduling

Accounting for cache-related preemption delay in dynamic priority schedulability analysis (LJ, SC, AR), pp. 1623–1628.

ICALP-2007-ChuKM #correctness

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

ICALP-2007-GimbertZ #game studies #probability

Perfect Information Stochastic Priority Games (HG, WZ), pp. 850–861.

CIKM-2007-LiMGDBM #predict #process #using

Predicting individual priorities of shared activities using support vector machines (LL, MJM, WG, CD, BB, DRM), pp. 515–524.

PPDP-2007-KoninckSD

User-definable rule priorities for CHR (LDK, TS, BD), pp. 25–36.

SAC-2007-ChenTL

A priority assignment strategy of processing elements over an on-chip bus (YSC, SJT, SWL), pp. 1176–1180.

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

DATE-2006-RickettsIVI #scheduling

Priority scheduling in digital microfluidics-based biochips (AJR, KMI, NV, MJI), pp. 329–334.

STOC-2006-Szegedy

The DLT priority sampling is essentially optimal (MS), pp. 150–158.

ICALP-v2-2006-AcetoCFI #axiom #on the

On the Axiomatizability of Priority (LA, TC, WF, AI), pp. 480–491.

ICALP-v2-2006-GimbertZ #game studies

Deterministic Priority Mean-Payoff Games as Limits of Discounted Games (HG, WZ), pp. 312–323.

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

PPDP-2006-CaferraEP

Rewriting term-graphs with priority (RC, RE, NP), pp. 109–120.

VLDB-2005-HallB #database #linux

Getting Priorities Straight: Improving Linux Support for Database I/O (CH, PB), pp. 1116–1127.

SEFM-2005-NivelleP #verification

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

AdaEurope-2005-MartinezH #communication #named #protocol #realtime #standard

RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet (JMM, MGH), pp. 180–195.

AdaEurope-2005-SaezLTC #implementation #performance

Efficient Alternatives for Implementing Fixed-Priority Schedulers (SS, VLG, ST, AC), pp. 39–50.

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

AdaEurope-2004-RealBGSC #ada

Dynamic Ceiling Priorities: A Proposal for Ada0Y (JR, AB, FJMG, ES, AC), pp. 261–272.

SAC-2004-AwanY #commit #modelling #protocol #reliability #web

Analytical modelling of priority commit protocol for reliable Web applications (IA, MY), pp. 313–317.

LCTES-2004-JejurikarG #realtime #scheduling

Procrastination scheduling in fixed priority real-time systems (RJ, RKG), pp. 57–66.

STOC-2003-KaplanMT

Dynamic rectangular intersection with priorities (HK, EM, RET), pp. 639–648.

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.

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

DATE-2002-QuanH #energy #scheduling

Minimum Energy Fixed-Priority Scheduling for Variable Voltage Processor (GQ, XH), pp. 782–787.

STOC-2002-ArgeBDHM #algorithm #graph #queue

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

ICALP-2002-Elmasry #adaptation #sorting

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

HPCA-2002-ZhuZZ #memory management #multi #scheduling

Fine-Grain Priority Scheduling on Multi-Channel Memory Systems (ZZ, ZZ, XZ), pp. 107–116.

ISMM-2002-Robertz #memory management

Applying priorities to memory allocation (SGR), pp. 108–118.

DAC-2001-QuanH #energy #performance #realtime #scheduling

Energy Efficient Fixed-Priority Scheduling for Real-Time Systems on Variable Voltage Processors (GQ, XH), pp. 828–833.

ICFP-2001-Hinze #implementation

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

STOC-2000-AnderssonT #bound #worst-case

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

ICML-2000-TowellPM #learning

Learning Priorities From Noisy Examples (GGT, TP, MRM), pp. 1031–1038.

LCTES-2000-BelloM #network #scheduling

Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network (LLB, OM), pp. 1–18.

CL-2000-WangZL #fixpoint #logic programming #source code

Alternating Fixpoint Theory for Logic Programs with Priority (KW, LZ, FL), pp. 164–178.

DAC-1999-ShinC #realtime #scheduling

Power Conscious Fixed Priority Scheduling for Hard Real-Time Systems (YS, KC), pp. 134–139.

TACAS-1999-GardnerL #probability #realtime

Analyzing Stochastic Fixed-Priority Real-Time Systems (MKG, JWSL), pp. 44–58.

ESEC-FSE-1999-GiannakopoulouMK #question

Checking Progress with Action Priority: Is it Fair? (DG, JM, JK), pp. 511–527.

ICLP-1999-HirataY #concurrent #declarative #logic

Declarative Priority in a Concurrent Logic Language ON (KH, KY), pp. 215–229.

ICRE-1998-Hooks

A Case for Priority (IH), p. 62–?.

HPDC-1998-PagniaT #protocol #replication

Improving Replication Protocols through Priorities (HP, OET), pp. 342–343.

LCTES-1998-Balarin #embedded #realtime

Priority Assignment for Embedded Reactive Real-Time Systems (FB), pp. 146–155.

CIKM-1997-DogduO #execution #realtime #transaction

Real-Time Transactions with Execution Histories: Priority Assignment and Load Control (ED, GÖ), pp. 301–308.

TACAS-1996-CleavelandLNS #distributed #modelling #verification

Priorities for Modeling and Verifying Distributed Systems (RC, GL, VN, SS), pp. 278–297.

TRI-Ada-1996-YueDL #ada #protocol

Priority Ceiling Protocol in Ada (KbY, SD, TL), pp. 3–9.

ICPR-1996-WiebeB #image #quality #video

Improving image and video transmission quality over ATM with foveal prioritization and priority dithering (KJW, AB), pp. 939–943.

SEKE-1996-Liu #approach #quality #requirements

A Quantitative Approach for Assessing the Priorities of Software Quality Requirements (XFL), pp. 377–384.

JICSLP-1996-SakamaI #logic programming #representation #source code

Representing Priorities in Logic Programs (CS, KI), pp. 82–96.

RTA-1996-SakaiT #semantics #term rewriting

Semantics and Strong Sequentiality of Priority Term Rewriting Systems (MS, YT), pp. 377–391.

ICSM-1995-GuptaS #data flow #testing

Priority based data flow testing (RG, MLS), pp. 348–357.

LCT-RTS-1995-LeeLK #hybrid #scheduling

Scheduling of Hard Aperiodic Tasks in Hybrid Static/Dynamic Priority Systems (JL, SL, HK), pp. 7–19.

ESOP-1994-Prasad

Broadcasting with Priority (KVSP), pp. 469–484.

HPDC-1993-NakamuraT #network #performance #protocol

Starvation-Prevented Priority-Based Total Ordering Broadcast Protocol on High-Speed Single Channel Network (AN, MT), pp. 281–288.

KR-1992-Ryan #representation

Representing Defaults as Sentences with Reduced Priority (MR), pp. 649–660.

DAC-1991-Harrison #layout #using

VLSI Layout Compaction Using Radix Priority Search Trees (AJH), pp. 732–735.

SIGMOD-1991-BeckerSW

Spatial Priority Search: An Access Technique for Scaleless Maps (BB, HWS, PW), pp. 128–137.

CAV-1991-Jensen #concurrent

The Concurrency Workbench with Priorities (CTJ), pp. 147–157.

LICS-1991-CamilleriW

CCS with Priority Choice (JC, GW), pp. 246–255.

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

VLDB-1990-JauhariCL #algorithm #named

Priority-Hints: An Algorithm for Priority-Based Buffer Management (RJ, MJC, ML), pp. 708–721.

GG-1990-LitovskyM #graph

Computing with Graph Relabelling Systems with Priorities (IL, YM), pp. 549–563.

VLDB-1989-CareyJL #scheduling

Priority in DBMS Resource Scheduling (MJC, RJ, ML), pp. 397–410.

RTA-1989-Mohan #confluence #semantics

Priority Rewriting: Semantics, Confluence, and Conditional (CKM), pp. 278–291.

LICS-1988-CleavelandH #algebra #process

Priorities in Process Algebras (RC, MH), pp. 193–202.

RTA-1987-BaetenBK #term rewriting

Term Rewriting Systems with Priorities (JCMB, JAB, JWK), pp. 83–94.

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

SCC-1984-ChowH

Register allocation by priority-based coloring (FCC, JLH), pp. 222–232.

Best-of-PLDI-1984-ChowH

Register allocation by priority-based coloring (with retrospective) (FCC, JLH), pp. 91–103.

ICALP-1984-GoudaR #communication #finite #state machine

Communicating Finite State Machines with Priority Channels (MGG, LER), pp. 209–221.

ICALP-1981-ItaiKR #implementation

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

STOC-1977-Brown #complexity #maintenance #queue

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