Stem propag$ (all stems)

315 papers:

QoSA-2015-HofigZS #automation #dependence #using

Automated Failure Propagation using Inner Port Dependency Traces (KH, MZ, KS), pp. 123–128.

CASE-2015-YanLP #fault

A fault diagnosis method for HVAC Air Handling Units considering fault propagation (YY, PBL, KRP), pp. 961–966.

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

VLDB-2015-GatterbauerGKF

Linearized and Single-Pass Belief Propagation (WG, SG, DK, CF), pp. 581–592.

SCAM-2015-BanerjeeMS #equivalence #framework #validation

A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs (KB, CAM, DS), pp. 247–252.

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

ICML-2015-Papachristoudis #adaptation

Adaptive Belief Propagation (GP, JWF), pp. 899–907.

ICML-2015-PiechHNPSG #feedback #learning #student

Learning Program Embeddings to Propagate Feedback on Student Code (CP, JH, AN, MP, MS, LJG), pp. 1093–1102.

KDD-2015-FujiwaraNSIT #adaptation #performance

Adaptive Message Update for Fast Affinity Propagation (YF, MN, HS, YI, MT), pp. 309–318.

KDD-2015-RaptiSTT #multi #network

Virus Propagation in Multiple Profile Networks (AR, SS, KT, GT), pp. 975–984.

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

GPCE-2015-InostrozaS #algebra #composition #using

Modular interpreters for the masses: implicit context propagation using object algebras (PI, TvdS), pp. 171–180.

PPDP-2015-MartinezFS #constraints

Search by constraint propagation (TM, FF, SS), pp. 173–183.

SAC-2015-AliK #approach #effectiveness #recommendation

An effective approach to group recommendation based on belief propagation (IA, SWK), pp. 1148–1153.

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

ICSE-v1-2015-WeissRL #fault #program analysis #scalability

Database-Backed Program Analysis for Scalable Error Propagation (CW, CRG, BL), pp. 586–597.

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

DATE-2014-SubramanyanA #design #security #verification

Formal verification of taint-propagation security properties in a commercial SoC design (PS, DA), pp. 1–2.

SAS-2014-MeshmanDVY #memory management #refinement #synthesis

Synthesis of Memory Fences via Refinement Propagation (YM, AMD, MTV, EY), pp. 237–252.

SCSM-2014-PlikynasRR #interactive #modelling #social

Modelling of Excitation Propagation for Social Interactions (DP, AR, SR), pp. 242–252.

ICEIS-v3-2014-AndradeFBP

New Approaches for Geographic Location Propagation in Digital Photograph Collections (DOSdA, HFdF, CdSB, ACdP), pp. 92–99.

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

CIKM-2014-PimplikarGBP #learning

Learning to Propagate Rare Labels (RP, DG, DB, GRP), pp. 201–210.

CIKM-2014-YinG #distributed #scalability

Scalable Distributed Belief Propagation with Prioritized Block Updates (JY, LG), pp. 1209–1218.

ICML-c1-2014-SolomonRGB #learning

Wasserstein Propagation for Semi-Supervised Learning (JS, RMR, LJG, AB), pp. 306–314.

ICML-c2-2014-FujiwaraI #performance

Efficient Label Propagation (YF, GI), pp. 784–792.

ICPR-2014-ChenK14a #learning

Learning to Count with Back-propagated Information (KC, JKK), pp. 4672–4677.

ICPR-2014-El-GaalyTE #classification

Spatial-Visual Label Propagation for Local Feature Classification (TEG, MT, AME), pp. 3422–3427.

ICPR-2014-KumarNJ #recognition

Face Recognition in Videos by Label Propagation (VK, AMN, CVJ), pp. 303–308.

ICPR-2014-LiDXWP #classification #image #probability

Local Label Probability Propagation for Hyperspectral Image Classification (HL, JD, SX, LW, CP), pp. 4251–4256.

ICPR-2014-ZhangLZ

Transformed Neighborhood Propagation (ZZ, FZL, MBZ), pp. 3792–3797.

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.

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

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

SAC-2014-FdhilaR #co-evolution #collaboration #predict #process

Predicting change propagation impacts in collaborative business processes (WF, SRM), pp. 1378–1385.

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

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

ISSTA-2014-JustEF #analysis #clustering #execution #mutation testing #performance

Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.

DAC-2013-ShafiqueRAH #fault #optimisation #reliability

Exploiting program-level masking and error propagation for constrained reliability optimization (MS, SR, PVA, JH), p. 9.

DATE-2013-GoultiaevaSB

Bridging the gap between dual propagation and CNF-based QBF solving (AG, MS, AB), pp. 811–814.

VLDB-2013-KimelfeldVW #approximate #complexity #multi

Multi-Tuple Deletion Propagation: Approximations and Complexity (BK, JV, DPW), pp. 1558–1569.

FASE-2013-SalayGC #co-evolution #nondeterminism

Change Propagation due to Uncertainty Change (RS, JG, MC), pp. 21–36.

ICSM-2013-NordOSDGK #architecture #using

Variations on Using Propagation Cost to Measure Architecture Modifiability Properties (RLN, IO, RSS, JD, MAG, PK), pp. 400–403.

CSCW-2013-AlvesF #named

Radiator: context propagation based on delayed aggregation (PA, PF), pp. 249–260.

CIKM-2013-ZhangDDC #network #probability #social

Probabilistic solutions of influence propagation on social networks (MZ, CD, CHQD, EC), pp. 429–438.

ICML-c1-2013-HeaukulaniG #modelling #network #probability #social

Dynamic Probabilistic Models for Latent Feature Propagation in Social Networks (CH, ZG), pp. 275–283.

ICML-c3-2013-Gomez-RodriguezLS #modelling

Modeling Information Propagation with Survival Theory (MGR, JL, BS), pp. 666–674.

KDD-2013-ZhengM #optimisation #parallel

Optimizing parallel belief propagation in junction treesusing regression (LZ, OJM), pp. 757–765.

SIGIR-2013-ZhangWYW #learning #network #predict

Learning latent friendship propagation networks with interest awareness for link prediction (JZ, CW, PSY, JW), pp. 63–72.

BX-2013-OrejasBE0S #concurrent #on the

On Propagation-Based Concurrent Model Synchronization (FO, AB, HE, FH, HS), pp. 18–36.

PPDP-2013-RobbinsHK

Theory propagation and rational-trees (ER, JMH, AK), pp. 193–204.

CADE-2013-LoupSCAB #algebra #composition #constraints

A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition (UL, KS, FC, EÁ, BB), pp. 193–207.

SAT-2013-LonsingEG #learning #performance #pseudo #quantifier

Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (FL, UE, AVG), pp. 100–115.

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

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

DATE-2012-ZhangPM #3d #analysis #grid #power management

Voltage propagation method for 3-D power grid analysis (CZ, VFP, GDM), pp. 844–847.

PODS-2012-Kimelfeld #complexity #dependence #functional

A dichotomy in the complexity of deletion propagation with functional dependencies (BK), pp. 191–202.

SCAM-2012-GauthierM #alias #php

Alias-Aware Propagation of Simple Pattern-Based Properties in PHP Applications (FG, EM), pp. 44–53.

CIKM-2012-CuiMWGL #image #keyword #semantics

Semantically coherent image annotation with a learning-based keyword propagation strategy (CC, JM, SW, SG, TL), pp. 2423–2426.

CIKM-2012-GargKL #network #rating #social

Information propagation in social rating networks (PG, IK, MRL), pp. 2279–2282.

CIKM-2012-HaKKFP #recommendation

Top-N recommendation through belief propagation (JH, SHK, SWK, CF, SP), pp. 2343–2346.

CIKM-2012-ShenDZT #multi #network #online #social

Interest-matching information propagation in multiple online social networks (YS, TND, HZ, MTT), pp. 1824–1828.

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

ICML-2012-BoukouvalasBC #process #using

Gaussian Process Quantile Regression using Expectation Propagation (AB, RB, DC), p. 123.

ICML-2012-MartensSS

Estimating the Hessian by Back-propagating Curvature (JM, IS, KS), p. 126.

ICPR-2012-GimelfarbGND #concurrent #optimisation #problem

Concurrent propagation for solving ill-posed problems of global discrete optimisation (GLG, RG, RN, PD), pp. 1864–1867.

ICPR-2012-IwashitaPFLOAT #cost analysis

Speeding up optimum-path forest training by path-cost propagation (ASI, JPP, AXF, RdAL, VMdAO, VHCdA, JMRST), pp. 1233–1236.

ICPR-2012-LiuC #3d

3D tracking of deformable surface by propagating feature correspondences (YL, YQC), pp. 2202–2205.

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

KDD-2012-ZhangFWZ #keyword #web

Keyword-propagation-based information enriching and noise removal for web news videos (JZ, XF, JW, LZ), pp. 561–569.

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

PADL-2012-CampagnaSS #approximate #constraints #datalog #difference #optimisation

Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.

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

ICSE-2012-YanXR #java #performance #problem #profiling

Uncovering performance problems in Java applications with reference propagation profiling (DY, G(X, AR), pp. 134–144.

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

PODS-2011-KimelfeldVW

Maximizing conjunctive views in deletion propagation (BK, JV, RW), pp. 187–198.

ICSM-2011-BarbourKZ #clone tracking

Late propagation in software clones (LB, FK, YZ), pp. 273–282.

ICSM-2011-HassaineBGHA #approach #co-evolution

A seismology-inspired approach to study change propagation (SH, FB, YGG, SH, GA), pp. 53–62.

GT-VMT-2011-EhrigHSB #constraints #graph grammar #model transformation

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars (HE, FH, HS, CB).

CIKM-2011-RenMWL #process #thread #topic #web

Summarizing web forum threads based on a latent topic propagation process (ZR, JM, SW, YL), pp. 879–884.

CIKM-2011-WangYQSW #web

Harvesting facts from textual web sources by constrained label propagation (YW, BY, LQ, MS, GW), pp. 837–846.

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

ICML-2011-BarthelmeC #named

ABC-EP: Expectation Propagation for Likelihoodfree Bayesian Computation (SB, NC), pp. 289–296.

KDD-2011-DengHZYL #modelling #network #probability #topic

Probabilistic topic models with biased propagation on heterogeneous information networks (HD, JH, BZ, YY, CXL), pp. 1271–1279.

KDD-2011-VydiswaranZR #framework #trust

Content-driven trust propagation framework (VGVV, CZ, DR), pp. 974–982.

KDIR-2011-ZalikZ #algorithm #clustering #network

Network Clustering by Advanced Label Propagation Algorithm (KRZ, BZ), pp. 444–447.

BX-2011-Diskin

Update propagation via tiles (ZD), p. 53.

BX-2011-Diskin1 #bidirectional #model transformation #weaving

From State- to Delta-Based Bidirectional Model Transformations: Unweaving Alignment and Update Propagation (ZD), p. 55.

BX-2011-Ehrig #constraints #model transformation

Propagation of Constraints along Model Transformations (HE), p. 56.

BX-2011-Pierantonio #bidirectional

Bidirectional and change propagating transformations in MDE (AP), p. 63.

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

LCTES-2011-BhagatGSG #effectiveness #optimisation

Global productiveness propagation: a code optimization technique to speculatively prune useless narrow computations (IB, EG, FJS, AG), pp. 161–170.

CADE-2011-KorovinV #bound #linear

Solving Systems of Linear Inequalities by Bound Propagation (KK, AV), pp. 369–383.

ICST-2011-SantelicesH #testing

Applying aggressive propagation-based strategies for testing changes (RAS, MJH), pp. 11–20.

SAT-2011-GableskeH #named #random #satisfiability #using

EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation (OG, MH), pp. 367–368.

DATE-2010-BanerjeeASNO #design

A methodology for propagating design tolerances to shape tolerances for use in manufacturing (SB, KBA, CNS, SRN, MO), pp. 1273–1278.

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

ICSM-2010-AryaniPH #analysis #case study #co-evolution #enterprise

Domain-based change propagation analysis: An enterprise system case study (AA, IDP, MH), pp. 1–9.

ICSM-2010-DamW #co-evolution #modelling #uml

Supporting change propagation in UML models (HKD, MW), pp. 1–10.

SAS-2010-JensenMT #analysis #interprocedural #lazy evaluation

Interprocedural Analysis with Lazy Propagation (SHJ, AM, PT), pp. 320–339.

EDOC-2010-DamLG #architecture #co-evolution #enterprise #evolution

Supporting Change Propagation in the Evolution of Enterprise Architectures (HKD, LSL, AKG), pp. 24–33.

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

CIKM-2010-ChiHY

Mixture model label propagation (MC, XH, SY), pp. 1889–1892.

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

ICML-2010-El-HayCFK

Continuous-Time Belief Propagation (TEH, IC, NF, RK), pp. 343–350.

ICML-2010-McAuleyC #performance

Exploiting Data-Independence for Fast Belief-Propagation (JJM, TSC), pp. 767–774.

ICPR-2010-ChakrabortyE #locality

Object Localization by Propagating Connectivity via Superfeatures (IC, AME), pp. 3069–3072.

ICPR-2010-HsinLLC #image #using

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

ICPR-2010-Ogawara #approximate

Approximate Belief Propagation by Hierarchical Averaging of Outgoing Messages (KO), pp. 1368–1372.

ICPR-2010-WangM #learning #order #process #using

Gaussian Process Learning from Order Relationships Using Expectation Propagation (RW, SJM), pp. 605–608.

ICPR-2010-XiaLH #mining #modelling #using

Mining Exemplars for Object Modelling Using Affinity Propagation (SX, JL, ERH), pp. 918–921.

RecSys-2010-AydayF #online #recommendation

A belief propagation based recommender system for online services (EA, FF), pp. 217–220.

RecSys-2010-JamaliE #matrix #network #recommendation #social #trust

A matrix factorization technique with trust propagation for recommendation in social networks (MJ, ME), pp. 135–142.

PADL-2010-GentMM #constraints #lazy evaluation

Lazy Explanations for Constraint Propagators (IPG, IM, NCAM), pp. 217–233.

SLE-2010-CicchettiREP #bidirectional #model transformation #named

JTL: A Bidirectional and Change Propagating Transformation Language (AC, DDR, RE, AP), pp. 183–202.

PLEASE-2010-KammullerRR #higher-order #variability

Feature link propagation across variability representations with Isabelle/HOL (FK, AR, MOR), pp. 48–53.

PLDI-2009-Rubio-GonzalezGLAA #analysis #fault #file system

Error propagation analysis for file systems (CRG, HSG, BL, RHAD, ACAD), pp. 270–280.

OCSC-2009-ZhaoYGL #analysis #modelling #topic

Propagation Modeling and Analysis of Incidental Topics in Blogosphere (LZ, RY, XG, ML), pp. 401–410.

CAiSE-2009-LiuLYWH #analysis #constraints #using #verification #workflow

ETL Workflow Analysis and Verification Using Backwards Constraint Propagation (JL, SL, DY, JW, TH), pp. 455–469.

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

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

CIKM-2009-ChenL #product line

Message family propagation for ising mean field based on iteration tree (YC, SL), pp. 345–354.

CIKM-2009-KimPDG #classification #graph #web

Improving web page classification by label-propagation over click graphs (SMK, PP, LD, SG), pp. 1077–1086.

ICML-2009-JohnsonCC #representation

Orbit-product representation and correction of Gaussian belief propagation (JKJ, VYC, MC), pp. 473–480.

ICML-2009-ZhanLLZ #learning #metric #using

Learning instance specific distances using metric propagation (DCZ, ML, YFL, ZHZ), pp. 1225–1232.

KDD-2009-GaoFSH #learning

Heterogeneous source consensus learning via decision propagation and negotiation (JG, WF, YS, JH), pp. 339–348.

KDIR-2009-BalujaRS #classification #graph #performance

Text Classification through Time — Efficient Label Propagation in Time-Based Graphs (SB, DR, DS), pp. 174–182.

SIGIR-2009-BolourianMR #named #quantifier #topic #using

SugarCube: quantification of topic propagation in the blogosphere using percolation theory (AAB, YM, CJvR), pp. 786–787.

SIGIR-2009-MiletteSRH #social

Exploiting social context for expertise propagation (GPM, MKS, KR, RH), p. 835.

ESEC-FSE-2009-ZhangCTJW

Capturing propagation of infected program states (ZZ, WKC, THT, BJ, XW), pp. 43–52.

CGO-2009-PereiraB #analysis #pointer

Wave Propagation and Deep Propagation for Pointer Analysis (FMQP, DB), pp. 126–135.

SAT-2009-BertholdHP #optimisation #pseudo #question

Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation? (TB, SH, MEP), pp. 441–446.

DAC-2008-FraerKM #paradigm #synthesis

A new paradigm for synthesis and propagation of clock gating conditions (RF, GK, MKM), pp. 658–663.

VLDB-2008-FanMHLW #dependence #functional

Propagating functional dependencies with conditions (WF, SM, YH, JL, YW), pp. 391–407.

ICSM-2008-MalikH #adaptation #co-evolution #evolution #heuristic #using

Supporting software evolution using adaptive change propagation heuristics (HM, AEH), pp. 177–186.

ICEIS-AIDSS-2008-AjroudOBY #algorithm #approximate #network

An Approximate Propagation Algorithm for Product-Based Possibilistic Networks (AA, MNO, SB, HY), pp. 321–326.

CIKM-2008-BaoYFXSY #social #using

Boosting social annotations using propagation (SB, BY, BF, SX, ZS, YY), pp. 1507–1508.

CIKM-2008-SerdyukovRH #modelling #multi

Modeling multi-step relevance propagation for expert finding (PS, HR, DH), pp. 1133–1142.

ICML-2008-LiLT #classification #constraints #programming

Pairwise constraint propagation by semidefinite programming for semi-supervised classification (ZL, JL, XT), pp. 576–583.

ICPR-2008-JiangDX #design

An affinity propagation based method for vector quantization codebook design (WJ, FD, QLX), pp. 1–4.

ICPR-2008-ZhangWZ #clustering

Clustering by evidence accumulation on affinity propagation (XZ, FW, YZ), pp. 1–4.

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

BX-2008-Pierantonio1 #co-evolution #model transformation

Change Propagation in Model Transformation (AP), p. 49.

MoDELS-2008-El-BoussaidiM #constraints #design #detection #using

Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.

MoDELS-2008-El-BoussaidiM #constraints #design #detection #using

Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.

PPDP-2008-FeydySS #constraints #difference #finite

Global difference constraint propagation for finite domain solvers (TF, AS, PJS), pp. 226–235.

PPDP-2008-SchulteS

Dynamic variable elimination during propagation solving (CS, PJS), pp. 247–257.

SAC-2008-BistarelliS #multi #network #trust

Propagating multitrust within trust networks (SB, FS), pp. 1990–1994.

SAC-2008-Djelloul #constraints #first-order

Combination of decomposability and propagation for solving first-order constraints in decomposable theories (KD), pp. 1728–1732.

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

HPCA-2008-VenkataramaniDSP #named #programmable

FlexiTaint: A programmable accelerator for dynamic taint propagation (GV, ID, YS, MP), pp. 173–184.

ICLP-2008-SchulteS #bound #dynamic analysis

Dynamic Analysis of Bounds Versus Domain Propagation (CS, PJS), pp. 332–346.

ICLP-2008-Weert #optimisation

Optimization of CHR Propagation Rules (PVW), pp. 485–500.

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

DATE-2007-FavalliM #detection #fault #interactive

Interactive presentation: Pulse propagation for the detection of small delay defects (MF, CM), pp. 1295–1300.

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

ICDAR-2007-WeinmanLH #performance #recognition

Fast Lexicon-Based Scene Text Recognition with Sparse Belief Propagation (JJW, EGLM, ARH), pp. 979–983.

ICPC-2007-MirarabHT #co-evolution #network #predict #using

Using Bayesian Belief Networks to Predict Change Propagation in Software Systems (SM, AH, LT), pp. 177–188.

ICEIS-EIS-2007-RychkovaW #automation #refinement #specification #towards #visual notation

Refinement Propagation — Towards Automated Construction of Visual Specifications (IR, AW), pp. 196–204.

ECIR-2007-YamoutOT #feedback #query #using

Relevance Feedback Using Weight Propagation Compared with Information-Theoretic Query Expansion (FY, MPO, JT), pp. 258–270.

SIGIR-2007-NieWD #trust #web

Winnowing wheat from the chaff: propagating trust to sift spam from the web (LN, BW, BDD), pp. 869–870.

SAC-2007-FeydyS #equation #integer #linear

Propagating dense systems of integer linear equations (TF, PJS), pp. 306–310.

SAC-2007-FrancisS #constraints #graph

Constraint propagation for loose constraint graphs (KF, PJS), pp. 334–335.

SOFTVIS-2006-VoineaT06a #how #question

How do changes in buggy Mozilla files propagate? (LV, ACT), pp. 147–148.

ICEIS-DISI-2006-ChakrabortySN #database #scalability

Scalable Update Propagation in Partially Replicated, Disconnected Client Server Databases (LC, AS, KN), pp. 11–21.

CIKM-2006-CongFG

Annotation propagation revisited for key preserving views (GC, WF, FG), pp. 632–641.

CIKM-2006-ShakeryZ #hypermedia #probability #retrieval

A probabilistic relevance propagation model for hypertext retrieval (AS, CZ), pp. 550–558.

CIKM-2006-YangJZNX #clustering #documentation #ranking #using #validation

Document re-ranking using cluster validation and label propagation (LY, DHJ, GZ, NY, GX), pp. 690–697.

ECIR-2006-YamoutOT #feedback #using

Relevance Feedback Using Weight Propagation (FY, MPO, JT), pp. 575–578.

ICML-2006-WangZ #linear

Label propagation through linear neighborhoods (FW, CZ), pp. 985–992.

ICPR-v1-2006-Bernier #3d #realtime #using

Real-Time 3D Articulated Pose Tracking using Particle Filters Interacting through Belief Propagation (OB), pp. 90–93.

ICPR-v2-2006-BoccignoneMN

Inference of moving forms via Belief Propagation (GB, AM, PN), pp. 191–194.

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

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

ICLP-2006-BrandY #logic #towards

Towards “Propagation = Logic + Control” (SB, RHCY), pp. 102–116.

SAT-2006-CottonM #constraints #difference #flexibility #performance

Fast and Flexible Difference Constraint Propagation for DPLL(T) (SC, OM), pp. 170–183.

SAT-2006-HsuM #satisfiability

Characterizing Propagation Methods for Boolean Satisfiability (EIH, SAM), pp. 325–338.

SAT-2006-ManoliosZ #bibliography #implementation

Implementing Survey Propagation on Graphics Processing Units (PM, YZ), pp. 311–324.

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

DATE-2005-AsadiT #estimation #probability

An Accurate SER Estimation Method Based on Propagation Probability (GA, MBT), pp. 306–307.

DATE-2005-KangPR #analysis #statistics #using

Statistical Timing Analysis using Levelized Covariance Propagation (KK, BCP, KR), pp. 764–769.

DATE-2005-NazarianPTLA #analysis #modelling

Modeling and Propagation of Noisy Waveforms in Static Timing Analysis (SN, MP, ET, TL, AHA), pp. 776–777.

ICML-2005-Tsuda

Propagating distributions on a hypergraph by dual information regularization (KT), pp. 920–927.

SIGIR-2005-QinLZCM #case study #web

A study of relevance propagation for web search (TQ, TYL, XDZ, ZC, WYM), pp. 408–415.

OOPSLA-2005-JarviWL #constraints #object-oriented

Associated types and constraint propagation for mainstream object-oriented generics (JJ, JW, AL), pp. 1–19.

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

SAC-2005-GoualardG #constraints #network

Controlled propagation in continuous numerical constraint networks (FG, LG), pp. 377–382.

SAC-2005-LambertMS #constraints #using

Solving strategies using a hybridization model for local search and constraint propagation (TL, EM, FS), pp. 398–403.

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

CAV-2005-NieuwenhuisO #difference #logic

DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic (RN, AO), pp. 321–334.

ICLP-2005-LambertCMRS #algorithm #constraints #search-based

Hybridization of Genetic Algorithms and Constraint Propagation for the BACP (TL, CC, EM, MCR, FS), pp. 421–423.

DAC-2004-LeeZB #analysis #using

Static timing analysis using backward signal propagation (DL, VZ, DB), pp. 664–669.

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

DATE-v2-2004-RosselloS

A Compact Propagation Delay Model for Deep-Submicron CMOS Gates including Crosstalk (JLR, JS), pp. 954–961.

FASE-2004-SoraCVB #automation #component #composition #requirements

Automating Decisions in Component Composition Based on Propagation of Requirements (IS, VC, PV, YB), pp. 374–388.

ICSM-2004-AbdelmoezSGAYBKM #architecture #co-evolution

Software Architectures Change Propagation Tool (SACPT) (WA, MS, RG, HHA, BY, SB, MK, AM), p. 517.

ICSM-2004-HassanH #co-evolution #predict

Predicting Change Propagation in Software Systems (AEH, RCH), pp. 284–293.

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

ICML-2004-AhnCO #algorithm #multi

A multiplicative up-propagation algorithm (JHA, SC, JHO).

ICML-2004-QiMPG #automation #predict

Predictive automatic relevance determination by expectation propagation (Y(Q, TPM, RWP, ZG).

ICPR-v1-2004-GreenN

Propagating Segmented Regions during a Camera Saccade (IAG, RCN), pp. 640–643.

ICPR-v1-2004-LiEFR #approach #multi #segmentation

A Multi-Label Front Propagation Approach for Object Segmentation (HL, AE, MJF, SR), pp. 600–603.

ICPR-v1-2004-SochmanM

Inter-Stage Feature Propagation in Cascade Building with AdaBoost (JS, JM), pp. 236–239.

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

ICPR-v4-2004-MegyesiC #re-engineering

Affine Propagation for Surface Reconstruction in Wide Baseline Stereo (ZM, DC), pp. 76–79.

ICLP-2004-MonfroySL #constraints #on the

On Hybridization of Local Search and Constraint Propagation (EM, FS, TL), pp. 299–313.

ICLP-2004-YouH #lookahead

Arc-Consistency + Unit Propagation = Lookahead (JHY, GH), pp. 314–328.

DATE-2003-Novikov

Local Search for Boolean Relations on the Basis of Unit Propagation (YN), pp. 10810–10815.

CSMR-2003-GwizdalaJR #co-evolution #java #named

JTracker — A Tool for Change Propagation in Java (SG, YJ, VR), pp. 223–229.

SCAM-2003-PearceKH #analysis #detection #difference #online #pointer

Online Cycle Detection and Difference Propagation for Pointer Analysis (DJP, PHJK, CH), pp. 3–12.

ICEIS-v2-2003-KeeniGS #learning #network #on the #performance #using

On Fast Learning of Neural Networks Using Back Propagation (KK, KG, HS), pp. 266–271.

ICEIS-v2-2003-YanagidaM #database #self

Classifying Databases By K-Propagated Self-Organizing Map (TY, TM), pp. 499–502.

LCTES-2003-VanbroekhovenCC #array

Advanced copy propagation for arrays (PV, HC, FC), pp. 24–33.

ICLP-2003-GranvilliersM #composition #constraints #implementation #reduction

Implementing Constraint Propagation by Composition of Reductions (LG, EM), pp. 300–314.

ICLP-2003-LangevineDD #implementation #performance #prolog

A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation (LL, MD, PD), pp. 269–283.

SAT-2003-BraunsteinZ #bibliography #random #satisfiability

Survey and Belief Propagation on Random K-SAT (AB, RZ), pp. 519–528.

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

WICSA-2002-WesthuizenH #comprehension

Understanding and Propagating Architecutural Changes (CvdW, AvdH), pp. 95–109.

DAC-2002-KurzwegLMKC #modelling #performance

A fast optical propagation technique for modeling micro-optical systems (TPK, SPL, JAM, MK, DMC), pp. 236–241.

PODS-2002-BunemanKT #on the

On Propagation of Deletions and Annotations Through Views (PB, SK, WCT), pp. 150–158.

VLDB-2002-RantzauCHM #co-evolution #information management #named

Champagne: Data Change Propagation for Heterogeneous Information Systems (RR, CC, UH, HM), pp. 1099–1102.

ESOP-2002-Martel #approach #fault #finite #precise #semantics

Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach (MM), pp. 194–208.

CSMR-2002-YehK #reverse engineering

Reverse Engineering Aggregation Relationship Based on Propagation of Operations (DY, WYK), pp. 223–229.

SCAM-2002-ChangJH #exception #java #static analysis #using #visualisation

Visualization of Exception Propagation for Java Using Static Analysis (BMC, JWJ, SHH), p. 173–?.

ICEIS-2002-ConstantinescuHRM #co-evolution #information management

A System for Data Change Propagation in Heterogeneous Information Systems (CC, UH, RR, BM), pp. 73–80.

ICPR-v1-2002-DeschampsC #3d #performance

Fast Extraction of Tubular and Tree 3D Surfaces with Front Propagation Methods (TD, LDC), pp. 731–734.

ICPR-v2-2002-MinagawaUT

Region Extraction Based on Belief Propagation for Gaussian Model (AM, KU, NT), pp. 507–510.

SAC-2002-BistarelliFM #constraints

Soft constraint propagation and solving in CHRs (SB, TWF, MM), pp. 1–5.

ICLP-2002-Maher #constraints

Propagation Completeness of Reactive Constraints (MJM), pp. 148–162.

ISSTA-2002-HillerJS #fault #named

PROPANE: an environment for examining the propagation of errors in software (MH, AJ, NS), pp. 81–85.

SAT-2002-Kusper #linear #problem #satisfiability

Solving the resolution-free SAT problem by hyper-unit propagation in linear time (GK), p. 32.

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

DAC-2001-LiouCKK #analysis #performance #probability #statistics

Fast Statistical Timing Analysis By Probabilistic Event Propagation (JJL, KTC, SK, AK), pp. 661–666.

DATE-2001-ZolfyMN #adaptation #concurrent #fault #simulation

Adaptation of an event-driven simulation environment to sequentially propagated concurrent fault simulation (MZ, SM, ZN), p. 823.

ICDAR-2001-LejtmanG #network #online #using #verification

On-line Handwritten Signature Verification Using Wavelets and Back-propagation Neural Networks (DZL, SEG), pp. 992–996.

VLDB-2001-LabrinidisR #quality #web

Update Propagation Strategies for Improving the Quality of Data on the Web (AL, NR), pp. 391–400.

ESOP-2001-Muller-OlmR #complexity #constant #on the

On the Complexity of Constant Propagation (MMO, OR), pp. 190–205.

ICSM-2001-DeruelleBMB #co-evolution #framework #multi

A Change Propagation Model and Platform for Multi-Database Applications (LD, MB, NM, HB), pp. 42–51.

IWPC-2001-YuR #co-evolution #comprehension #dependence

Hidden Dependencies in Program Comprehension and Change Propagation (ZY, VR), pp. 293–299.

PPDP-2001-SchulteS #bound #question

When Do Bounds and Domain Propagation Lead to the Same Search Space? (CS, PJS), pp. 115–126.

SAT-2001-Berre #lookahead #power of

Exploiting the real power of unit propagation lookahead (DLB), pp. 59–80.

ICML-2000-RichterS #learning #modelling

Knowledge Propagation in Model-based Reinforcement Learning Tasks (CR, JS), pp. 791–798.

ICPR-v3-2000-KubotaE

Reaction-Diffusion Systems for Hypothesis Propagation (TK, FE), pp. 3547–3550.

KR-2000-VerberneHT #approximate #constraints #reasoning #using

Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation (AV, FvH, AtT), pp. 323–332.

OOPSLA-2000-TipP #algorithm #graph #scalability

Scalable propagation-based call graph construction algorithms (FT, JP), pp. 281–293.

SAC-2000-LenartSG #analysis #constant

SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation (AL, CS, SKSG), pp. 813–817.

SAC-2000-Monfroy #algorithm #constraints #coordination

A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation (EM), pp. 262–269.

CC-2000-KnoopR #constant #graph

Constant Propagation on the Value Graph: Simple Constants and Beyond (JK, OR), pp. 94–109.

DAC-1999-IsmailF

Effects of Inductance on the Propagation Delay and Repeater Insertion in VLSI Circuits (YII, EGF), pp. 721–724.

ICDAR-1999-OshitaniW #parallel #recognition

Parallel Map Recognition with Information Propagation Mechanism (TO, TW), pp. 717–720.

SIGMOD-1999-BreitbartKRSS #database #protocol

Update Propagation Protocols For Replicated Databases (YB, RK, RR, SS, AS), pp. 97–108.

ICALP-1999-WeihrauchZ

The Wave Propagator Is Turing Computable (KW, NZ), pp. 697–707.

SIGAda-1999-NeedhamDP #ada #distributed #object-oriented #towards #using

Towards a distributed object-oriented propagation model using Ada95 (DMN, SAD, TJP), pp. 203–210.

ICML-1999-GiordanaP #behaviour #on the

On Some Misbehaviour of Back-Propagation with Non-Normalized RBFNs and a Solution (AG, RP), pp. 162–170.

ECOOP-1999-Ernst

Propagating Class and Method Combination (EE), pp. 67–91.

SAC-1999-Monfroy #constraints #using

Using “Weaker” Functions for Constraint Propagation Over Real Numbers (EM), pp. 553–559.

SAC-1999-MonfroyR #constraints #distributed

Chaotic Iteration for Distributed Constraint Propagation (EM, JHR), pp. 19–24.

DATE-1998-KassabCAK #analysis #constraints

Propagation of Last-Transition-Time Constraints in Gate-Level Timing Analysis (MK, EC, SA, THK), pp. 796–802.

VLDB-1998-Greco #database

Binding Propagation in Disjunctive Databases (SG), pp. 287–298.

ESOP-1998-FechtS #algorithm #constraints #difference #fixpoint #performance

Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems (CF, HS), pp. 90–104.

SAS-1998-SarkarK #array #constant

Enabling Sparse Constant Propagation of Array Elements via Array SSA Form (VS, KK), pp. 33–56.

IFL-1998-Pape #higher-order

Higher Order Demand Propagation (DP), pp. 153–168.

ALP-PLILP-1998-AjiliL #constraints #linear

Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems (FA, HCRL), pp. 463–480.

ICSM-1997-Rajlich #co-evolution #graph grammar

A Model for Change Propagation Based on Graph Rewriting (VR), pp. 84–91.

ICALP-1997-Apt #constraints

From Chaotic Iteration to Constraint Propagation (KRA), pp. 36–55.

TRI-Ada-1997-Needham #ada #modelling

An Ada95 Basis for Propagation Modeling (DMN, SAD, TJP), pp. 263–272.

KDD-1997-AronisP #algorithm #data mining #mining #performance

Increasing the Efficiency of Data Mining Algorithms with Breadth-First Marker Propagation (JMA, FJP), pp. 119–122.

KDD-1997-KahngM #algorithm #mining

Mining Generalized Term Associations: Count Propagation Algorithm (JK, WHKL, DM), pp. 203–206.

TOOLS-USA-1997-FeilerT #named #product line

Propagator: A Family of Patterns (PHF, WFT), p. 355–?.

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

SOSP-1997-PetersenSTTD #consistency #flexibility #replication

Flexible Update Propagation for Weakly Consistent Replication (KP, MS, DBT, MT, AJD), pp. 288–301.

ICLP-1997-MullerW #concurrent #constraints

Connecting Propagators with a Concurrent Constraint Language (TM, JW), p. 412.

ILPS-1997-MullerW #concurrent #constraints

Extending a Concurrent Constraint Language by Propagators (TM, JW), pp. 149–163.

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

CAiSE-1996-KemperWS #database #process

Active Relationships for Controlling the Propagation of Information and Activities in Databases (FK, WW, GS), pp. 160–175.

KR-1996-KambhampatiY #constraints #on the #refinement

On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning (SK, XY), pp. 135–146.

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

CC-1996-VerbruggeCH #c #case study #constant

Generalized Constant Propagation: A Study in C (CV, PC, LJH), pp. 74–90.

PLDI-1995-CariniH #constant #interprocedural

Flow-Sensitive Interprocedural Constant Propagation (PRC, MH), pp. 23–31.

PLDI-1995-Patterson #branch #predict

Accurate Static Branch Prediction by Value Range Propagation (JRCP), pp. 67–78.

CIKM-1995-HaaseH #database #distributed #fault

Error Propagation in Distributed Databases (OH, AH), pp. 387–394.

ESOP-J-1992-Larcheveque94 #interprocedural #object-oriented

Interprocedural Type Propagation for Object-Oriented Languages (JML), pp. 257–282.

LOPSTR-1994-SolnonR #dependence #type inference

Propagation of Inter-argument Dependencies in “Tuple-distributive” Type Inference Systems (CS, MR), pp. 199–214.

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

SAC-1994-StoltzWG #constant

Constant propagation: a fresh, demand-driven look (ES, MW, MPG), pp. 400–404.

CC-1994-Binkley #constant #data flow #dependence #graph #interprocedural #using

Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model (DB), pp. 374–388.

ICLP-1994-Gervet #constraints #finite #named #set

Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables (CG), p. 733.

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

PLDI-1993-GroveT #case study #constant #implementation #interprocedural

Interprocedural Constant Propagation: A Study of Jump Function Implementations (DG, LT), pp. 90–99.

DLT-1993-Fernau #parallel #strict

Remarks on Adult Languages of Propagating Systems with Restricted Parallelism (HF), pp. 90–101.

TRI-Ada-1993-Brennan #ada #exception

Observations on Program-Wide Ada Exception Propagation (PTB), pp. 189–195.

CIKM-1993-HalperGP #database #object-oriented

Value Propagation in Object-Oriented Database Part Hierarchies (MH, JG, YP), pp. 606–614.

CIKM-1993-Saraiya #query

Projection-Propagation in Complex-Object Query Languages (YPS), pp. 413–422.

LOPSTR-1993-Smith #algorithm #constraints #synthesis #towards

Towards the Synthesis of Constraint Propagation Algorithms (DRS), pp. 1–9.

ICLP-1993-HarlandR #constraints #linear #recursion

Constraint Propagation for Linear Recursive Rules (JH, KR), pp. 683–699.

ISSTA-1993-Goradia #effectiveness #impact analysis

Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation (TG), pp. 171–181.

ESOP-1992-Larcheveque #interprocedural #object-oriented

Interprocedural Type Propagation for Object-Oriented Languages (JML), pp. 321–340.

DAC-1991-JoyC #multi

Placement for Clock Period Minimization With Multiple Wave Propagation (DAJ, MJC), pp. 640–643.

DAC-1991-MattesWBD

Propagation Delay Calculation for Interconnection Nets on Printed Circuit Boards by Reflected Waves (HM, WW, GB, RD), pp. 567–572.

DAC-1991-MogakiKSY #constraints #layout

A Layout Improvement Method Based on Constraint Propagation for Analog LSI’s (MM, NK, NS, YY), pp. 510–513.

SIGMOD-1991-IoannidisC #fault #on the

On the Propagation of Errors in the Size of Join Results (YEI, SC), pp. 268–277.

TOOLS-USA-1991-Wilk #co-evolution #dependence #graph

Change Propagation in Object Dependency Graphs (MRW), pp. 233–248.

KR-1989-Koomen #constraints

Localizing Temporal Constraint Propagation (JAGMK), pp. 198–202.

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

NACLP-1989-KempRBM #constraints #database #deduction

Propagating Constraints in Recusive Deduction Databases (DBK, KR, IB, KM), pp. 981–998.

TAV-1989-Perry #logic

The Logic of Propagation in the Inscape Environment (DP), pp. 114–121.

DAC-1988-LyG #constraints #design #object-oriented

Constraint Propagation in an Object-Oriented IC Design Environment (TAL, EFG), pp. 628–633.

OOPSLA-1988-Rumbaugh #using

Controlling Propagation of Operations Using Attributes on Relations (JER), pp. 285–296.

PODS-1987-BeeriKBR #bound #logic programming #source code

Bounds on the Propagation of Selection into Logic Programs (CB, PCK, FB, RR), pp. 214–226.

Best-of-PLDI-1986-CallahanCKT #constant #interprocedural

Interprocedural constant propagation (with retrospective) (DC, KDC, KK, LT), pp. 155–166.

POPL-1985-WegmanZ #branch #constant

Constant Propagation with Conditional Branches (MNW, FKZ), pp. 291–299.

DAC-1984-ShinshaKHAI #algorithm #logic #named #synthesis

Polaris: Polarity propagation algorithm for combinational logic synthesis (TS, TK, MH, KA, KI), pp. 322–328.

DAC-1981-Ji-GuangK #algorithm

An algorithm for searching shortest path by propagating wave fronts in four quadrants (XJG, TK), pp. 29–36.

STOC-1973-Miller #fault #towards #verification

Toward Mechanical Verification of Properties of Roundoff Error Propagation (WM), pp. 50–58.

DAC-1972-Lewis #bound #detection #logic #simulation

Hazard detection by a quinary simulation of logic devices with bounded propagation delays (DWL), pp. 157–164.