BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
dependence
Google dependence

Tag #dependence

857 papers:

ICPCICPC-2019-SantosS #configuration management #how #question
How does feature dependency affect configurable system comprehensibility? (DS, CS), pp. 19–29.
MSRMSR-2019-0001PSTB #version control
Dependency versioning in the wild (JD0, DJP, JS, AT, KB), pp. 349–359.
MSRMSR-2019-BenelallamHSBB #graph #representation
The maven dependency graph: a temporal graph-based representation of maven central (AB, NH, CSV, BB, OB), pp. 344–348.
SANERSANER-2019-AshrafME #developer #interactive #mining
Mining Cross-Task Artifact Dependencies from Developer Interactions (UA, CMD, AE), pp. 186–196.
SANERSANER-2019-NghiYJ #algorithm #classification #network
Bilateral Dependency Neural Networks for Cross-Language Algorithm Classification (BDQN, YY, LJ), pp. 422–433.
SCAMSCAM-2019-LeeBFGY #approximate #modelling #named
MOAD: Modeling Observation-Based Approximate Dependency (SL, DWB, RF, NG, SY), pp. 12–22.
FSCDFSCD-2019-BlanquiGH #dependent type #modulo theories #termination #type system
Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting (FB, GG, OH), p. 21.
IFM-2019-BubelHT #analysis #logic
A Program Logic for Dependence Analysis (RB, RH, AHT), pp. 83–100.
CIKMCIKM-2019-BiTDMC #case study #multi
A Study of Context Dependencies in Multi-page Product Search (KB, CHT, YD, VM, WBC), pp. 2333–2336.
CIKMCIKM-2019-DurschSWFFSBHJP #algorithm #evaluation
Inclusion Dependency Discovery: An Experimental Evaluation of Thirteen Algorithms (FD, AS, FW, MF, TF, NS, TB, HH, LJ, TP, FN), pp. 219–228.
ICMLICML-2019-GuoSH #graph #learning #relational
Learning to Exploit Long-term Relational Dependencies in Knowledge Graphs (LG, ZS, WH0), pp. 2505–2514.
ICMLICML-2019-LawrenceEC #learning #multi #named #parametricity
DP-GP-LVM: A Bayesian Non-Parametric Model for Learning Multivariate Dependency Structures (ARL, CHE, NDFC), pp. 3682–3691.
ICMLICML-2019-VarmaSHRR #learning #modelling
Learning Dependency Structures for Weak Supervision Models (PV, FS, AH, AR, CR), pp. 6418–6427.
KDDKDD-2019-BellettiCC #behaviour
Quantifying Long Range Dependence in Language and User Behavior to improve RNNs (FB, MC, EHC), pp. 1317–1327.
OOPSLAOOPSLA-2019-ZhangYTWK0 #abstract interpretation #analysis #bytecode #named
BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation (ZZ0, WY, GT, GW, YK, XZ0), p. 31.
PLDIPLDI-2019-MohammadiYCDHDN #data flow #performance
Sparse computation data dependence simplification for efficient compiler-generated inspectors (MSM, TY, KC, ECD, MWH, MMD, PN, CO, AV, MMS), pp. 594–609.
SASSAS-2019-Cousot19a #semantics
Abstract Semantic Dependency (PC), pp. 389–410.
ESEC-FSEESEC-FSE-2019-BiagiolaSMRT #detection #web
Web test dependency detection (MB, AS, AM, FR, PT), pp. 154–164.
ESEC-FSEESEC-FSE-2019-Golzadeh #congruence #network
Analysing socio-technical congruence in the package dependency network of Cargo (MG), pp. 1226–1228.
ESEC-FSEESEC-FSE-2019-KalhaugeP #graph #reduction
Binary reduction of dependency graphs (CGK, JP), pp. 556–566.
ICSE-2019-CuiLCZFJGQ #fault #multi
Investigating the impact of multiple dependency structures on software defects (DC, TL0, YC, QZ, QF, WJ, JG, YQ), pp. 584–595.
ICSE-2019-HortonP #automation #named #python
DockerizeMe: automatic inference of environment dependencies for python code snippets (EH, CP), pp. 328–338.
ICSE-2019-WangWWLTZYC #question #stack
Could I have a stack trace to examine the dependency conflict issue? (YW, MW, RW, ZL, SHT, ZZ0, HY, SCC), pp. 572–583.
GPCEGPCE-2019-FeichtingerHLPG #analysis #constraints #evolution #feature model
Supporting feature model evolution by suggesting constraints from code-level dependency analyses (KF, DH, LL, HP, PG), pp. 129–142.
ESOPESOP-2019-FuhsK #framework #higher-order
A Static Higher-Order Dependency Pair Framework (CF, CK), pp. 752–782.
FASEFASE-2019-Boronat #injection #model transformation
Offline Delta-Driven Model Transformation with Dependency Injection (AB), pp. 134–150.
ICSTICST-2019-TerragniPB #generative #parallel #testing #thread
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies (VT, MP, FAB), pp. 264–275.
ICSAICSA-2018-EismannWKK #component #modelling #parametricity #performance #predict #runtime
Modeling of Parametric Dependencies for Performance Prediction of Component-Based Software Systems at Run-Time (SE, JW, JvK, SK), pp. 135–144.
EDMEDM-2018-AlsaadBGSZ #concept #graph #mining
Mining MOOC Lecture Transcripts to Construct Concept Dependency Graphs (FA, AB, CG, HS, CZ).
ICSMEICSME-2018-DecanMC #evolution #network #on the
On the Evolution of Technical Lag in the npm Package Dependency Network (AD, TM, EC), pp. 404–414.
ICSMEICSME-2018-ZapataKCIMI #javascript #library #towards
Towards Smoother Library Migrations: A Look at Vulnerable Dependency Migrations at Function Level for npm JavaScript Packages (REZ, RGK, BC, TI, KM, AI), pp. 559–563.
MSRMSR-2018-DecanMC #network #on the #security
On the impact of security vulnerabilities in the npm package dependency network (AD, TM, EC), pp. 181–191.
MSRMSR-2018-OchoaDV #eclipse #empirical #evaluation #ide
An empirical evaluation of OSGi dependencies best practices in the eclipse IDE (LO, TD, JJV), pp. 170–180.
CIKMCIKM-2018-ArabzadehFZNB #predict #twitter
Causal Dependencies for Future Interest Prediction on Twitter (NA, HF, FZ, AN, EB), pp. 1511–1514.
CIKMCIKM-2018-ShaabaniM #detection #performance
Improving the Efficiency of Inclusion Dependency Detection (NS, CM), pp. 207–216.
ICMLICML-2018-TaoBZ #identification #linear
Best Arm Identification in Linear Bandits with Linear Dimension Dependency (CT, SAB, YZ0), pp. 4884–4893.
ICMLICML-2018-TrinhDLL #learning
Learning Longer-term Dependencies in RNNs with Auxiliary Losses (THT, AMD, TL, QVL), pp. 4972–4981.
ICMLICML-2018-ZhangLSD #fourier #learning
Learning Long Term Dependencies via Fourier Recurrent Units (JZ, YL, ZS, ISD), pp. 5810–5818.
ICPRICPR-2018-MeiJSH #detection #multi
Region and Temporal Dependency Fusion for Multi-label Action Unit Detection (CM, FJ, RS, QH), pp. 848–853.
KDDKDD-2018-ZhaoAS0 #classification #performance #predict #using
Prediction-time Efficient Classification Using Feature Computational Dependencies (LZ0, AAF, MS, KZ0), pp. 2787–2796.
ASEASE-2018-KonatEV #incremental #scalability
Scalable incremental building with dynamic task dependencies (GK, SE, EV), pp. 76–86.
ESEC-FSEESEC-FSE-2018-WangWLWWYYZC #matter #question
Do the dependency conflicts in my project matter? (YW, MW, ZL, RW, RW, BY, HY, ZZ0, SCC), pp. 319–330.
ICSE-2018-Lambers0TBH #analysis #graph transformation #multi #re-engineering
Multi-granular conflict and dependency analysis in software engineering based on graph transformation (LL, DS0, GT, KB, JH), pp. 716–727.
ICSE-2018-Mayr-DornE #question
Does the propagation of artifact changes across tasks reflect work dependencies? (CMD, AE), pp. 397–407.
ICSE-2018-YuJ #data flow #mining
Dataflow tunneling: mining inter-request data dependencies for request-based applications (XY, GJ), pp. 586–597.
CASECASE-2018-MarussyM #analysis #configuration management #modelling
Constructing Dependability Analysis Models of Reconfigurable Production Systems (KM, IM), pp. 1158–1163.
CGOCGO-2018-KruseG #memory management #named
DeLICM: scalar dependence removal at zero memory cost (MK, TG), pp. 241–253.
FASEFASE-2018-LechenetKG #performance
Fast Computation of Arbitrary Control Dependencies (JCL, NK, PLG), pp. 207–224.
CSLCSL-2018-GradelH #concept #equivalence
Dependency Concepts up to Equivalence (EG, MH), p. 21.
ICSTICST-2018-GambiBZ #detection
Practical Test Dependency Detection (AG, JB0, AZ), pp. 1–11.
TAPTAP-2018-HerdaTB #data flow #graph #testing #using #verification
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties (MH, SST, BB), pp. 83–102.
CSEETCSEET-2017-SteppeCT #automation #design #education #modelling
Improving the Teaching of Software Design with Automated Modelling of Syntactic Dependencies (KS, SC, WWT), pp. 144–151.
ICSMEICSME-2017-GoonetillekeMB #data transformation #evolution #graph #multi
Graph Data Management of Evolving Dependency Graphs for Multi-versioned Codebases (OG, DM, BB), pp. 574–583.
MSRMSR-2017-KikasGDP #evolution #network
Structure and evolution of package dependency networks (RK, GG, MD, DP), pp. 102–112.
MSRMSR-2017-ShatnawiMEBGMPA #java
Analyzing program dependencies in Java EE applications (AS, HM, GEB, AB, YGG, NM, JP, MA), pp. 64–74.
SANERSANER-2017-DecanMC #comparison #delivery #ecosystem #empirical
An empirical comparison of dependency issues in OSS packaging ecosystems (AD, TM, MC), pp. 2–12.
SANERSANER-2017-Ganea #developer #evolution #named
Hindsight: Revealing the evolution of dependencies to developers (GG), pp. 511–515.
SANERSANER-2017-KuangNHRLEM #traceability
Analyzing closeness of code dependencies for improving IR-based Traceability Recovery (HK, JN, HH0, PR, JL0, AE, PM), pp. 68–78.
SANERSANER-2017-SilvaVB #identification #javascript #legacy
Statically identifying class dependencies in legacy JavaScript systems: First results (LHS, MTV, AB), pp. 427–431.
SEFMSEFM-2017-GioulekasPKKBBP #design #embedded
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper) (FG, PP, RK, PK, MB, SB, PP), pp. 401–407.
HaskellHaskell-2017-KarachaliasS #exclamation #functional
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! (GK, TS), pp. 133–147.
CIKMCIKM-2017-BaskaranKCGS #functional #ontology #performance
Efficient Discovery of Ontology Functional Dependencies (SB, AK0, FC, LG, JS), pp. 1847–1856.
CIKMCIKM-2017-RongC #graph
Minimizing Dependence between Graphs (YR, HC), pp. 1827–1836.
ICMLICML-2017-JenattonAGS #optimisation
Bayesian Optimization with Tree-structured Dependencies (RJ, CA, JG, MWS), pp. 1655–1664.
ICMLICML-2017-VorontsovTKP #learning #network #on the #orthogonal
On orthogonality and learning recurrent networks with long term dependencies (EV, CT, SK, CP), pp. 3570–3578.
KDDKDD-2017-MandrosBV #approximate #functional #reliability
Discovering Reliable Approximate Functional Dependencies (PM, MB, JV), pp. 355–363.
ECOOPECOOP-2017-Huang0 #analysis #reduction
Speeding Up Maximal Causality Reduction with Static Dependency Analysis (SH, JH0), p. 22.
OnwardOnward-2017-Steimann #design #implementation #programming language
Replacing phrase structure grammar with dependency grammar in the design and implementation of programming languages (FS), pp. 30–43.
PEPMPEPM-2017-NarasimhanRL #data transformation #interactive #migration #program transformation #representation
Interactive data representation migration: exploiting program dependence to aid program transformation (KN, CR, JL), pp. 47–58.
ASEASE-2017-MirhosseiniP #automation #developer #question
Can automated pull requests encourage software developers to upgrade out-of-date dependencies? (SM, CP), pp. 84–94.
ESEC-FSEESEC-FSE-2017-Oliveira #architecture #co-evolution #fine-grained #named #refactoring #using
DRACO: discovering refactorings that improve architecture using fine-grained co-change dependencies (MCdO0), pp. 1018–1021.
CGOCGO-2017-JohnsonFBOJA #analysis #collaboration #framework
A collaborative dependence analysis framework (NPJ, JF, SRB, TO, TBJ, DIA), pp. 148–159.
CSLCSL-2017-Hannula #logic
Validity and Entailment in Modal and Propositional Dependence Logics (MH), p. 17.
WICSAWICSA-2016-Hofig #analysis #architecture #component #summary #tutorial
Tutorial Summary for Dependability Analysis in the Context of Component-Based System Architectures (KH), p. 255.
WICSAWICSA-2016-NordSDFTO #architecture
Missed Architectural Dependencies: The Elephant in the Room (RLN, RSS, JD, PHF, LT, IO), pp. 41–50.
ICPCICPC-2016-ZhangT0 #analysis #android
Android build dependency analysis (BZ0, VLT, MB0), pp. 1–4.
SANERSANER-2016-CaraccioloALN #automation #named
Marea: A Semi-Automatic Decision Support System for Breaking Dependency Cycles (AC, BA, ML, ON), pp. 482–492.
SANERSANER-2016-DecanMCG #analysis #git #problem
When GitHub Meets CRAN: An Analysis of Inter-Repository Package Dependency Problems (AD, TM, MC, PG), pp. 493–504.
SCAMSCAM-2016-LossingGI #c #compilation #concept #graph #text-to-text
Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers (NL, PG, FI), pp. 167–176.
SCAMSCAM-2016-SharmaS #impact analysis #named
Augur: Incorporating Hidden Dependencies and Variable Granularity in Change Impact Analysis (TS, GS), pp. 73–78.
CIKMCIKM-2016-BleifussBFRW0PN #approximate #dataset #functional #scalability
Approximate Discovery of Functional Dependencies for Large Datasets (TB, SB, JF, JR, GW, SK0, TP, FN), pp. 1803–1812.
ICMLICML-2016-GaoKOV #axiom #capacity
Conditional Dependence via Shannon Capacity: Axioms, Estimators and Applications (WG, SK, SO, PV), pp. 2780–2789.
ICMLICML-2016-InouyeRD #exponential #modelling #multi #product line #visual notation
Square Root Graphical Models: Multivariate Generalizations of Univariate Exponential Families that Permit Positive Dependencies (DII, PR, ISD), pp. 2445–2453.
ICPRICPR-2016-0003CNBH
Measuring dependency via intrinsic dimensionality (SR0, OC, VN, JB0, MEH), pp. 1207–1212.
ICPRICPR-2016-FariaCLI #recognition #using
Information fusion for cocaine dependence recognition using fMRI (FAF, FAMC, CsRL, JSI), pp. 1107–1112.
KDDKDD-2016-AmoualianCGA #approach #documentation #modelling #named #topic
Streaming-LDA: A Copula-based Approach to Modeling Topic Dependencies in Document Streams (HA, MC, ÉG, MRA), pp. 695–704.
KDDKDD-2016-ChenTXYH #multi #named #network #performance
FASCINATE: Fast Cross-Layer Dependency Inference on Multi-layered Networks (CC0, HT, LX, LY, QH), pp. 765–774.
ASEASE-2016-Mougouei #graph #integer #programming #requirements #using
Factoring requirement dependencies in software requirement selection using graphs and integer programming (DM), pp. 884–887.
ASEASE-2016-YangHKIBZX #clustering #empirical #predict
An empirical study on dependence clusters for effort-aware fault-proneness prediction (YY, MH, JK, SSI, DB, YZ, BX), pp. 296–307.
FSEFSE-2016-JiangXLML #coordination #memory management #online #reduction
Online shared memory dependence reduction via bisectional coordination (YJ, CX, DL, XM, JL), pp. 822–832.
FSEFSE-2016-Kappler #execution
Finding and breaking test dependencies to speed up test execution (SK), pp. 1136–1138.
FSEFSE-2016-Lam
Repairing test dependence (WL), pp. 1121–1123.
FSEFSE-2016-SungKS0 #analysis #testing #web
Static DOM event dependency analysis for testing web applications (CS, MK, NS0, CW0), pp. 447–459.
FSEFSE-2016-XieCLLL #analysis #named #summary
Proteus: computing disjunctive loop summary via path dependency analysis (XX, BC0, YL0, WL, XL), pp. 61–72.
CASECASE-2016-IrieST #using
Target-less camera-LiDAR extrinsic calibration using a bagged dependence estimator (KI, MS, MT), pp. 1340–1347.
CCCC-2016-MurphyJMC #automation #data flow #performance
Performance implications of transient loop-carried data dependences in automatically parallelized loops (NM, TMJ0, RDM, SC), pp. 23–33.
CCCC-2016-ZhangBB #parallel #runtime
Relaxed dependence tracking for parallel runtime support (MZ, SB, MDB), pp. 45–55.
CSLCSL-2016-0002STK #revisited
AC Dependency Pairs Revisited (AY0, CS, RT, KK), p. 16.
CSLCSL-2016-HellaK #constraints #logic
Dependence Logic vs. Constraint Satisfaction (LH, PGK), p. 17.
QoSAQoSA-2015-HofigZS #automation #using
Automated Failure Propagation using Inner Port Dependency Traces (KH, MZ, KS), pp. 123–128.
PODSPODS-2015-GottlobPS
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (GG, RP, ES), pp. 65–77.
PODSPODS-2015-HuQT15a #testing
Join Dependency Testing, Loomis-Whitney Join, and Triangle Enumeration (XH, MQ, YT), pp. 291–301.
SIGMODSIGMOD-2015-YuSC #distributed #matrix #performance
Exploiting Matrix Dependency for Efficient Distributed Matrix Computation (LY, YS, BC), pp. 93–105.
VLDBVLDB-2015-DyresonBG #query
Virtual eXist-db: Liberating Hierarchical Queries from the Shackles of Access Path Dependence (CED, SSB, RG), pp. 1932–1943.
VLDBVLDB-2015-PapenbrockEMNRZ #algorithm #evaluation #functional
Functional Dependency Discovery: An Experimental Evaluation of Seven Algorithms (TP, JE, JM, TN, JPR, MS, JZ, FN), pp. 1082–1093.
VLDBVLDB-2015-PapenbrockKQN
Divide & Conquer-based Inclusion Dependency Discovery (TP, SK, JAQR, FN), pp. 774–785.
SCAMSCAM-J-2013-BeszedesSCGJG15 #clustering #empirical
Empirical investigation of SEA-based dependence cluster properties (ÁB, LS, BC, TG, JJ, TG), pp. 3–25.
ICSMEICSME-2015-BinkleyBIJV #clustering
Uncovering dependence clusters and linchpin functions (DB, ÁB, SSI, JJ, BV), pp. 141–150.
SANERSANER-2015-CaiS #effectiveness #framework #impact analysis
A framework for cost-effective dependence-based dynamic impact analysis (HC, RAS), pp. 231–240.
SANERSANER-2015-CaiS15a #analysis #fine-grained #named
TRACERJD: Generic trace-based dynamic dependence analysis with fine-grained logging (HC, RAS), pp. 489–493.
SANERSANER-2015-OyetoyanFDJ #empirical
Circular dependencies and change-proneness: An empirical study (TDO, JRF, JD, KJ), pp. 241–250.
SCAMSCAM-2015-BrandtnerLG #integration #source code #testing
Intent, tests, and release dependencies: Pragmatic recipes for source code integration (MB, PL, HCG), pp. 11–20.
CHICHI-2015-MelvinBON #communication #product line
The Effect of Signal Expense and Dependability on Family Communication in Rural and Northern Canada (RMM, AB, EO, CN), pp. 717–726.
CHICHI-2015-YouWHCLHWHC #named
SoberDiary: A Phone-based Support System for Assisting Recovery from Alcohol Dependence (CWY, KCW, MCH, YCC, CLL, PSH, HCW, PH, HHC), pp. 3839–3848.
ICEISICEIS-v2-2015-ThommazoCHGPBF #complexity #requirements #testing #using
Using the Dependence Level Among Requirements to Priorize the Regression Testing Set and Characterize the Complexity of Requirements Change (ADT, KC, EMH, GG, JP, AB, SF), pp. 231–241.
CIKMCIKM-2015-KohlerL
Inclusion Dependencies Reloaded (HK, SL), pp. 1361–1370.
CIKMCIKM-2015-WangZZLL #behaviour #infinity #modelling #social #topic
Modeling Infinite Topics on Social Behavior Data with Spatio-temporal Dependence (PW0, PZ0, CZ0, ZL, GL), pp. 1919–1922.
ICMLICML-2015-BounliphoneGTB #consistency
A low variance consistent test of relative dependency (WB, AG, AT, MBB), pp. 20–29.
RecSysRecSys-2015-MouliC #feedback #modelling
Making the Most of Preference Feedback by Modeling Feature Dependencies (SCM, SC), pp. 285–288.
SEKESEKE-2015-BarchetSF #analysis #collaboration #risk management
Analysis of Risk Dependencies in Collaborative Risk Management (CB, LAdLS, LMF), pp. 314–319.
SIGIRSIGIR-2015-EickhoffVH #modelling
Modelling Term Dependence with Copulas (CE, APdV, TH), pp. 783–786.
SIGIRSIGIR-2015-LiomaSLH #information retrieval
Non-Compositional Term Dependence for Information Retrieval (CL, JGS, BL, NDH), pp. 595–604.
SIGIRSIGIR-2015-ZhiltsovKN #ad hoc #retrieval #web
Fielded Sequential Dependence Model for Ad-Hoc Entity Retrieval in the Web of Data (NZ, AK, FN), pp. 253–262.
OOPSLAOOPSLA-2015-ErdwegLW #incremental
A sound and optimal incremental build system with dynamic dependencies (SE, ML, MW), pp. 89–106.
PEPMPEPM-2015-BinsbergenBD #attribute grammar #automation #order
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection (LTvB, JB, AD), pp. 49–60.
PLDIPLDI-2015-FaddegonC #algorithm #debugging #haskell #source code #stack
Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack (MF, OC), pp. 33–42.
PLDIPLDI-2015-JohnsonWMC #graph #security
Exploring and enforcing security guarantees via program dependence graphs (AJ, LW, SM, SC), pp. 291–302.
PLDIPLDI-2015-WeijiangBLK #analysis
Tree dependence analysis (YW, SB, JL, MK), pp. 314–325.
ASEASE-2015-JiangLXML #memory management
Optimistic Shared Memory Dependence Tracing (T) (YJ, DL, CX, XM, JL), pp. 524–534.
ASEASE-2015-Vargas-Baldrich #automation #bytecode #using
Automated Tagging of Software Projects Using Bytecode and Dependencies (N) (SVB, MLV, DP), pp. 289–294.
ESEC-FSEESEC-FSE-2015-BellKMD #detection #java #performance
Efficient dependency detection for safe Java test acceleration (JB, GEK, EM, MD), pp. 770–781.
ESEC-FSEESEC-FSE-2015-Konopka #eye tracking #identification #navigation
Combining eye tracking with navigation paths for identification of cross-language code dependencies (MK), pp. 1057–1059.
ICSEICSE-v2-2015-CoxBEV
Measuring Dependency Freshness in Software Systems (JC, EB, MCJDvE, JV), pp. 109–118.
ICSEICSE-v2-2015-LutellierCGTRMK #architecture #using
Comparing Software Architecture Recovery Techniques Using Accurate Dependencies (TL, DC, JG, LT, DR, NM, RK), pp. 69–78.
ASPLOSASPLOS-2015-HassaanNP #graph
Kinetic Dependence Graphs (MAH, DDN, KP), pp. 457–471.
CASECASE-2015-HillmannS #distributed #linear
Decentralized control of distributed discrete event systems with linear dependency structure (CH, OS), pp. 551–557.
DATEDATE-2015-FeldS #analysis
Sufficient response time analysis considering dependencies between rate-dependent tasks (TF, FS), pp. 519–524.
DATEDATE-2015-KhanhSKA #design #synthesis
Exploiting loop-array dependencies to accelerate the design space exploration with high level synthesis (PNK, AKS, AK, KMMA), pp. 157–162.
FASEFASE-2015-BornAHT #rule-based
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (KB, TA, FH, GT), pp. 165–168.
FASEFASE-2015-FedyukovichDHS #bound #detection #model checking
Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.
FoSSaCSFoSSaCS-2015-BagnolDS #logic #on the
On the Dependencies of Logical Rules (MB, AD, AS), pp. 436–450.
CADECADE-2015-IborraNVY #problem #termination
Reducing Relative Termination to Dependency Pair Problems (JI, NN, GV, AY), pp. 163–178.
CADECADE-2015-SatoW #encoding
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (HS, SW), pp. 152–162.
CSLCSL-2015-SanoV #axiom #logic
Axiomatizing Propositional Dependence Logics (KS, JV), pp. 292–307.
ICSTICST-2015-ArltMPW #testing
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing (SA, TM, AP, SW), pp. 1–10.
ISSTAISSTA-2015-GligoricEM #testing
Practical regression test selection with dynamic file dependencies (MG, LE, DM), pp. 211–222.
ISSTAISSTA-2015-GyoriSHM #detection #reliability #testing
Reliable testing: detecting state-polluting tests to prevent test dependency (AG, AS, FH, DM), pp. 223–233.
QoSAQoSA-2014-JohnsenLPH #graph #modelling #slicing #verification
Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.
JCDLJCDL-2014-MajidiC #analysis #fault #parsing
Human and machine error analysis on dependency parsing of ancient Greek texts (SM, GRC), pp. 221–224.
PODSPODS-2014-KolaitisPSS #reasoning
Nested dependencies: structure and reasoning (PGK, RP, ES, VS), pp. 176–187.
CSEETCSEET-2014-Steppe #analysis #design #education #graph #using
Teaching analysis of software designs using dependency graphs (KS), pp. 65–73.
SANERCSMR-WCRE-2014-OyetoyanCC #component #evolution #fault
Transition and defect patterns of components in dependency cycles during software evolution (TDO, DSC, RC), pp. 283–292.
ICSMEICSME-2014-KlattKS #analysis
Program Dependency Analysis for Consolidating Customized Product Copies (BK, KK, CS), pp. 496–500.
MSRMSR-2014-BloemenAKO #analysis #database #open source
Innovation diffusion in open source software: preliminary analysis of dependency changes in the gentoo portage package database (RB, CA, SK, GOM), pp. 316–319.
MSRMSR-2014-BloemenAKO14a
Gentoo package dependencies over time (RB, CA, SK, GOM), pp. 404–407.
CHICHI-2014-LaseckiWFB #using
Finding dependencies between actions using the crowd (WSL, LW, GF, JPB), pp. 3095–3098.
CHICHI-2014-MeurerSRRW #mobile #social
Social dependency and mobile autonomy: supporting older adults’ mobility with ridesharing ict (JM, MS, DR, MR, VW), pp. 1923–1932.
HCIHIMI-DE-2014-HoriguchiASN #generative
Menu Hierarchy Generation Based on Syntactic Dependency Structures in Item Descriptions (YH, SA, TS, HN), pp. 157–166.
HCISCSM-2014-Scheiner #identification #social #social media
The Importance of Social Media as Source of Information in the Technology Identification in Dependence of External and Internal Factors (CWS), pp. 103–112.
VISSOFTVISSOFT-2014-BergelMDG #domain-specific language #graph #visualisation
A Domain-Specific Language for Visualizing Software Dependencies as a Graph (AB, SM, SD, TG), pp. 45–49.
VISSOFTVISSOFT-2014-DanielWSSL #classification #named #visualisation
Polyptychon: A Hierarchically-Constrained Classified Dependencies Visualization (DTD, EW, KS, MS, PL), pp. 83–86.
VISSOFTVISSOFT-2014-KulaRGII #evolution #library #visualisation
Visualizing the Evolution of Systems and Their Library Dependencies (RGK, CDR, DMG, TI, KI), pp. 127–136.
EDOCEDOC-2014-KurodaG #modelling #scalability
Model-Based IT Change Management for Large System Definitions with State-Related Dependencies (TK, ASG), pp. 170–179.
CIKMCIKM-2014-AbedjanSN #functional #named #performance
DFD: Efficient Functional Dependency Discovery (ZA, PS, FN), pp. 949–958.
CIKMCIKM-2014-HustonC #comparison #modelling #retrieval #using
A Comparison of Retrieval Models using Term Dependencies (SH, WBC), pp. 111–120.
ICMLICML-c1-2014-InouyeRD #topic #word
Admixture of Poisson MRFs: A Topic Model with Word Dependencies (DI, PDR, ISD), pp. 683–691.
ICMLICML-c1-2014-LiWLZT #modelling #on the #topic
On Modelling Non-linear Topical Dependencies (ZL, SW, JL, PZ, JT), pp. 458–466.
ICMLICML-c2-2014-LiuZBP #modelling #multi #testing #visual notation
Multiple Testing under Dependence via Semiparametric Graphical Models (JL, CZ, ESB, DP), pp. 955–963.
KDDKDD-2014-ChengB0 #approach #effectiveness #named
FBLG: a simple and effective approach for temporal dependence discovery from time series data (DC, MTB, YL), pp. 382–391.
KDDKDD-2014-FuXGYZZ #clustering #ranking
Exploiting geographic dependencies for real estate appraisal: a mutual perspective of ranking and clustering (YF, HX, YG, ZY, YZ, ZHZ), pp. 1047–1056.
KRKR-2014-OveisiDPP
Belief Change and Base Dependence (MO, JPD, FJP, FP).
SPLCSPLC-2014-AngererPLGG #graph #identification #product line
Identifying inactive code in product lines with configuration-aware system dependence graphs (FA, HP, DL, AG, PG), pp. 52–61.
LOPSTRLOPSTR-2014-LucasMG #2d #framework #term rewriting
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems (SL, JM, RG), pp. 113–130.
ASEASE-2014-ArcuriFG #automation #generative #testing
Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.
ASEASE-2014-CaiS #impact analysis #named #precise #using
Diver: precise dynamic impact analysis using dependence-based trace pruning (HC, RAS), pp. 343–348.
FSEFSE-2014-Bell #detection #testing
Detecting, isolating, and enforcing dependencies among and within test cases (JB), pp. 799–802.
CASECASE-2014-ChuKS #energy #grid #integration
Optimal integration of alternative energy sources in production systems for minimum grid dependency and outage risk (KCC, KK, KS), pp. 640–645.
CASECASE-2014-YanLP #fault #framework #integration #matrix
Fault diagnosis framework for Air Handling Units based on the integration of Dependency matrices and PCA (YY, PBL, KRP), pp. 1103–1108.
DACDAC-2014-HenkelBZRS #architecture #multi
Multi-Layer Dependability: From Microarchitecture to Application Level (JH, LB, HZ, SR, MS), p. 6.
DACDAC-2014-RehmanKSSH #adaptation #code generation #named #process #reliability
dTune: Leveraging Reliable Code Generation for Adaptive Dependability Tuning under Process Variation and Aging-Induced Effects (SR, FK, DS, MS, JH), p. 6.
DATEDATE-2014-BardizbanyanSWL #data flow #detection #energy
Reducing set-associative L1 data cache energy by early load data dependence detection (ELD3) (AB, MS, DBW, PLE), pp. 1–4.
HPCAHPCA-2014-PariharH #approach #metaheuristic
Accelerating decoupled look-ahead via weak dependence removal: A metaheuristic approach (RP, MCH), pp. 662–677.
WRLAWRLA-2014-LucasM14a #2d #proving #termination
2D Dependency Pairs for Proving Operational Termination of CTRSs (SL, JM), pp. 195–212.
ISSTAISSTA-2014-XiaoBIMGC #analysis #effectiveness #type system
ARC++: effective typestate and lifetime dependency analysis (XX, GB, FI, NM, AG, DC), pp. 116–126.
ICSTSAT-2014-SlivovskyS
Variable Dependencies and Q-Resolution (FS, SS), pp. 269–284.
TPDLTPDL-2013-MajidiC #learning #parsing
Committee-Based Active Learning for Dependency Parsing (SM, GRC), pp. 442–445.
VLDBVLDB-2013-SzlichtaGGZ #complexity #order
Expressiveness and Complexity of Order Dependencies (JS, PG, JG, CZ), pp. 1858–1869.
CSMRCSMR-2013-ForsterKKB #component
Recovering Component Dependencies Hidden by Frameworks-Experiences from Analyzing OSGi and Qt (TF, TK, JK, MCB), pp. 295–304.
CSMRCSMR-2013-PolychniatisHJBV #detection
Detecting Cross-Language Dependencies Generically (TP, JH, SJ, EB, JV), pp. 349–352.
ICPCICPC-2013-PruijtKB #analysis #architecture #on the
On the accuracy of Architecture Compliance Checking support Accuracy of dependency analysis and violation reporting (LP, CK, SB), pp. 172–181.
ICSMEICSM-2013-MullerF
Stakeholders’ Information Needs for Artifacts and Their Dependencies in a Real World Context (SCM, TF), pp. 290–299.
MSRMSR-2013-RaemaekersDV #dataset #metric #repository
The maven repository dataset of metrics, changes, and dependencies (SR, AvD, JV), pp. 221–224.
SCAMSCAM-2013-BeszedesSCGJG #clustering #empirical
Empirical investigation of SEA-based dependence cluster properties (ÁB, LS, BC, TG, JJ, TG), pp. 1–10.
WCREWCRE-2013-JaafarGHK #anti #mining
Mining the relationship between anti-patterns dependencies and fault-proneness (FJ, YGG, SH, FK), pp. 351–360.
WCREWCRE-2013-SalesTMV #recommendation #refactoring #set #using
Recommending Move Method refactorings using dependency sets (VS, RT, LFM, MTV), pp. 232–241.
WCREWCRE-2013-SutiiRS #detection #enterprise #java
Detecting dependencies in Enterprise JavaBeans with SQuAVisiT (AS, SAR, AS), pp. 485–486.
HCIDHM-HB-2013-RichterZF
Temporal Dependence of Trapezius Muscle Activation during Sustained Eye-Lens Accommodation at Near (HOR, CZ, MF), pp. 269–275.
ICEISICEIS-v2-2013-MarynowskiPWM #pipes and filters #testing
Dependability Testing of MapReduce Systems (JEM, ARP, TSW, AJM), pp. 165–172.
ICEISICEIS-v3-2013-PanTG #approach #modelling #ontology #process
Artefact-oriented Business Process Modelling — An Ontological Dependency Approach (YCP, YT, SRG), pp. 223–230.
CIKMCIKM-2013-MorishimaYTSK #performance #ranking #web
Efficient filtering and ranking schemes for finding inclusion dependencies on the web (AM, EY, MT, SS, HK), pp. 763–768.
ECIRECIR-2013-JeongM #classification #recognition #using
Using WordNet Hypernyms and Dependency Features for Phrasal-Level Event Recognition and Type Classification (YJ, SHM), pp. 267–278.
ICMLICML-c2-2013-Lopez-PazHG #multi #process
Gaussian Process Vine Copulas for Multivariate Dependence (DLP, JMHL, ZG), pp. 10–18.
ICMLICML-c3-2013-ReddiP #invariant #metric
Scale Invariant Conditional Dependence Measures (SJR, BP), pp. 1355–1363.
KDDKDD-2013-GopalY #classification #recursion #scalability #visual notation
Recursive regularization for large-scale classification with hierarchical and graphical dependencies (SG, YY), pp. 257–265.
KDDKDD-2013-RobardetSPF
When TEDDY meets GrizzLY: temporal dependency discovery for triggering road deicing operations (CR, VMS, MP, AF), pp. 1490–1493.
SIGIRSIGIR-2013-SordoniNB #information retrieval #modelling #quantum
Modeling term dependencies with quantum language models for IR (AS, JYN, YB), pp. 653–662.
OOPSLAOOPSLA-2013-BondKCZSBSH #named #thread
OCTET: capturing and controlling cross-thread dependences efficiently (MDB, MK, MC, MZ, MFS, SB, AS, JH), pp. 693–712.
PLDIPLDI-2013-JohnsonOZA #graph #performance
Fast condensation of the program dependence graph (NPJ, TO, AZ, DIA), pp. 39–50.
RERE-2013-VogelsanagF #challenge #empirical #requirements #why
Why feature dependencies challenge the requirements engineering of automotive systems: An empirical study (AV, SF), pp. 267–272.
RERE-2013-WangLWYZL #debugging #integration #network #question #requirements
Can requirements dependency network be used as early indicator of software integration bugs? (JW, JL, QW, DY, HZ, ML), pp. 185–194.
ASEASE-2013-NguyenT #automation #classification #combinator #testing
Automated inference of classifications and dependencies for combinatorial testing (DCN, PT), pp. 622–627.
ASEASE-2013-PalepuXJ #dynamic analysis #performance #summary
Improving efficiency of dynamic analysis with dynamic dependence summaries (VKP, G(X, JAJ), pp. 59–69.
ASEASE-2013-Wu0LD #analysis #automation #component #using
Automatically partition software into least privilege components using dynamic data dependency analysis (YW, JS, YL, JSD), pp. 323–333.
ASEASE-2013-XuYMCL #adaptation #self #towards
Environment rematching: Toward dependability improvement for self-adaptive applications (CX, WY, XM, CC, JL), pp. 592–597.
ESEC-FSEESEC-FSE-2013-BlincoeVD #coordination #identification
Do all task dependencies require coordination? the role of task properties in identifying critical coordination needs in software projects (KB, GV, DD), pp. 213–223.
SACSAC-2013-MehtaRCN #approach #using
Selecting among alternatives using dependencies: an NFR approach (RM, TRL, LC, MN), pp. 1292–1297.
SACSAC-2013-WaflerH #analysis #approach #grid #modelling #smarttech
A combined structural and dynamic modelling approach for dependability analysis in smart grid (JW, PEH), pp. 660–665.
ASPLOSASPLOS-2013-JafriVV #named #performance
Wait-n-GoTM: improving HTM performance by serializing cyclic dependencies (SARJ, GV, TNV), pp. 521–534.
CGOCGO-2013-AnantpurG #execution #runtime
Runtime dependence computation and execution of loops on heterogeneous systems (JA, RG), p. 10.
DACDAC-2013-AlleMD #analysis #pipes and filters #runtime #synthesis
Runtime dependency analysis for loop pipelining in high-level synthesis (MA, AM, SD), p. 10.
HPCAHPCA-2013-QianHSQ #memory management #named #parallel #performance
Rainbow: Efficient memory dependence recording with high replay parallelism for relaxed memory model (XQ, HH, BS, DQ), pp. 554–565.
CSLCSL-2013-Bradfield
Team building in dependence (JCB), pp. 116–128.
ICLPICLP-J-2013-CatB #detection #functional #generative
Detection and exploitation of functional dependencies for model generation (BdC, MB), pp. 471–485.
ICSTICST-2013-ShuSHP #analysis #framework #named #platform
JavaPDG: A New Platform for Program Dependence Analysis (GS, BS, TADH, AP), pp. 408–415.
CBSECBSE-2012-BrosigHK #architecture #modelling #online #parametricity #performance
Modeling parameter and context dependencies in online architecture-level performance models (FB, NH, SK), pp. 3–12.
PODSPODS-2012-Kimelfeld #complexity #functional
A dichotomy in the complexity of deletion propagation with functional dependencies (BK), pp. 191–202.
VLDBVLDB-2012-BaoDM #fine-grained #workflow
Labeling Workflow Views with Fine-Grained Dependencies (ZB, SBD, TM), pp. 1208–1219.
VLDBVLDB-2012-SzlichtaGG #order
Fundamentals of Order Dependencies (JS, PG, JG), pp. 1220–1231.
CSMRCSMR-2012-HottaHK #graph #identification #refactoring
Identifying, Tailoring, and Suggesting Form Template Method Refactoring Opportunities with Program Dependence Graph (KH, YH, SK), pp. 53–62.
ICSMEICSM-2012-DhaliwalKZH #commit #integration #product line
Recovering commit dependencies for selective code integration in software product lines (TD, FK, YZ, AEH), pp. 202–211.
ICSMEICSM-2012-HamiltonD #community #source code
Dependence communities in source code (JH, SD), pp. 579–582.
ICSMEICSM-2012-KobayashiKKYM #clustering #composition #using
Feature-gathering dependency-based software clustering using Dedication and Modularity (KK, MK, KK, KY, AM), pp. 462–471.
ICSMEICSM-2012-KuangMHGHJE #comprehension #question #requirements #source code #traceability
Do data dependencies in source code complement call dependencies for understanding requirements traceability? (HK, PM, HH, AG, LH, JL, AE), pp. 181–190.
MSRMSR-2012-HuHHW #android #architecture
The build dependency perspective of Android’s concrete architecture (WH, DH, AH, KW), pp. 128–131.
SCAMSCAM-2012-GethersAP #concept #database #detection
Combining Conceptual and Domain-Based Couplings to Detect Database and Code Dependencies (MG, AA, DP), pp. 144–153.
SCAMSCAM-2012-LazarescuL #analysis #c #parallel #source code
Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs (MTL, LL), pp. 126–131.
SCAMSCAM-2012-SchrettnerJGBG #clustering #impact analysis #using
Impact Analysis in the Presence of Dependence Clusters Using Static Execute after in WebKit (LS, JJ, TG, ÁB, TG), pp. 24–33.
LATALATA-2012-BilleS #performance #programming
Fast and Cache-Oblivious Dynamic Programming with Local Dependencies (PB, MS), pp. 131–142.
SEFMSEFM-2012-AyraultBDP #analysis #ml
ML Dependency Analysis for Assessors (PA, VB, CD, FP), pp. 278–292.
CoGCIG-2012-Villacorta0P #automation #design #game studies #sequence
Automatic design of deterministic sequences of decisions for a repeated imitation game with action-state dependency (PJV, LQ0, DAP), pp. 1–8.
CSCWCSCW-2012-AgustinaSX #3d #collaboration #design #realtime
Operational transformation for dependency conflict resolution in real-time collaborative 3D design systems (A, CS, DX), pp. 1401–1410.
CIKMCIKM-2012-BauckmannALMN
Discovering conditional inclusion dependencies (JB, ZA, UL, HM, FN), pp. 2094–2098.
CIKMCIKM-2012-KimC #approximate #composition #functional #performance
Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.
CIKMCIKM-2012-WeiFLC #canonical #using
Model the complex dependence structures of financial variables by using canonical vine (WW, XF, JL, LC), pp. 1382–1391.
ICMLICML-2012-Boulanger-LewandowskiBV #generative #modelling #music #sequence
Modeling Temporal Dependencies in High-Dimensional Sequences: Application to Polyphonic Music Generation and Transcription (NBL, YB, PV), p. 244.
ICMLICML-2012-JalaliS #graph #learning
Learning the Dependence Graph of Time Series with Latent Factors (AJ, SS), p. 83.
ICMLICML-2012-PoczosGS #kernel #metric
Copula-based Kernel Dependency Measures (BP, ZG, JGS), p. 213.
ICPRICPR-2012-WuW #classification
Term relevance dependency model for text classification (MSW, HMW), pp. 1064–1067.
KDDKDD-2012-Plant #clustering #metric
Dependency clustering across measurement scales (CP), pp. 361–369.
KDDKDD-2012-SchifanellaCCA #named #web
D-INDEX: a web environment for analyzing dependences among scientific collaborators (CS, LDC, MC, MAA), pp. 1520–1523.
KDDKDD-2012-TangLS
Discovering lag intervals for temporal dependencies (LT, TL, LS), pp. 633–641.
KDDKDD-2012-XiongJXC #learning #metric #random
Random forests for metric learning with implicit pairwise position dependence (CX, DMJ, RX, JJC), pp. 958–966.
KDIRKDIR-2012-Delmonte #information management #null
Predicate Argument Structures for Information Extraction from Dependency Representations — Null Elements are Missing (RD), pp. 463–474.
KRKR-2012-BahmaniBKL #declarative #set #source code
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs (ZB, LEB, SK, LVSL).
SEKESEKE-2012-MaZQQXY #analysis #design pattern #identification #using
Identification of Design Patterns Using Dependence Analysis (WM, XZ, XQ, JQ, LX, RY), pp. 289–292.
SEKESEKE-2012-ShinKKJR #configuration management #impact analysis #using
Reconfiguration of Robot Applications using Data Dependency and Impact Analysis (MES, TK, SK, SJ, MR), pp. 684–687.
SIGIRSIGIR-2012-BenderskyC #higher-order #information retrieval #modelling #query #using
Modeling higher-order term dependencies in information retrieval using query hypergraphs (MB, WBC), pp. 941–950.
SIGIRSIGIR-2012-ChoiKC #social
Dependency trigram model for social relation extraction from news articles (MC, HK, WBC), pp. 1047–1048.
SIGIRSIGIR-2012-LimsopathamMMO
Exploiting term dependence while handling negation in medical search (NL, CM, RM, IO), pp. 1065–1066.
LOPSTRLOPSTR-2012-MantelS #analysis #data flow
Types vs. PDGs in Information Flow Analysis (HM, HS), pp. 106–121.
REFSQREFSQ-2012-WangLWZW #approach #impact analysis #simulation
A Simulation Approach for Impact Analysis of Requirement Volatility Considering Dependency Change (JW, JL, QW, HZ, HW), pp. 59–76.
ICSEICSE-2012-EsteveKNPY #analysis #correctness #performance #safety
Formal correctness, safety, dependability, and performance analysis of a satellite (MAE, JPK, VYN, BP, YY), pp. 1022–1031.
SACSAC-2012-BrandnerC #data flow #graph
Copy elimination on data dependence graphs (FB, QC), pp. 1916–1918.
SACSAC-2012-FanS #automation #collaboration #programming #realtime #semantics
Dependency-based automatic locking for semantic conflict prevention in real-time collaborative programming (HF, CS), pp. 737–742.
SACSAC-2012-OtaMSA #flexibility #functional #named
C-Mapping: a flexible XML-RDB mapping method based on functional and inclusion dependencies (SO, AM, NS, TA), pp. 834–839.
CGOCGO-2012-VankaT #data flow #performance #profiling #using
Efficient and accurate data dependence profiling using software signatures (RV, JT), pp. 186–195.
DATEDATE-2012-SassoneCMMPGMBR #network
Investigating the effects of Inverted Temperature Dependence (ITD) on clock distribution networks (AS, AC, AM, EM, MP, RG, VM, EB, SR), pp. 165–166.
PPoPPPPoPP-2012-TzenakisPKPVN #analysis #named #parallel
BDDT: : block-level dynamic dependence analysis for deterministic task-based parallelism (GT, AP, JK, PP, HV, DSN), pp. 301–302.
FASEFASE-2012-SilvaTT #erlang #graph
System Dependence Graphs in Sequential Erlang (JS, ST, CT), pp. 486–500.
STOCSTOC-2012-Censor-HillelHKM #performance
Global computation in a poorly connected world: fast rumor spreading with no dependence on conductance (KCH, BH, JAK, PM), pp. 961–970.
ICSTICST-2012-CaliebeHG #embedded #testing
Dependency-Based Test Case Selection and Prioritization in Embedded Systems (PC, TH, RG), pp. 731–735.
ICSTICST-2012-DengJ #graph
Weighted System Dependence Graph (FD, JAJ), pp. 380–389.
ISSTAISSTA-2012-YuL #approach #data flow #named #parallel #profiling
Multi-slicing: a compiler-supported parallel approach to data dependence profiling (HY, ZL), pp. 23–33.
ICSTSAT-2012-SlivovskyS #linear
Computing Resolution-Path Dependencies in Linear Time , (FS, SS), pp. 58–71.
WICSAWICSA-2011-BrownNOP #analysis #architecture #release planning
Analysis and Management of Architectural Dependencies in Iterative Release Planning (NB, RLN, IO, MP), pp. 103–112.
WICSAWICSA-2011-SavolainenMM #diagrams #industrial
Evaluating Simple Dependency Diagrams in Industry (JS, VM, TM), pp. 224–227.
CSMRCSMR-2011-HigoK #clone detection #detection #heuristic
Code Clone Detection on Specialized PDGs with Heuristics (YH, SK), pp. 75–84.
ICSMEICSM-2011-BouwersDV #architecture
Dependency profiles for software architecture evaluations (EB, AvD, JV), pp. 540–543.
WCREWCRE-2011-AryaniPLMN #predict #question #using
Can We Predict Dependencies Using Domain information? (AA, FP, ML, ANM, ON), pp. 55–64.
WCREWCRE-2011-DaviesRW #debugging #evaluation
A Preliminary Evaluation of Text-based and Dependency-based Techniques for Determining the Origins of Bugs (SD, MR, MW), pp. 201–210.
WCREWCRE-2011-WangLJ #code search #graph #topic
Code Search via Topic-Enriched Dependence Graph Matching (SW, DL, LJ), pp. 119–123.
RTARTA-2011-KopR #algebra #functional #higher-order
Higher Order Dependency Pairs for Algebraic Functional Systems (CK, FvR), pp. 203–218.
RTARTA-2011-MoserS #complexity #framework #multi #proving #recursion #termination
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity (GM, AS), pp. 235–250.
RTARTA-2011-Roux #higher-order #refinement
Refinement Types as Higher-Order Dependency Pairs (CR), pp. 299–312.
SFMSFM-2011-BertolinoCGN #assessment #performance
Dependability and Performance Assessment of Dynamic CONNECTed Systems (AB, AC, FDG, NN), pp. 350–392.
VISSOFTVISSOFT-2011-DengDJ #information management #visualisation
Constellation visualization: Augmenting program dependence with dynamic information (FD, ND, JAJ), pp. 1–8.
VISSOFTVISSOFT-2011-LonnbergBM #concurrent #graph #source code #visualisation
Visualising concurrent programs with dynamic dependence graphs (JL, MBA, LM), pp. 1–4.
VISSOFTVISSOFT-2011-ReniersVT #metric #visual notation
Visual exploration of program structure, dependencies and metrics with SolidSX (DR, LV, ACT), pp. 1–4.
CAiSECAiSE-2011-RamdoyalH #constraints #database #elicitation
Interactively Eliciting Database Constraints and Dependencies (RR, JLH), pp. 184–198.
CIKMCIKM-2011-CroceMB #kernel #semantics
Semantic convolution kernels over dependency trees: smoothed partial tree kernel (DC, AM, RB), pp. 2013–2016.
CIKMCIKM-2011-KimO #process
Accounting for data dependencies within a hierarchical dirichlet process mixture model (DK, AHO), pp. 873–878.
CIKMCIKM-2011-ParkCS #information retrieval
A quasi-synchronous dependence model for information retrieval (JHP, WBC, DAS), pp. 17–26.
CIKMCIKM-2011-WangNSTC #clustering #documentation #graph #representation
Representing document as dependency graph for document clustering (YW, XN, JTS, YT, ZC), pp. 2177–2180.
ICMLICML-2011-GeramifardDRRH #online
Online Discovery of Feature Dependencies (AG, FD, JR, NR, JPH), pp. 881–888.
KDIRKDIR-2011-BallesterosFDHG #analysis #using
Inferring the Scope of Speculation using Dependency Analysis (MB, VF, AD, JH, PG), pp. 256–261.
KEODKEOD-2011-AhmedMB #approach #ontology
Existential Dependency Driven Approach for Extracting Views from Domain Ontology (SSA, MM, SMB), pp. 413–418.
SEKESEKE-2011-BadriT #analysis #control flow #empirical #testing
Empirical Analysis for Investigating the Effect of Control Flow Dependencies on Testability of Classes (MB, FT), pp. 475–480.
OOPSLAOOPSLA-2011-KeLZBJD #parallel #programming #using
Safe parallel programming using dynamic dependence hints (CK, LL, CZ, TB, BJ, CD), pp. 243–258.
TOOLSTOOLS-EUROPE-2011-RodriguezSV #execution #metamodelling #modelling
Metamodel Dependencies for Executable Models (CR, MES, JV), pp. 83–98.
TOOLSTOOLS-EUROPE-2011-SchwarzLN #injection #named
Seuss: Better Class Responsibilities through Language-Based Dependency Injection (NS, ML, ON), pp. 276–289.
PLDIPLDI-2011-UdupaRT #named #parallel
ALTER: exploiting breakable dependences for parallelization (AU, KR, WT), pp. 480–491.
ASEASE-2011-DengJ #fault
Inferred dependence coverage to support fault contextualization (FD, JAJ), pp. 512–515.
ASEASE-2011-WongC #probability
Generalizing evolutionary coupling with stochastic dependencies (SW, YC), pp. 293–302.
ESEC-FSEESEC-FSE-2011-BaahPH #effectiveness #fault #locality
Mitigating the confounding effects of program dependences for effective fault localization (GKB, AP, MJH), pp. 146–156.
ICSEICSE-2011-NearMKJ #analysis #evaluation #lightweight
A lightweight code analysis and its role in evaluation of a dependability case (JPN, AM, EK, DJ), pp. 31–40.
SACSAC-2011-KimDB #diagrams #identification #state machine #uml
Identifying properties of UML state machine diagrams that affect data and control dependence (HK, VD, DHB), pp. 1464–1469.
SACSAC-2011-SunLZTCW #impact analysis #object-oriented #source code #using
Using lattice of class and method dependence for change impact analysis of object oriented programs (XS, BL, SZ, CT, XC, WW), pp. 1439–1444.
GPCEGPCE-2011-RibeiroQBTBS #maintenance #on the #product line
On the impact of feature dependencies when maintaining preprocessor-based software product lines (MR, FQ, PB, TT, CB, SS), pp. 23–32.
DACDAC-2011-IqbalSH #fault #monte carlo #named #power management #probability #scheduling
SEAL: soft error aware low power scheduling by Monte Carlo state space under the influence of stochastic spatial and temporal dependencies (NI, MAS, JH), pp. 134–139.
LCTESLCTES-2011-WangLLFBL #debugging #multi #network
Dependence-based multi-level tracing and replay for wireless sensor networks debugging (MW, ZL, FL, XF, SB, YHL), pp. 91–100.
FASEFASE-2011-Anderson
The Dependability of Complex Socio-technical Systems (RJA), p. 1.
FASEFASE-2011-KhanH #analysis #contract #modelling #on the #testing #using #visual notation
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts (TAK, RH), pp. 341–355.
CADECADE-2011-NoschinskiEG #analysis #complexity #framework #term rewriting
A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems (LN, FE, JG), pp. 422–438.
ICSTICST-2011-ZimmermannNHPW #empirical
An Empirical Study on the Relation between Dependency Neighborhoods and Failures (TZ, NN, KH, RP, LW), pp. 347–356.
LICSLICS-2011-KontinenKLV #complexity #logic
Complexity of Two-Variable Dependence Logic and IF-Logic (JK, AK, PL, JV), pp. 289–298.
CBSECBSE-2010-JensonDG #component #empirical
An Empirical Study of the Component Dependency Resolution Search Space (GJ, JD, HWG), pp. 182–199.
ECSAECSA-2010-Bahsoon #architecture #framework #requirements #self
A Framework for Dynamic Self-optimization of Power and Dependability Requirements in Green Cloud Architectures (RB), pp. 510–514.
PODSPODS-2010-HartmannL #logic #sql
When data dependencies over SQL tables meet the logics of paradox and S-3 (SH, SL), pp. 317–326.
VLDBVLDB-2010-BeskalesIG #constraints #functional
Sampling the Repairs of Functional Dependency Violations under Hard Constraints (GB, IFI, LG), pp. 197–207.
VLDBVLDB-2010-MarnetteMP #functional #scalability
Scalable Data Exchange with Functional Dependencies (BM, GM, PP), pp. 105–116.
CSMRCSMR-2010-NagyPGB #towards
Towards a Safe Method for Computing Dependencies in Database-Intensive Systems (CN, JP, TG, ÁB), pp. 166–175.
CSMRCSMR-2010-RoubtsovSB #composition #detection #injection #java #smell
Detecting Modularity “Smells” in Dependencies Injected with Java Annotations (SAR, AS, MvdB), pp. 244–247.
ICPCICPC-2010-BeyerF #detection #low level #named
DepDigger: A Tool for Detecting Complex Low-Level Dependencies (DB, AF), pp. 40–41.
ICPCICPC-2010-BeyerF10a #named
CheckDep: A Tool for Tracking Software Dependencies (DB, AF), pp. 42–43.
ICPCICPC-2010-BeyerF10b #effectiveness #low level
A Simple and Effective Measure for Complex Low-Level Dependencies (DB, AF), pp. 80–83.
ICPCICPC-2010-ChenR #case study #feature model #graph #using
Case Study of Feature Location Using Dependence Graph, after 10 Years (KC, VR), pp. 1–3.
ICSMEICSM-2010-NguyenAH #metric #network #quality
Studying the impact of dependency network measures on software quality (THDN, BA, AEH), pp. 1–10.
ICSMEICSM-2010-ParandeK #analysis #open source
A longitudinal analysis of the dependency concentration in smaller modules for open-source software products (MAP, GK), pp. 1–5.
ICSMEICSM-2010-RountevVYS #comprehension #java #source code
Understanding parallelism-inhibiting dependences in sequential Java programs (AR, KVV, DY, PS), pp. 1–9.
ICSMEICSM-2010-VanciuR
Hidden dependencies in software systems (RV, VR), pp. 1–10.
MSRMSR-2010-OssherBL #automation #open source
Automated dependency resolution for open source software (JO, SKB, CVL), pp. 130–140.
PASTEPASTE-2010-IslamKBH #clustering
Coherent dependence clusters (SSI, JK, DB, MH), pp. 53–60.
SCAMSCAM-2010-Graf #generative
Speeding Up Context-, Object- and Field-Sensitive SDG Generation (JG), pp. 105–114.
IFMIFM-2010-MarronePV #analysis #inheritance #multi
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems (SM, CP, VV), pp. 215–228.
SOFTVISSOFTVIS-2010-FollettH #impact analysis #named #visualisation
ImpactViz: visualizing class dependencies and the impact of changes in software revisions (MF, OH), pp. 209–210.
SOFTVISSOFTVIS-2010-IslamKB #clustering #visualisation
Dependence cluster visualization (SSI, JK, DB), pp. 93–102.
CAiSECAiSE-2010-BaroneSB #quality
Dependency Discovery in Data Quality (DB, FS, CB), pp. 53–67.
ICEISICEIS-ISAS-2010-LinS #constraints #data transformation #process
Managing Data Dependency Constraints through Business Processes (JYCL, SWS), pp. 52–59.
ICEISICEIS-J-2010-LinS10a #approach #constraints #process
A Business Process Driven Approach to Manage Data Dependency Constraints (JYCL, SWS), pp. 326–339.
CIKMCIKM-2010-ShiN #using
Using various term dependencies according to their utilities (LS, JYN), pp. 1493–1496.
ICPRICPR-2010-SaeediMA #fuzzy #image
Image Denoising Based on Fuzzy and Intra-scale Dependency in Wavelet Transform Domain (JS, MHM, AA), pp. 2672–2675.
KDDKDD-2010-ReichartzKP #kernel #semantics
Semantic relation extraction with kernels over typed dependency trees (FR, HK, GP), pp. 773–782.
KDDKDD-2010-ZhangZ #learning #multi
Multi-label learning by exploiting label dependency (MLZ, KZ), pp. 999–1008.
KDIRKDIR-2010-BallesterosBG #parsing #using
Text Simplification using Dependency Parsing for Spanish (MB, SB, PG), pp. 330–335.
KDIRKDIR-2010-BallesterosHFG #parsing #using
Giving Shape to an N-version Dependency Parser — Improving Dependency Parsing Accuracy for Spanish using Maltparser (MB, JH, VF, PG), pp. 336–341.
KRKR-2010-KelveyMNS #functional #independence
Independence and Functional Dependence Relations on Secrets (RK, SMM, PN, BS).
RecSysRecSys-2010-PessemierDDM #algorithm #collaboration #quality
Time dependency of data quality for collaborative filtering algorithms (TDP, SD, TD, LM), pp. 281–284.
SIGIRSIGIR-2010-ParkC #parsing #query #ranking
Query term ranking based on dependency parsing of verbose queries (JHP, WBC), pp. 829–830.
SPLCSPLC-2010-CosmoZ #diagrams #feature model
Feature Diagrams as Package Dependencies (RDC, SZ), pp. 476–480.
AdaEuropeAdaEurope-2010-GraydonKY #case study
Practical Limits on Software Dependability: A Case Study (PJG, JCK, XY), pp. 83–96.
LOPSTRLOPSTR-2010-StroderSG #analysis #logic programming #source code #termination
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut (TS, PSK, JG), pp. 184–199.
RERE-2010-KangJ
Dependability Arguments with Trusted Bases (EK, DJ), pp. 262–271.
RERE-2010-LiuWZJ #approach #elicitation #requirements
Elicitation of Dependability Requirements: A HAZOP-based Approach (CL, YW, WZ, ZJ), pp. 407–408.
ASEASE-2010-LunguRL #ecosystem
Recovering inter-project dependencies in software ecosystems (ML, RR, ML), pp. 309–312.
ASEASE-2010-TrezentosLO #named #optimisation #problem #pseudo #using
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization (PT, IL, ALO), pp. 427–436.
ASEASE-2010-WangLCZMY #graph #query
Matching dependence-related queries in the system dependence graph (XW, DL, JC, LZ, HM, JXY), pp. 457–466.
FSEFSE-2010-CossetteW #adaptation #analysis #lightweight #named #sketching
DSketch: lightweight, adaptable dependency analysis (BC, RJW), pp. 297–306.
FSEFSE-2010-KanadeARR #representation #testing #using
Representation dependence testing using program inversion (AK, RA, SKR, GR), pp. 277–286.
FSEFSE-2010-LitvakDBRS #analysis
Field-sensitive program dependence analysis (SL, ND, RB, NR, MS), pp. 287–296.
ICSEICSE-2010-WuYR
Comprehending module dependencies and sharing (YW, RHCY, RR), pp. 89–98.
SACSAC-2010-LuNB #execution
Timing analyzing for systems with execution dependencies between tasks (YL, TN, IB), pp. 357–358.
LDTALDTA-2010-CortesiH #graph #semantics #slicing
Dependence condition graph for semantics-based abstract program slicing (AC, RH), p. 4.
DATEDATE-2010-LongM10a #scheduling
Inversed Temperature Dependence aware clock skew scheduling for sequential circuits (JL, SOM), pp. 1657–1660.
WRLAWRLA-2010-AlarconLM #framework
A Dependency Pair Framework for A OR C-Termination (BA, SL, JM), pp. 35–51.
WRLAWRLA-2010-GutierrezL #framework #proving #termination
Proving Termination in the Context-Sensitive Dependency Pair Framework (RG, SL), pp. 18–34.
CSLCSL-2010-LohmannV #complexity #logic
Complexity Results for Modal Dependence Logic (PL, HV), pp. 411–425.
CSLCSL-2010-SternagelT #proving #termination
Signature Extensions Preserve Termination — An Alternative Proof via Dependency Pairs (CS, RT), pp. 514–528.
ISSTAISSTA-2010-BaoZLZX #analysis #data flow #information management #strict
Strict control dependence and its effect on dynamic information flow analyses (TB, YZ, ZL, XZ, DX), pp. 13–24.
ISSTAISSTA-2010-SantelicesH #execution #multi #scalability #symbolic computation
Exploiting program dependencies for scalable multiple-path symbolic execution (RAS, MJH), pp. 195–206.
ICSTSAT-2010-LonsingB #search-based
Integrating Dependency Schemes in Search-Based QBF Solvers (FL, AB), pp. 158–171.
CBSECBSE-2009-Heineman #component #testing
Unit Testing of Software Components with Inter-component Dependencies (GTH), pp. 262–273.
ICDARICDAR-2009-IbrahimKKAG #analysis #online #using #verification
On-Line Signature Verification: Directional Analysis of a Signature Using Weighted Relative Angle Partitions for Exploitation of Inter-Feature Dependencies (MTI, MJK, MAK, KSA, LG), pp. 41–45.
PODSPODS-2009-ChirkovaG #embedded #equivalence #query #sql
Equivalence of SQL queries in presence of embedded dependencies (RC, MRG), pp. 217–226.
SIGMODSIGMOD-2009-CormodeGKMSZ #functional
Estimating the confidence of conditional functional dependencies (GC, LG, FK, AM, DS, XZ), pp. 469–482.
VLDBVLDB-2009-DongBS
Integrating Conflicting Data: The Role of Source Dependence (XLD, LBE, DS), pp. 550–561.
VLDBVLDB-2009-GolabKKSS
Sequential Dependencies (LG, HJK, FK, AS, DS), pp. 574–585.
VLDBVLDB-2009-KimuraHRMZ #correlation #functional
Correlation Maps: A Compressed Access Method for Exploiting Soft Functional Dependencies (HK, GH, AR, SM, SBZ), pp. 1222–1233.
CSMRCSMR-2009-PatelHR #clustering #dynamic analysis #using
Software Clustering Using Dynamic Analysis and Static Dependencies (CP, AHL, JR), pp. 27–36.
ICPCICPC-2009-PopescuGM #analysis #precise
Enabling more precise dependency analysis in event-based systems (DP, JG, NM), pp. 305–306.
ICSMEICSM-2009-AlamAH #using
Measuring the progress of projects using the time dependence of code changes (OA, BA, AEH), pp. 329–338.
ICSMEICSM-2009-AndroutsopoulosGHLT #empirical
A theoretical and empirical study of EFSM dependence (KA, NG, MH, ZL, LT), pp. 287–296.
ICSMEICSM-2009-Li #analysis #identification #using
Identifying high-level dependence structures using slice-based dependence analysis (ZL), pp. 457–460.
SCAMSCAM-2009-BinkleyH #clustering #identification #scalability
Identifying “Linchpin Vertices” That Cause Large Dependence Clusters (DB, MH), pp. 89–98.
WCREWCRE-1999-AlamAH99a #case study
A Study of the Time Dependence of Code Changes (OA, BA, AEH), pp. 21–30.
WCREWCRE-1999-HigoK99a #clone detection #detection #graph #quality
Enhancing Quality of Code Clone Detection with Program Dependency Graph (YH, SK), pp. 315–316.
WCREWCRE-1999-LavalDDB99a #identification #matrix
Identifying Cycle Causes with Enriched Dependency Structural Matrix (JL, SD, SD, AB), pp. 113–122.
RTARTA-2009-AvanziniM #order #polynomial
Dependency Pairs and Polynomial Path Orders (MA, GM), pp. 48–62.
RTARTA-2009-MoserS #complexity
The Derivational Complexity Induced by the Dependency Pair Method (GM, AS), pp. 255–269.
CEFPCEFP-2009-TothBHLTK #behaviour #erlang #graph #impact analysis #source code #using
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs (MT, IB, ZH, LL, MT, TK), pp. 372–390.
CHICHI-2009-PapeV #case study
An experimental study of field dependency in altered Gz environments (MALP, RKV), pp. 1255–1264.
VISSOFTVISSOFT-2009-TeleaHER #c #c++ #case study #comparative #scalability #visualisation
Extraction and visualization of call dependencies for large C/C++ code bases: A comparative study (ACT, HH, OE, DR), pp. 81–88.
ICEISICEIS-ISAS-2009-ArmenterosMMS #communication #prototype #security
Security and Dependability in Ambient Intelligence Scenarios — The Communication Prototype (ÁA, AM, AM, DS), pp. 49–56.
CIKMCIKM-2009-LeeCKC #approach #query #ranking
A term dependency-based approach for query terms ranking (CJL, RCC, SHK, PJC), pp. 1267–1276.
CIKMCIKM-2009-SongC
Discovering matching dependencies (SS, LC), pp. 1421–1424.
ICMLICML-2009-MooijJPS #modelling
Regression by dependence minimization and its application to causal inference in additive noise models (JMM, DJ, JP, BS), pp. 745–752.
ICMLICML-2009-TrespY #learning #summary #tutorial
Tutorial summary: Learning with dependencies between several response variables (VT, KY), p. 14.
RecSysRecSys-2009-HadzicO #functional
Uncovering functional dependencies in MDD-compiled product catalogues (TH, BO), pp. 377–380.
SIGIRSIGIR-2009-ZhangWLOJH #mining #parsing
Mining product reviews based on shallow dependency parsing (QZ, YW, TL, MO, JJ, XH), pp. 726–727.
OOPSLAOOPSLA-2009-TsafrirWBS #performance #source code
Minimizing dependencies within generic classes for faster and smaller programs (DT, RWW, DFB, BS), pp. 425–444.
LOPSTRLOPSTR-2009-IborraNV #proving #termination
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing (JI, NN, GV), pp. 52–66.
LOPSTRLOPSTR-2009-Schneider-KampGN #framework #logic programming #source code #termination
The Dependency Triple Framework for Termination of Logic Programs (PSK, JG, MTN), pp. 37–51.
ASEASE-2009-Jenson #component #constraints #validation #verification
Improving Component Dependency Resolution with Soft Constraints, Validation and Verification (GJ), pp. 716–720.
ASEASE-2009-WongC #analysis #logic #modelling #performance
Improving the Efficiency of Dependency Analysis in Logical Decision Models (SW, YC), pp. 173–184.
SACSAC-2009-ArbelaezH
Exploiting weak dependencies in tree-based search (AA, YH), pp. 1385–1391.
SACSAC-2009-ChoiKHK #component #metric
Component-based metrics applying the strength of dependency between classes (MC, IJK, JH, JYK), pp. 530–536.
SACSAC-2009-LiuMZ #approach #evolution #identification
An approach to identifying conversation dependency in service oriented system during dynamic evolution (ML, DM, YZ), pp. 1072–1073.
SACSAC-2009-RouvoyEB #adaptation #self #ubiquitous #weaving
Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services (RR, FE, MB), pp. 1021–1028.
CGOCGO-2009-ZhangNJ #distance #framework #named #profiling
Alchemist: A Transparent Dependence Distance Profiling Infrastructure (XZ, AN, SJ), pp. 47–58.
DACDAC-2009-BaoAEP #energy #online #optimisation #scalability
On-line thermal aware dynamic voltage scaling for energy optimization with frequency/temperature dependency consideration (MB, AA, PE, ZP), pp. 490–495.
DACDAC-2009-VeetilSBSR #analysis #performance
Efficient smart sampling based full-chip leakage analysis for intra-die variation considering state dependence (VV, DS, DB, SS, SR), pp. 154–159.
DATEDATE-2009-LiNZGSS #optimisation #protocol
Optimizations of an application-level protocol for enhanced dependability in FlexRay (WL, MDN, WZ, PG, ALSV, SAS), pp. 1076–1081.
HPCAHPCA-2009-SridharanK #architecture
Eliminating microarchitectural dependency from Architectural Vulnerability (VS, DRK), pp. 117–128.
PPoPPPPoPP-2009-AllenSS #execution #parallel #set
Serialization sets: a dynamic dependence-based parallel execution model (MDA, SS, GSS), pp. 85–96.
FASEFASE-2009-AndroutsopoulosCHLT #finite #state machine
Control Dependence for Extended Finite State Machines (KA, DC, MH, ZL, LT), pp. 216–230.
FoSSaCSFoSSaCS-2009-Stirling #automaton
Dependency Tree Automata (CS), pp. 92–106.
CADECADE-2009-KorpM #graph
Beyond Dependency Graphs (MK, AM), pp. 339–354.
CADECADE-2009-SwiderskiPGFS #analysis #induction #proving #termination #theorem proving
Termination Analysis by Dependency Pairs and Inductive Theorem Proving (SS, MP, JG, CF, PSK), pp. 322–338.
ICSTSAT-2009-LonsingB #representation
A Compact Representation for Syntactic Dependencies in QBFs (FL, AB), pp. 398–411.
ECSAECSA-2008-TerraV #architecture #constraints #towards
Towards a Dependency Constraint Language to Manage Software Architectures (RT, MTdOV), pp. 256–263.
WICSAWICSA-2008-RadjenovicP #architecture #consistency
The Role of Dependency Links in Ensuring Architectural View Consistency (AR, RFP), pp. 199–208.
PODSPODS-2008-Adler #database #functional
Tree-width and functional dependencies in databases (IA), pp. 311–320.
PODSPODS-2008-Fan #quality
Dependencies revisited for improving data quality (WF), pp. 159–170.
VLDBVLDB-2008-FanGJ #functional #named #quality
Semandaq: a data quality system based on conditional functional dependencies (WF, FG, XJ), pp. 1460–1463.
VLDBVLDB-2008-FanMHLW #functional
Propagating functional dependencies with conditions (WF, SM, YH, JL, YW), pp. 391–407.
VLDBVLDB-2008-GolabKKSY #functional #generative #on the
On generating near-optimal tableaux for conditional functional dependencies (LG, HJK, FK, DS, BY), pp. 376–390.
CSMRCSMR-2008-CosmaM #comprehension #distributed #object-oriented #using
Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program Dependencies (DCC, RM), pp. 103–112.
ICPCICPC-2008-PinzgerGKG #comprehension #source code #visual notation
A Tool for Visual Understanding of Source Code Dependencies (MP, KG, PK, HCG), pp. 254–259.
ICSMEICSM-2008-DAmbros #analysis #evolution #fault
Supporting software evolution analysis with historical dependencies and defect information (MD), pp. 412–415.
ICSMEICSM-2008-JaszBGR
Static Execute After/Before as a replacement of traditional software dependencies (JJ, ÁB, TG, VR), pp. 137–146.
SCAMSCAM-2008-ScholzZC #analysis #graph #reachability
User-Input Dependence Analysis via Graph Reachability (BS, CZ, CC), pp. 25–34.
WCREWCRE-2008-AriasAA #execution #scalability
Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies (TBCA, PA, PA), pp. 49–58.
DLTDLT-J-2007-Link08 #database #multi #on the
On the Implication of Multivalued Dependencies in Partial Database Relations (SL), pp. 691–715.
LATALATA-2008-KorpM #bound #proving #term rewriting #termination
Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems (MK, AM), pp. 321–332.
RTARTA-2008-FalkeK #data type #semantics
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (SF, DK), pp. 94–109.
HaskellHaskell-2008-JonesD #design #functional
Language and program design for functional dependencies (MPJ, ISD), pp. 87–98.
SOFTVISSOFTVIS-2008-DietrichYMJD #analysis #clustering #graph #java
Cluster analysis of Java dependency graphs (JD, VY, CM, GJ, MD), pp. 91–94.
SOFTVISSOFTVIS-2008-PichNR #analysis #graph #visual notation
Visual analysis of importance and grouping in software dependency graphs (CP, LN, GGR), pp. 29–32.
CAiSECAiSE-2008-GuoHLD #adaptation #maintenance #named
KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services (HG, JH, YL, TD), pp. 328–342.
CAiSECAiSE-2008-KhanGGR #architecture #case study #evolution #on the
On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study (SSK, PG, AG, AR), pp. 243–257.
EDOCEDOC-2008-MahfouzBLN
Customizing Choreography: Deriving Conversations from Organizational Dependencies (AM, LB, RCL, BN), pp. 181–190.
ECIRECIR-2008-LangWJLX #ad hoc #analysis #evaluation #retrieval
An Evaluation and Analysis of Incorporating Term Dependency for Ad-Hoc Retrieval (HL, BW, GJFJ, JL, YX), pp. 602–606.
ICMLICML-2008-KirshnerP #using
ICA and ISA using Schweizer-Wolff measure of dependence (SK, BP), pp. 464–471.
ICMLICML-2008-Shalev-ShwartzS #optimisation #set
SVM optimization: inverse dependence on training set size (SSS, NS), pp. 928–935.
ICPRICPR-2008-AndriyashinPJ
Illuminant dependence of PCA, NMF and NTF in spectral color imaging (AA, JP, TJ), pp. 1–4.
ICPRICPR-2008-ChoB #image #using
Image inpainting using wavelet-based inter- and intra-scale dependency (DC, TDB), pp. 1–4.
KDDKDD-2008-HallSM #using
Unsupervised deduplication using cross-field dependencies (RH, CAS, AM), pp. 310–317.
SEKESEKE-2008-TsigkritisS #runtime #security
Diagnosing Runtime Violations of Security & Dependability Properties (TT, GS), pp. 661–666.
SIGIRSIGIR-2008-Liu #information retrieval
Exploring and measuring dependency trees for information retrieval (CL), p. 892.
SIGIRSIGIR-2008-SerdyukovRH
Exploiting sequential dependencies for expert finding (PS, HR, DH), pp. 795–796.
SIGIRSIGIR-2008-XuDW #semantics
Utilizing phrase based semantic information for term dependency (YX, FD, BW), pp. 855–856.
MODELSMoDELS-2008-BernardiMP #analysis
Adding Dependability Analysis Capabilities to the MARTE Profile (SB, JM, DCP), pp. 736–750.
SPLCSPLC-2008-ChoLK #approach #aspect-oriented
Feature Relation and Dependency Management: An Aspect-Oriented Approach (HC, KL, KCK), pp. 3–11.
MODELSMoDELS-2008-BernardiMP #analysis
Adding Dependability Analysis Capabilities to the MARTE Profile (SB, JM, DCP), pp. 736–750.
PADLPADL-2008-EshkevariAC #analysis #aspect-oriented #comprehension #declarative #reasoning #source code
Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning (LME, VA, CC), pp. 35–52.
PEPMPEPM-2008-MastroeniZ #semantics #slicing #syntax
Data dependencies and program slicing: from syntax to abstract semantics (IM, DZ), pp. 125–134.
PPDPPPDP-2008-Lu #logic programming #polymorphism #precise #source code
Inferring precise polymorphic type dependencies in logic programs (LL), pp. 143–151.
PPDPPPDP-2008-LucasM #order
Order-sorted dependency pairs (SL, JM), pp. 108–119.
ICSEICSE-2008-ChenY #constraints #grid #verification #workflow
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems (JC, YY), pp. 141–150.
ICSEICSE-2008-EichbergKKM
Defining and continuous checking of structural program dependencies (ME, SK, KK, MM), pp. 391–400.
ICSEICSE-2008-SouzaR #developer #empirical
An empirical study of software developers’ management of dependencies and changes (CRBdS, DFR), pp. 241–250.
ICSEICSE-2008-ZimmermannN #analysis #fault #graph #network #predict #using
Predicting defects using network analysis on dependency graphs (TZ, NN), pp. 531–540.
SACSAC-2008-BaF #composition #graph #web #web service
Dependence graphs for verifications of web service compositions with PEWS (CB, MHF), pp. 2387–2391.
SACSAC-2008-BelohlavekV #concept analysis
Adding background knowledge to formal concept analysis via attribute dependency formulas (RB, VV), pp. 938–943.
SACSAC-2008-ChidlovskiiL #documentation #layout #network
Stacked dependency networks for layout document structuring (BC, LL), pp. 424–428.
SACSAC-2008-SouzaS #web #web service
Providing dependability for web services (JLRS, FS), pp. 2207–2211.
CCCC-2008-WurthingerWM #graph #visualisation
Visualization of Program Dependence Graphs (TW, CW, HM), pp. 193–196.
DATEDATE-2008-Abraham #roadmap
Implications of Technology Trends on System Dependability (JAA), p. 940.
DATEDATE-2008-BrinksmaH #approach
Dependability for high-tech systems: an industry-as-laboratory approach (EB, JH), pp. 1226–1231.
HPCAHPCA-2008-SubramaniamPL #memory management #named #predict #smt
PEEP: Exploiting predictability of memory dependences in SMT processors (SS, MP, GHL), pp. 137–148.
OSDIOSDI-2008-ChenZMB #automation #case study #experience #network
Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions (XC, MZ, ZMM, PB), pp. 117–130.
PDPPDP-2008-CarrozzaCCR #communication #evaluation #modelling
Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel (GC, MC, DC, SR), pp. 245–252.
PPoPPPPoPP-2008-PraunBC #analysis #concurrent #modelling #using
Modeling optimistic concurrency using quantitative dependence analysis (CvP, RB, CC), pp. 185–196.
ICLPICLP-2008-AlpuenteEI #termination #using
Termination of Narrowing Using Dependency Pairs (MA, SE, JI), pp. 317–331.
ICSTICST-2008-BeerM #generative #performance #testing
Efficient Test Data Generation for Variables with Complex Dependencies (AB, SM), pp. 3–11.
IJCARIJCAR-2008-HirokawaM #analysis #automation #complexity
Automated Complexity Analysis Based on the Dependency Pair Method (NH, GM), pp. 364–379.
ISSTAISSTA-2008-BaahPH #fault #graph #probability
The probabilistic program dependence graph and its application to fault diagnosis (GKB, AP, MJH), pp. 189–200.
WICSAWICSA-2007-Sangal #architecture #lightweight #modelling
Lightweight Dependency Models to Manage Software Architecture (NS), p. 40.
PODSPODS-2007-HernichS
CWA-solutions for data exchange settings with target dependencies (AH, NS), pp. 113–122.
VLDBVLDB-2007-BravoFM
Extending Dependencies with Conditions (LB, WF, SM), pp. 243–254.
VLDBVLDB-2007-HaasHM #detection #feedback #query
Detecting Attribute Dependencies from Query Feedback (PJH, FH, VM), pp. 830–841.
ICPCICPC-2007-LienhardGN #detection
Tracking Objects to Detect Feature Dependencies (AL, OG, ON), pp. 59–68.
ICSMEICSM-2007-CossetteW #analysis #evaluation #semiparsing #using
Polylingual Dependency Analysis Using Island Grammars: A Cost Versus Accuracy Evaluation (BC, RJW), pp. 214–223.
ICSMEICSM-2007-DongG #analysis #object-oriented
System-level Usage Dependency Analysis of Object-Oriented Systems (XD, MWG), pp. 375–384.
MSRMSR-2007-KagdiM #predict
Combining Single-Version and Evolutionary Dependencies for Software-Change Prediction (HHK, JIM), p. 17.
PASTEPASTE-2007-QianXM #alias #analysis #data flow
Interstatement must aliases for data dependence analysis of heap locations (JQ, BX, HM), pp. 17–24.
PASTEPASTE-2007-ZhangR
Discovering accurate interclass test dependences (WZ, BGR), pp. 55–62.
SCAMSCAM-2007-LochbihlerS #graph #on the
On Temporal Path Conditions in Dependence Graphs (AL, GS), pp. 49–58.
WCREWCRE-2007-KomondoorR #modelling
Recovering Data Models via Guarded Dependences (RK, GR), pp. 110–119.
HCIHCI-AS-2007-ZouDDQ #information management #security
Dependability and Security in Medical Information System (XZ, YSD, BND, MQ), pp. 549–558.
VISSOFTVISSOFT-2007-HolmesW #source code
Task-specific source code dependency investigation (RH, RJW), pp. 100–107.
VISSOFTVISSOFT-2007-KienleMM #analysis #challenge
Dependencies Analysis of Azureus with Rigi: Tool Demo Challenge (HMK, HAM, JM), pp. 159–160.
ICMLICML-2007-SongSGB #clustering
A dependence maximization view of clustering (LS, AJS, AG, KMB), pp. 815–822.
ICMLICML-2007-SongSGBB #estimation #feature model
Supervised feature selection via dependence estimation (LS, AJS, AG, KMB, JB), pp. 823–830.
ICMLICML-2007-XuanM #modelling #multi
Modeling changing dependency structure in multivariate time series (XX, KPM), pp. 1055–1062.
SIGIRSIGIR-2007-MaisonnasseGC #information retrieval
Revisiting the dependence language model for information retrieval (LM, ÉG, JPC), pp. 695–696.
SIGIRSIGIR-2007-PengMHPO #framework
Incorporating term dependency in the dfr framework (JP, CM, BH, VP, IO), pp. 843–844.
AdaEuropeAdaEurope-2007-LanoixHHS #component
Enhancing Dependability of Component-Based Systems (AL, DH, MH, JS), pp. 41–54.
LOPSTRLOPSTR-2007-NguyenGSS #analysis #graph #logic programming #source code #termination
Termination Analysis of Logic Programs Based on Dependency Graphs (MTN, JG, PSK, DDS), pp. 8–22.
DATEDATE-2007-HuVKCP #estimation #memory management #performance
Fast memory footprint estimation based on maximal dependency vector calculation (QH, AV, PGK, FC, MP), pp. 379–384.
SOSPSOSP-2007-FrostMKRHMZ #file system
Generalized file system dependencies (CF, MM, EK, AdlR, SH, AM, LZ), pp. 307–320.
AMOSTA-MOST-2007-ChenPU #analysis #generative #modelling #testing #using
Model-based regression test suite generation using dependence analysis (YC, RLP, HU), pp. 54–62.
CADECADE-2007-FalkeK
Dependency Pairs for Rewriting with Non-free Constructors (SF, DK), pp. 426–442.
CADECADE-2007-KoprowskiM #predict #satisfiability #using
Predictive Labeling with Dependency Pairs Using SAT (AK, AM), pp. 410–425.
ISSTAISSTA-2007-XinZ #detection #online #performance
Efficient online detection of dynamic control dependence (BX, XZ), pp. 185–195.
ICSTSAT-2007-Prestwich
Variable Dependency in Local Search: Prevention Is Better Than Cure (SDP), pp. 107–120.
PODSPODS-2006-KolahiL #normalisation #on the
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF (SK, LL), pp. 114–123.
VLDBVLDB-2006-SteinleAGL #generative #mining #novel
Mapping Moving Landscapes by Mining Mountains of Logs: Novel Techniques for Dependency Model Generation (MS, KA, SG, CL), pp. 1093–1102.
SCAMSCAM-2006-BeszedesGG #algorithm #slicing
Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms (ÁB, TG, TG), pp. 21–30.
WCREWCRE-2006-CleveHH #graph #reverse engineering #using
Data Reverse Engineering using System Dependency Graphs (AC, JH, JLH), pp. 157–166.
FMFM-2006-Kassios #strict
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (ITK), pp. 268–283.
ICFPICFP-2006-Abadi #calculus #data access
Access control in a core calculus of dependency (MA), pp. 263–273.
ICEISICEIS-DISI-2006-CaropreseGZ #consistency #database #functional #query
Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies (LC, SG, EZ), pp. 38–45.
ICEISICEIS-DISI-2006-ModrakM
Elimination of Time Dependence of Information Validity by Application of RFID Technology (VM, VM), pp. 130–135.
CIKMCIKM-2006-EguchiC #performance #query
Boosting relevance model performance with query term dependence (KE, WBC), pp. 792–793.
ICPRICPR-v2-2006-KhanKKA #online #verification
On-Line Signature Verification by Exploiting Inter-Feature Dependencies (MKK, MAK, MAUK, IA), pp. 796–799.
ICPRICPR-v3-2006-YunBK #realtime #recognition #relational #using #visual notation
Real-time Object Recognition using Relational Dependency based on Graphical Model (WHY, SYB, DK), pp. 28–32.
KDDKDD-2006-LiuCHY #analysis #detection #graph #named
GPLAG: detection of software plagiarism by program dependence graph analysis (CL, CC, JH, PSY), pp. 872–881.
SIGIRSIGIR-2006-SunOC #mining #query #retrieval
Mining dependency relations for query expansion in passage retrieval (RS, CHO, TSC), pp. 382–389.
MODELSMoDELS-2006-GarousiBL #analysis #behaviour #distributed #modelling #uml #visualisation
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
MODELSMoDELS-2006-MensSD #analysis #consistency #detection #nondeterminism #using
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.
SPLCSPLC-2006-Sangal #lightweight #modelling #product line
Lightweight Dependency Models for Product Lines (NS), p. 228.
MODELSMoDELS-2006-GarousiBL #analysis #behaviour #distributed #modelling #uml #visualisation
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
MODELSMoDELS-2006-MensSD #analysis #consistency #detection #nondeterminism #using
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.
PEPMPEPM-2006-HammerGK #graph
Dynamic path conditions in dependence graphs (CH, MG, JK), pp. 58–67.
SASSAS-2006-ChenR #parametricity
Parametric and Termination-Sensitive Control Dependence (FC, GR), pp. 387–404.
RERE-2006-ChenZZM #analysis #identification #requirements
Identification of Crosscutting Requirements Based on Feature Dependency Analysis (KC, HZ, WZ, HM), pp. 300–303.
SACSAC-2006-BelguidoumD #analysis #component #deployment
Analysis of deployment dependencies in software components (MB, FD), pp. 735–736.
ASPLOSASPLOS-2006-NarayanasamyPC #memory management #using
Recording shared memory dependencies using strata (SN, CP, BC), pp. 229–240.
HPCAHPCA-2006-SubramaniamL #memory management #predict #scalability #scheduling
Store vectors for scalable memory dependence prediction and scheduling (SS, GHL), pp. 65–76.
IJCARIJCAR-2006-GieslST #automation #framework #proving #termination
Automatic Termination Proofs in the Dependency Pair Framework (JG, PSK, RT), pp. 281–286.
IJCARIJCAR-2006-TomanW #functional #logic #on the
On Keys and Functional Dependencies as First-Class Citizens in Description Logics (DT, GEW), pp. 647–661.
ICSTSAT-2006-BubeckB #complexity #modelling #quantifier
Dependency Quantified Horn Formulas: Models and Complexity (UB, HKB), pp. 198–211.
ICSTSAT-2006-ZabiyakaD #bound #complexity #functional
Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies (YZ, AD), pp. 116–129.
DocEngDocEng-2005-LiuHT #documentation #maintenance #xml
An environment for maintaining computation dependency in XML documents (DL, ZH, MT), pp. 42–51.
PODSPODS-2005-NashBM #composition #embedded
Composition of mappings given by embedded dependencies (AN, PAB, SM), pp. 172–183.
CSMRCSMR-2005-ArevaloDN
Discovering Unanticipated Dependency Schemas in Class Hierarchies (GA, SD, ON), pp. 62–71.
CSMRCSMR-2005-XiaoT #clustering
Software Clustering Based on Dynamic Dependencies (CX, VT), pp. 124–133.
ICSMEICSM-2005-BinkleyH #clustering
Locating Dependence Clusters and Dependence Pollution (DB, MH), pp. 177–186.
WCREWCRE-2005-MoiseW #representation
Extracting and Representing Cross-Language Dependencies in Diverse Software Systems (DLM, KW), pp. 209–218.
CIAACIAA-J-2004-Yli-Jyra05 #approximate #regular expression
Approximating dependency grammars through intersection of star-free regular languages (AYJ), pp. 565–579.
RTARTA-2005-AotoY #term rewriting
Dependency Pairs for Simply Typed Term Rewriting (TA, TY), pp. 120–134.
VISSOFTVISSOFT-2005-FalkeKKQ #visualisation
The Dominance Tree in Visualizing Software Dependencies (RF, RK, RK, JQ), pp. 83–88.
CIKMCIKM-2005-GriecoLRR #algorithm #consistency #query
Consistent query answering under key and exclusion dependencies: algorithms and experiments (LG, DL, RR, MR), pp. 792–799.
KDDKDD-2005-MorinagaAISA #mining #semantics
Key semantics extraction by dependency tree mining (SM, HA, TI, YS, SA), pp. 666–671.
SEKESEKE-2005-GrauFMACHNBQ #modelling #named
RiSD: A Methodology for Building i-Strategic Dependency Models (GG, XF, EM, CPA, CC, MH, FN, PB, CQ), pp. 259–266.
SEKESEKE-2005-YeS #modelling #variability
Modelling Feature Variability and Dependency in Two Views (HY, AS), pp. 661–664.
SIGIRSIGIR-2005-CuiSLKC #retrieval #using
Question answering passage retrieval using dependency relations (HC, RS, KL, MYK, TSC), pp. 400–407.
SIGIRSIGIR-2005-MetzlerC #markov #random
A Markov random field model for term dependencies (DM, WBC), pp. 472–479.
SIGIRSIGIR-2005-SunCLKC
Dependency relation matching for answer selection (RS, HC, KL, MYK, TSC), pp. 651–652.
ECOOPECOOP-2005-ChibaI #aspect-oriented #injection #programming
Aspect-Oriented Programming Beyond Dependency Injection (SC, RI), pp. 121–143.
OOPSLAOOPSLA-2005-SangalJSJ #architecture #modelling #using
Using dependency models to manage complex software architecture (NS, EJ, VS, DJ), pp. 167–176.
RERE-2005-ZhangMZ #approach #feature model #modelling #requirements
A Feature-Oriented Approach to Modeling Requirements Dependencies (WZ, HM, HZ), pp. 273–284.
ICSEICSE-2005-Fox #machine learning #statistics
Addressing software dependability with statistical and machine learning techniques (AF), p. 8.
ICSEICSE-2005-Littlewood #assessment #state of the art
Dependability assessment of software-based systems: state of the art (BL), pp. 6–7.
CGOCGO-2005-OdairaH #exception
Sentinel PRE: Hoisting beyond Exception Dependency with Dynamic Deoptimization (RO, KH), pp. 328–338.
LCTESLCTES-2005-SassoneWL #embedded #performance
Static strands: safely collapsing dependence chains for increasing embedded power efficiency (PGS, DSW, GHL), pp. 127–136.
WRLAWRLA-2004-DenkerT05
Formal Checklists for Remote Agent Dependability (GD, CLT), pp. 229–248.
ICSTSAT-J-2004-GregoireOMS05 #automation #functional
Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 122–132.
ICSTSAT-2005-DurairajK #constraints #performance #satisfiability
Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies (VD, PK), pp. 415–422.
ICTSSTestCom-2005-HongU #data flow #testing
Dependence Testing: Extending Data Flow Testing with Control Dependence (HSH, HU), pp. 23–39.
PODSPODS-2004-FaginPKT #higher-order
Composing Schema Mappings: Second-Order Dependencies to the Rescue (RF, PGK, LP, WCT), pp. 83–94.
PODSPODS-2004-HartmannL #multi
Multi-valued Dependencies in the Presence of Lists (SH, SL), pp. 330–341.
SIGMODSIGMOD-2004-IlyasMHBA #automation #correlation #functional #named
CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies (IFI, VM, PJH, PB, AA), pp. 647–658.
ITiCSEITiCSE-WGR-2004-MatosG #approximate #functional
SQL-based discovery of exact and approximate functional dependencies (VM, BG), pp. 58–63.
ICSMEICSM-2004-Basili #empirical #evolution
Empirically Evolving Software Techniques: The High Dependability Computing Project (VRB), p. 3.
ICSMEICSM-2004-Krinke #slicing #visualisation
Visualization of Program Dependence and Slices (JK), pp. 168–177.
CIAACIAA-2004-Yli-Jyra #approximate #regular expression
Approximating Dependency Grammars Through Intersection of Regular Languages (AYJ), pp. 281–292.
RTARTA-2004-HirokawaM #revisited
Dependency Pairs Revisited (NH, AM), pp. 249–268.
ICFPICFP-2004-TseZ #parametricity
Translating dependency into parametricity (ST, SZ), pp. 115–125.
CSCWCSCW-2004-TseHSG #clustering #how #people
Avoiding interference: how people use spatial separation and partitioning in SDG workspaces (ET, JH, SDS, SG), pp. 252–261.
ICEISICEIS-v2-2004-CaleroDSSMS #approximate #database #experience #fuzzy
An Experience in Management of Imprecise Soil Databases by Means of Fuzzy Association Rules and Fuzzy Approximate Dependencies (JC, GD, MSM, DS, MAVM, JMS), pp. 138–146.
ICEISICEIS-v3-2004-AliBG #diagrams #uml #verification
UML Model Verification Through Diagram Dependency Relationships (MA, HBA, FG), pp. 184–191.
ICEISICEIS-v4-2004-Katasonov
Dependability of Location-Based Services: A Largely Overlooked Aspect (AK), pp. 489–496.
CIKMCIKM-2004-HeL #functional
Extending and inferring functional dependencies in schema transformation (QH, TWL), pp. 12–21.
ICMLICML-2004-ToutanovaMN #learning #modelling #random #word
Learning random walk models for inducing word dependency distributions (KT, CDM, AYN).
ICPRICPR-v4-2004-ChenC04a #bidirectional #learning #network
Improvement of Bidirectional Recurrent Neural Network for Learning Long-Term Dependencies (JC, NSC), pp. 593–596.
ICPRICPR-v4-2004-YuanL #nondeterminism
Fragile Watermarking Scheme Exploiting Non-Deterministic Block-Wise Dependency (YY, CTL), pp. 849–852.
SIGIRSIGIR-2004-GaoNWC #information retrieval
Dependence language model for information retrieval (JG, JYN, GW, GC), pp. 170–177.
SIGIRSIGIR-2004-KimCK #documentation #using
Refining term weights of documents using term dependencies (HSK, IC, MK), pp. 552–553.
TOOLSTOOLS-USA-2003-EnselmeFL04 #analysis #component #contract #design
Design by Contract: analysis of hidden dependencies in component based application (DE, GF, FLA), pp. 23–45.
SASSAS-2004-HymansU #data flow #graph #static analysis
Static Analysis of Gated Data Dependence Graphs (CH, EU), pp. 197–211.
ICSEICSE-2004-Knight
An Introduction to Computing System Dependability (JCK), pp. 730–731.
SACSAC-2004-Savinov #mining
Mining dependence rules by finding largest itemset support quota (AAS), pp. 525–529.
SACSAC-PL-J-2004-Lagorio #java
Capturing ghost dependencies in Java sources (GL), pp. 77–96.
GPCEGPCE-2004-CepaM #dot-net
Declaring and Enforcing Dependencies Between .NET Custom Attributes (VC, MM), pp. 283–297.
CCCC-2004-ChenLDHY #data flow #optimisation #profiling
Data Dependence Profiling for Speculative Optimizations (TC, JL, XD, WCH, PCY), pp. 57–72.
CCCC-2004-RanganathH #concurrent #java #slicing #source code
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs (VPR, JH), pp. 39–56.
DATEDATE-DF-2004-AitkenM #design
From Working Design Flow to Working Chips: Dependencies and Impacts of Methodology Decisions (RCA, FM), p. 2.
LCTESLCTES-2004-ZengSE #concurrent #generative #graph #performance
Generating fast code from concurrent program dependence graphs (JZ, CS, SAE), pp. 175–181.
OSDIOSDI-2004-LevasseurUSG #reuse #virtual machine
Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines (JL, VU, JS, SG), pp. 17–30.
PDPPDP-2004-BulicG #analysis #compilation #multi #performance
Fast Dependence Analysis in a Multimedia Vectorizing Compiler (PB, VG), pp. 176–183.
ESOPESOP-2004-DuckPSS #decidability #functional #type inference
Sound and Decidable Type Inference for Functional Dependencies (GJD, SLPJ, PJS, MS), pp. 49–63.
CAVCAV-2004-JiangB #functional #reduction #verification
Functional Dependency for Verification Reduction (JHRJ, RKB), pp. 268–280.
IJCARIJCAR-2004-ThiemannGS #composition #proving #termination #using
Improved Modular Termination Proofs Using Dependency Pairs (RT, JG, PSK), pp. 75–90.
SATSAT-2004-GregoireOMS #automation #functional
Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 157–165.
ICDARICDAR-2003-KangD #classification #higher-order #multi
Combining Multiple Classifiers based on Third-Order Dependency (HJK, DSD), pp. 21–25.
VLDBVLDB-2003-TsoisS #optimisation
The Generalized Pre-Grouping Transformation: Aggregate-Query Optimization in the Presence of Dependencies (AT, TKS), pp. 644–655.
VLDBVLDB-2003-VieiraM #benchmark #metric
A Dependability Benchmark for OLTP Application Environments (MV, HM), pp. 742–753.
IWPCIWPC-2003-LinosCBO #comprehension #multi
A Tool For Understanding Multi-Language Program Dependencies (PKL, ZHC, SB, BO), pp. 64–73.
SCAMSCAM-2003-MossienkoKASG #legacy #maintenance #towards
Towards managing environment dependence during legacy systems renovation and maintenance (MM, OK, DA, OS, AG), pp. 131–140.
SCAMSCAM-2003-WalkinshawRW #graph #java
The Java System Dependence Graph (NW, MR, MW), pp. 55–64.
SFMSFM-2003-IssarnyZ #architecture
Software Architecture and Dependability (VI, AZ), pp. 259–286.
SFMSFM-2003-StaffordWC #analysis #architecture
The Application of Dependence Analysis to Software Architecture Descriptions (JAS, ALW, MC), pp. 52–62.
VISSOFTVISSOFT-2003-HassanH #comprehension #graph #named
ADG: Annotated Dependency Graphs for Software Understanding (AEH, RCH), pp. 41–45.
CAiSECAiSE-2003-VincentL #multi #xml
Multivalued Dependencies and a 4NF for XML (MWV, JL), pp. 14–29.
ICEISICEIS-v1-2003-Al-Fawareh #approach #comprehension #named #object-oriented #source code
O2PDGS: An Approach for Understanding Object Oriented Programs (HJAF), pp. 450–455.
ICEISICEIS-v3-2003-LiongM #design #source code
Computing Message Dependencies in System Designs and Programs (BLL, LAM), pp. 619–622.
SIGIRSIGIR-2003-BruzaS #comparison #modelling #probability #using
A comparison of various approaches for using probabilistic dependencies in language modeling (PB, DS), pp. 419–420.
SIGIRSIGIR-2003-SrikanthS #documentation #modelling #query #retrieval
Incorporating query term dependencies in language models for document retrieval (MS, RKS), pp. 405–406.
ICSEICSE-2003-BinkleyH #empirical #roadmap
An Empirical Study of Predicate Dependence Levels and Trends (DB, MH), pp. 330–340.
ICSEICSE-2003-Knight
Computing Systems Dependability (JCK), pp. 742–743.
CCCC-2003-JohnsonM #graph #using
Combined Code Motion and Register Allocation Using the Value State Dependence Graph (NJ, AM), pp. 1–16.
DACDAC-2003-JersakE #analysis #multi #scheduling
Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals (MJ, RE), pp. 454–459.
DATEDATE-2003-PomeranzR03a #testing
Test Data Compression Based on Output Dependence (IP, SMR), pp. 11186–11187.
HPCAHPCA-2003-ChenDA #branch #data flow #predict
Dynamic Data Dependence Tracking and its Application to Branch Prediction (LC, SD, DHA), pp. 65–76.
PDPPDP-2003-BulicG #analysis #compilation
Practical Dependence Analysis in a SIMD Vectorizing Compiler (PB, VG), pp. 41–48.
PDPPDP-2003-ThoaiKV #named
EROS: An Efficien Method for Minimizing the Replay Time based on the Replay Dependence Relation (NT, DK, JV), pp. 23–30.
TACASTACAS-2003-HermannsJ #analysis #component #performance #set
A Set of Performance and Dependability Analysis Components for CADP (HH, CJ), pp. 425–430.
CADECADE-2003-HirokawaM #automation
Automating the Dependency Pair Method (NH, AM), pp. 32–46.
CBSECBSE-2003-CervantesH #automation #component
Automating Service Dependency Management in a Service-Oriented Component Model (HC, RSH), p. 16.
ICSMEICSM-2002-ChenZBZY #analysis #approach #novel
A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis (ZC, YZ, BX, JZ, HY), pp. 377–384.
ICSMEICSM-2002-Jungmayr #identification
Identifying Test-Critical Dependencies (SJ), pp. 404–413.
ICSMEICSM-2002-KorelTV #analysis #modelling #reduction #testing #using
Model Based Regression Test Reduction Using Dependence Analysis (BK, LHT, BV), pp. 214–223.
SCAMSCAM-2002-Balmas #documentation #graph #source code #using
Using Dependence Graphs as a Support to Document Programs (FB), pp. 145–154.
SCAMSCAM-2002-HarmanFHHDW #analysis #named
VADA: A Transformation-Based System for Variable Dependence Analysis (MH, CF, RMH, LH, SD, JW), pp. 55–64.
SCAMSCAM-2002-RiccaT #graph #slicing #web
Construction of the System Dependence Graph for Web Application Slicing (FR, PT), pp. 123–132.
WCREWCRE-2002-BarowskiC #java #using
Extraction and Use of Class Dependency Information for Java (LAB, JHCI), p. 309–?.
ICEISICEIS-2002-EncisoM #functional #named #taxonomy
FD3: A Functional Dependencies Data Dictionary (ME, AM), pp. 807–810.
CIKMCIKM-2002-NallapatiA #modelling #using
Capturing term dependencies using a language model based on sentence trees (RN, JA), pp. 383–390.
ICPRICPR-v1-2002-SinghMS #analysis #image
Colour Image Texture Analysis: Dependence on Colour Spaces (MS, MM, SS), pp. 672–675.
ICPRICPR-v2-2002-RukhinGPLHN #algorithm #recognition
Dependence Characteristics of Face Recognition Algorithms (ALR, PG, PJP, SL, AH, EMN), pp. 36–39.
SIGIRSIGIR-2002-GaoZNHC #ambiguity #query #using
Resolving query translation ambiguity using a decaying co-occurrence model and syntactic dependence relations (JG, MZ, JYN, HH, WC), pp. 183–190.
SPLCSPLC-2002-FerberHS #feature model #interactive #legacy #modelling #product line #re-engineering
Feature Interaction and Dependencies: Modeling Features for Reengineering a Legacy Product Line (SF, JH, JS), pp. 235–256.
AdaEuropeAdaEurope-2002-ChenBZY #ada #analysis #concurrent #source code
Static Dependency Analysis for Concurrent Ada 95 Programs (ZC, BX, JZ, HY), pp. 219–230.
ASEASE-2002-Chen #component #configuration management #distributed
Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems (XC), pp. 279–284.
ASEASE-2002-VieiraR #component #scalability
Analyzing Dependencies in Large Component-Based Systems (MERV, DJR), pp. 241–244.
ICSEICSE-2002-Knight02a #embedded
Dependability of embedded systems (JCK), pp. 685–686.
ICSEICSE-2002-RobillardM #graph #using
Concern graphs: finding and describing concerns using structural program dependencies (MPR, GCM), pp. 406–416.
ICSEICSE-2002-RobschinkS #graph #performance
Efficient path conditions in dependence graphs (TR, GS), pp. 478–488.
SACSAC-2002-PandaH #approach #database #robust
Extended data dependency approach: a robust way of rebuilding database (BP, KAH), pp. 446–452.
PDPPDP-2002-DrositisAMPK #2d #geometry #scheduling
Geometric Scheduling of 2-D UET-UCT Uniform Dependence Loops (ID, TA, GM, GKP, NK), p. 343–?.
ESOPESOP-2002-Feret #analysis #mobile
Dependency Analysis of Mobile Systems (JF), pp. 314–330.
ESOPESOP-2002-Thiemann #calculus #prototype
A Prototype Dependency Calculus (PT), pp. 228–242.
ISSTAISSTA-2002-VaysburgTK #analysis #reduction #testing
Dependence analysis in reduction of requirement based test suites (BV, LHT, BK), pp. 107–111.
CBSECBSE-2001-VieiraDR #component
Describing Dependencies in Component Access Points (MERV, MSD, DJR), p. 22.
ICDARICDAR-2001-KoshinakaNY #probability #recognition #using #word
A Stochastic Model for Handwritten Word Recognition Using Context Dependency Between Character Patterns (TK, DN, KY), pp. 154–158.
ICDARICDAR-2001-MalerbaELA #automation #component #comprehension #documentation #image #logic
Automated Discovery of Dependencies Between Logical Components in Document Image Understanding (DM, FE, FAL, OA), pp. 174–178.
CSMRCSMR-2001-HenrardH #database #elicitation #reverse engineering
Data Dependency Elicitation in Database Reverse Engineering (JH, JLH), pp. 11–19.
ICSMEICSM-2001-ByersKP #graph
Syntax-Directed Construction of Value Dependence Graphs (DB, MK, TP), p. 692–?.
ICSMEICSM-2001-ZhaoCU #concurrent #logic programming #source code
A Program Dependence Model for Concurrent Logic Programs and its Applications (JZ, JC, KU), pp. 672–681.
IWPCIWPC-2001-OrsoSH #data flow #pointer
Effects of Pointers on Data Dependences (AO, SS, MJH), pp. 39–49.
IWPCIWPC-2001-YuR #co-evolution #comprehension
Hidden Dependencies in Program Comprehension and Change Propagation (ZY, VR), pp. 293–299.
WCREWCRE-2001-Balmas #approach #game studies #graph
Displaying Dependence Graphs: A Hierarchical Approach (FB), pp. 261–270.
WCREWCRE-2001-GannodG #graph
An Investigation into the Connectivity Properties of Source-Header Dependency Graphs (GCG, BDG), pp. 115–126.
WCREWCRE-2001-Krinke #graph #identification
Identifying Similar Code with Program Dependence Graphs (JK), pp. 301–309.
RTARTA-2001-GieslK #equation
Dependency Pairs for Equational Rewriting (JG, DK), pp. 93–108.
EDOCEDOC-2001-Ensel #approach #automation #modelling #scalability
A Scalable Approach to Automated Service Dependency Modeling in Heterogeneous Environments (CE), pp. 128–139.
CIKMCIKM-2001-YanF #algorithm #multi
Algorithm for Discovering Multivalued Dependencies (MHY, AWCF), pp. 556–558.
GPCEGCSE-2001-PulvermuellerSC
A Version Model for Aspect Dependency Management (EP, AS, JC), pp. 70–79.
DACDAC-2001-BhanjaR #modelling #network #probability #process #using
Dependency Preserving Probabilistic Modeling of Switching Activity using Bayesian Networks (SB, NR), pp. 209–214.
DACDAC-2001-YalcinPMBSH #using
An Advanced Timing Characterization Method Using Mode Dependency (HY, RP, MM, CB, KAS, JPH), pp. 657–660.
HPDCHPDC-2001-CuiN #component
QoS-Aware Dependency Management for Component-Based Systems (YC, KN), p. 127–?.
ESOPESOP-2001-GenaimC #analysis #approach
The Def-inite Approach to Dependency Analysis (SG, MC), pp. 417–432.
ESOPESOP-2001-KomondoorH #tool support #using
Tool Demonstration: Finding Duplicated Code Using Program Dependences (RK, SH), pp. 383–386.
IJCARIJCAR-2001-Middeldorp #approximate #automaton #graph #using
Approximating Dependency Graphs Using Tree Automata Techniques (AM), pp. 593–610.
PODSPODS-2000-DalkilicR
Information Dependencies (MMD, ELR), pp. 245–253.
IWPCIWPC-2000-ChenR #case study #feature model #graph #using
Case Study of Feature Location Using Dependence Graph (KC, VR), pp. 241–247.
IFMIFM-2000-FischerC #diagrams #formal method #verification
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes (JF, SC), pp. 45–60.
RTARTA-2000-Arts
System Description: The Dependency Pair Method (TA), pp. 261–264.
CSCWCSCW-2000-HerbslebMFG #collaboration #distance
Distance, dependencies, and delay in a global collaboration (JDH, AM, TAF, REG), pp. 319–328.
SIGIRSIGIR-2000-FukumotoS
Event tracking based on domain dependency (FF, YS), pp. 57–64.
SPLCSPLC-2000-DoerrS #architecture #execution #product line
Freeing product line architectures from execution dependencies (BSD, DS), pp. 313–330.
PLDIPLDI-2000-HeydonLY #precise #using
Caching function calls using precise dependencies (AH, RL, YY), pp. 311–320.
ICSEFoSE-2000-LittlewoodS00b #reliability #roadmap
Software reliability and dependability: a roadmap (BL, LS), pp. 175–188.
SACSAC-2000-LeeKHL #graph #scheduling #using
Task Scheduling using a Block Dependency DAG for Block-Oriented Sparse Cholesky Factorization (HL, JK, SJH, SL), pp. 641–648.
SACSAC-2000-PandaT #information management
Data Dependency Based Logging for Defensive Information Warfare (BP, ST), pp. 361–365.
SACSAC-2000-WangTH #database #functional #fuzzy #mining #relational
Mining Functional Dependencies from Fuzzy Relational Databases (SLW, JST, TPH), pp. 490–493.
DATEDATE-2000-LajoloRRVL #co-evolution #design #framework
Evaluating System Dependability in a Co-Design Framework (ML, MR, MSR, MV, LL), pp. 586–590.
HPCAHPCA-2000-MoshovosS #memory management #trade-off
Memory Dependence Speculation Tradeoffs in Centralized, Continuous-Window Superscalar Processors (AM, GSS), pp. 301–312.
ESOPESOP-2000-Jones #functional
Type Classes with Functional Dependencies (MPJ), pp. 230–244.
LICSLICS-2000-Prost #calculus
A Static Calculus of Dependencies for the λ-Cube (FP), pp. 267–276.
PODSPODS-1999-HaraD #functional #reasoning
Reasoning about Nested Functional Dependencies (CSH, SBD), pp. 91–100.
IWPCIWPC-1999-FasolinoV #automation #comprehension
Improving Software Comprehension through an Automated Dependency Tracer (ARF, GV), pp. 58–65.
ICMLICML-1999-Robnik-SikonjaK #modelling
Attribute Dependencies, Understandability and Split Selection in Tree Based Models (MRS, IK), pp. 344–353.
KDDKDD-1999-WijsenNC
Discovering Roll-Up Dependencies (JW, RTN, TC), pp. 213–222.
POPLPOPL-1999-AbadiBHR #calculus
A Core Calculus of Dependency (MA, AB, NH, JGR), pp. 147–160.
ICSEICSE-1999-MaruyamaS #automation #graph #refactoring #using
Automatic Method Refactoring Using Weighted Dependence Graphs (KM, KS), pp. 236–245.
SACSAC-1999-Binkley #graph #slicing #using
Computing Amorphous Program Slices Using Dependence Graphs (DB), pp. 519–525.
HPDCHPDC-1999-CruzP #maintenance #named #network
DUNES: A Performance-Oriented System Support Environment for Dependency Maintenance in Workstation Networks (JC, KP), pp. 309–318.
ESOPESOP-1999-KingSH #analysis
Quotienting Share for Dependency Analysis (AK, JGS, PMH), pp. 59–73.
CSMRCSMR-1998-ZhaoCU #concurrent #maintenance #object-oriented #representation
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance (JZ, JC, KU), pp. 60–66.
ICSMEICSM-1998-LiangH #graph #slicing #using
Slicing Objects Using System Dependence Graphs (DL, MJH), pp. 358–367.
RTARTA-1998-ArtsG #composition #termination #using
Modularity of Termination Using Dependency pairs (TA, JG), pp. 226–240.
RTARTA-1998-MarcheU #commutative #termination
Termination of Associative-Commutative Rewriting by Dependency Pairs (CM, XU), pp. 241–255.
SIGIRSIGIR-1998-HyoudoNI #comparison #proximity #retrieval
Comparison Between Proximity Operation and Dependency Operation in Japanese Full-Text Retrieval (YH, KN, TI), pp. 341–342.
TOOLSTOOLS-ASIA-1998-PeriorellisBS #enterprise #modelling #network #object-oriented #paradigm #using
Modeling Enterprise Dependency Networks Using an Object Oriented Paradigm (PP, AB, PS), p. 148–?.
AdaSIGAda-1998-LaskiSH #ada #analysis #source code
Dependency Analysis of Ada Programs (JWL, WS, JH), pp. 263–275.
ICSEICSE-1998-BinkleyS #maintenance #metric #predict #runtime #validation
Validation of the Coupling Dependency Metric as a Predictor of Run-Time Failures and Maintenance Measures (ABB, SRS), pp. 452–455.
CCCC-1998-Boyland #attribute grammar
Analyzing Direct Non-local Dependencies in Attribute Grammars (JB), pp. 31–49.
PDPPDP-1998-BeckZU #architecture #clustering #graph
Architecture-dependent partitioning of dependence graphs (MB, EZ, TU), pp. 70–76.
ESOPESOP-1998-RossS #alias #pointer
Building a Bridge between Pointer Aliases and Program Dependences (JLR, SS), pp. 221–235.
TACASTACAS-1998-Lind-NielsenABHKL #analysis #composition #scalability #using #verification
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis (JLN, HRA, GB, HH, KJK, KGL), pp. 201–216.
ISSTAISSTA-1998-HarroldRS #interprocedural
Computation of Interprocedural Control Dependence (MJH, GR, SS), pp. 11–20.
HCIHCI-SEC-1997-Hollnagel97b
Control Versus Dependence: Striking the Balance in Function Allocation (EH), pp. 243–246.
ECIRACIR-1997-MateevMS #how
Where the Linked Dependence Assumption Fails and How to Move Beyond It (BM, EM, PS).
TOOLSTOOLS-ASIA-1997-ChenWC #graph #object-oriented #slicing
An Object-Oriented Dependency Graph for Program Slicing (JLC, FJW, YLC), pp. 121–130.
SASSAS-1997-Tzolovski #abstract interpretation #data flow
Data Dependence as Abstract Interpretations (ST), p. 366.
AdaTRI-Ada-1997-Cheng #ada #concurrent
Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications (JC), pp. 67–78.
DACDAC-1997-KlenkeMAJRG #analysis #design #performance
An Integrated Design Environment for Performance and Dependability Analysis (RHK, MM, JHA, BWJ, RR, AG), pp. 184–189.
PODSPODS-1996-MaherS
Chasing Constrained Tuple-Generating Dependencies (MJM, DS), pp. 128–138.
SIGMODSIGMOD-1996-MorpainCFP #consistency #database #maintenance #multi
Maintaining Database Consistency in Presence of Value Dependencies in Multidatabase Systems (CM, MC, JF, JFP), pp. 459–468.
ICFPICFP-1996-AbadiLL #analysis
Analysis and Caching of Dependencies (MA, BWL, JJL), pp. 83–91.
KDDKDD-1996-Sahami #classification #learning
Learning Limited Dependence Bayesian Classifiers (MS), pp. 335–338.
PLDIPLDI-1996-BilardiP
Generalized Dominance and Control Dependence (GB, KP), pp. 291–300.
FSEFSE-1996-Gunter
Abstracting Dependencies between Software Configuration Items (CAG), pp. 167–178.
CCCC-1996-ErtlK #anti
Removing Anti Dependences by Repairing (MAE, AK), pp. 33–43.
ISSTAISSTA-1996-Hamlet #predict #testing
Predicting Dependability by Testing (RGH), pp. 84–91.
ICSMEICSM-1995-CanforaC #algorithm #graph
Algorithms for program dependence graph production (GC, AC), p. 157–?.
KDDKDD-1995-Bell #functional #maintenance
Discovery and Maintenance of Functional Dependencies by Independencies (SB), pp. 27–32.
OOPSLAOOPSLA-1995-DucasseBP
A Reflective Model for First Class Dependencies (SD, MBF, AMPD), pp. 265–280.
PLDIPLDI-1995-PingaliB #data type #named
APT: A Data Structure for Optimal Control Dependence Computation (KP, GB), pp. 32–46.
ICSEICSE-1995-BertolinoS #assessment #metric #testing #using
Using Testability Measures for Dependability Assessment (AB, LS), pp. 61–70.
ICSEICSE-1995-ChambersDG #framework
A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies (CC, JD, DG), pp. 221–230.
ICLPICLP-1995-ZhaoCU #analysis #concurrent #logic programming #source code
Program Dependence Analysis of Concurrent Logic Programs and Its Applications (JZ, JC, KU), p. 825.
ICLPILPS-1995-GiacobazziR #abstract interpretation #functional #semantics
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics (RG, FR), pp. 321–335.
SEKESEKE-1994-KoskinenPS #hypermedia #using
Program text as hypertext: using program dependences for transient linking (JK, JP, AS), pp. 209–216.
LOPSTRLOPSTR-1994-SolnonR #type inference
Propagation of Inter-argument Dependencies in “Tuple-distributive” Type Inference Systems (CS, MR), pp. 199–214.
PLDIPLDI-1994-HummelHN #data flow #data type #pointer
A General Data Dependence Test for Dynamic, Pointer-Based Data Structures (JH, LJH, AN), pp. 218–229.
PLDIPLDI-1994-NorrisP #graph
Register Allocation over the Program Dependence Graph (CN, LLP), pp. 266–277.
PPDPPLILP-1994-FieldT #slicing #term rewriting
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing (JF, FT), pp. 415–431.
POPLPOPL-1994-Maslov #analysis #array #data flow #lazy evaluation
Lazy Array Data-Flow Dependence Analysis (VM), pp. 311–325.
POPLPOPL-1994-WeiseCES #graph #representation
Value Dependence Graphs: Representation without Taxation (DW, RFC, MDE, BS), pp. 297–310.
SASSAS-1994-ArmstrongMSS #algebra #analysis #performance #representation
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation (TA, KM, PS, HS), pp. 266–280.
SASSAS-1994-CodishD #logic programming #multi #polymorphism #source code #using
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop (MC, BD), pp. 281–296.
FSEFSE-1994-Hamlet #testing
Foundations of Software Testing: Dependability Theory (RGH), pp. 128–139.
FSEFSE-1994-JacksonR #reverse engineering
A New Model of Program Dependences for Reverse Engineering (DJ, EJR), pp. 2–10.
CCCC-1994-Binkley #constant #data flow #graph #interprocedural #using
Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model (DB), pp. 374–388.
CCCC-1994-JustianiH #array #c #compilation #optimisation #testing
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler (J, LJH), pp. 309–323.
DATEEDAC-1994-MichelLSDC
Taking Advantage of ASICs to Improve Dependability with Very Low Overheads (TM, RL, GS, RD, PC), pp. 14–18.
HPDCHPDC-1994-BeckerW
Exploiting Inter-Task Dependencies for Dynamic Load Balancing (WB, GW), pp. 157–165.
ISSTAISSTA-1994-HowdenH #metric
Confidence Oriented Software Dependability Measurement (WEH, YH), p. 196.
SIGMODSIGMOD-1993-WoelkACMSST #scheduling #using
Task Scheduling Using Intertask Dependencies in Carot (DW, PCA, PC, GM, APS, MPS, CT), pp. 491–494.
VLDBVLDB-1993-AttieSSR #specification
Specifying and Enforcing Intertask Dependencies (PCA, MPS, APS, MR), pp. 134–145.
ICSMECSM-1993-LoyallM #analysis #maintenance #process #using
Using Dependence Analysis to Support the Software Maintenance Process (JPL, SAM), pp. 282–291.
PLDIPLDI-1993-JohnsonP #program analysis
Dependence-Based Program Analysis (RJ, KP), pp. 78–89.
POPLPOPL-1993-BatesH #graph #incremental #testing #using
Incremental Program Testing Using Program Dependence Graphs (SB, SH), pp. 384–396.
POPLPOPL-1993-Lakhotia #graph #multi #using
Constructing Call Multigraphs Using Dependence Graphs (AL), pp. 273–284.
SASWSA-1993-Jorgensen #fixpoint
Chaotic Fixpoint Iteration Guided by Dynamic Dependency (NJ), pp. 27–44.
SASWSA-1993-MaffeisG #architecture
Combining Dependability with Architectural Adatability by Means of the SIGNAL Language (OM, PLG), pp. 99–110.
RERE-1993-IshiharaSK #natural language #specification #using
A translation method from natural language specifications into formal specifications using contextual dependencies (YI, HS, TK), pp. 232–239.
DACDAC-1993-HuD #functional
Reducing BDD Size by Exploiting Functional Dependencies (AJH, DLD), pp. 266–271.
STOCSTOC-1993-FeldmannKST #online #parallel #scheduling
Optimal online scheduling of parallel jobs with dependencies (AF, MYK, JS, SHT), pp. 642–651.
CAVCAV-1993-GodefroidP #partial order #verification
Refining Dependencies Improves Partial-Order Verification Methods (PG, DP), pp. 438–449.
ISSTAISSTA-1993-HarroldMR #graph #performance
Efficient Construction of Program Dependence Graphs (MJH, BAM, GR), pp. 160–170.
CIKMCIKM-1992-KeenR #approximate #database #induction
Inductive Dependencies and Approximate Databases (DK, AR), pp. 98–114.
AdaEuropeAdaEurope-1992-Cheng #ada #concurrent #representation #source code
Task Dependence Net as a Representation for Concurrent Ada Programs (JC), pp. 150–164.
PLDIPLDI-1992-Maslov #equation #multi #named #performance
Delinearization: An Efficient Way to Break Multiloop Dependence Equations (VM), pp. 152–161.
PLDIPLDI-1992-PughW #data flow #using
Eliminating False Data Dependences using the Omega Test (WP, DW), pp. 140–151.
ICSEICSE-1992-HorwitzR #graph #re-engineering #using
The Use of Program Dependence Graphs in Software Engineering (SH, TWR), pp. 392–411.
DACDAC-1992-WakabayashiT #independence #scheduling
Global Scheduling Independent of Control Dependencies Based on Condition Vectors (KW, HT), pp. 112–115.
ICLPJICSLP-1992-Hodas #logic programming #programming language #semiparsing #specification
Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language (JSH), pp. 622–636.
SIGMODSIGMOD-1991-HansenU
An Extended Memoryless Inference Control Method: Accounting for Dependence in Table-level Controls (SCH, EAU), pp. 348–356.
KDDKDD-1991-Ziarko #analysis #database #representation
The Discovery, Analysis, and Representation of Data Dependencies in Databases (WZ), pp. 195–212.
TOOLSTOOLS-USA-1991-Wilk #co-evolution #graph
Change Propagation in Object Dependency Graphs (MRW), pp. 233–248.
PLDIPLDI-1991-GoffKT #testing
Practical Dependence Testing (GG, KK, CWT), pp. 15–29.
PLDIPLDI-1991-MaydanHL #analysis #data flow #performance
Efficient and Exact Data Dependence Analysis (DEM, JLH, MSL), pp. 1–14.
POPLPOPL-1991-PingaliBJMS #algebra #approach #graph
Dependence Flow Graphs: An Algebraic Approach to Program Dependencies (KP, MB, RJ, MM, PS), pp. 67–78.
PPoPPPPoPP-1991-KrothapalliS #constant
Removal of Redundant Dependences in DOACROSS Lops with Constant Dependences (VPK, PS), pp. 51–60.
PPDPALP-1990-Saint-Dizier #logic programming #on the
On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic (PSD), pp. 232–246.
PLDIPLDI-1990-BallanceMO #imperative #representation #web
The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages (RAB, ABM, KJO), pp. 257–271.
PLDIPLDI-1990-CytronFS
Compact Representations for Control Dependence (RC, JF, VS), pp. 337–351.
DACDAC-1990-EdmondGSB #automation #design #named
ASSURE: Automated Design for Dependability (PE, APG, DPS, AAB), pp. 555–560.
CSLCSL-1990-Huang #logic
Logics for Belief Dependence (ZH), pp. 274–288.
SIGMODSIGMOD-1989-SalzaT #database #probability #query #relational
Evaluating the Size of Queries on Relational Databases with non Uniform Distribution and Stochastic Dependence (SS, MT), pp. 8–14.
VLDBVLDB-1989-CasanovaTFB #optimisation #relational
Optimization of Relational Schemas Containing Inclusion Dependencies (MAC, LT, ALF, APB), pp. 317–325.
ICMLML-1989-Marie #bias #learning
Building A Learning Bias from Perceived Dependencies (CdSM), pp. 501–502.
PLDIPLDI-1989-CartwrightF #semantics
The Semantics of Program Dependence (RC, MF), pp. 13–27.
PLDIPLDI-1989-HorwitzPR #analysis #pointer
Dependence Analysis for Pointer Variables (SH, PP, TWR), pp. 28–40.
POPLPOPL-1989-BaxterB #graph
The Program Dependence Graph and Vectorization (WB, HRBI), pp. 1–11.
POPLPOPL-1989-Selke #graph #semantics
A Rewriting Semantics for Program Dependence Graphs (RPS), pp. 12–24.
ICSEICSE-1989-VernerTJH #analysis #case study #overview #perspective
Technology Dependence in Function Point Analysis: A Case Study and Critical Review (JMV, GT, BJ, RGH), pp. 375–382.
ICLPNACLP-1989-MuthukumarH #abstract interpretation
Determination of Variable Dependence Information through Abstract Interpretation (KM, MVH), pp. 166–185.
ISSTATAV-1989-PodgurskiC #debugging #maintenance #testing
The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance (AP, LAC), pp. 168–178.
SIGMODSIGMOD-1988-LeuchnerMS #algorithm #functional #polynomial #testing
A Polynomial Time Algorithm for Testing Implications of a Join Dependency and Embodied Functional Dependencies (JHL, LM, GS), pp. 218–224.
VLDBVLDB-1988-CasanovaTF
Enforcing Inclusion Dependencies and Referencial Integrity (MAC, LT, ALF), pp. 38–49.
SIGIRSIGIR-1988-Schauble
An Information Structure Dealing with Term Dependence and Polysemy (PS), pp. 519–533.
PLDIPLDI-1988-HorwitzRB #graph #interprocedural #slicing #using
Interprocedural Slicing Using Dependence Graphs (SH, TWR, DB), pp. 35–46.
POPLPOPL-1988-HorwitzPR88a #graph #on the #representation #source code
On the Adequacy of Program Dependence Graphs for Representing Programs (SH, JP, TWR), pp. 146–157.
PLDIBest-of-PLDI-1988-HorwitzRB88a #graph #interprocedural #slicing #using
Interprocedural slicing using dependence graphs (with retrospective) (SH, TWR, DB), pp. 229–243.
PODSPODS-1987-ChanH #bound #database #design #functional #on the
On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies (EPFC, HJH), pp. 48–57.
PODSPODS-1987-Gottlob #embedded #functional
Computing Covers for Embedded Functional Dependencies (GG), pp. 58–69.
VLDBVLDB-1987-AtzeniC #database #functional #independence
Independent Database Schemes under Functional and Inclusion Dependencies (PA, EPFC), pp. 159–166.
VLDBVLDB-1987-LenzeriniN #constraints #on the #satisfiability
On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata (ML, PN), pp. 147–154.
VLDBVLDB-1987-MannilaR
Dependency Inference (HM, KJR), pp. 155–158.
HCIHCI-CE-1987-Swain #automation #problem
Four Human Factors Problems for System Operators as Dependence on Automation Increases (ADS), pp. 105–112.
ESECESEC-1987-Laprie #approach
The Dependability Approach to Critical Computing Systems (JCL), pp. 233–243.
ICSEICSE-1987-Ladkin #concurrent #process #specification #synthesis
Specification of Time Dependencies and Synthesis of Concurrent Processes (PBL), pp. 106–115.
PODSPODS-1986-YuanO #database #design #functional #multi #relational
Unifying Functional and Multivalued Dependencies for Relational Database Design (LYY, ZMÖ), pp. 183–190.
VLDBVLDB-1986-ArisawaM #on the
On the Properties of Extended Inclusion Dependencies (HA, TM), pp. 449–456.
PLDIBest-of-PLDI-1986-BurkeC #analysis #interprocedural #parallel
Interprocedural dependence analysis and parallelization (with retrospective) (MGB, RC), pp. 139–154.
PODSPODS-1985-Gyssens #embedded
Embedded Join Dependencies as a Tool for Decomposing Full Join Dependencies (MG), pp. 205–214.
SIGMODSIGMOD-1985-DemoK #analysis #database
Analysis of the Context Dependency of CODASYL Find-Statements with Application to Database Program Conversion (GBD, SK), pp. 354–361.
VLDBVLDB-1985-Mendelzon #functional #logic programming #source code
Functional Dependencies in Logic Programs (AOM), pp. 324–330.
ICALPICALP-1985-Bra
Imposed-Functional Dependencies Inducing Horizontal Decompositions (PDB), pp. 158–170.
ICLPSLP-1985-ChangD85 #analysis #backtracking #prolog
Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis (JHC, AMD), pp. 10–21.
PODSPODS-1984-CosmadakisK #approach #functional #graph
Functional and Inclusion Dependencies: A Graph Theoretic Approach (SSC, PCK), pp. 29–37.
PODSPODS-1984-FischerG #multi
Weak Multivalued Dependencies (PCF, DVG), pp. 266–274.
PODSPODS-1984-GrahneR #database
Dependency Characterizations for Acyclic Database Schemes (GG, KJR), pp. 9–18.
PODSPODS-1984-GyssensP #composition #on the
On the Decomposition of Join Dependencies (MG, JP), pp. 143–152.
PODSPODS-1984-SaccaMM #database #functional
Properties of Database Schemata with Functional Dependencies (DS, FM, AM), pp. 19–28.
VLDBVLDB-1984-Grahne #database
Dependency Satisfaction in Databases with Incomplete Information (GG), pp. 37–45.
VLDBVLDB-1984-Tan #constraints
A Less Costly Constraints Checking for Join Dependency (KPT), pp. 63–68.
ICALPICALP-1984-AtzeniM #constraints #database #functional #null
Functional Dependencies and Disjunctive Existence Constraints in Database Relations with Null Values (PA, NMM), pp. 69–81.
ICALPICALP-1984-FaginV #formal method #overview #perspective
The Theory of Data Dependencies — An Overview (RF, MYV), pp. 1–22.
SIGIRSIGIR-1984-MetzlerNRH #information retrieval #parsing
Dependency Parsing for Information Retrieval (DPM, TN, LR, PBH), pp. 313–324.
CADECADE-1984-Plaisted #analysis #graph #proving #theorem proving #using
Using Examples, Case Analysis, and Dependency Graphs in Theorem Proving (DAP), pp. 356–374.
PODSPODS-1983-Mitchell #functional
Inference Rules for Functional and Inclusion Dependencies (JCM), pp. 58–69.
PODSPODS-1983-Sciore
Inclusion Dependencies and the Universal Instance (ES), pp. 48–57.
SIGMODSIGMOD-1983-ImielinskiL #database #relational
Incomplete Information and Dependencies in Relational Databases (TI, WLJ), pp. 178–184.
SIGMODSIGMOD-1983-KambayashiY #composition #query
Query Processing Utilizing Dependencies and Horizontal Decomposition (YK, MY), pp. 55–67.
SIGMODSIGMOD-1983-LaverMG #database #functional
Functional Dependencies on Cyclic Database Schemes (KL, AOM, MHG), pp. 79–91.
ICALPICALP-1983-BraP
Conditional Dependencies for Horizontal Decompositions (PDB, JP), pp. 67–82.
POPLPOPL-1983-AllenKPW #data flow
Conversion of Control Dependence to Data Dependence (JRA, KK, CP, JDW), pp. 177–189.
POPLPOPL-1983-FerranteO
A Program Form Based on Data Dependency in Predicate Regions (JF, KJO), pp. 217–236.
STOCSTOC-1983-KanellakisCV #polynomial #problem
Unary Inclusion Dependencies have Polynomial Time Inference Problems (PCK, SSC, MYV), pp. 264–277.
PODSPODS-1982-Casanova #formal method #relational
A Theory of Data Dependencies over Relational Expressions (MAC), pp. 189–198.
PODSPODS-1982-CasanovaFP #functional #interactive
Inclusion Dependencies and Their Interaction with Functional Dependencies (MAC, RF, CHP), pp. 171–176.
PODSPODS-1982-GrahamM
Notions of Dependency Satisfaction (MHG, AOM), pp. 177–188.
PODSPODS-1982-GurevichL #problem
The Inference Problem for Template Dependencies (YG, HRL), pp. 221–229.
PODSPODS-1982-JohnsonK #functional #query #testing
Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (DSJ, ACK), pp. 164–169.
PODSPODS-1982-Vardi #finite #problem
The Implication and Finite Implication Problems for Typed Template Dependencies (MYV), pp. 230–238.
SIGMODSIGMOD-1982-DongH #approximate #order
Applying Approximate Order Dependency to Reduce Indexing Space (JD, RH), pp. 119–127.
VLDBVLDB-1982-GelenbeG #functional
The Size of Projections of Relations Satisfying a Functional Dependency (EG, DG), pp. 325–333.
VLDBVLDB-1982-Lafue #semantics
Semantic Integrity Dependencies and Delayed Integrity Checking (GMEL), pp. 292–299.
SIGIRSIGIR-1982-SaltonBY #evaluation #information retrieval #modelling
An Evaluation of Term Dependence Models in Information Retrieval (GS, CB, CTY), pp. 151–173.
ICALPICALP-1981-BeeriV #problem
The Implication Problem for Data Dependencies (CB, MYV), pp. 73–85.
ICALPICALP-1981-Makowsky #database
Characterizing Data Base Dependencies (JAM), pp. 86–97.
POPLPOPL-1981-KuckKPLW #compilation #graph #optimisation
Dependence Graphs and Compiler Optimizations (DJK, RHK, DAP, BL, MW), pp. 207–218.
STOCSTOC-1981-ChandraLM #embedded #problem
Embedded Implicational Dependencies and their Inference Problem (AKC, HRL, JAM), pp. 342–354.
SIGMODSIGMOD-1980-ParkerP #embedded #multi #transitive
Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies (DSPJ, KPG), pp. 52–57.
SIGMODSIGMOD-1980-SadriU #functional #interactive
The Interaction between Functional Dependencies and Template Dependencies (FS, JDU), pp. 45–51.
VLDBVLDB-1980-Vassiliou #functional
Functional Dependencies and Incomplete Information (YV), pp. 260–269.
ICALPICALP-1980-Galil #algorithm #database #linear #relational
An Almost Linear Time Algorithm for Computing a Dependency Basis in a Relational Data Base (ZG), pp. 246–256.
DACDAC-1980-CasavantGK #automation #design #graph
Automatic design with dependence graphs (AEC, DDG, DJK), pp. 506–515.
STOCSTOC-1980-Fagin #database #horn clause
Horn Clauses and Database Dependencies (RF), pp. 123–134.
STOCSTOC-1980-SadriU #axiom #database #relational #scalability
A Complete Axiomatization for a Large Class of Dependencies in Relational Databases (FS, JDU), pp. 117–122.
CADECADE-1980-Bruynooghe #analysis #behaviour #logic programming #source code
Analysis of Dependencies to Improve the Behaviour of Logic Programs (MB), pp. 293–305.
SIGMODSIGMOD-1979-MaierMS #testing
Testing Implications of Data Dependencies (DM, AOM, YS), p. 152.
VLDBVLDB-1979-HouselWY #database #design #functional #logic
The Functional Dependency Model for Logical Database Design (BCH, VEW, SBY), pp. 194–208.
VLDBVLDB-1979-Lien #database #multi #null #relational
Multivalued Dependencies with Null Values in Relational Data Bases (YEL), pp. 61–66.
VLDBVLDB-1979-MendelzonM #composition #database
Generalized Mutual Dependencies and the Decomposition of Database Relations (AOM, DM), pp. 75–82.
VLDBVLDB-1979-ParkerD #algorithm #multi
Algorithmic Applications for a new Result on Multivalued Dependencies (DSPJ, CD), pp. 67–74.
SIGMODSIGMOD-1978-Nicolas #first-order #formal method #functional #logic #multi
First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies (JMN), pp. 40–46.
VLDBVLDB-1978-Nicolas
Mutual Dependencies and Some Results on Undecomposable Relations (JMN), pp. 360–367.
SIGMODSIGMOD-1977-BeeriFH #axiom #database #functional #multi
A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations (CB, RF, JHH), pp. 47–61.
SIGMODSIGMOD-1975-BernsteinST #approach #functional
A Unified Approach to Functional Dependencies and Relations (PAB, JRS, DT), pp. 237–245.
SOSPSOSP-1971-Baskett #scheduling
The Dependence of Computer System Queues upon Processing Time Distribution and Central Processor Scheduling (FB), pp. 109–113.

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.