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:
constraint (45)
base (39)
use (39)
model (35)
chang (30)

Stem propag$ (all stems)

315 papers:

QoSAQoSA-2015-HofigZS #automation #dependence #using
Automated Failure Propagation using Inner Port Dependency Traces (KH, MZ, KS), pp. 123–128.
CASECASE-2015-YanLP #fault
A fault diagnosis method for HVAC Air Handling Units considering fault propagation (YY, PBL, KRP), pp. 961–966.
DATEDATE-2015-YuSHEAB #library #multi #statistics #using
Statistical library characterization using belief propagation across multiple technology nodes (LY, SS, CH, IME, DAA, DSB), pp. 1383–1388.
VLDBVLDB-2015-GatterbauerGKF
Linearized and Single-Pass Belief Propagation (WG, SG, DK, CF), pp. 581–592.
SCAMSCAM-2015-BanerjeeMS #equivalence #framework #validation
A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs (KB, CAM, DS), pp. 247–252.
GaMGaM-2015-ValletKPM #approach #modelling #network #social #visual notation
A Visual Analytics Approach to Compare Propagation Models in Social Networks (JV, HK, BP, GM), pp. 65–79.
ICMLICML-2015-Papachristoudis #adaptation
Adaptive Belief Propagation (GP, JWF), pp. 899–907.
ICMLICML-2015-PiechHNPSG #feedback #learning #student
Learning Program Embeddings to Propagate Feedback on Student Code (CP, JH, AN, MP, MS, LJG), pp. 1093–1102.
KDDKDD-2015-FujiwaraNSIT #adaptation #performance
Adaptive Message Update for Fast Affinity Propagation (YF, MN, HS, YI, MT), pp. 309–318.
KDDKDD-2015-RaptiSTT #multi #network
Virus Propagation in Multiple Profile Networks (AR, SS, KT, GT), pp. 975–984.
MLDMMLDM-2015-GovadaJMS #approach #hybrid #induction #learning #using
Hybrid Approach for Inductive Semi Supervised Learning Using Label Propagation and Support Vector Machine (AG, PJ, SM, SKS), pp. 199–213.
GPCEGPCE-2015-InostrozaS #algebra #composition #using
Modular interpreters for the masses: implicit context propagation using object algebras (PI, TvdS), pp. 171–180.
PPDPPPDP-2015-MartinezFS #constraints
Search by constraint propagation (TM, FF, SS), pp. 173–183.
SACSAC-2015-AliK #approach #effectiveness #recommendation
An effective approach to group recommendation based on belief propagation (IA, SWK), pp. 1148–1153.
ICSEICSE-v1-2015-OcteauLDJM #analysis #android #communication #component #constant
Composite Constant Propagation: Application to Android Inter-Component Communication Analysis (DO, DL, MD, SJ, PM), pp. 77–88.
ICSEICSE-v1-2015-WeissRL #fault #program analysis #scalability
Database-Backed Program Analysis for Scalable Error Propagation (CW, CRG, BL), pp. 586–597.
DATEDATE-2014-SeylerSWSGT #network #self
A self-propagating wakeup mechanism for point-to-point networks with partial network support (JRS, TS, JW, MS, MG, JT), pp. 1–6.
DATEDATE-2014-SubramanyanA #design #security #verification
Formal verification of taint-propagation security properties in a commercial SoC design (PS, DA), pp. 1–2.
SASSAS-2014-MeshmanDVY #memory management #refinement #synthesis
Synthesis of Memory Fences via Refinement Propagation (YM, AMD, MTV, EY), pp. 237–252.
HCISCSM-2014-PlikynasRR #interactive #modelling #social
Modelling of Excitation Propagation for Social Interactions (DP, AR, SR), pp. 242–252.
ICEISICEIS-v3-2014-AndradeFBP
New Approaches for Geographic Location Propagation in Digital Photograph Collections (DOSdA, HFdF, CdSB, ACdP), pp. 92–99.
CIKMCIKM-2014-PhanDXPK #analysis #health #network #physics #process #social
Analysis of Physical Activity Propagation in a Health Social Network (NP, DD, XX, BP, DK), pp. 1329–1338.
CIKMCIKM-2014-PimplikarGBP #learning
Learning to Propagate Rare Labels (RP, DG, DB, GRP), pp. 201–210.
CIKMCIKM-2014-YinG #distributed #scalability
Scalable Distributed Belief Propagation with Prioritized Block Updates (JY, LG), pp. 1209–1218.
ICMLICML-c1-2014-SolomonRGB #learning
Wasserstein Propagation for Semi-Supervised Learning (JS, RMR, LJG, AB), pp. 306–314.
ICMLICML-c2-2014-FujiwaraI #performance
Efficient Label Propagation (YF, GI), pp. 784–792.
ICPRICPR-2014-ChenK14a #learning
Learning to Count with Back-propagated Information (KC, JKK), pp. 4672–4677.
ICPRICPR-2014-El-GaalyTE #classification
Spatial-Visual Label Propagation for Local Feature Classification (TEG, MT, AME), pp. 3422–3427.
ICPRICPR-2014-KumarNJ #recognition
Face Recognition in Videos by Label Propagation (VK, AMN, CVJ), pp. 303–308.
ICPRICPR-2014-LiDXWP #classification #image #probability
Local Label Probability Propagation for Hyperspectral Image Classification (HL, JD, SX, LW, CP), pp. 4251–4256.
ICPRICPR-2014-ZhangLZ
Transformed Neighborhood Propagation (ZZ, FZL, MBZ), pp. 3792–3797.
KEODKEOD-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.
MODELSMoDELS-2014-ChavarriagaNCJ #detection #multi #process
Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process (JC, CN, RC, VJ), pp. 337–352.
MODELSMoDELS-2014-ChavarriagaNCJ #detection #multi #process
Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process (JC, CN, RC, VJ), pp. 337–352.
SACSAC-2014-FdhilaR #co-evolution #collaboration #predict #process
Predicting change propagation impacts in collaborative business processes (WF, SRM), pp. 1378–1385.
SACSAC-2014-RossiLR #algorithm #classification #network #using
A parameter-free label propagation algorithm using bipartite heterogeneous networks for text classification (RGR, AAL, SOR), pp. 79–84.
ICSEICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing
An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
ISSTAISSTA-2014-JustEF #analysis #clustering #execution #mutation testing #performance
Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.
DACDAC-2013-ShafiqueRAH #fault #optimisation #reliability
Exploiting program-level masking and error propagation for constrained reliability optimization (MS, SR, PVA, JH), p. 9.
DATEDATE-2013-GoultiaevaSB
Bridging the gap between dual propagation and CNF-based QBF solving (AG, MS, AB), pp. 811–814.
VLDBVLDB-2013-KimelfeldVW #approximate #complexity #multi
Multi-Tuple Deletion Propagation: Approximations and Complexity (BK, JV, DPW), pp. 1558–1569.
FASEFASE-2013-SalayGC #co-evolution #nondeterminism
Change Propagation due to Uncertainty Change (RS, JG, MC), pp. 21–36.
ICSMEICSM-2013-NordOSDGK #architecture #using
Variations on Using Propagation Cost to Measure Architecture Modifiability Properties (RLN, IO, RSS, JD, MAG, PK), pp. 400–403.
CSCWCSCW-2013-AlvesF #named
Radiator: context propagation based on delayed aggregation (PA, PF), pp. 249–260.
CIKMCIKM-2013-ZhangDDC #network #probability #social
Probabilistic solutions of influence propagation on social networks (MZ, CD, CHQD, EC), pp. 429–438.
ICMLICML-c1-2013-HeaukulaniG #modelling #network #probability #social
Dynamic Probabilistic Models for Latent Feature Propagation in Social Networks (CH, ZG), pp. 275–283.
ICMLICML-c3-2013-Gomez-RodriguezLS #modelling
Modeling Information Propagation with Survival Theory (MGR, JL, BS), pp. 666–674.
KDDKDD-2013-ZhengM #optimisation #parallel
Optimizing parallel belief propagation in junction treesusing regression (LZ, OJM), pp. 757–765.
SIGIRSIGIR-2013-ZhangWYW #learning #network #predict
Learning latent friendship propagation networks with interest awareness for link prediction (JZ, CW, PSY, JW), pp. 63–72.
BXBX-2013-OrejasBE0S #concurrent #on the
On Propagation-Based Concurrent Model Synchronization (FO, AB, HE, FH, HS), pp. 18–36.
PPDPPPDP-2013-RobbinsHK
Theory propagation and rational-trees (ER, JMH, AK), pp. 193–204.
CADECADE-2013-LoupSCAB #algebra #composition #constraints
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition (UL, KS, FC, , BB), pp. 193–207.
ICSTSAT-2013-LonsingEG #learning #performance #pseudo #quantifier
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (FL, UE, AVG), pp. 100–115.
CBSECBSE-2012-PopPOMB #co-evolution #component #network
Property networks allowing oracle-based mode-change propagation in hierarchical components (TP, FP, MO, MM, TB), pp. 93–102.
DATEDATE-2012-MittagKJR #constraints #design #geometry #physics
Hierarchical propagation of geometric constraints for full-custom physical design of ICs (MM, AK, GJ, WR), pp. 1471–1474.
DATEDATE-2012-ZhangPM #3d #analysis #grid #power management
Voltage propagation method for 3-D power grid analysis (CZ, VFP, GDM), pp. 844–847.
PODSPODS-2012-Kimelfeld #complexity #dependence #functional
A dichotomy in the complexity of deletion propagation with functional dependencies (BK), pp. 191–202.
SCAMSCAM-2012-GauthierM #alias #php
Alias-Aware Propagation of Simple Pattern-Based Properties in PHP Applications (FG, EM), pp. 44–53.
CIKMCIKM-2012-CuiMWGL #image #keyword #semantics
Semantically coherent image annotation with a learning-based keyword propagation strategy (CC, JM, SW, SG, TL), pp. 2423–2426.
CIKMCIKM-2012-GargKL #network #rating #social
Information propagation in social rating networks (PG, IK, MRL), pp. 2279–2282.
CIKMCIKM-2012-HaKKFP #recommendation
Top-N recommendation through belief propagation (JH, SHK, SWK, CF, SP), pp. 2343–2346.
CIKMCIKM-2012-ShenDZT #multi #network #online #social
Interest-matching information propagation in multiple online social networks (YS, TND, HZ, MTT), pp. 1824–1828.
CIKMCIKM-2012-ShirazipourazadBVSH #contest #how
Influence propagation in adversarial setting: how to defeat competition with least amount of investment (SS, BB, HV, AS, PH), pp. 585–594.
ICMLICML-2012-BoukouvalasBC #process #using
Gaussian Process Quantile Regression using Expectation Propagation (AB, RB, DC), p. 123.
ICMLICML-2012-MartensSS
Estimating the Hessian by Back-propagating Curvature (JM, IS, KS), p. 126.
ICPRICPR-2012-GimelfarbGND #concurrent #optimisation #problem
Concurrent propagation for solving ill-posed problems of global discrete optimisation (GLG, RG, RN, PD), pp. 1864–1867.
ICPRICPR-2012-IwashitaPFLOAT #cost analysis
Speeding up optimum-path forest training by path-cost propagation (ASI, JPP, AXF, RdAL, VMdAO, VHCdA, JMRST), pp. 1233–1236.
ICPRICPR-2012-LiuC #3d
3D tracking of deformable surface by propagating feature correspondences (YL, YQC), pp. 2202–2205.
KDDKDD-2012-ChenCL #game studies #multi #network #social
Information propagation game: a tool to acquire humanplaying data for multiplayer influence maximization on social networks (HHC, YBC, SDL), pp. 1524–1527.
KDDKDD-2012-ZhangFWZ #keyword #web
Keyword-propagation-based information enriching and noise removal for web news videos (JZ, XF, JW, LZ), pp. 561–569.
SIGIRSIGIR-2012-WeiLZMRZ #novel #web
Fighting against web spam: a novel propagation method based on click-through data (CW, YL, MZ, SM, LR, KZ), pp. 395–404.
PADLPADL-2012-CampagnaSS #approximate #constraints #datalog #difference #optimisation
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.
ICSEICSE-2012-StaatsGH #automation #fault #how #mutation testing #testing
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing (MS, GG, MPEH), pp. 870–880.
ICSEICSE-2012-YanXR #java #performance #problem #profiling
Uncovering performance problems in Java applications with reference propagation profiling (DY, G(X, AR), pp. 134–144.
ASEASE-2011-NguyenNNN #fault #html #php #validation
Auto-locating and fix-propagating for HTML validation errors to PHP server-side code (HVN, HAN, TTN, TNN), pp. 13–22.
PODSPODS-2011-KimelfeldVW
Maximizing conjunctive views in deletion propagation (BK, JV, RW), pp. 187–198.
ICSMEICSM-2011-BarbourKZ #clone tracking
Late propagation in software clones (LB, FK, YZ), pp. 273–282.
ICSMEICSM-2011-HassaineBGHA #approach #co-evolution
A seismology-inspired approach to study change propagation (SH, FB, YGG, SH, GA), pp. 53–62.
GT-VMTGT-VMT-2011-EhrigHSB #constraints #graph grammar #model transformation
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars (HE, FH, HS, CB).
CIKMCIKM-2011-RenMWL #process #thread #topic #web
Summarizing web forum threads based on a latent topic propagation process (ZR, JM, SW, YL), pp. 879–884.
CIKMCIKM-2011-WangYQSW #web
Harvesting facts from textual web sources by constrained label propagation (YW, BY, LQ, MS, GW), pp. 837–846.
CIKMCIKM-2011-WatanabeOOO #detection #microblog #named #realtime
Jasmine: a real-time local-event detection system based on geolocation information propagated to microblogs (KW, MO, MO, RO), pp. 2541–2544.
ICMLICML-2011-BarthelmeC #named
ABC-EP: Expectation Propagation for Likelihoodfree Bayesian Computation (SB, NC), pp. 289–296.
KDDKDD-2011-DengHZYL #modelling #network #probability #topic
Probabilistic topic models with biased propagation on heterogeneous information networks (HD, JH, BZ, YY, CXL), pp. 1271–1279.
KDDKDD-2011-VydiswaranZR #framework #trust
Content-driven trust propagation framework (VGVV, CZ, DR), pp. 974–982.
KDIRKDIR-2011-ZalikZ #algorithm #clustering #network
Network Clustering by Advanced Label Propagation Algorithm (KRZ, BZ), pp. 444–447.
BXBX-2011-Diskin
Update propagation via tiles (ZD), p. 53.
BXBX-2011-Diskin1 #bidirectional #model transformation #weaving
From State- to Delta-Based Bidirectional Model Transformations: Unweaving Alignment and Update Propagation (ZD), p. 55.
BXBX-2011-Ehrig #constraints #model transformation
Propagation of Constraints along Model Transformations (HE), p. 56.
BXBX-2011-Pierantonio #bidirectional
Bidirectional and change propagating transformations in MDE (AP), p. 63.
ICMTICMT-2011-EgyedDGLMNR #co-evolution #consistency #model transformation
Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance (AE, AD, AG, RELH, PM, AN, AR), pp. 1–14.
LCTESLCTES-2011-BhagatGSG #effectiveness #optimisation
Global productiveness propagation: a code optimization technique to speculatively prune useless narrow computations (IB, EG, FJS, AG), pp. 161–170.
CADECADE-2011-KorovinV #bound #linear
Solving Systems of Linear Inequalities by Bound Propagation (KK, AV), pp. 369–383.
ICSTICST-2011-SantelicesH #testing
Applying aggressive propagation-based strategies for testing changes (RAS, MJH), pp. 11–20.
ICSTSAT-2011-GableskeH #named #random #satisfiability #using
EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation (OG, MH), pp. 367–368.
DATEDATE-2010-BanerjeeASNO #design
A methodology for propagating design tolerances to shape tolerances for use in manufacturing (SB, KBA, CNS, SRN, MO), pp. 1273–1278.
DATEDATE-2010-GanapathyCGR #estimation #modelling #multi #variability
Circuit propagation delay estimation through multivariate regression-based modeling under spatio-temporal variability (SG, RC, AG, AR), pp. 417–422.
ICSMEICSM-2010-AryaniPH #analysis #case study #co-evolution #enterprise
Domain-based change propagation analysis: An enterprise system case study (AA, IDP, MH), pp. 1–9.
ICSMEICSM-2010-DamW #co-evolution #modelling #uml
Supporting change propagation in UML models (HKD, MW), pp. 1–10.
SASSAS-2010-JensenMT #analysis #interprocedural #lazy evaluation
Interprocedural Analysis with Lazy Propagation (SHJ, AM, PT), pp. 320–339.
EDOCEDOC-2010-DamLG #architecture #co-evolution #enterprise #evolution
Supporting Change Propagation in the Evolution of Enterprise Architectures (HKD, LSL, AKG), pp. 24–33.
ICEISICEIS-AIDSS-2010-KuhnDGC #algorithm #ontology #sequence
KBE Template Update Propagation Support — Ontology and Algorithm for Update Sequence Computation (OK, TD, PG, PC), pp. 5–12.
CIKMCIKM-2010-ChiHY
Mixture model label propagation (MC, XH, SY), pp. 1889–1892.
CIKMCIKM-2010-EatondJ #clustering #constraints #learning #multi
Multi-view clustering with constraint propagation for learning with an incomplete mapping between views (EE, Md, SJ), pp. 389–398.
ICMLICML-2010-El-HayCFK
Continuous-Time Belief Propagation (TEH, IC, NF, RK), pp. 343–350.
ICMLICML-2010-McAuleyC #performance
Exploiting Data-Independence for Fast Belief-Propagation (JJM, TSC), pp. 767–774.
ICPRICPR-2010-ChakrabortyE #locality
Object Localization by Propagating Connectivity via Superfeatures (IC, AME), pp. 3069–3072.
ICPRICPR-2010-HsinLLC #image #using
Image Inpainting Using Structure-Guided Priority Belief Propagation and Label Transformations (HFH, JJL, CSL, HYC), pp. 4492–4495.
ICPRICPR-2010-Ogawara #approximate
Approximate Belief Propagation by Hierarchical Averaging of Outgoing Messages (KO), pp. 1368–1372.
ICPRICPR-2010-WangM #learning #order #process #using
Gaussian Process Learning from Order Relationships Using Expectation Propagation (RW, SJM), pp. 605–608.
ICPRICPR-2010-XiaLH #mining #modelling #using
Mining Exemplars for Object Modelling Using Affinity Propagation (SX, JL, ERH), pp. 918–921.
RecSysRecSys-2010-AydayF #online #recommendation
A belief propagation based recommender system for online services (EA, FF), pp. 217–220.
RecSysRecSys-2010-JamaliE #matrix #network #recommendation #social #trust
A matrix factorization technique with trust propagation for recommendation in social networks (MJ, ME), pp. 135–142.
PADLPADL-2010-GentMM #constraints #lazy evaluation
Lazy Explanations for Constraint Propagators (IPG, IM, NCAM), pp. 217–233.
SLESLE-2010-CicchettiREP #bidirectional #model transformation #named
JTL: A Bidirectional and Change Propagating Transformation Language (AC, DDR, RE, AP), pp. 183–202.
PLEASEPLEASE-2010-KammullerRR #higher-order #variability
Feature link propagation across variability representations with Isabelle/HOL (FK, AR, MOR), pp. 48–53.
PLDIPLDI-2009-Rubio-GonzalezGLAA #analysis #fault #file system
Error propagation analysis for file systems (CRG, HSG, BL, RHAD, ACAD), pp. 270–280.
HCIOCSC-2009-ZhaoYGL #analysis #modelling #topic
Propagation Modeling and Analysis of Incidental Topics in Blogosphere (LZ, RY, XG, ML), pp. 401–410.
CAiSECAiSE-2009-LiuLYWH #analysis #constraints #using #verification #workflow
ETL Workflow Analysis and Verification Using Backwards Constraint Propagation (JL, SL, DY, JW, TH), pp. 455–469.
ICEISICEIS-DISI-2009-MartinoSPV #co-evolution #database #framework #pipes and filters
A Mapreduce Framework for Change Propagation in Geographic Databases (FDM, SS, GP, MV), pp. 31–36.
ICEISICEIS-J-2009-MuellerTZ #architecture #multi #scalability
A Scalable Parametric-RBAC Architecture for the Propagation of a Multi-modality, Multi-resource Informatics System (RM, VAT, GQZ), pp. 114–124.
CIKMCIKM-2009-ChenL #product line
Message family propagation for ising mean field based on iteration tree (YC, SL), pp. 345–354.
CIKMCIKM-2009-KimPDG #classification #graph #web
Improving web page classification by label-propagation over click graphs (SMK, PP, LD, SG), pp. 1077–1086.
ICMLICML-2009-JohnsonCC #representation
Orbit-product representation and correction of Gaussian belief propagation (JKJ, VYC, MC), pp. 473–480.
ICMLICML-2009-ZhanLLZ #learning #metric #using
Learning instance specific distances using metric propagation (DCZ, ML, YFL, ZHZ), pp. 1225–1232.
KDDKDD-2009-GaoFSH #learning
Heterogeneous source consensus learning via decision propagation and negotiation (JG, WF, YS, JH), pp. 339–348.
KDIRKDIR-2009-BalujaRS #classification #graph #performance
Text Classification through Time — Efficient Label Propagation in Time-Based Graphs (SB, DR, DS), pp. 174–182.
SIGIRSIGIR-2009-BolourianMR #named #quantifier #topic #using
SugarCube: quantification of topic propagation in the blogosphere using percolation theory (AAB, YM, CJvR), pp. 786–787.
SIGIRSIGIR-2009-MiletteSRH #social
Exploiting social context for expertise propagation (GPM, MKS, KR, RH), p. 835.
ESEC-FSEESEC-FSE-2009-ZhangCTJW
Capturing propagation of infected program states (ZZ, WKC, THT, BJ, XW), pp. 43–52.
CGOCGO-2009-PereiraB #analysis #pointer
Wave Propagation and Deep Propagation for Pointer Analysis (FMQP, DB), pp. 126–135.
ICSTSAT-2009-BertholdHP #optimisation #pseudo #question
Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation? (TB, SH, MEP), pp. 441–446.
DACDAC-2008-FraerKM #paradigm #synthesis
A new paradigm for synthesis and propagation of clock gating conditions (RF, GK, MKM), pp. 658–663.
VLDBVLDB-2008-FanMHLW #dependence #functional
Propagating functional dependencies with conditions (WF, SM, YH, JL, YW), pp. 391–407.
ICSMEICSM-2008-MalikH #adaptation #co-evolution #evolution #heuristic #using
Supporting software evolution using adaptive change propagation heuristics (HM, AEH), pp. 177–186.
ICEISICEIS-AIDSS-2008-AjroudOBY #algorithm #approximate #network
An Approximate Propagation Algorithm for Product-Based Possibilistic Networks (AA, MNO, SB, HY), pp. 321–326.
CIKMCIKM-2008-BaoYFXSY #social #using
Boosting social annotations using propagation (SB, BY, BF, SX, ZS, YY), pp. 1507–1508.
CIKMCIKM-2008-SerdyukovRH #modelling #multi
Modeling multi-step relevance propagation for expert finding (PS, HR, DH), pp. 1133–1142.
ICMLICML-2008-LiLT #classification #constraints #programming
Pairwise constraint propagation by semidefinite programming for semi-supervised classification (ZL, JL, XT), pp. 576–583.
ICPRICPR-2008-JiangDX #design
An affinity propagation based method for vector quantization codebook design (WJ, FD, QLX), pp. 1–4.
ICPRICPR-2008-ZhangWZ #clustering
Clustering by evidence accumulation on affinity propagation (XZ, FW, YZ), pp. 1–4.
SEKESEKE-2008-BadriBS #approach #co-evolution #object-oriented #predict
Predicting Change Propagation in Object-oriented Systems: a Control-call Path Based Approach and Associated Tool (LB, MB, DSY), pp. 103–110.
BXBX-2008-Pierantonio1 #co-evolution #model transformation
Change Propagation in Model Transformation (AP), p. 49.
MODELSMoDELS-2008-El-BoussaidiM #constraints #design #detection #using
Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.
MODELSMoDELS-2008-El-BoussaidiM #constraints #design #detection #using
Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.
PPDPPPDP-2008-FeydySS #constraints #difference #finite
Global difference constraint propagation for finite domain solvers (TF, AS, PJS), pp. 226–235.
PPDPPPDP-2008-SchulteS
Dynamic variable elimination during propagation solving (CS, PJS), pp. 247–257.
SACSAC-2008-BistarelliS #multi #network #trust
Propagating multitrust within trust networks (SB, FS), pp. 1990–1994.
SACSAC-2008-Djelloul #constraints #first-order
Combination of decomposability and propagation for solving first-order constraints in decomposable theories (KD), pp. 1728–1732.
ASPLOSASPLOS-2008-LiRSAAZ #comprehension #design #fault
Understanding the propagation of hard errors to software and implications for resilient system design (MLL, PR, SKS, SVA, VSA, YZ), pp. 265–276.
HPCAHPCA-2008-VenkataramaniDSP #named #programmable
FlexiTaint: A programmable accelerator for dynamic taint propagation (GV, ID, YS, MP), pp. 173–184.
ICLPICLP-2008-SchulteS #bound #dynamic analysis
Dynamic Analysis of Bounds Versus Domain Propagation (CS, PJS), pp. 332–346.
ICLPICLP-2008-Weert #optimisation
Optimization of CHR Propagation Rules (PVW), pp. 485–500.
CBSECBSE-2007-CortellessaG #approach #component #fault #modelling #reliability
A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems (VC, VG), pp. 140–156.
DATEDATE-2007-FavalliM #detection #fault #interactive
Interactive presentation: Pulse propagation for the detection of small delay defects (MF, CM), pp. 1295–1300.
ICDARICDAR-2007-MinagawaFTF #analysis #image #layout #logic
Logical Structure Analysis for Form Images with Arbitrary Layout by Belief Propagation (AM, YF, HT, KF), pp. 714–718.
ICDARICDAR-2007-WeinmanLH #performance #recognition
Fast Lexicon-Based Scene Text Recognition with Sparse Belief Propagation (JJW, EGLM, ARH), pp. 979–983.
ICPCICPC-2007-MirarabHT #co-evolution #network #predict #using
Using Bayesian Belief Networks to Predict Change Propagation in Software Systems (SM, AH, LT), pp. 177–188.
ICEISICEIS-EIS-2007-RychkovaW #automation #refinement #specification #towards #visual notation
Refinement Propagation — Towards Automated Construction of Visual Specifications (IR, AW), pp. 196–204.
ECIRECIR-2007-YamoutOT #feedback #query #using
Relevance Feedback Using Weight Propagation Compared with Information-Theoretic Query Expansion (FY, MPO, JT), pp. 258–270.
SIGIRSIGIR-2007-NieWD #trust #web
Winnowing wheat from the chaff: propagating trust to sift spam from the web (LN, BW, BDD), pp. 869–870.
SACSAC-2007-FeydyS #equation #integer #linear
Propagating dense systems of integer linear equations (TF, PJS), pp. 306–310.
SACSAC-2007-FrancisS #constraints #graph
Constraint propagation for loose constraint graphs (KF, PJS), pp. 334–335.
SOFTVISSOFTVIS-2006-VoineaT06a #how #question
How do changes in buggy Mozilla files propagate? (LV, ACT), pp. 147–148.
ICEISICEIS-DISI-2006-ChakrabortySN #database #scalability
Scalable Update Propagation in Partially Replicated, Disconnected Client Server Databases (LC, AS, KN), pp. 11–21.
CIKMCIKM-2006-CongFG
Annotation propagation revisited for key preserving views (GC, WF, FG), pp. 632–641.
CIKMCIKM-2006-ShakeryZ #hypermedia #probability #retrieval
A probabilistic relevance propagation model for hypertext retrieval (AS, CZ), pp. 550–558.
CIKMCIKM-2006-YangJZNX #clustering #documentation #ranking #using #validation
Document re-ranking using cluster validation and label propagation (LY, DHJ, GZ, NY, GX), pp. 690–697.
ECIRECIR-2006-YamoutOT #feedback #using
Relevance Feedback Using Weight Propagation (FY, MPO, JT), pp. 575–578.
ICMLICML-2006-WangZ #linear
Label propagation through linear neighborhoods (FW, CZ), pp. 985–992.
ICPRICPR-v1-2006-Bernier #3d #realtime #using
Real-Time 3D Articulated Pose Tracking using Particle Filters Interacting through Belief Propagation (OB), pp. 90–93.
ICPRICPR-v2-2006-BoccignoneMN
Inference of moving forms via Belief Propagation (GB, AM, PN), pp. 191–194.
ICPRICPR-v3-2006-KlausSK #adaptation #difference #self #using
Segment-Based Stereo Matching Using Belief Propagation and a Self-Adapting Dissimilarity Measure (AK, MS, KFK), pp. 15–18.
SIGIRSIGIR-2006-WuJ #framework #graph #learning #multi
A graph-based framework for relation propagation and its application to multi-label learning (MW, RJ), pp. 717–718.
ICLPICLP-2006-BrandY #logic #towards
Towards “Propagation = Logic + Control” (SB, RHCY), pp. 102–116.
ICSTSAT-2006-CottonM #constraints #difference #flexibility #performance
Fast and Flexible Difference Constraint Propagation for DPLL(T) (SC, OM), pp. 170–183.
ICSTSAT-2006-HsuM #satisfiability
Characterizing Propagation Methods for Boolean Satisfiability (EIH, SAM), pp. 325–338.
ICSTSAT-2006-ManoliosZ #bibliography #implementation
Implementing Survey Propagation on Graphics Processing Units (PM, YZ), pp. 311–324.
WICSAWICSA-2005-ShaikAGSZAMF #architecture #co-evolution #design #quality
Change Propagation for Assessing Design Quality of Software Architectures (IPS, WA, RG, MS, AZ, HHA, AM, CPF), pp. 205–208.
DATEDATE-2005-AsadiT #estimation #probability
An Accurate SER Estimation Method Based on Propagation Probability (GA, MBT), pp. 306–307.
DATEDATE-2005-KangPR #analysis #statistics #using
Statistical Timing Analysis using Levelized Covariance Propagation (KK, BCP, KR), pp. 764–769.
DATEDATE-2005-NazarianPTLA #analysis #modelling
Modeling and Propagation of Noisy Waveforms in Static Timing Analysis (SN, MP, ET, TL, AHA), pp. 776–777.
ICMLICML-2005-Tsuda
Propagating distributions on a hypergraph by dual information regularization (KT), pp. 920–927.
SIGIRSIGIR-2005-QinLZCM #case study #web
A study of relevance propagation for web search (TQ, TYL, XDZ, ZC, WYM), pp. 408–415.
OOPSLAOOPSLA-2005-JarviWL #constraints #object-oriented
Associated types and constraint propagation for mainstream object-oriented generics (JJ, JW, AL), pp. 1–19.
SACSAC-2005-AjiliRE #approach #optimisation
A branch-price-and-propagate approach for optimizing IGP weight setting subject to unique shortest paths (FA, RR, AE), pp. 366–370.
SACSAC-2005-GoualardG #constraints #network
Controlled propagation in continuous numerical constraint networks (FG, LG), pp. 377–382.
SACSAC-2005-LambertMS #constraints #using
Solving strategies using a hybridization model for local search and constraint propagation (TL, EM, FS), pp. 398–403.
SPLCSPLC-2005-TessierGTG #modelling #product line #system family #using
Using Variation Propagation for Model-Driven Management of a System Family (PT, SG, FT, JMG), pp. 222–233.
CAVCAV-2005-NieuwenhuisO #difference #logic
DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic (RN, AO), pp. 321–334.
ICLPICLP-2005-LambertCMRS #algorithm #constraints #search-based
Hybridization of Genetic Algorithms and Constraint Propagation for the BACP (TL, CC, EM, MCR, FS), pp. 421–423.
DACDAC-2004-LeeZB #analysis #using
Static timing analysis using backward signal propagation (DL, VZ, DB), pp. 664–669.
DATEDATE-v2-2004-MondalCM #analysis #approach #logic #using
A New Approach to Timing Analysis Using Event Propagation and Temporal Logic (AM, PPC, CAM), pp. 1198–1203.
DATEDATE-v2-2004-RosselloS
A Compact Propagation Delay Model for Deep-Submicron CMOS Gates including Crosstalk (JLR, JS), pp. 954–961.
FASEFASE-2004-SoraCVB #automation #component #composition #requirements
Automating Decisions in Component Composition Based on Propagation of Requirements (IS, VC, PV, YB), pp. 374–388.
ICSMEICSM-2004-AbdelmoezSGAYBKM #architecture #co-evolution
Software Architectures Change Propagation Tool (SACPT) (WA, MS, RG, HHA, BY, SB, MK, AM), p. 517.
ICSMEICSM-2004-HassanH #co-evolution #predict
Predicting Change Propagation in Software Systems (AEH, RCH), pp. 284–293.
ICEISICEIS-v1-2004-HendersonW #enterprise #modelling #simulation
Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-Level Information Propagation (PH, SC, RJW), pp. 473–481.
ICMLICML-2004-AhnCO #algorithm #multi
A multiplicative up-propagation algorithm (JHA, SC, JHO).
ICMLICML-2004-QiMPG #automation #predict
Predictive automatic relevance determination by expectation propagation (Y(Q, TPM, RWP, ZG).
ICPRICPR-v1-2004-GreenN
Propagating Segmented Regions during a Camera Saccade (IAG, RCN), pp. 640–643.
ICPRICPR-v1-2004-LiEFR #approach #multi #segmentation
A Multi-Label Front Propagation Approach for Object Segmentation (HL, AE, MJF, SR), pp. 600–603.
ICPRICPR-v1-2004-SochmanM
Inter-Stage Feature Propagation in Cascade Building with AdaBoost (JS, JM), pp. 236–239.
ICPRICPR-v2-2004-TanakaT #image #probability
Probabilistic Image Processing based on the Q-Ising Model by Means of the Mean-Field Method and Loopy Belief Propagation (KT, DMT), pp. 40–43.
ICPRICPR-v4-2004-MegyesiC #re-engineering
Affine Propagation for Surface Reconstruction in Wide Baseline Stereo (ZM, DC), pp. 76–79.
ICLPICLP-2004-MonfroySL #constraints #on the
On Hybridization of Local Search and Constraint Propagation (EM, FS, TL), pp. 299–313.
ICLPICLP-2004-YouH #lookahead
Arc-Consistency + Unit Propagation = Lookahead (JHY, GH), pp. 314–328.
DATEDATE-2003-Novikov
Local Search for Boolean Relations on the Basis of Unit Propagation (YN), pp. 10810–10815.
CSMRCSMR-2003-GwizdalaJR #co-evolution #java #named
JTracker — A Tool for Change Propagation in Java (SG, YJ, VR), pp. 223–229.
SCAMSCAM-2003-PearceKH #analysis #detection #difference #online #pointer
Online Cycle Detection and Difference Propagation for Pointer Analysis (DJP, PHJK, CH), pp. 3–12.
ICEISICEIS-v2-2003-KeeniGS #learning #network #on the #performance #using
On Fast Learning of Neural Networks Using Back Propagation (KK, KG, HS), pp. 266–271.
ICEISICEIS-v2-2003-YanagidaM #database #self
Classifying Databases By K-Propagated Self-Organizing Map (TY, TM), pp. 499–502.
LCTESLCTES-2003-VanbroekhovenCC #array
Advanced copy propagation for arrays (PV, HC, FC), pp. 24–33.
ICLPICLP-2003-GranvilliersM #composition #constraints #implementation #reduction
Implementing Constraint Propagation by Composition of Reductions (LG, EM), pp. 300–314.
ICLPICLP-2003-LangevineDD #implementation #performance #prolog
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation (LL, MD, PD), pp. 269–283.
ICSTSAT-2003-BraunsteinZ #bibliography #random #satisfiability
Survey and Belief Propagation on Random K-SAT (AB, RZ), pp. 519–528.
ICSTSAT-2003-LiSB #effectiveness #performance #satisfiability #using
A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation (XYL, MFMS, FB), pp. 53–68.
WICSAWICSA-2002-WesthuizenH #comprehension
Understanding and Propagating Architecutural Changes (CvdW, AvdH), pp. 95–109.
DACDAC-2002-KurzwegLMKC #modelling #performance
A fast optical propagation technique for modeling micro-optical systems (TPK, SPL, JAM, MK, DMC), pp. 236–241.
PODSPODS-2002-BunemanKT #on the
On Propagation of Deletions and Annotations Through Views (PB, SK, WCT), pp. 150–158.
VLDBVLDB-2002-RantzauCHM #co-evolution #information management #named
Champagne: Data Change Propagation for Heterogeneous Information Systems (RR, CC, UH, HM), pp. 1099–1102.
ESOPESOP-2002-Martel #approach #fault #finite #precise #semantics
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach (MM), pp. 194–208.
CSMRCSMR-2002-YehK #reverse engineering
Reverse Engineering Aggregation Relationship Based on Propagation of Operations (DY, WYK), pp. 223–229.
SCAMSCAM-2002-ChangJH #exception #java #static analysis #using #visualisation
Visualization of Exception Propagation for Java Using Static Analysis (BMC, JWJ, SHH), p. 173–?.
ICEISICEIS-2002-ConstantinescuHRM #co-evolution #information management
A System for Data Change Propagation in Heterogeneous Information Systems (CC, UH, RR, BM), pp. 73–80.
ICPRICPR-v1-2002-DeschampsC #3d #performance
Fast Extraction of Tubular and Tree 3D Surfaces with Front Propagation Methods (TD, LDC), pp. 731–734.
ICPRICPR-v2-2002-MinagawaUT
Region Extraction Based on Belief Propagation for Gaussian Model (AM, KU, NT), pp. 507–510.
SACSAC-2002-BistarelliFM #constraints
Soft constraint propagation and solving in CHRs (SB, TWF, MM), pp. 1–5.
ICLPICLP-2002-Maher #constraints
Propagation Completeness of Reactive Constraints (MJM), pp. 148–162.
ISSTAISSTA-2002-HillerJS #fault #named
PROPANE: an environment for examining the propagation of errors in software (MH, AJ, NS), pp. 81–85.
SATSAT-2002-Kusper #linear #problem #satisfiability
Solving the resolution-free SAT problem by hyper-unit propagation in linear time (GK), p. 32.
DACDAC-2001-BaiBH #analysis #power management
Static Timing Analysis Including Power Supply Noise Effect on Propagation Delay in VLSI Circuits (GB, SB, INH), pp. 295–300.
DACDAC-2001-LiouCKK #analysis #performance #probability #statistics
Fast Statistical Timing Analysis By Probabilistic Event Propagation (JJL, KTC, SK, AK), pp. 661–666.
DATEDATE-2001-ZolfyMN #adaptation #concurrent #fault #simulation
Adaptation of an event-driven simulation environment to sequentially propagated concurrent fault simulation (MZ, SM, ZN), p. 823.
ICDARICDAR-2001-LejtmanG #network #online #using #verification
On-line Handwritten Signature Verification Using Wavelets and Back-propagation Neural Networks (DZL, SEG), pp. 992–996.
VLDBVLDB-2001-LabrinidisR #quality #web
Update Propagation Strategies for Improving the Quality of Data on the Web (AL, NR), pp. 391–400.
ESOPESOP-2001-Muller-OlmR #complexity #constant #on the
On the Complexity of Constant Propagation (MMO, OR), pp. 190–205.
ICSMEICSM-2001-DeruelleBMB #co-evolution #framework #multi
A Change Propagation Model and Platform for Multi-Database Applications (LD, MB, NM, HB), pp. 42–51.
IWPCIWPC-2001-YuR #co-evolution #comprehension #dependence
Hidden Dependencies in Program Comprehension and Change Propagation (ZY, VR), pp. 293–299.
PPDPPPDP-2001-SchulteS #bound #question
When Do Bounds and Domain Propagation Lead to the Same Search Space? (CS, PJS), pp. 115–126.
ICSTSAT-2001-Berre #lookahead #power of
Exploiting the real power of unit propagation lookahead (DLB), pp. 59–80.
ICMLICML-2000-RichterS #learning #modelling
Knowledge Propagation in Model-based Reinforcement Learning Tasks (CR, JS), pp. 791–798.
ICPRICPR-v3-2000-KubotaE
Reaction-Diffusion Systems for Hypothesis Propagation (TK, FE), pp. 3547–3550.
KRKR-2000-VerberneHT #approximate #constraints #reasoning #using
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation (AV, FvH, AtT), pp. 323–332.
OOPSLAOOPSLA-2000-TipP #algorithm #graph #scalability
Scalable propagation-based call graph construction algorithms (FT, JP), pp. 281–293.
SACSAC-2000-LenartSG #analysis #constant
SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation (AL, CS, SKSG), pp. 813–817.
SACSAC-2000-Monfroy #algorithm #constraints #coordination
A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation (EM), pp. 262–269.
CCCC-2000-KnoopR #constant #graph
Constant Propagation on the Value Graph: Simple Constants and Beyond (JK, OR), pp. 94–109.
DACDAC-1999-IsmailF
Effects of Inductance on the Propagation Delay and Repeater Insertion in VLSI Circuits (YII, EGF), pp. 721–724.
ICDARICDAR-1999-OshitaniW #parallel #recognition
Parallel Map Recognition with Information Propagation Mechanism (TO, TW), pp. 717–720.
SIGMODSIGMOD-1999-BreitbartKRSS #database #protocol
Update Propagation Protocols For Replicated Databases (YB, RK, RR, SS, AS), pp. 97–108.
ICALPICALP-1999-WeihrauchZ
The Wave Propagator Is Turing Computable (KW, NZ), pp. 697–707.
AdaSIGAda-1999-NeedhamDP #ada #distributed #object-oriented #towards #using
Towards a distributed object-oriented propagation model using Ada95 (DMN, SAD, TJP), pp. 203–210.
ICMLICML-1999-GiordanaP #behaviour #on the
On Some Misbehaviour of Back-Propagation with Non-Normalized RBFNs and a Solution (AG, RP), pp. 162–170.
ECOOPECOOP-1999-Ernst
Propagating Class and Method Combination (EE), pp. 67–91.
SACSAC-1999-Monfroy #constraints #using
Using “Weaker” Functions for Constraint Propagation Over Real Numbers (EM), pp. 553–559.
SACSAC-1999-MonfroyR #constraints #distributed
Chaotic Iteration for Distributed Constraint Propagation (EM, JHR), pp. 19–24.
DATEDATE-1998-KassabCAK #analysis #constraints
Propagation of Last-Transition-Time Constraints in Gate-Level Timing Analysis (MK, EC, SA, THK), pp. 796–802.
VLDBVLDB-1998-Greco #database
Binding Propagation in Disjunctive Databases (SG), pp. 287–298.
ESOPESOP-1998-FechtS #algorithm #constraints #difference #fixpoint #performance
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems (CF, HS), pp. 90–104.
SASSAS-1998-SarkarK #array #constant
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form (VS, KK), pp. 33–56.
IFLIFL-1998-Pape #higher-order
Higher Order Demand Propagation (DP), pp. 153–168.
PPDPALP-PLILP-1998-AjiliL #constraints #linear
Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems (FA, HCRL), pp. 463–480.
ICSMEICSM-1997-Rajlich #co-evolution #graph grammar
A Model for Change Propagation Based on Graph Rewriting (VR), pp. 84–91.
ICALPICALP-1997-Apt #constraints
From Chaotic Iteration to Constraint Propagation (KRA), pp. 36–55.
AdaTRI-Ada-1997-Needham #ada #modelling
An Ada95 Basis for Propagation Modeling (DMN, SAD, TJP), pp. 263–272.
KDDKDD-1997-AronisP #algorithm #data mining #mining #performance
Increasing the Efficiency of Data Mining Algorithms with Breadth-First Marker Propagation (JMA, FJP), pp. 119–122.
KDDKDD-1997-KahngM #algorithm #mining
Mining Generalized Term Associations: Count Propagation Algorithm (JK, WHKL, DM), pp. 203–206.
TOOLSTOOLS-USA-1997-FeilerT #named #product line
Propagator: A Family of Patterns (PHF, WFT), p. 355–?.
SACSAC-1997-ShumskyWME #constraints #finite #first-order #generative #heuristic
Direct finite first-order model generation with negative constraint propagation heuristic (OS, RWW, WM, FE), pp. 25–29.
SOSPSOSP-1997-PetersenSTTD #consistency #flexibility #replication
Flexible Update Propagation for Weakly Consistent Replication (KP, MS, DBT, MT, AJD), pp. 288–301.
ICLPICLP-1997-MullerW #concurrent #constraints
Connecting Propagators with a Concurrent Constraint Language (TM, JW), p. 412.
ICLPILPS-1997-MullerW #concurrent #constraints
Extending a Concurrent Constraint Language by Propagators (TM, JW), pp. 149–163.
DACDAC-1996-ChandramouliS #modelling #proximity
Modeling the Effects of Temporal Proximity of Input Transitions on Gate Propagation Delay and Transition Time (VC, KAS), pp. 617–622.
CAiSECAiSE-1996-KemperWS #database #process
Active Relationships for Controlling the Propagation of Information and Activities in Databases (FK, WW, GS), pp. 160–175.
KRKR-1996-KambhampatiY #constraints #on the #refinement
On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning (SK, XY), pp. 135–146.
SACSAC-1996-LeungC #network
A stroke-order free Chinese handwriting input system based on relative stroke positions and back-propagation networks (WnL, KsC), pp. 22–27.
CCCC-1996-VerbruggeCH #c #case study #constant
Generalized Constant Propagation: A Study in C (CV, PC, LJH), pp. 74–90.
PLDIPLDI-1995-CariniH #constant #interprocedural
Flow-Sensitive Interprocedural Constant Propagation (PRC, MH), pp. 23–31.
PLDIPLDI-1995-Patterson #branch #predict
Accurate Static Branch Prediction by Value Range Propagation (JRCP), pp. 67–78.
CIKMCIKM-1995-HaaseH #database #distributed #fault
Error Propagation in Distributed Databases (OH, AH), pp. 387–394.
ESOPESOP-J-1992-Larcheveque94 #interprocedural #object-oriented
Interprocedural Type Propagation for Object-Oriented Languages (JML), pp. 257–282.
LOPSTRLOPSTR-1994-SolnonR #dependence #type inference
Propagation of Inter-argument Dependencies in “Tuple-distributive” Type Inference Systems (CS, MR), pp. 199–214.
SACSAC-1994-LogarCWWW #algorithm #image #recognition
A don’t care back propagation algorithm applied to satellite image recognition (AML, EMC, SW, RW, RW), pp. 369–373.
SACSAC-1994-StoltzWG #constant
Constant propagation: a fresh, demand-driven look (ES, MW, MPG), pp. 400–404.
CCCC-1994-Binkley #constant #data flow #dependence #graph #interprocedural #using
Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model (DB), pp. 374–388.
ICLPICLP-1994-Gervet #constraints #finite #named #set
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables (CG), p. 733.
ICSMECSM-1993-MerloGHM #constant #multi #re-engineering #user interface
Multi-Valued Constant Propagation for the Reengineering of User Interfaces (EM, JFG, LJH, RdM), pp. 120–129.
PLDIPLDI-1993-GroveT #case study #constant #implementation #interprocedural
Interprocedural Constant Propagation: A Study of Jump Function Implementations (DG, LT), pp. 90–99.
DLTDLT-1993-Fernau #parallel #strict
Remarks on Adult Languages of Propagating Systems with Restricted Parallelism (HF), pp. 90–101.
AdaTRI-Ada-1993-Brennan #ada #exception
Observations on Program-Wide Ada Exception Propagation (PTB), pp. 189–195.
CIKMCIKM-1993-HalperGP #database #object-oriented
Value Propagation in Object-Oriented Database Part Hierarchies (MH, JG, YP), pp. 606–614.
CIKMCIKM-1993-Saraiya #query
Projection-Propagation in Complex-Object Query Languages (YPS), pp. 413–422.
LOPSTRLOPSTR-1993-Smith #algorithm #constraints #synthesis #towards
Towards the Synthesis of Constraint Propagation Algorithms (DRS), pp. 1–9.
ICLPICLP-1993-HarlandR #constraints #linear #recursion
Constraint Propagation for Linear Recursive Rules (JH, KR), pp. 683–699.
ISSTAISSTA-1993-Goradia #effectiveness #impact analysis
Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation (TG), pp. 171–181.
ESOPESOP-1992-Larcheveque #interprocedural #object-oriented
Interprocedural Type Propagation for Object-Oriented Languages (JML), pp. 321–340.
DACDAC-1991-JoyC #multi
Placement for Clock Period Minimization With Multiple Wave Propagation (DAJ, MJC), pp. 640–643.
DACDAC-1991-MattesWBD
Propagation Delay Calculation for Interconnection Nets on Printed Circuit Boards by Reflected Waves (HM, WW, GB, RD), pp. 567–572.
DACDAC-1991-MogakiKSY #constraints #layout
A Layout Improvement Method Based on Constraint Propagation for Analog LSI’s (MM, NK, NS, YY), pp. 510–513.
SIGMODSIGMOD-1991-IoannidisC #fault #on the
On the Propagation of Errors in the Size of Join Results (YEI, SC), pp. 268–277.
TOOLSTOOLS-USA-1991-Wilk #co-evolution #dependence #graph
Change Propagation in Object Dependency Graphs (MRW), pp. 233–248.
KRKR-1989-Koomen #constraints
Localizing Temporal Constraint Propagation (JAGMK), pp. 198–202.
SIGIRSIGIR-1989-Parkes #automation #image #network
Settings and the Setting Structure: The Description and Automated Propagation of Networks for Perusing Videodisk Image States (APP), pp. 229–238.
ICLPNACLP-1989-KempRBM #constraints #database #deduction
Propagating Constraints in Recusive Deduction Databases (DBK, KR, IB, KM), pp. 981–998.
ISSTATAV-1989-Perry #logic
The Logic of Propagation in the Inscape Environment (DP), pp. 114–121.
DACDAC-1988-LyG #constraints #design #object-oriented
Constraint Propagation in an Object-Oriented IC Design Environment (TAL, EFG), pp. 628–633.
OOPSLAOOPSLA-1988-Rumbaugh #using
Controlling Propagation of Operations Using Attributes on Relations (JER), pp. 285–296.
PODSPODS-1987-BeeriKBR #bound #logic programming #source code
Bounds on the Propagation of Selection into Logic Programs (CB, PCK, FB, RR), pp. 214–226.
PLDIBest-of-PLDI-1986-CallahanCKT #constant #interprocedural
Interprocedural constant propagation (with retrospective) (DC, KDC, KK, LT), pp. 155–166.
POPLPOPL-1985-WegmanZ #branch #constant
Constant Propagation with Conditional Branches (MNW, FKZ), pp. 291–299.
DACDAC-1984-ShinshaKHAI #algorithm #logic #named #synthesis
Polaris: Polarity propagation algorithm for combinational logic synthesis (TS, TK, MH, KA, KI), pp. 322–328.
DACDAC-1981-Ji-GuangK #algorithm
An algorithm for searching shortest path by propagating wave fronts in four quadrants (XJG, TK), pp. 29–36.
STOCSTOC-1973-Miller #fault #towards #verification
Toward Mechanical Verification of Properties of Roundoff Error Propagation (WM), pp. 50–58.
DACDAC-1972-Lewis #bound #detection #logic #simulation
Hazard detection by a quinary simulation of logic devices with bounded propagation delays (DWL), pp. 157–164.

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.