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:
weakest (8)
analysi (7)
use (6)
transform (5)
base (5)

Stem precondit$ (all stems)

40 papers:

STOCSTOC-2015-SchulmanS #algorithm #analysis #matrix
Analysis of a Classical Matrix Preconditioning Algorithm (LJS, AS), pp. 831–840.
SASSAS-2014-BrotherstonG #abduction #safety #termination
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions (JB, NG), pp. 68–84.
FMFM-2014-SchebenS #calculus #composition #performance #self
Efficient Self-composition for Weakest Precondition Calculi (CS, PHS), pp. 579–594.
GT-VMTGT-VMT-2014-DeckwerthV #constraints #generative #graph transformation #higher-order
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation (FD, GV).
ICGTICGT-2014-DeckwerthV #constraints #generative #graph
Attribute Handling for Generating Preconditions from Graph Constraints (FD, GV), pp. 81–96.
AMTAMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
FSEFSE-2014-Nguyen0NR #api #corpus #mining #scalability
Mining preconditions of APIs in large-scale code corpus (HAN, RD, TNN, HR), pp. 166–177.
VMCAIVMCAI-2014-LopesM #compilation #optimisation #synthesis
Weakest Precondition Synthesis for Compiler Optimizations (NPL, JM), pp. 203–221.
DATEDATE-2013-DaloukasMETS #approach #network #parallel #performance #power management
A parallel fast transform-based preconditioning approach for electrical-thermal co-simulation of power delivery networks (KD, AM, NEE, PT, GIS), pp. 1689–1694.
ESOPESOP-2013-SeghirK
Counterexample-Guided Precondition Inference (MNS, DK), pp. 451–471.
VMCAIVMCAI-2013-CousotCFL #automation
Automatic Inference of Necessary Preconditions (PC, RC, MF, FL), pp. 128–148.
ICEISICEIS-v2-2012-ErdensCLA #composition
Discoverying Cloud Services by Preconditions and Effects for Compositions (LE, DBC, DL, PA), pp. 264–270.
ASEASE-2011-OverbeyJ #analysis #difference #lightweight #refactoring #reuse #tool support
Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.
VMCAIVMCAI-2011-CousotCL #contract
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.
DACDAC-2010-FengZ #analysis #grid #parallel #power management #robust
Parallel multigrid preconditioning on graphics processing units (GPUs) for robust power grid analysis (ZF, ZZ), pp. 661–666.
ICSTICST-2010-WeiGMO
Satisfying Test Preconditions through Guided Object Selection (YW, SG, BM, MO), pp. 303–312.
PLDIPLDI-2009-ChandraFS #approach #named
Snugglebug: a powerful approach to weakest preconditions (SC, SJF, MS), pp. 363–374.
SACSAC-2009-HecklM #composition #process
Operational control of service processes: modularization as precondition (DH, JM), pp. 239–244.
SACSAC-2009-VomelTM #quantum
Bulk based preconditioning for quantum dot computations (CV, ST, OM), pp. 961–965.
CAiSECAiSE-2008-CostalGQT #concept #contract
Drawing Preconditions of Operation Contracts from Conceptual Schemas (DC, CG, AQ, ET), pp. 266–280.
ICMLICML-2008-YaoL #difference #learning
Preconditioned temporal difference learning (HY, ZQL), pp. 1208–1215.
ISSTAISSTA-2008-SankaranarayananCIG #learning
Dynamic inference of likely data preconditions over predicates by tree learning (SS, SC, FI, AG), pp. 295–306.
VMCAIVMCAI-2008-Moy #composition
Sufficient Preconditions for Modular Assertion Checking (YM), pp. 188–202.
DACDAC-2007-DongL #performance #simulation #using
Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning (WD, PL), pp. 436–439.
ICSMEICSM-2007-BrandBS #analysis #debugging #detection
Evidence-Based Analysis and Inferring Preconditions for Bug Detection (DB, MB, VCS), pp. 44–53.
SASSAS-2007-CalcagnoDOY #analysis
Footprint Analysis: A Shape Analysis That Discovers Preconditions (CC, DD, PWO, HY), pp. 402–418.
ICGTICGT-2006-HabelPR #source code
Weakest Preconditions for High-Level Programs (AH, KHP, AR), pp. 445–460.
DATEDATE-2005-LiS #performance #simulation
An Efficiently Preconditioned GMRES Method for Fast Parasitic-Sensitive Deep-Submicron VLSI Circuit Simulation (ZL, CJRS), pp. 752–757.
PASTEPASTE-2005-BarnettL #source code
Weakest-precondition of unstructured programs (MB, KRML), pp. 82–87.
ICMLICML-2005-IlghamiMNA #approximate #learning
Learning approximate preconditions for methods in hierarchical plans (OI, HMA, DSN, DWA), pp. 337–344.
FASEFASE-2004-HeG #automation #debugging #using
Automated Debugging Using Path-Based Weakest Preconditions (HH, NG), pp. 267–280.
KRKR-2004-Gabaldon #algorithm
Precondition Control and the Progression Algorithm (AG), pp. 634–643.
DACDAC-2001-ChenC #analysis #grid #performance #power management #scalability
Efficient Large-Scale Power Grid Analysis Based on Preconditioned Krylov-Subspace Iterative Methods (THC, CCPC), pp. 559–562.
FMFM-v2-1999-CavalcantiN #object-oriented #refinement #semantics
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement (AC, DAN), pp. 1439–1459.
FMFME-1996-ComuzziH #slicing #using
Program Slicing Using Weakest Preconditions (JJC, JMH), pp. 557–575.
ICLPICLP-1995-ChiuL #constraints #linear #theorem proving #using
Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method (CKC, JHML), pp. 17–31.
PPoPPPPoPP-1993-YeungA #experience
Experience with Fine-Grain Synchronization in MIMD Machines for Preconditioned Conjugate Gradient (DY, AA), pp. 187–197.
CAVCAV-1991-VemuriS #design #verification
Temporal Precondition Verification of Design Transformations (RV, AS), pp. 125–135.
CADECADE-1982-Smith #synthesis
Derived Preconditions and Their Use in Program Synthesis (DRS), pp. 172–193.
STOCSTOC-1976-LiptonS #evaluation
Evaluation of Polynomials with Super-Preconditioning (RJL, LJS), pp. 174–180.

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.