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