Stem guarante$ (all stems)

182 papers:

DATE-2015-LiuHFRQR #power management

Power minimization for data center with guaranteed QoS (SL, SH, MF, SR, GQ, SR), pp. 1347–1352.

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.

VLDB-2015-KimBPIMR #agile #visualisation

Rapid Sampling for Visualizations with Ordering Guarantees (AK, EB, AGP, PI, SM, RR), pp. 521–532.

TACAS-2015-AlurMT #refinement #specification #synthesis

Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (RA, SM, UT), pp. 501–516.

TACAS-2015-BloemCJK #concurrent #source code #synthesis

Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information (RB, KC, SJ, RK), pp. 517–532.

ICPC-2015-Zeller #dynamic analysis

Test complement exclusion: guarantees from dynamic analysis (AZ), pp. 1–2.

PLDI-2015-JohnsonWMC #dependence #graph #security

Exploring and enforcing security guarantees via program dependence graphs (AJ, LW, SM, SC), pp. 291–302.

FM-2015-ElkaderGPS #automation #reasoning

Automated Circular Assume-Guarantee Reasoning (KAE, OG, CSP, SS), pp. 23–39.

AdaEurope-2015-UruenaPCFJ #requirements

Guaranteeing Timing Requirements in the IXV On-Board Software (SU, NP, BNC, CF, AJ), pp. 100–115.

ICEIS-v3-2015-RosaZ #mobile #network #privacy #social

Location-sharing Model in Mobile Social Networks with Privacy Guarantee (TAR, SDZ), pp. 44–54.

ICML-2015-GeZ #matrix

Intersecting Faces: Non-negative Matrix Factorization With New Guarantees (RG, JZ), pp. 2295–2303.

ICML-2015-TangS #approach #composition

Guaranteed Tensor Decomposition: A Moment Approach (GT, PS), pp. 1491–1500.

ESEC-FSE-2015-BusanyM #analysis #behaviour #statistics

Behavioral log analysis with statistical guarantees (NB, SM), pp. 898–901.

PPoPP-2015-ZhangHCB #memory management #semantics #transaction

Low-overhead software transactional memory with progress guarantees and strong semantics (MZ, JH, MC, MDB), pp. 97–108.

SOSP-2015-Hoffmann #approximate #energy #named

JouleGuard: energy guarantees for approximate applications (HH), pp. 198–214.

VMCAI-2015-UrbanM #abstract interpretation #proving

Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation (CU, AM), pp. 190–208.

DATE-2014-AminifarBEP #co-evolution #design

Bandwidth-efficient controller-server co-design with stability guarantees (AA, EB, PE, ZP), pp. 1–6.

DATE-2014-DhruvaKGT #cyber-physical

Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.

DATE-2014-ShenQ #quality #scalability

Contention aware frequency scaling on CMPs with guaranteed quality of service (HS, QQ), pp. 1–6.

SIGMOD-2014-MoerkotteDMNB #order

Exploiting ordered dictionaries to efficiently construct histograms with q-error guarantees in SAP HANA (GM, DD, NM, AN, AB), pp. 361–372.

SIGMOD-2014-ZengGGMZ #approximate #named #query #scalability

ABS: a system for scalable approximate queries with accuracy guarantees (KZ, SG, JG, BM, CZ), pp. 1067–1070.

VLDB-2014-HuangBJW #network #realtime #scalability

Large Scale Real-time Ridesharing with Service Guarantee on Road Networks (YH, FB, RJ, XSW), pp. 2017–2028.

VLDB-2014-YanCXLNB #algorithm #graph #performance #problem

Pregel Algorithms for Graph Connectivity Problems with Performance Guarantees (DY, JC, KX, YL, WN, YB), pp. 1821–1832.

PEPM-2014-CosteaSD #named #verification

HIPimm: verifying granular immutability guarantees (AC, AS, CD), pp. 189–194.

ICALP-v1-2014-DobzinskiL #performance

Efficiency Guarantees in Auctions with Budgets (SD, RPL), pp. 392–404.

FM-2014-ArmstrongGS #algebra #concurrent #tool support #verification

Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.

CIKM-2014-CohenDPW #scalability #sketching

Sketch-based Influence Maximization and Computation: Scaling up with Guarantees (EC, DD, TP, RFW), pp. 629–638.

CIKM-2014-ParkSKP #pipes and filters

MapReduce Triangle Enumeration With Guarantees (HMP, FS, UK, RP), pp. 1739–1748.

ICML-c1-2014-SomaKIK #algorithm #performance

Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm (TS, NK, KI, KiK), pp. 351–359.

ICML-c2-2014-AsterisPD

Nonnegative Sparse PCA with Provable Guarantees (MA, DSP, AGD), pp. 1728–1736.

ICML-c2-2014-GiesenLW #kernel #performance #robust

Robust and Efficient Kernel Hyperparameter Paths with Guarantees (JG, SL, PW), pp. 1296–1304.

KDD-2014-ZhangCSWZ #network #probability #set #social

Minimizing seed set selection with probabilistic coverage guarantee in a social network (PZ, WC, XS, YW, JZ), pp. 1306–1315.

KEOD-2014-AzaiezA #analysis #how #question #towards

How to Guarantee Analysis Results Coherence after Data Warehouse Schema Changes Propagation towards Data Marts? (NA, JA), pp. 428–435.

KR-2014-IanovskiO #game studies

EGuaranteeNash for Boolean Games Is NEXP-Hard (EI, LO).

ECOOP-2014-MilitaoAC #protocol

Rely-Guarantee Protocols (FM, JA, LC), pp. 334–359.

ICSE-2014-FilieriHM #adaptation #automation #design #self

Automated design of self-adaptive software with control-theoretical formal guarantees (AF, HH, MM), pp. 299–310.

ICSE-2014-HeWYZ #learning #reasoning

Symbolic assume-guarantee reasoning through BDD learning (FH, BYW, LY, LZ), pp. 1071–1082.

DAC-2013-AxerE #fault #probability #scheduling

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

DAC-2013-WuergesOS #energy #performance #realtime

Reconciling real-time guarantees and energy efficiency through unlocked-cache prefetching (EW, RSdO, LCVdS), p. 9.

DATE-2013-AminifarEPC #cyber-physical #design #robust

Control-quality driven design of cyber-physical systems with robustness guarantees (AA, PE, ZP, AC), pp. 1093–1098.

DATE-2013-ChenHBK #energy #multi #optimisation #pipes and filters #worst-case

Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systems (GC, KH, CB, AK), pp. 45–50.

PLDI-2013-GordonEG #alias #refinement

Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.

ICALP-v1-2013-BringmannDNS #online #worst-case

Online Checkpointing with Improved Worst-Case Guarantees (KB, BD, AN, JS), pp. 255–266.

IFM-2013-Prehofer #behaviour #diagrams #refinement #specification

Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement (CP), pp. 31–45.

ICFP-2013-Jeffrey #functional #liveness #programming

Functional reactive programming with liveness guarantees (AJ), pp. 233–244.

ICML-c2-2013-AroraGHMMSWZ #algorithm #modelling #topic

A Practical Algorithm for Topic Modeling with Provable Guarantees (SA, RG, YH, DMM, AM, DS, YW, MZ), pp. 280–288.

ICML-c3-2013-0002YY #linear

Guaranteed Sparse Recovery under Linear Transformation (JL, LY, JY), pp. 91–99.

KDD-2013-TsourakakisBGGT #clique #quality

Denser than the densest subgraph: extracting optimal quasi-cliques with quality guarantees (CET, FB, AG, FG, MAT), pp. 104–112.

MoDELS-2013-GreenyerK #composition #specification #synthesis

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.

MoDELS-2013-GreenyerK #composition #specification #synthesis

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.

CASE-2012-JeongC #algorithm #independence #quality

Independent contact region (ICR) based in-hand motion planning algorithm with guaranteed grasp quality margin (HJ, JC), pp. 1089–1094.

VLDB-2012-CaoK #privacy #robust

Publishing Microdata with a Robust Privacy Guarantee (JC, PK), pp. 1388–1399.

VLDB-2012-FanWW #distributed #performance #query #reachability

Performance Guarantees for Distributed Reachability Queries (WF, XW, YW), pp. 1304–1315.

FASE-2012-AlbertBGHR #source code

Verified Resource Guarantees for Heap Manipulating Programs (EA, RB, SG, RH, GRD), pp. 130–145.

IFM-2012-DongolH #multi #reasoning #source code

Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands (BD, IJH), pp. 39–53.

SEFM-2012-ZhuXMQQ #approach #concurrent #source code #verification

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs (HZ, QX, CM, SQ, ZQ), pp. 172–187.

CIKM-2012-SalomatinLY #framework #online #optimisation

A unified optimization framework for auction and guaranteed delivery in online advertising (KS, TYL, YY), pp. 2005–2009.

CIKM-2012-SongKNCXB #network #social

Discretionary social network data revelation with a user-centric utility guarantee (YS, PK, SN, GC, MX, SB), pp. 1572–1576.

KDD-2012-BharadwajCMNTVVY #algorithm #named #performance

SHALE: an efficient algorithm for allocation of guaranteed display advertising (VB, PC, WM, CN, JT, SV, EV, JY), pp. 1195–1203.

MoDELS-2012-MaozS #semantics #synthesis

Assume-Guarantee Scenarios: Semantics and Synthesis (SM, YS), pp. 335–351.

MoDELS-2012-MaozS #semantics #synthesis

Assume-Guarantee Scenarios: Semantics and Synthesis (SM, YS), pp. 335–351.

POPL-2012-LiangFF #concurrent #program transformation #simulation #verification

A rely-guarantee-based simulation for verifying concurrent program transformations (HL, XF, MF), pp. 455–468.

SAC-2012-SioutasPKT #named #network #probability #query

SART: dynamic P2P query processing in sensor networks with probabilistic guarantees (SS, AP, IK, DT), pp. 847–852.

HPDC-2012-SkourtisKB #black box #named #performance

QBox: guaranteeing I/O performance on black box storage systems (DS, SK, SAB), pp. 73–84.

CAV-2012-KomuravelliPC #abstraction #probability #refinement

Assume-Guarantee Abstraction Refinement for Probabilistic Systems (AK, CSP, EMC), pp. 310–326.

CSL-2012-ChrzaszczS #complexity #ml

ML with PTIME complexity guarantees (JC, AS), pp. 198–212.

DAC-2011-KumarT #realtime

Cool shapers: shaping real-time tasks for improved thermal guarantees (PK, LT), pp. 468–473.

DATE-2011-WinterF #runtime #scheduling

Guaranteed service virtual channel allocation in NoCs for run-time task scheduling (MW, GF), pp. 419–424.

PEPM-2011-AlbertBGHPR #using

Verified resource guarantees using COSTA and KeY (EA, RB, SG, RH, GP, GRD), pp. 73–76.

AGTIVE-2011-MantzJT #concept #consistency #evolution #graph transformation #metamodelling #migration

Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration (FM, SJ, GT), pp. 3–18.

SAC-2011-AccorsiW #modelling #workflow

Strong non-leak guarantees for workflow models (RA, CW), pp. 308–314.

DATE-2010-ChineaGDDK #megamodelling #on the #performance

On the construction of guaranteed passive macromodels for high-speed channels (AC, SGT, DD, TD, LK), pp. 1142–1147.

PODS-2010-BenderHK #performance

Performance guarantees for B-trees with different-sized atomic keys (MAB, HH, BCK), pp. 305–316.

SIGMOD-2010-ChenGN #named #statistics

PR-join: a non-blocking join achieving higher early result rate with statistical guarantees (SC, PBG, SN), pp. 147–158.

ESOP-2010-WickersonDP #composition #reasoning

Explicit Stabilisation for Modular Rely-Guarantee Reasoning (JW, MD, MJP), pp. 610–629.

TACAS-2010-KwiatkowskaNPQ #probability #verification

Assume-Guarantee Verification for Probabilistic Systems (MZK, GN, DP, HQ), pp. 23–37.

CIKM-2010-BharadwajMSSVXY #contract #online

Pricing guaranteed contracts in online display advertising (VB, WM, MS, JS, EV, JX, JY), pp. 399–408.

ECIR-2010-PapapetrouSF #clustering #network #peer-to-peer #probability

Text Clustering for Peer-to-Peer Networks with Probabilistic Guarantees (OP, WS, NF), pp. 293–305.

KDD-2010-SunCCC #mining #nondeterminism #probability

Mining uncertain data with probabilistic guarantees (LS, RC, DWC, JC), pp. 273–282.

OOPSLA-2010-MatsakisG #type system

A time-aware type system for data-race protection and guaranteed initialization (NDM, TRG), pp. 634–651.

SAC-2010-Makela #array #concept

Concept for providing guaranteed service level over an array of unguaranteed commodity connections (AM), pp. 678–683.

ASPLOS-2010-BurckhardtKMN #debugging #probability #random

A randomized scheduler with probabilistic guarantees of finding bugs (SB, PK, MM, SN), pp. 167–178.

HPDC-2010-YuanYWZ #named #parallel #predict #scheduling #strict

PV-EASY: a strict fairness guaranteed and prediction enabled scheduler in parallel job scheduling (YY, GY, YW, WZ), pp. 240–251.

CAV-2010-ChenCFTTW #automation #learning #reasoning

Automated Assume-Guarantee Reasoning through Implicit Learning (YFC, EMC, AF, MHT, YKT, BYW), pp. 511–526.

CSL-2010-BasinC #protocol #security

Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries (DAB, CJFC), pp. 1–18.

VLDB-2009-ElmeleegyECAZ #approximate #linear #online #precise

Online Piece-wise Linear Approximation of Numerical Streams with Precision Guarantees (HE, AKE, EC, WGA, WZ), pp. 145–156.

VLDB-2009-MishimaN #database #middleware #named #replication

Pangea: An Eager Database Replication Middleware guaranteeing Snapshot Isolation without Modification of Database Servers (TM, HN), pp. 1066–1077.

VLDB-2009-SternBB #performance #quality

A Wavelet Transform for Efficient Consolidation of Sensor Relations with Quality Guarantees (MS, EB, KB), pp. 157–168.

ESOP-2009-DoddsFPV #reasoning

Deny-Guarantee Reasoning (MD, XF, MJP, VV), pp. 363–377.

PLDI-2009-PetrankMS #bound #parallel #source code

Progress guarantee for parallel programs via bounded lock-freedom (EP, MM, BS), pp. 144–154.

HIMI-DIE-2009-LeeKSC #framework #multi #protocol

A Framework for Fairness Guaranteed Multi-streaming Transport Protocol (WL, HK, DWS, JC), pp. 553–562.

TOOLS-EUROPE-2009-KastnerATKB #approach #correctness #independence #product line

Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach (CK, SA, ST, MK, DSB), pp. 175–194.

POPL-2009-Feng #reasoning

Local rely-guarantee reasoning (XF), pp. 315–327.

SAC-2009-GroppeNL #java #named #query #rdf #satisfiability #semantics #type safety #web

SWOBE — embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types (SG, JN, VL), pp. 1239–1246.

LCTES-2009-HinesPGWT #behaviour #lookahead

Guaranteeing instruction fetch behavior with a lookahead instruction fetch engine (LIFE) (SRH, YP, PG, DBW, GST), pp. 119–128.

ICST-2009-KaminskiA #detection #fault #logic #testing #using

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection (GKK, PA), pp. 356–365.

TestCom-FATES-2009-El-FakihYF #fault #finite #state machine #testing

Testing Timed Finite State Machines with Guaranteed Fault Coverage (KEF, NY, HF), pp. 66–80.

VMCAI-2009-AmjadB #analysis #automation #proving #towards

Towards Automatic Stability Analysis for Rely-Guarantee Proofs (HA, RB), pp. 14–28.

ASE-2008-IspirC #aspect-oriented #programming #verification

An Assume Guarantee Verification Methodology for Aspect-Oriented Programming (MI, ABC), pp. 391–394.

VLDB-2008-ChengCX #nondeterminism #quality

Cleaning uncertain data with quality guarantees (RC, JC, XX), pp. 722–735.

PEPM-2008-GillenwaterMSZTGO #hardware #static typing #using

Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability (JG, GM, CS, AYZ, WT, JG, JO), pp. 41–50.

STOC-2008-BansalKN #bound #design #network

Additive guarantees for degree bounded directed network design (NB, RK, VN), pp. 769–778.

FM-2008-EmmiGP #automaton #interface #verification

Assume-Guarantee Verification for Interface Automata (ME, DG, CSP), pp. 116–131.

CIKM-2008-KarnstedtSHHSS #database #query

Estimating the number of answers with guarantees for structured queries in p2p databases (MK, KUS, MH, MH, BS, RS), pp. 1407–1408.

LOPSTR-2008-MontenegroPS #algorithm

An Inference Algorithm for Guaranteeing Safe Destruction (MM, RPM, CS), pp. 135–151.

CC-2008-ProkopskiV #safety #virtual machine

Compiler-Guaranteed Safety in Code-Copying Virtual Machines (GBP, CV), pp. 163–177.

CAV-2008-BobaruPG #abstraction #automation #reasoning #refinement

Automated Assume-Guarantee Reasoning by Abstraction Refinement (MGB, CSP, DG), pp. 135–148.

SAT-2008-MaarenW #performance

Finding Guaranteed MUSes Fast (HvM, SW), pp. 291–304.

SIGMOD-2007-CongFK #distributed #evaluation #performance #query

Distributed query evaluation with performance guarantees (GC, WF, AK), pp. 509–520.

VLDB-2007-ChoS #crawling #rank

RankMass Crawler: A Crawler with High PageRank Coverage Guarantee (JC, US), pp. 375–386.

ESOP-2007-FengFS #concurrent #logic #on the #reasoning

On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning (XF, RF, ZS), pp. 173–188.

FASE-2007-ChechikGG

Finding Environment Guarantees (MC, MG, AG), pp. 352–367.

TACAS-2007-ChakiS #reasoning

Optimized L*-Based Assume-Guarantee Reasoning (SC, OS), pp. 276–291.

TACAS-2007-ChatterjeeH #synthesis

Assume-Guarantee Synthesis (KC, TAH), pp. 261–275.

EDOC-2007-Molina-JimenezSC #consistency #implementation #message passing #middleware #using

Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware (CMJ, SKS, NC), pp. 51–62.

KDD-2007-KarrasMS #summary

Exploiting duality in summarization with deterministic guarantees (PK, DS, NM), pp. 380–389.

SIGIR-2007-NtoulasC #correctness #policy

Pruning policies for two-tiered inverted index with correctness guarantee (AN, JC), pp. 191–198.

DAC-2006-LeungT #performance #scheduling

Optimal link scheduling on improving best-effort and guaranteed services performance in network-on-chip systems (LFL, CYT), pp. 833–838.

DAC-2006-MuraliABM #fault tolerance #multi #network

A multi-path routing strategy with guaranteed in-order packet delivery and fault-tolerance for networks on chip (SM, DA, LB, GDM), pp. 845–848.

VLDB-2006-LiCTACH #data type #query #safety

Safety Guarantee of Continuous Join Queries over Punctuated Data Streams (HGL, SC, JT, DA, KSC, WPH), pp. 19–30.

STOC-2006-AroraC #approximate

New approximation guarantee for chromatic number (SA, EC), pp. 215–224.

ICEIS-SAIC-2006-BrzezinskiKK #mobile #protocol #safety

Safety of Checkpointing and Rollback-Recovery Protocol for Mobile Systems with RYW Session Guarantee (JB, AK, JK), pp. 118–123.

KDD-2006-AbeZL06a #detection

Outlier detection by sampling with accuracy guarantees (MW, CJ), pp. 767–772.

ISSTA-2006-CobleighAC #composition #reasoning

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.

DAC-2005-ManolacheEP #communication #energy #fault #latency

Fault and energy-aware communication mapping with guaranteed latency for applications implemented on NoC (SM, PE, ZP), pp. 266–269.

DATE-2005-BjerregaardS #architecture

A Router Architecture for Connection-Oriented Service Guarantees in the MANGO Clockless Network-on-Chip (TB, JS), pp. 1226–1231.

DATE-2005-GoossensDGPRR #design #network #performance #verification

A Design Flow for Application-Specific Networks on Chip with Guaranteed Performance to Accelerate SOC Design and Verification (KG, JD, OPG, SGP, AR, ER), pp. 1182–1187.

SIGMOD-2005-JermaineDAJP #probability

A Disk-Based Join With Probabilistic Guarantees (CJ, AD, SA, SJ, AP), pp. 563–574.

SIGMOD-2005-LingaCGS #correctness

Guaranteeing Correctness and Availability in P2P Range Indices (PL, AC, JG, JS), pp. 323–334.

VLDB-2005-AkalTSBGV #correctness #fine-grained #replication #scheduling

Fine-Grained Replication and Scheduling with Freshness and Correctness Guarantees (FA, CT, HJS, YB, TG, LV), pp. 565–576.

ICML-2005-McMahanLG #bound #performance #programming #realtime

Bounded real-time dynamic programming: RTDP with monotone upper bounds and performance guarantees (HBM, ML, GJG), pp. 569–576.

CAV-2005-ChakiCST #automation #consistency #reasoning #simulation

Automated Assume-Guarantee Reasoning for Simulation Conformance (SC, EMC, NS, PT), pp. 534–547.

DATE-v2-2004-MillbergNTJ #network #using

Guaranteed Bandwidth Using Looped Containers in Temporally Disjoint Networks within the Nostrum Network on Chip (MM, EN, RT, AJ), pp. 890–895.

DATE-v2-2004-RadulescuDGRW #abstraction #flexibility #interface #network #performance

An Efficient On-Chip Network Interface Offering Guaranteed Services, Shared-Memory Abstraction, and Flexible Network Configuration (AR, JD, KGWG, ER, PW), pp. 878–883.

VLDB-2004-KoudasOT0 #approximate #bound #fault #performance #query

Approximate NN queries on Streams with Guaranteed Error/performance Bounds (NK, BCO, KLT, RZ), pp. 804–815.

VLDB-2004-TheobaldWS #evaluation #probability #query

Top-k Query Evaluation with Probabilistic Guarantees (MT, GW, RS), pp. 648–659.

ESOP-2004-GuttmanTCHRS #trust

Trust Management in Strand Spaces: A Rely-Guarantee Method (JDG, FJT, JAC, JCH, JDR, BTS), pp. 325–339.

ICALP-2004-BansalFKMSS

Further Improvements in Competitive Guarantees for QoS Buffering (NB, LF, TK, MM, BS, MS), pp. 196–207.

SAC-2004-BravettiLZG #e-commerce #quality #security #web #web service

Web Services for E-commerce: guaranteeing security access and quality of service (MB, RL, GZ, RG), pp. 800–806.

ICSE-2004-GiannakopoulouPC #source code #verification

Assume-Guarantee Verification of Source Code with Design-Level Assumptions (DG, CSP, JMC), pp. 211–220.

OSDI-2004-DunaganHJKTW #distributed #lightweight #named

FUSE: Lightweight Guaranteed Distributed Failure Notification (JD, NJAH, MBJ, DK, MT, AW), pp. 151–166.

DATE-2003-RijpkemaGRDMWW #design #network

Trade Offs in the Design of a Router with Both Guaranteed and Best-Effort Services for Networks on Chip (ER, KGWG, AR, JD, JLvM, PW, EW), pp. 10350–10355.

ESOP-2003-Nieto #higher-order

The Rely-Guarantee Method in Isabelle/HOL (LPN), pp. 348–362.

FoSSaCS-2003-Maier #composition

Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete (PM), pp. 343–357.

FME-2003-FenkamGJ #approach #concurrent

Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach (PF, HCG, MJ), pp. 636–657.

FME-2003-Henderson #correctness #proving #using

Proving the Correctness of Simpson’s 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method (NH), pp. 244–263.

MLDM-2003-Boulle #named

Khiops: A Discretization Method of Continuous Attributes with Guaranteed Resistance to Noise (MB), pp. 50–64.

PPDP-2003-LiuS #datalog #performance #source code

From datalog rules to efficient programs with time and space guarantees (YAL, SDS), pp. 172–183.

ICSE-2003-Dingel #reasoning

Computer-Assisted Assume/Guarantee Reasoning with VeriSoft (JD), pp. 138–148.

DAC-2002-KrauterW #analysis

Variable frequency crosstalk noise analysis: : a methodology to guarantee functionality from dc to fmax (BK, DW), pp. 665–668.

DAC-2002-PhillipsDS #order #reduction

Guaranteed passive balancing transformations for model order reduction (JRP, LD, LMS), pp. 52–57.

DATE-2002-GoossensWPM #network

Networks on Silicon: Combining Best-Effort and Guaranteed Services (KGWG, PW, AMGP, JLvM), pp. 423–425.

SIGMOD-2002-GarofalakisG #fault

Wavelet synopses with error guarantees (MNG, PBG), pp. 476–487.

SIGMOD-2002-GillmannWW #quality #workflow

Workflow management with service quality guarantees (MG, GW, WW), pp. 228–239.

SAS-2002-VeldhuizenL #compilation #optimisation #proving

Guaranteed Optimization: Proving Nullspace Properties of Compilers (TLV, AL), pp. 263–277.

IFM-2002-ZulkernineS #algorithm #automation #detection

Assume-Guarantee Algorithms for Automatic Detection of Software Failures (MZ, RES), pp. 89–108.

DAC-2001-QiuWP #mobile #multi #power management

Dynamic Power Management in a Mobile Multimedia System with Guaranteed Quality-of-Service (QQ, QW, MP), pp. 834–839.

TACAS-2001-AmlaENT #composition #diagrams #reasoning

Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (NA, EAE, KSN, RJT), pp. 465–479.

PASTE-2001-MaessenSG #java #program analysis #safety #virtual machine

Program analysis for safety guarantees in a Java virtual machine written in Java (JWM, VS, DG), pp. 62–65.

ICALP-2001-Maier #framework #reasoning

A Set-Theoretic Framework for Assume-Guarantee Reasoning (PM), pp. 821–834.

DATE-2000-ShenoyBC #algorithm #quality #synthesis

A System-Level Synthesis Algorithm with Guaranteed Solution Quality (UNS, PB, ANC), pp. 417–424.

PODS-2000-CharikarCMN #estimation #fault #towards

Towards Estimation Error Guarantees for Distinct Values (MC, SC, RM, VRN), pp. 268–279.

WLC-2000-MargolisPV #image #word

Words Guaranteeing Minimal Image (SWM, JÉP, MVV), pp. 297–310.

ICML-2000-NiyogiK #approach #clustering #reduction

An Approach to Data Reduction and Clustering with Theoretical Guarantees (PN, NK), pp. 679–686.

FM-v2-1999-BoerHR #approach #concurrent #paradigm #semantics

Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach (FSdB, UH, WPdR), pp. 1245–1265.

OSDI-1999-Baker-Harvey #multi #resource management #scheduling

ETI Resource Distributor: Guaranteed Resource Allocation and Scheduling in Multimedia Systems (MBH), pp. 131–144.

CAV-1999-HenzingerQR #refinement

Assume-Guarantee Refinement Between Different Time Scales (TAH, SQ, SKR), pp. 208–221.

VLDB-1998-JagadishKMPSS #quality

Optimal Histograms with Quality Guarantees (HVJ, NK, SM, VP, KCS, TS), pp. 275–286.

ISMM-1998-Siebert #garbage collection #incremental #realtime

Guaranteeing Non-Disruptiveness and Real-Time Deadlines in an Incremental Garbage Collector (FS), pp. 130–137.

LCTES-1998-GeorgeM #multi #protocol #reliability

A Uniform Reliable Multicast Protocol with Guaranteed Response Times (LG, PM), pp. 65–82.

CAV-1998-HenzingerQR #case study

You Assume, We Guarantee: Methodology and Case Studies (TAH, SQ, SKR), pp. 440–451.

PODS-1997-NerjesMW #multi #probability

Stochastic Service Guarantees for Continuous Data on Multi-Zone Disks (GN, PM, GW), pp. 154–160.

CSCW-1996-Dourish #collaboration #consistency #semantics #tool support

Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit (PD), pp. 268–277.

SEKE-1996-Kim #design #towards

Towards Designing RTO.k Structured Server Objects with Service Time Guarantee (KHK), pp. 522–528.

HPDC-1996-HuardILY #adaptation #monitoring

Meeting QoS Guarantees by End-to-End QoS Monitoring and Adaptation (JFH, II, AAL, HY), pp. 348–355.

STOC-1995-AwerbuchABV #approximate

Improved approximation guarantees for minimum-weight k-trees and prize-collecting salesmen (BA, YA, AB, SV), pp. 277–283.

SOSP-1995-GopalakrishnanP #protocol #realtime

A Real-time Upcall Facility for Protocol Processing with QoS Guarantees (RG, GMP), p. 231.

PODS-1993-Raz #order #transaction

Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions (YR), pp. 83–96.

VLDB-1992-Raz #multi #principle #using

The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Mangers Using Atomic Commitment (YR), pp. 292–312.

ML-1991-GratchD #approach #effectiveness #hybrid

A Hybrid Approach to Guaranteed Effective Control Strategies (JG, GD), pp. 509–513.

VDME-1988-WoodcockD #case study #experience #using

Using VDM with Rely and Guarantee-Conditions — Experiences from a Real Project (JW, BD), pp. 434–458.

DAC-1980-HeynsSB #algorithm #problem

A line-expansion algorithm for the general routing problem with a guaranteed solution (WH, WS, HB), pp. 243–249.