Tag #worst-case
85 papers:
POPL-2019-WangH #generative- Type-guided worst-case input generation (DW, JH0), p. 30.
ICST-2019-KooS0B #automation #generative #learning #named #testing- PySE: Automatic Worst-Case Test Generation by Reinforcement Learning (JK, CS, MK0, SB), pp. 136–147.
- ICST-2019-SaumyaK0B #automation #generative #scalability #testing
- XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions (CS, JK, MK0, SB), pp. 1–12.
CASE-2018-RohL #clustering- Characterizing the Worst-Case Wafer Delay in a Cluster Tool Operated in a $K$-Cyclic Schedule (DHR, TEL), pp. 1562–1567.
AdaEurope-2017-DaiB #execution #predict #realtime #roadmap- Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems (XD, AB), pp. 87–101.
CAV-2017-ChatterjeeFG #analysis #recursion #source code- Non-polynomial Worst-Case Analysis of Recursive Programs (KC, HF0, AKG), pp. 41–63.
PODS-2015-KhamisNRR #geometry- Joins via Geometric Resolutions: Worst-case and Beyond (MAK, HQN, CR, AR), pp. 213–228.
SIGMOD-2015-PerelmanR #compilation #named #query- DunceCap: Compiling Worst-Case Optimal Query Plans (AP, CR), pp. 2075–2076.
DAC-2015-IsmailLS #performance- Improving worst-case cache performance through selective bypassing and register-indexed cache (MI, DL, GES), p. 6.
DATE-2015-RamboE #analysis #communication- Worst-case communication time analysis of networks-on-chip with shared virtual channels (EAR, RE), pp. 537–542.
ESOP-2015-CernyHKRZ #abstraction #analysis #execution- Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.
- ICST-2015-YuC #embedded #generative #stack #testing
- Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.
LICS-2015-ClementeR #multi #problem- Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives (LC, JFR), pp. 257–268.
- PODS-2014-NgoNRR #analysis
- Beyond worst-case analysis for joins with minesweeper (HQN, DTN, CR, AR), pp. 234–245.
ICALP-v2-2014-0002HKSV #independence #online #set- Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods (OG, MH, TK, TS, BV), pp. 508–519.
- ICALP-v2-2014-KopelowitzKPS #bound #graph
- Orienting Fully Dynamic Graphs with Worst-Case Time Bounds (TK, RK, EP, SS), pp. 532–543.
LCTES-2014-HenryAMM #encoding #execution #how #modulo theories #optimisation #semantics- How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.
- ICST-2014-YuSCR #embedded #framework #named #testing
- SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software (TY, WSa, MBC, GR), pp. 313–322.
CBSE-2013-LednickiCS #analysis #execution- Model level worst-case execution time analysis for IEC 61499 (LL, JC, KS), pp. 169–178.
- SIGMOD-2013-LongWYJ #on the
- On optimal worst-case matching (CL, RCWW, PSY, MJ), pp. 845–856.
- ICALP-v1-2013-BringmannDNS #online
- Online Checkpointing with Improved Worst-Case Guarantees (KB, BD, AN, JS), pp. 255–266.
- AdaEurope-2013-AsensioLCN #analysis #approach #execution #safety
- Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software (EA, IL, AC, JN), pp. 161–176.
- DATE-2013-ChenHBK #energy #multi #optimisation #pipes and filters
- Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systems (GC, KH, CB, AK), pp. 45–50.
STOC-2013-HardtR #analysis- Beyond worst-case analysis in private singular vector computation (MH, AR), pp. 331–340.
- PODS-2012-NgoPRR #algorithm
- Worst-case optimal join algorithms: [extended abstract] (HQN, EP, CR, AR), pp. 37–48.
KR-2012-Feier #logic programming #reasoning #source code- Worst-Case Optimal Reasoning with Forest Logic Programs (CF).
- DAC-2012-LoS #analysis #execution #monitoring #parallel #runtime
- Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.
- DATE-2012-JafariJL #analysis #scheduling
- Worst-case delay analysis of Variable Bit-Rate flows in network-on-chip with aggregate scheduling (FJ, AJ, ZL), pp. 538–541.
FM-2011-AlbertGGJST #behaviour #bound #concurrent #simulation- Simulating Concurrent Behaviors with Worst-Case Cost Bounds (EA, SG, MGZ, EBJ, RS, SLTT), pp. 353–368.
SAC-2011-LiuZ11a #analysis #distance #performance #stack- Stack distance based worst-case instruction cache performance analysis (YL, WZ), pp. 723–728.
- DATE-2011-RaiYBCT #analysis #realtime
- Worst-case temperature analysis for real-time systems (DR, HY, IB, JJC, LT), pp. 631–636.
- KR-2010-OrtizRS #owl #reasoning
- Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 (MO, SR, MS).
- DAC-2010-SchranzhoferPCTC #analysis #manycore #modelling #resource management
- Worst-case response time analysis of resource access models in multi-core systems (AS, RP, JJC, LT, MC), pp. 332–337.
- DATE-2010-BauerSF #analysis #network
- Worst-case end-to-end delay analysis of an avionics AFDX network (HB, JLS, CF), pp. 1220–1224.
- PODS-2009-Arge #performance #tutorial
- Worst-case efficient range search indexing: invited tutorial (LA), pp. 175–176.
- ICALP-v1-2009-ArbitmanNS #performance
- De-amortized Cuckoo Hashing: Provable Worst-Case Performance and Experimental Results (YA, MN, GS), pp. 107–118.
- ICALP-v2-2009-Mosk-AoyamaR #analysis #performance
- Worst-Case Efficiency Analysis of Queueing Disciplines (DMA, TR), pp. 546–557.
- AdaEurope-2009-MarrefB #analysis
- Predicated Worst-Case Execution-Time Analysis (AM, GB), pp. 134–148.
ICSE-2009-BurnimJS #automation #complexity #generative #named #testing- WISE: Automated test generation for worst-case complexity (JB, SJ, KS), pp. 463–473.
- SAC-2009-LiuZ #distance #performance #stack
- Exploiting stack distance to estimate worst-case data cache performance (YL, WZ), pp. 1979–1983.
- DAC-2009-GandikotaDTB #modelling
- Worst-case aggressor-victim alignment with current-source driver models (RG, LD, PT, DB), pp. 13–18.
- DAC-2009-ZhangCTL #performance
- Efficient design-specific worst-case corner extraction for integrated circuits (HZ, THC, MYT, XL), pp. 386–389.
- DATE-2009-MillbergJ
- Priority based forced requeue to reduce worst-case latencies for bursty traffic (MM, AJ), pp. 1070–1075.
- DATE-2009-PollexKAS #bound
- Improved worst-case response-time calculations by upper-bound conditions (VP, SK, KA, FS), pp. 105–110.
- STOC-2009-Peikert #problem
- Public-key cryptosystems from the worst-case shortest vector problem: extended abstract (CP), pp. 333–342.
ICML-2008-Li #approximate #comparison #difference #linear- A worst-case comparison between temporal difference and residual gradient with linear function approximation (LL), pp. 560–567.
- DATE-2008-SamiiREP #distributed #estimation #realtime #simulation
- A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems (SS, SR, PE, ZP), pp. 556–561.
- DAC-2007-KirnerS #analysis #execution #modelling
- Modeling the Function Cache for Worst-Case Execution Time Analysis (RK, MS), pp. 471–476.
- DATE-2007-AitkenI #design #embedded
- Worst-case design and margin for embedded SRAM (RCA, SI), pp. 1289–1294.
- LCTES-2007-Kastner #abstract interpretation #analysis #execution
- Safe worst-case execution time analysis by abstract interpretation of executable code (DK), p. 135.
- STOC-2007-PeikertR
- Lattices that admit logarithmic worst-case to average-case connection factors (CP, AR), pp. 478–487.
IFL-2006-BonenfantFHH #execution #functional- Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.
- DATE-2005-PomeranzR #analysis #detection #testing
- Worst-Case and Average-Case Analysis of n-Detection Test Sets (IP, SMR), pp. 444–449.
- STOC-2005-Thorup
- Worst-case update times for fully-dynamic all-pairs shortest paths (MT), pp. 112–119.
- SIGMOD-2004-ArgeBHY #performance
- The Priority R-Tree: A Practically Efficient and Worst-Case Optimal R-Tree (LA, MdB, HJH, KY), pp. 347–358.
ICPR-v3-2004-DePiero #bound #graph #memory management #polynomial- Structural Graph Matching With Polynomial Bounds On Memory and on Worst-Case Effort (FWD), pp. 379–382.
- DAC-2004-KouroussisAN #power management
- Worst-case circuit delay taking into account power supply variations (DK, RA, FNN), pp. 652–657.
- STOC-2004-ChlebusKS
- Collective asynchronous reading with polylogarithmic worst-case overhead (BSC, DRK, AAS), pp. 321–330.
- STOC-2003-Ajtai #algorithm #approximate #behaviour
- The worst-case behavior of schnorr’s algorithm approximating the shortest nonzero vector in a lattice (MA), pp. 396–406.
- DATE-2002-SchwenckerSPG #adaptation #parametricity #set #using
- Analog Circuit Sizing Using Adaptive Worst-Case Parameter Sets (RS, FS, MP, HEG), pp. 581–585.
- STOC-2002-Micciancio #encryption
- Improved cryptographic hash functions with worst-case/average-case connection (DM), pp. 609–618.
ICLP-2002-LoncT #modelling #performance- Computing Stable Models: Worst-Case Performance Estimates (ZL, MT), pp. 347–362.
- DAC-2001-SirichotiyakulBOLZZ #modelling
- Driver Modeling and Alignment for Worst-Case Delay Noise (SS, DB, CO, RL, VZ, JZ), pp. 720–725.
- AdaEurope-2000-Ringler #analysis #execution #source code
- Static Worst-Case Execution Time Analysis of Synchronous Programs (TR), pp. 56–68.
- DATE-2000-Balarin #abstraction #analysis #automation
- Automatic Abstraction for Worst-Case Analysis of Discrete Systems (FB), pp. 494–501.
- LCTES-2000-CortiBG #approximate #execution #multi
- Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems (MC, RB, TRG), pp. 178–198.
- STOC-2000-AnderssonT #bound
- Tight(er) worst-case bounds on dynamic searching and priority queues (AA, MT), pp. 335–342.
- STOC-1999-AlstrupBR
- Worst-Case and Amortised Optimality in Union-Find (SA, AMBA, TR), pp. 499–506.
- ICALP-1997-AndreevCR #trade-off
- Worst-Case Hardness Suffices for Derandomization: A New Method for Hardness-Randomness Trade-Offs (AEA, AEFC, JDPR), pp. 177–187.
- DAC-1997-DartuP
- Calculating Worst-Case Gate Delays Due to Dominant Capacitance Coupling (FD, LTP), pp. 46–51.
- STOC-1997-AjtaiD #equivalence
- A Public-Key Cryptosystem with Worst-Case/Average-Case Equivalence (MA, CD), pp. 284–293.
- DAC-1995-FabbroFCG #modelling #probability #standard
- An Assigned Probability Technique to Derive Realistic Worst-Case Timing Models of Digital Standard Cells (ADF, BF, LC, CG), pp. 702–706.
- DAC-1995-NajmZ #process
- Extreme Delay Sensitivity and the Worst-Case Switching Activity in VLSI Circuits (FNN, MYZ), pp. 623–627.
- LCT-RTS-1995-HuangL #concurrent #execution #predict
- Predicting the Worst-Case Execution Time of the Concurrent Execution of Instructions and Cycle-Stealing DMA I/O Operations (TYH, JWSL), pp. 1–6.
- LCT-RTS-1995-NilsenR #analysis #execution
- Worst-Case Execution Time Analysis on Modern Processors (KDN, BR), pp. 20–30.
- ICML-1994-SchapireW #algorithm #analysis #learning #on the
- On the Worst-Case Analysis of Temporal-Difference Learning Algorithms (RES, MKW), pp. 266–274.
- DAC-1993-DharchoudhuryK #variability
- Performance-Constrained Worst-Case Variability Minimization of VLSI Circuits (AD, SMK), pp. 154–158.
- DAC-1993-GraebWA #analysis #optimisation
- Improved Methods for Worst-Case Analysis and Optimization Incorporating Operating Tolerances (HEG, CUW, KA), pp. 142–147.
- DAC-1992-DharchoudhuryK #approach #design #optimisation
- An Integrated Approach to Realistic Worst-Case Design Optimization of MOS Analog Circuits (AD, SMK), pp. 704–709.
- DAC-1989-GaiottiDR #estimation
- Worst-case Delay Estimation of Transistor Groups (SG, MD, NCR), pp. 491–495.
- PODS-1987-Marchetti-SpaccamelaPS #analysis #complexity #implementation #logic #query
- Worst-case Complexity Analysis of Methods for Logic Query Implementation (AMS, AP, DS), pp. 294–301.
- SIGMOD-1986-Willard #algorithm
- Good Worst-Case Algorithms for Inserting and Deleting Records in Dense Sequential Files (DEW), pp. 251–260.
- ICALP-1980-PapadimitriouB #analysis #nearest neighbour
- A Worst-Case Analysis of Nearest Neighbor Searching by Projection (CHP, JLB), pp. 470–482.
- STOC-1972-GareyGU #algorithm #analysis #memory management
- Worst-Case Analysis of Memory Allocation Algorithms (MRG, RLG, JDU), pp. 143–150.
- DAC-1968-GarrettV #analysis
- Circuit frequency response analysis program with worst-case capabilities (FRWC) (SJG, THV).
