Stem depend$ (all stems)

1178 papers:

QoSA-2015-HofigZS #automation #dependence #using

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

CASE-2015-GuoD #bottom-up #coordination #multi

Bottom-up motion and task coordination for loosely-coupled multi-agent systems with dependent local tasks (MG, DVD), pp. 348–355.

CASE-2015-HillmannS #dependence #distributed #linear

Decentralized control of distributed discrete event systems with linear dependency structure (CH, OS), pp. 551–557.

CASE-2015-Kruif #maintenance #optimisation #sequence

Wet-etch sequence optimisation incorporating time dependent chemical maintenance (BJdK), pp. 1389–1394.

DAC-2015-OuTLWC

Layout-dependent-effects-aware analytical analog placement (HCO, KHT, JYL, IPW, YWC), p. 6.

DAC-2015-YangTJ #analysis

Criticality-dependency-aware timing characterization and analysis (YMY, KHT, IHRJ), p. 6.

DATE-2015-FeldS #analysis #dependence

Sufficient response time analysis considering dependencies between rate-dependent tasks (TF, FS), pp. 519–524.

DATE-2015-KhanhSKA #dependence #design #synthesis

Exploiting loop-array dependencies to accelerate the design space exploration with high level synthesis (PNK, AKS, AK, KMMA), pp. 157–162.

PODS-2015-GottlobPS #dependence

Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (GG, RP, ES), pp. 65–77.

PODS-2015-HuQT15a #dependence #testing

Join Dependency Testing, Loomis-Whitney Join, and Triangle Enumeration (XH, MQ, YT), pp. 291–301.

SIGMOD-2015-YuSC #dependence #distributed #matrix #performance

Exploiting Matrix Dependency for Efficient Distributed Matrix Computation (LY, YS, BC), pp. 93–105.

VLDB-2015-DyresonBG #dependence #query

Virtual eXist-db: Liberating Hierarchical Queries from the Shackles of Access Path Dependence (CED, SSB, RG), pp. 1932–1943.

VLDB-2015-PapenbrockEMNRZ #algorithm #dependence #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 #dependence

Divide & Conquer-based Inclusion Dependency Discovery (TP, SK, JAQR, FN), pp. 774–785.

FASE-2015-BornAHT #dependence #rule-based

Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (KB, TA, FH, GT), pp. 165–168.

FASE-2015-FedyukovichDHS #bound #dependence #detection #model checking

Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.

FoSSaCS-2015-BagnolDS #dependence #logic #on the

On the Dependencies of Logical Rules (MB, AD, AS), pp. 436–450.

SCAM-J-2013-BeszedesSCGJG15 #clustering #dependence #empirical

Empirical investigation of SEA-based dependence cluster properties (ÁB, LS, BC, TG, JJ, TG), pp. 3–25.

ICSME-2015-BinkleyBIJV #clustering #dependence

Uncovering dependence clusters and linchpin functions (DB, ÁB, SSI, JJ, BV), pp. 141–150.

SANER-2015-CaiS #dependence #effectiveness #framework #impact analysis

A framework for cost-effective dependence-based dynamic impact analysis (HC, RAS), pp. 231–240.

SANER-2015-CaiS15a #analysis #dependence #fine-grained #named

TRACERJD: Generic trace-based dynamic dependence analysis with fine-grained logging (HC, RAS), pp. 489–493.

SANER-2015-OyetoyanFDJ #dependence #empirical

Circular dependencies and change-proneness: An empirical study (TDO, JRF, JD, KJ), pp. 241–250.

SCAM-2015-BrandtnerLG #dependence #integration #source code #testing

Intent, tests, and release dependencies: Pragmatic recipes for source code integration (MB, PL, HCG), pp. 11–20.

PEPM-2015-BinsbergenBD #attribute grammar #automation #dependence #order

Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection (LTvB, JB, AD), pp. 49–60.

PLDI-2015-FaddegonC #algorithm #debugging #dependence #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 #dependence #graph #security

Exploring and enforcing security guarantees via program dependence graphs (AJ, LW, SM, SC), pp. 291–302.

PLDI-2015-WeijiangBLK #analysis #dependence

Tree dependence analysis (YW, SB, JL, MK), pp. 314–325.

STOC-2015-AndoniR #approximate

Optimal Data-Dependent Hashing for Approximate Near Neighbors (AA, IR), pp. 793–801.

ICALP-v2-2015-AbramskyJV #dependent type #game studies

Games for Dependent Types (SA, RJ, MV), pp. 31–43.

CHI-2015-FourneyWH

Exploring Time-Dependent Concerns about Pregnancy and Childbirth from Search Logs (AF, RWW, EH), pp. 737–746.

CHI-2015-MelvinBON #communication #dependence #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 #dependence #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.

CSCW-2015-TangCSR #deployment #framework #volunteer

Restructuring Human Infrastructure: The Impact of EHR Deployment in a Volunteer-Dependent Clinic (CT, YC, BCS, JAR), pp. 649–661.

DHM-HM-2015-IkenoboWSG #difference #how

Differences in How Long an Ikebana Work Lasts Depending on the Skill Used in Cutting Floral Materials (YI, ZW, YS, AG), pp. 74–82.

ICEIS-v1-2015-SilvaBZ

Indirect Normative Conflict — Conflict that Depends on the Application Domain (VTdS, CB, JdOZ), pp. 452–461.

ICEIS-v2-2015-ThommazoCHGPBF #complexity #dependence #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.

ECIR-2015-CanneytCD #classification #sentiment #topic #twitter

Topic-Dependent Sentiment Classification on Twitter (SVC, NC, BD), pp. 441–446.

ICML-2015-AvronH #community #detection #personalisation #rank #using

Community Detection Using Time-Dependent Personalized PageRank (HA, LH), pp. 1795–1803.

ICML-2015-BounliphoneGTB #consistency #dependence

A low variance consistent test of relative dependency (WB, AG, AT, MBB), pp. 20–29.

ICML-2015-HuHDX #distributed #parametricity #scalability

Large-scale Distributed Dependent Nonparametric Trees (ZH, QH, AD, EPX), pp. 1651–1659.

ICML-2015-KuklianskyS #linear #performance

Attribute Efficient Linear Regression with Distribution-Dependent Sampling (DK, OS), pp. 153–161.

ICML-2015-RalaivolaA

Entropy-Based Concentration Inequalities for Dependent Variables (LR, MRA), pp. 2436–2444.

ICML-2015-WangLWC #metadata #process

Metadata Dependent Mondrian Processes (YW, BL, YW, FC), pp. 1339–1347.

ICML-2015-Yang0JZ #bound #fault #set

An Explicit Sampling Dependent Spectral Error Bound for Column Subset Selection (TY, LZ, RJ, SZ), pp. 135–143.

RecSys-2015-MouliC #dependence #feedback #modelling

Making the Most of Preference Feedback by Modeling Feature Dependencies (SCM, SC), pp. 285–288.

SEKE-2015-BarchetSF #analysis #collaboration #dependence #risk management

Analysis of Risk Dependencies in Collaborative Risk Management (CB, LAdLS, LMF), pp. 314–319.

SEKE-2015-Martoglia #information management #named #semantics

AMBIT: Semantic Engine Foundations for Knowledge Management in Context-dependent Applications (RM), pp. 146–151.

SIGIR-2015-EickhoffVH #dependence #modelling

Modelling Term Dependence with Copulas (CE, APdV, TH), pp. 783–786.

SIGIR-2015-LiomaSLH #dependence #information retrieval

Non-Compositional Term Dependence for Information Retrieval (CL, JGS, BL, NDH), pp. 595–604.

SIGIR-2015-WangSWZSLL #cumulative #recommendation

An Entity Class-Dependent Discriminative Mixture Model for Cumulative Citation Recommendation (JW, DS, QW, ZZ, LS, LL, CYL), pp. 635–644.

SIGIR-2015-ZhiltsovKN #ad hoc #dependence #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 #dependence #incremental

A sound and optimal incremental build system with dynamic dependencies (SE, ML, MW), pp. 89–106.

QAPL-2015-KawamotoG #data flow

Quantitative Information Flow for Scheduler-Dependent Systems (YK, TGW), pp. 48–62.

POPL-2015-KrishnaswamiPB #dependent type #linear

Integrating Linear and Dependent Types (NRK, PP, NB), pp. 17–30.

POPL-2015-LourencoC #data flow

Dependent Information Flow Types (LL, LC), pp. 317–328.

POPL-2015-TangWZXZM #analysis #data flow

Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks (HT, XW, LZ, BX, LZ, HM), pp. 83–95.

SAC-2015-Brefeld #learning #multi

Multi-view learning with dependent views (UB), pp. 865–870.

SAC-2015-Grossl #modelling #network

Modeling dependable systems with continuous time Bayesian networks (MG), pp. 436–441.

ESEC-FSE-2015-BellKMD #dependence #detection #java #performance

Efficient dependency detection for safe Java test acceleration (JB, GEK, EM, MD), pp. 770–781.

ESEC-FSE-2015-Konopka #dependence #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 #dependence

Measuring Dependency Freshness in Software Systems (JC, EB, MCJDvE, JV), pp. 109–118.

ICSE-v2-2015-LutellierCGTRMK #architecture #dependence #using

Comparing Software Architecture Recovery Techniques Using Accurate Dependencies (TL, DC, JG, LT, DR, NM, RK), pp. 69–78.

SLE-2015-KuehnBGA #formal method #relational

A combined formal model for relational context-dependent roles (TK, SB, SG, UA), pp. 113–124.

ASPLOS-2015-HassaanNP #dependence #graph

Kinetic Dependence Graphs (MAH, DDN, KP), pp. 457–471.

CADE-2015-IborraNVY #dependence #problem #termination

Reducing Relative Termination to Dependency Pair Problems (JI, NN, GV, AY), pp. 163–178.

CADE-2015-SatoW #dependence #encoding

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (HS, SW), pp. 152–162.

CSL-2015-SanoV #axiom #dependence #logic

Axiomatizing Propositional Dependence Logics (KS, JV), pp. 292–307.

ICST-2015-ArltMPW #dependence #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 #dependence #testing

Practical regression test selection with dynamic file dependencies (MG, LE, DM), pp. 211–222.

ISSTA-2015-GyoriSHM #dependence #detection #reliability #testing

Reliable testing: detecting state-polluting tests to prevent test dependency (AG, AS, FH, DM), pp. 223–233.

TLCA-2015-FairweatherFST #dependent type

Dependent Types for Nominal Terms with Atom Substitutions (EF, MF, NS, AT), pp. 180–195.

TLCA-2015-JouannaudL #termination

Termination of Dependently Typed Rewrite Rules (JPJ, JL), pp. 257–272.

VMCAI-2015-ZhuNJ #array #testing #type inference

Dependent Array Type Inference from Tests (HZ, AVN, SJ), pp. 412–430.

QoSA-2014-JohnsenLPH #dependence #graph #modelling #slicing #verification

Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.

ASE-2014-ArcuriFG #automation #dependence #generative #testing

Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.

ASE-2014-CaiS #dependence #impact analysis #named #precise #using

Diver: precise dynamic impact analysis using dependence-based trace pruning (HC, RAS), pp. 343–348.

CASE-2014-ChuKS #dependence #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 #dependence #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.

CASE-2014-ZhangHSL #coordination

Inventory hedging and coordination under inventory-level-dependent demand (TZ, GQH, YS, SL), pp. 658–664.

DAC-2014-HenkelBZRS #architecture #dependence #multi

Multi-Layer Dependability: From Microarchitecture to Application Level (JH, LB, HZ, SR, MS), p. 6.

DAC-2014-RehmanKSSH #adaptation #code generation #dependence #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 #dependence #detection #energy

Reducing set-associative L1 data cache energy by early load data dependence detection (ELD3) (AB, MS, DBW, PLE), pp. 1–4.

DATE-2014-MunirK #automation #design #named

D2Cyber: A design automation tool for dependable cybercars (AM, FK), pp. 1–4.

PODS-2014-KolaitisPSS #dependence #reasoning

Nested dependencies: structure and reasoning (PGK, RP, ES, VS), pp. 176–187.

SIGMOD-2014-WangT #program repair #towards

Towards dependable data repairing with fixing rules (JW, NT), pp. 457–468.

VLDB-2014-DeutchMT #analysis #framework #process

A Provenance Framework for Data-Dependent Process Analysis (DD, YM, VT), pp. 457–468.

VLDB-2014-YangGYL #constraints #graph

Finding the Cost-Optimal Path with Time Constraint over Time-Dependent Graphs (YY, HG, JXY, JL), pp. 673–684.

CSEET-2014-Steppe #analysis #dependence #design #education #graph #using

Teaching analysis of software designs using dependency graphs (KS), pp. 65–73.

ESOP-2014-KothaACESB #bound #parallel #runtime

Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries (AK, KA, TC, KE, MS, RB), pp. 554–574.

WRLA-2014-LucasM14a #2d #dependence #proving #termination

2D Dependency Pairs for Proving Operational Termination of CTRSs (SL, JM), pp. 195–212.

CSMR-WCRE-2014-OyetoyanCC #component #dependence #evolution #fault

Transition and defect patterns of components in dependency cycles during software evolution (TDO, DSC, RC), pp. 283–292.

ICSME-2014-KlattKS #analysis #dependence

Program Dependency Analysis for Consolidating Customized Product Copies (BK, KK, CS), pp. 496–500.

MSR-2014-BloemenAKO #analysis #database #dependence #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 #dependence

Gentoo package dependencies over time (RB, CA, SK, GOM), pp. 404–407.

ICALP-v1-2014-HohnMW #cost analysis #how #scheduling

How Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions (WH, JM, AW), pp. 625–636.

ICALP-v1-2014-KontogiannisZ #distance #network

Distance Oracles for Time-Dependent Networks (SCK, CDZ), pp. 713–725.

IFM-2014-KordyPS #framework #probability #security

A Probabilistic Framework for Security Scenarios with Dependent Actions (BK, MP, PS), pp. 256–271.

ICFP-2014-PetricekOM #calculus #named

Coeffects: a calculus of context-dependent computation (TP, DAO, AM), pp. 123–135.

ICFP-2014-Weirich

Depending on types (SW), p. 241.

CHI-2014-LaseckiWFB #dependence #using

Finding dependencies between actions using the crowd (WSL, LW, GF, JPB), pp. 3095–3098.

CHI-2014-MeurerSRRW #dependence #mobile #social

Social dependency and mobile autonomy: supporting older adults’ mobility with ridesharing ict (JM, MS, DR, MR, VW), pp. 1923–1932.

CHI-2014-SuAL

The implicit fan cursor: a velocity dependent area cursor (XS, OKCA, RWHL), pp. 753–762.

DUXU-DI-2014-HesseyCW #gesture #multi #user interface

Beyond Fingers and Thumbs — A Graceful Touch UI — Elegant Multi-touch and Gesture UI with Context Dependent Prompting (SH, SHC, CW), pp. 562–573.

HIMI-AS-2014-KhaoulaOSO #concept

Concepts and Applications of Human-Dependent Robots (YK, NO, PRSDS, MO), pp. 435–444.

HIMI-DE-2014-HoriguchiASN #dependence #generative

Menu Hierarchy Generation Based on Syntactic Dependency Structures in Item Descriptions (YH, SA, TS, HN), pp. 157–166.

LCT-TRE-2014-BraunhoferEGR #learning #mobile #recommendation

Context Dependent Preference Acquisition with Personality-Based Active Learning in Mobile Recommender Systems (MB, ME, MG, FR), pp. 105–116.

SCSM-2014-Scheiner #dependence #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 #dependence #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 #dependence #named #visualisation

Polyptychon: A Hierarchically-Constrained Classified Dependencies Visualization (DTD, EW, KS, MS, PL), pp. 83–86.

VISSOFT-2014-KulaRGII #dependence #evolution #library #visualisation

Visualizing the Evolution of Systems and Their Library Dependencies (RGK, CDR, DMG, TI, KI), pp. 127–136.

EDOC-2014-KurodaG #dependence #modelling #scalability

Model-Based IT Change Management for Large System Definitions with State-Related Dependencies (TK, ASG), pp. 170–179.

CIKM-2014-AbedjanSN #dependence #functional #named #performance

DFD: Efficient Functional Dependency Discovery (ZA, PS, FN), pp. 949–958.

CIKM-2014-DeveaudAMO #learning #on the #rank

On the Importance of Venue-Dependent Features for Learning to Rank Contextual Suggestions (RD, MDA, CM, IO), pp. 1827–1830.

CIKM-2014-HustonC #comparison #dependence #modelling #retrieval #using

A Comparison of Retrieval Models using Term Dependencies (SH, WBC), pp. 111–120.

ECIR-2014-VoskaridesOTWR #streaming

Query-Dependent Contextualization of Streaming Data (NV, DO, MT, WW, MdR), pp. 706–712.

ICML-c1-2014-InouyeRD #dependence #topic #word

Admixture of Poisson MRFs: A Topic Model with Word Dependencies (DI, PDR, ISD), pp. 683–691.

ICML-c1-2014-KhaleghiR #consistency #estimation

Asymptotically consistent estimation of the number of change points in highly dependent time series (AK, DR), pp. 539–547.

ICML-c1-2014-LiWLZT #dependence #modelling #on the #topic

On Modelling Non-linear Topical Dependencies (ZL, SW, JL, PZ, JT), pp. 458–466.

ICML-c2-2014-BartunovV #distance #process

Variational Inference for Sequential Distance Dependent Chinese Restaurant Process (SB, DV), pp. 1404–1412.

ICML-c2-2014-LiuZBP #dependence #modelling #multi #testing #visual notation

Multiple Testing under Dependence via Semiparametric Graphical Models (JL, CZ, ESB, DP), pp. 955–963.

ICPR-2014-CosmoABT #design #evaluation

Design and Evaluation of a Viewer-Dependent Stereoscopic Display (LC, AA, FB, AT), pp. 2861–2866.

ICPR-2014-JenzriFG #robust

Robust Context Dependent Spectral Unmixing (HJ, HF, PDG), pp. 643–647.

ICPR-2014-Sahbi #image #kernel

Network-Dependent Image Annotation Based on Explicit Context-Dependent Kernel Maps (HS), pp. 625–630.

ICPR-2014-TaxSRM #performance #type system

The Effect of Aggregating Subtype Performances Depends Strongly on the Performance Measure Used (DMJT, HMJS, MJTR, PDM), pp. 3720–3725.

KDD-2014-ChengB0 #approach #dependence #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 #dependence #ranking

Exploiting geographic dependencies for real estate appraisal: a mutual perspective of ranking and clustering (YF, HX, YG, ZY, YZ, ZHZ), pp. 1047–1056.

KMIS-2014-ZochollA #modelling #nondeterminism #ontology #parametricity #representation

Ontology-based Representation of Time Dependent Uncertainty Information for Parametric Product Data Models (MZ, RA), pp. 400–404.

KR-2014-OveisiDPP #dependence

Belief Change and Base Dependence (MO, JPD, FJP, FP).

RecSys-2014-TrevisiolASJ #graph #recommendation

Cold-start news recommendation with domain-dependent browse graph (MT, LMA, RS, AJ), pp. 81–88.

SIGIR-2014-ChenGLH #topic #twitter

Inferring topic-dependent influence roles of Twitter users (CC, DG, WL, YH), pp. 1203–1206.

SIGIR-2014-CostaCS #learning #modelling #ranking

Learning temporal-dependent ranking models (MC, FMC, MJS), pp. 757–766.

SIGIR-2014-PetriMC #hybrid

Score-safe term-dependency processing with hybrid indexes (MP, AM, JSC), pp. 899–902.

BX-2014-GrohneLV #bidirectional #dependent type #formal method #semantics

Formalizing Semantic Bidirectionalization with Dependent Types (HG, AL, JV), pp. 75–81.

OOPSLA-2014-AminRO #dependent type

Foundations of path-dependent types (NA, TR, MO), pp. 233–249.

PPDP-J-2012-LagoP14 #call-by #dependent type #linear

Linear dependent types in a call-by-value scenario (UDL, BP), pp. 77–100.

LOPSTR-2014-LucasMG #2d #dependence #framework #term rewriting

Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems (SL, JM, RG), pp. 113–130.

PPDP-2014-FerreiraP #bidirectional #source code

Bidirectional Elaboration of Dependently Typed Programs (FF, BP), pp. 161–174.

POPL-2014-AtkeyGJ #dependent type #parametricity #type system

A relationally parametric model of dependent type theory (RA, NG, PJ), pp. 503–516.

POPL-2014-CasinghinoSW #proving #source code

Combining proofs and programs in a dependently typed language (CC, VS, SW), pp. 33–46.

FSE-2014-Bell #dependence #detection #testing

Detecting, isolating, and enforcing dependencies among and within test cases (JB), pp. 799–802.

SPLC-2014-AngererPLGG #dependence #graph #identification #product line

Identifying inactive code in product lines with configuration-aware system dependence graphs (FA, HP, DL, AG, PG), pp. 52–61.

HPCA-2014-PariharH #approach #dependence #metaheuristic

Accelerating decoupled look-ahead via weak dependence removal: A metaheuristic approach (RP, MCH), pp. 662–677.

ICST-2014-SchwarzlB #test coverage

Model Dependent Test Coverage Variabilities (CS, HB), pp. 253–262.

ISSTA-2014-XiaoBIMGC #analysis #dependence #effectiveness #type system

ARC++: effective typestate and lifetime dependency analysis (XX, GB, FI, NM, AG, DC), pp. 116–126.

RTA-TLCA-2014-FuS #encoding

Self Types for Dependently Typed λ Encodings (PF, AS), pp. 224–239.

SAT-2014-SlivovskyS #dependence

Variable Dependencies and Q-Resolution (FS, SS), pp. 269–284.

VMCAI-2014-SchwarzSVA #analysis #precise #source code

Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs (MDS, HS, VV, KA), pp. 21–38.

ASE-2013-NguyenT #automation #classification #combinator #dependence #testing

Automated inference of classifications and dependencies for combinatorial testing (DCN, PT), pp. 622–627.

ASE-2013-PalepuXJ #dependence #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 #dependence #using

Automatically partition software into least privilege components using dynamic data dependency analysis (YW, JS, YL, JSD), pp. 323–333.

ASE-2013-XuYMCL #adaptation #dependence #self #towards

Environment rematching: Toward dependability improvement for self-adaptive applications (CX, WY, XM, CC, JL), pp. 592–597.

CASE-2013-LiFZS #adaptation #named #performance #smarttech

DEPEND: Density adaptive power efficient neighbor discovery for wearable body sensors (BL, WF, LZ, CJS), pp. 581–586.

CASE-2013-TranH #self

Self-recovery control for dependable systems (TT, QPH), pp. 45–50.

DAC-2013-AlleMD #analysis #dependence #pipes and filters #runtime #synthesis

Runtime dependency analysis for loop pipelining in high-level synthesis (MA, AM, SD), p. 10.

DATE-2013-FirouziKTN #analysis #runtime

Incorporating the impacts of workload-dependent runtime variations into timing analysis (FF, SK, MBT, SRN), pp. 1022–1025.

VLDB-2013-SzlichtaGGZ #complexity #dependence #order

Expressiveness and Complexity of Order Dependencies (JS, PG, JG, CZ), pp. 1858–1869.

CSMR-2013-ForsterKKB #component #dependence

Recovering Component Dependencies Hidden by Frameworks-Experiences from Analyzing OSGi and Qt (TF, TK, JK, MCB), pp. 295–304.

CSMR-2013-PolychniatisHJBV #dependence #detection

Detecting Cross-Language Dependencies Generically (TP, JH, SJ, EB, JV), pp. 349–352.

ICPC-2013-PruijtKB #analysis #architecture #dependence #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-BavotaCPOP13a #ecosystem #evolution

The Evolution of Project Inter-dependencies in a Software Ecosystem: The Case of Apache (GB, GC, MDP, RO, SP), pp. 280–289.

ICSM-2013-MullerF #dependence

Stakeholders’ Information Needs for Artifacts and Their Dependencies in a Real World Context (SCM, TF), pp. 290–299.

ICSM-2013-OyetoyanCC #component #question #refactoring

Can Refactoring Cyclic Dependent Components Reduce Defect-Proneness? (TDO, DSC, RC), pp. 420–423.

ICSM-2013-ShahDM #automation #java #on the #refactoring

On the Automation of Dependency-Breaking Refactorings in Java (SMAS, JD, CM), pp. 160–169.

MSR-2013-RaemaekersDV #dataset #dependence #metric #repository

The maven repository dataset of metrics, changes, and dependencies (SR, AvD, JV), pp. 221–224.

SCAM-2013-BeszedesSCGJG #clustering #dependence #empirical

Empirical investigation of SEA-based dependence cluster properties (ÁB, LS, BC, TG, JJ, TG), pp. 1–10.

SCAM-2013-OyetoyanCC #component #fault

Criticality of defects in cyclic dependent components (TDO, RC, DSC), pp. 21–30.

WCRE-2013-JaafarGHK #anti #dependence #mining

Mining the relationship between anti-patterns dependencies and fault-proneness (FJ, YGG, SH, FK), pp. 351–360.

WCRE-2013-SalesTMV #dependence #recommendation #refactoring #set #using

Recommending Move Method refactorings using dependency sets (VS, RT, LFM, MTV), pp. 232–241.

WCRE-2013-SutiiRS #dependence #detection #enterprise #java

Detecting dependencies in Enterprise JavaBeans with SQuAVisiT (AS, SAR, AS), pp. 485–486.

PLDI-2013-JohnsonOZA #dependence #graph #performance

Fast condensation of the program dependence graph (NPJ, TO, AZ, DIA), pp. 39–50.

ICALP-v2-2013-PetricekOM #named #static analysis

Coeffects: Unified Static Analysis of Context-Dependence (TP, DAO, AM), pp. 385–397.

CEFP-2013-Brady #dependent type #domain-specific language #embedded #implementation #programming language

The Idris Programming Language — Implementing Embedded Domain Specific Languages with Dependent Types (EB), pp. 115–186.

ICFP-2013-Brady #algebra #dependent type #programming #reasoning

Programming and reasoning with algebraic effects and dependent types (EB), pp. 133–144.

ICFP-2013-Norell #dependent type #interactive #programming

Interactive programming with dependent types (UN), pp. 1–2.

IFL-2013-FowlerB #dependent type #programming #web

Dependent Types for Safe and Secure Web Programming (SF, EB), p. 49.

CHI-2013-SenJHBC

When the price is right: enabling time-dependent pricing of broadband data (SS, CJW, SH, JB, MC), pp. 2477–2486.

CSCW-2013-AgustinaS #3d #collaboration #design #detection #realtime

Dependency-conflict detection in real-time collaborative 3D design systems (A, CS), pp. 715–728.

CSCW-2013-BurtMB #network

Path dependent network advantage (RSB, JLM, JGB), pp. 1–2.

DHM-HB-2013-RichterZF #dependence

Temporal Dependence of Trapezius Muscle Activation during Sustained Eye-Lens Accommodation at Near (HOR, CZ, MF), pp. 269–275.

DUXU-WM-2013-LeeMR #re-engineering

A Dependency-Sharing Tool for Global Software Engineering (DL, AEM, DR), pp. 37–46.

HCI-IMT-2013-OkuuchiKKK #modelling #source code

Modeling Situation-Dependent Nonverbal Expressions for a Pair of Embodied Agent in a Dialogue Based on Conversations in TV Programs (KO, KK, TK, DK), pp. 340–347.

CAiSE-2013-ZdravkovicSHG #modelling

Modeling Business Capabilities and Context Dependent Delivery by Cloud Services (JZ, JS, MH, JG), pp. 369–383.

ICEIS-v2-2013-MarynowskiPWM #dependence #pipes and filters #testing

Dependability Testing of MapReduce Systems (JEM, ARP, TSW, AJM), pp. 165–172.

ICEIS-v3-2013-PanTG #approach #dependence #modelling #ontology #process

Artefact-oriented Business Process Modelling — An Ontological Dependency Approach (YCP, YT, SRG), pp. 223–230.

CIKM-2013-AyadiTDJH #correlation #image #modelling #query #retrieval #using

Correlating medical-dependent query features with image retrieval models using association rules (HA, MT, MD, MBJ, JXH), pp. 299–308.

CIKM-2013-IdaNM #independence #online #topic

Domain-dependent/independent topic switching model for online reviews with numerical ratings (YI, TN, TM), pp. 229–238.

CIKM-2013-MorishimaYTSK #dependence #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 #dependence #recognition #using

Using WordNet Hypernyms and Dependency Features for Phrasal-Level Event Recognition and Type Classification (YJ, SHM), pp. 267–278.

ECIR-2013-MiyanishiSU #microblog #topic

Combining Recency and Topic-Dependent Temporal Variation for Microblog Search (TM, KS, KU), pp. 331–343.

ICML-c1-2013-HanL13a #analysis #component

Principal Component Analysis on non-Gaussian Dependent Data (FH, HL), pp. 240–248.

ICML-c2-2013-Lopez-PazHG #dependence #multi #process

Gaussian Process Vine Copulas for Multivariate Dependence (DLP, JMHL, ZG), pp. 10–18.

ICML-c3-2013-ChenRBT #metric #normalisation #random

Dependent Normalized Random Measures (CC, VR, WLB, YWT), pp. 969–977.

ICML-c3-2013-DingRIS #random #topic

Topic Discovery through Data Dependent and Random Projections (WD, MHR, PI, VS), pp. 1202–1210.

ICML-c3-2013-ReddiP #dependence #invariant #metric

Scale Invariant Conditional Dependence Measures (SJR, BP), pp. 1355–1363.

KDD-2013-BakshyE #evaluation #nondeterminism #online

Uncertainty in online experiments with dependent data: an evaluation of bootstrap methods (EB, DE), pp. 1303–1311.

KDD-2013-GopalY #classification #dependence #recursion #scalability #visual notation

Recursive regularization for large-scale classification with hierarchical and graphical dependencies (SG, YY), pp. 257–265.

KDD-2013-RistanoskiLB

A time-dependent enhanced support vector machine for time series regression (GR, WL, JB), pp. 946–954.

KDD-2013-RobardetSPF #dependence

When TEDDY meets GrizzLY: temporal dependency discovery for triggering road deicing operations (CR, VMS, MP, AF), pp. 1490–1493.

SIGIR-2013-SordoniNB #dependence #information retrieval #modelling #quantum

Modeling term dependencies with quantum language models for IR (AS, JYN, YB), pp. 653–662.

OOPSLA-2013-BondKCZSBSH #dependence #named #thread

OCTET: capturing and controlling cross-thread dependences efficiently (MDB, MK, MC, MZ, MFS, SB, AS, JH), pp. 693–712.

OOPSLA-2013-ChongDKKQ #abstraction #analysis #gpu #invariant #kernel

Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels (NC, AFD, PHJK, JK, SQ), pp. 605–622.

PPDP-2013-StewartBN #data flow #data type #dependent type #policy #semistructured data

Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures (GS, AB, AN), pp. 145–156.

QAPL-2013-Tranquilli

Indexed Labels for Loop Iteration Dependent Costs (PT), pp. 19–33.

PADL-2013-Jeffrey #html #web

Dependently Typed Web Client Applications — FRP in Agda in HTML5 (AJ), pp. 228–243.

POPL-2013-GaboardiHHNP #dependent type #difference #linear #privacy

Linear dependent types for differential privacy (MG, AH, JH, AN, BCP), pp. 357–370.

RE-2013-VogelsanagF #challenge #dependence #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 #dependence #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.

SAC-2013-MehtaRCN #approach #dependence #using

Selecting among alternatives using dependencies: an NFR approach (RM, TRL, LC, MN), pp. 1292–1297.

SAC-2013-WaflerH #analysis #approach #dependence #grid #modelling #smarttech

A combined structural and dynamic modelling approach for dependability analysis in smart grid (JW, PEH), pp. 660–665.

ESEC-FSE-2013-BlincoeVD #coordination #dependence #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.

ASPLOS-2013-JafriVV #dependence #named #performance

Wait-n-GoTM: improving HTM performance by serializing cyclic dependencies (SARJ, GV, TNV), pp. 521–534.

CGO-2013-AnantpurG #dependence #execution #runtime

Runtime dependence computation and execution of loops on heterogeneous systems (JA, RG), p. 10.

HPCA-2013-FarooqKJ #branch #compilation #predict

Store-Load-Branch (SLB) predictor: A compiler assisted branch prediction for data dependent branches (MUF, K, LKJ), pp. 59–70.

HPCA-2013-QianHSQ #dependence #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 #dependence

Team building in dependence (JCB), pp. 116–128.

ICLP-J-2013-CatB #dependence #detection #functional #generative

Detection and exploitation of functional dependencies for model generation (BdC, MB), pp. 471–485.

ICST-2013-ShuSHP #analysis #dependence #framework #named

JavaPDG: A New Platform for Program Dependence Analysis (GS, BS, TADH, AP), pp. 408–415.

ISSTA-2013-XiaoHZX #identification #performance

Context-sensitive delta inference for identifying workload-dependent performance bottlenecks (XX, SH, DZ, TX), pp. 90–100.

VMCAI-2013-ZhuJ #composition #dependent type #lightweight #ml #type inference

Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.

CBSE-2012-BrosigHK #architecture #dependence #modelling #online #parametricity #performance

Modeling parameter and context dependencies in online architecture-level performance models (FB, NH, SK), pp. 3–12.

WICSA-ECSA-2012-KezniklBPK #component #towards

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model (JK, TB, FP, MK), pp. 249–252.

CASE-2012-KimM #modelling #on the #probability #random #throughput

On the throughput of deterministic flow lines with random state dependent setups: Stochastic models and applications (WsK, JRM), pp. 650–655.

DAC-2012-ChangH #power management

Near-threshold operation for power-efficient computing?: it depends.. (LC, WH), pp. 1159–1163.

DAC-2012-HuangCTCK #design #generative #named #novel

Attackboard: a novel dependency-aware traffic generator for exploring NoC design space (YSCH, YCC, TCT, YYC, CTK), pp. 376–381.

DAC-2012-KoushanfarSS #challenge

EDA for secure and dependable cybercars: challenges and opportunities (FK, ARS, HS), pp. 220–228.

DATE-2012-SassoneCMMPGMBR #dependence #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.

DATE-2012-SchmutzlerSB #on the

On demand dependent deactivation of automotive ECUs (CS, MS, JB), pp. 69–74.

DRR-2012-Bianne-BernardMLMK #modelling #recognition #word

Variable length and context-dependent HMM letter form models for Arabic handwritten word recognition (ALBB, FM, LLS, CM, CK).

PODS-2012-Kimelfeld #complexity #dependence #functional

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

VLDB-2012-BaoDM #dependence #fine-grained #workflow

Labeling Workflow Views with Fine-Grained Dependencies (ZB, SBD, TM), pp. 1208–1219.

VLDB-2012-SzlichtaGG #dependence #order

Fundamentals of Order Dependencies (JS, PG, JG), pp. 1220–1231.

FASE-2012-SilvaTT #dependence #erlang #graph

System Dependence Graphs in Sequential Erlang (JS, ST, CT), pp. 486–500.

CSMR-2012-HeinemannBHH #api #recommendation

Identifier-Based Context-Dependent API Method Recommendation (LH, VB, MH, BH), pp. 31–40.

CSMR-2012-HottaHK #dependence #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 #dependence #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 #dependence #source code

Dependence communities in source code (JH, SD), pp. 579–582.

ICSM-2012-KobayashiKKYM #clustering #composition #dependence #using

Feature-gathering dependency-based software clustering using Dedication and Modularity (KK, MK, KK, KY, AM), pp. 462–471.

ICSM-2012-KuangMHGHJE #comprehension #dependence #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 #dependence

The build dependency perspective of Android’s concrete architecture (WH, DH, AH, KW), pp. 128–131.

SCAM-2012-GethersAP #concept #database #dependence #detection

Combining Conceptual and Domain-Based Couplings to Detect Database and Code Dependencies (MG, AA, DP), pp. 144–153.

SCAM-2012-LazarescuL #analysis #c #dependence #parallel #source code

Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs (MTL, LL), pp. 126–131.

SCAM-2012-SchrettnerJGBG #clustering #dependence #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.

STOC-2012-Censor-HillelHKM #dependence #performance

Global computation in a poorly connected world: fast rumor spreading with no dependence on conductance (KCH, BH, JAK, PM), pp. 961–970.

FLOPS-2012-Weirich #haskell #programming

Dependently-Typed Programming in GHC (SW), p. 3.

ICALP-v1-2012-CharikarL #approach #problem

A Dependent LP-Rounding Approach for the k-Median Problem (MC, SL), pp. 194–205.

LATA-2012-BilleS #dependence #performance #programming

Fast and Cache-Oblivious Dynamic Programming with Local Dependencies (PB, MS), pp. 131–142.

SEFM-2012-AyraultBDP #analysis #dependence #ml

ML Dependency Analysis for Assessors (PA, VB, CD, FP), pp. 278–292.

ICFP-2012-McBride #dependent type #programming

Agda-curious?: an exploration of programming with dependent types (CTM), pp. 1–2.

IFL-2012-IonescuJ #modelling #programming

Dependently-Typed Programming in Scientific Computing — Examples from Economic Modelling (CI, PJ), pp. 140–156.

CHI-2012-CockburnQGF #documentation

Improving scrolling devices with document length dependent gain (AC, PQ, CG, SF), pp. 267–276.

CSCW-2012-AgustinaSX #3d #collaboration #dependence #design #realtime

Operational transformation for dependency conflict resolution in real-time collaborative 3D design systems (A, CS, DX), pp. 1401–1410.

CIKM-2012-BauckmannALMN #dependence

Discovering conditional inclusion dependencies (JB, ZA, UL, HM, FN), pp. 2094–2098.

CIKM-2012-DangKT #query #web

Domain dependent query reformulation for web search (VD, GK, ADT), pp. 1045–1054.

CIKM-2012-KimC #approximate #composition #dependence #functional #performance

Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.

CIKM-2012-WeiFLC #canonical #dependence #using

Model the complex dependence structures of financial variables by using canonical vine (WW, XF, JL, LC), pp. 1382–1391.

ICML-2012-Boulanger-LewandowskiBV #dependence #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-ChenDB #metric #modelling #normalisation #random #topic

Dependent Hierarchical Normalized Random Measures for Dynamic Topic Modeling (CC, ND, WLB), p. 95.

ICML-2012-JalaliS #dependence #graph #learning

Learning the Dependence Graph of Time Series with Latent Factors (AJ, SS), p. 83.

ICML-2012-KimHS #metadata #parametricity #relational

The Nonparametric Metadata Dependent Relational Model (DIK, MCH, EBS), p. 183.

ICML-2012-PoczosGS #dependence #kernel #metric

Copula-based Kernel Dependency Measures (BP, ZG, JGS), p. 213.

ICML-2012-ReyR #clustering

Copula Mixture Model for Dependency-seeking Clustering (MR, VR), p. 40.

ICML-2012-YuSL #network #speech #using

Conversational Speech Transcription Using Context-Dependent Deep Neural Networks (DY, FS, GL), p. 1.

ICPR-2012-Filip

Restoring illumination and view dependent data from sparse samples (JF), pp. 1391–1394.

ICPR-2012-HuangLC #clustering #feature model #kernel #multi #self

Cluster-dependent feature selection by multiple kernel self-organizing map (KCH, YYL, JZC), pp. 589–592.

ICPR-2012-KawaiMHIY #identification #using

Person re-identification using view-dependent score-level fusion of gait and color features (RK, YM, CH, HI, YY), pp. 2694–2697.

ICPR-2012-WuW #classification #dependence

Term relevance dependency model for text classification (MSW, HMW), pp. 1064–1067.

ICPR-2012-ZhouWXZM12a #recognition #representation

Human action recognition by bagging data dependent representation (WZ, CW, BX, ZZ, LM), pp. 3120–3123.

KDD-2012-Plant #clustering #dependence #metric

Dependency clustering across measurement scales (CP), pp. 361–369.

KDD-2012-SchifanellaCCA #dependence #named #web

D-INDEX: a web environment for analyzing dependences among scientific collaborators (CS, LDC, MC, MAA), pp. 1520–1523.

KDD-2012-TangLS #dependence

Discovering lag intervals for temporal dependencies (LT, TL, LS), pp. 633–641.

KDD-2012-XiongJXC #dependence #learning #metric #random

Random forests for metric learning with implicit pairwise position dependence (CX, DMJ, RX, JJC), pp. 958–966.

KDIR-2012-Delmonte #dependence #information management #null

Predicate Argument Structures for Information Extraction from Dependency Representations — Null Elements are Missing (RD), pp. 463–474.

KR-2012-BahmaniBKL #declarative #dependence #set #source code

Declarative Entity Resolution via Matching Dependencies and Answer Set Programs (ZB, LEB, SK, LVSL).

SEKE-2012-MaZQQXY #analysis #dependence #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 #dependence #impact analysis #using

Reconfiguration of Robot Applications using Data Dependency and Impact Analysis (MES, TK, SK, SJ, MR), pp. 684–687.

SIGIR-2012-BenderskyC #dependence #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 #dependence #social

Dependency trigram model for social relation extraction from news articles (MC, HK, WBC), pp. 1047–1048.

SIGIR-2012-LimsopathamMMO #dependence

Exploiting term dependence while handling negation in medical search (NL, CM, RM, IO), pp. 1065–1066.

Onward-2012-BainomugishaVRCM #fresh look #programming

Interruptible context-dependent executions: a fresh look at programming context-aware applications (EB, JV, CDR, ALC, WDM), pp. 67–84.

OOPSLA-2012-ChughHJ #dependent type #javascript

Dependent types for JavaScript (RC, DH, RJ), pp. 587–606.

PPDP-2012-LagoP #call-by #dependent type #linear

Linear dependent types in a call-by-value scenario (UDL, BP), pp. 115–126.

POPL-2012-KammarP #algebra #optimisation

Algebraic foundations for effect-dependent optimisations (OK, GDP), pp. 349–360.

REFSQ-2012-WangLWZW #approach #dependence #impact analysis #simulation

A Simulation Approach for Impact Analysis of Requirement Volatility Considering Dependency Change (JW, JL, QW, HZ, HW), pp. 59–76.

SAC-2012-BaroBCNP #multi #scheduling

Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks (JB, FB, MC, EN, CP), pp. 1815–1820.

SAC-2012-BrandnerC #data flow #dependence #graph

Copy elimination on data dependence graphs (FB, QC), pp. 1916–1918.

SAC-2012-FanS #automation #collaboration #dependence #programming #realtime #semantics

Dependency-based automatic locking for semantic conflict prevention in real-time collaborative programming (HF, CS), pp. 737–742.

SAC-2012-InzingerSHLD #adaptation #optimisation #policy

Non-intrusive policy optimization for dependable and adaptive service-oriented systems (CI, BS, WH, PL, SD), pp. 504–510.

SAC-2012-OtaMSA #dependence #flexibility #functional #named

C-Mapping: a flexible XML-RDB mapping method based on functional and inclusion dependencies (SO, AM, NS, TA), pp. 834–839.

ICSE-2012-EsteveKNPY #analysis #correctness #dependence #performance #safety

Formal correctness, safety, dependability, and performance analysis of a satellite (MAE, JPK, VYN, BP, YY), pp. 1022–1031.

CGO-2012-VankaT #data flow #dependence #performance #profiling #using

Efficient and accurate data dependence profiling using software signatures (RV, JT), pp. 186–195.

PPoPP-2012-TzenakisPKPVN #analysis #dependence #named #parallel

BDDT: : block-level dynamic dependence analysis for deterministic task-based parallelism (GT, AP, JK, PP, HV, DSN), pp. 301–302.

ICST-2012-CaliebeHG #dependence #embedded #testing

Dependency-Based Test Case Selection and Prioritization in Embedded Systems (PC, TH, RG), pp. 731–735.

ICST-2012-DengJ #dependence #graph

Weighted System Dependence Graph (FD, JAJ), pp. 380–389.

ICST-2012-FrankeKWP #consistency #lifecycle #mobile #testing

Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.

ISSTA-2012-YuL #approach #data flow #dependence #named #parallel #profiling

Multi-slicing: a compiler-supported parallel approach to data dependence profiling (HY, ZL), pp. 23–33.

LICS-2012-Herbelin #logic #proving

A Constructive Proof of Dependent Choice, Compatible with Classical Logic (HH), pp. 365–374.

SAT-2012-SlivovskyS #dependence #linear

Computing Resolution-Path Dependencies in Linear Time , (FS, SS), pp. 58–71.

QoSA-ISARCS-2011-HofigD #analysis #execution

Failure-dependent execution time analysis (KH, DD), pp. 115–122.

WICSA-2011-BrownNOP #analysis #architecture #dependence #release planning

Analysis and Management of Architectural Dependencies in Iterative Release Planning (NB, RLN, IO, MP), pp. 103–112.

WICSA-2011-SavolainenMM #dependence #diagrams #industrial

Evaluating Simple Dependency Diagrams in Industry (JS, VM, TM), pp. 224–227.

ASE-2011-DengJ #dependence #fault

Inferred dependence coverage to support fault contextualization (FD, JAJ), pp. 512–515.

ASE-2011-WongC #dependence #probability

Generalizing evolutionary coupling with stochastic dependencies (SW, YC), pp. 293–302.

CASE-2011-FengZL #evaluation #multi #performance

Multi-product manufacturing systems with sequence-dependent setups: Performance evaluation and system properties (WF, LZ, JL), pp. 363–368.

DAC-2011-IqbalSH #dependence #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.

DATE-2011-BernardiGSB #fault #self #testing

Fault grading of software-based self-test procedures for dependable automotive applications (PB, MG, ES, OB), pp. 513–514.

DATE-2011-WangWT #approach #modelling #named #performance #scheduling #simulation

DOM: A Data-dependency-Oriented Modeling approach for efficient simulation of OS preemptive scheduling (PCW, MHW, RST), pp. 335–340.

ICDAR-2011-LouradourK #categorisation #documentation #feature model #image #performance

Sample-Dependent Feature Selection for Faster Document Image Categorization (JL, CK), pp. 309–313.

ICDAR-2011-NatarajanBPKSN #recognition

Baseline Dependent Percentile Features for Offline Arabic Handwriting Recognition (PN, DB, RP, MK, KS, PN), pp. 329–333.

ESOP-2011-JimM #parsing

A New Method for Dependent Parsing (TJ, YM), pp. 378–397.

FASE-2011-Anderson #dependence

The Dependability of Complex Socio-technical Systems (RJA), p. 1.

FASE-2011-KhanH #analysis #contract #dependence #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.

ICSM-2011-BouwersDV #architecture #dependence

Dependency profiles for software architecture evaluations (EB, AvD, JV), pp. 540–543.

WCRE-2011-AryaniPLMN #dependence #predict #question #using

Can We Predict Dependencies Using Domain information? (AA, FP, ML, ANM, ON), pp. 55–64.

WCRE-2011-DaviesRW #debugging #dependence #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 #dependence #graph #topic

Code Search via Topic-Enriched Dependence Graph Matching (SW, DL, LJ), pp. 119–123.

PLDI-2011-UdupaRT #dependence #named #parallel

ALTER: exploiting breakable dependences for parallelization (AU, KR, WT), pp. 480–491.

SFM-2011-BertolinoCGN #assessment #dependence #performance

Dependability and Performance Assessment of Dynamic CONNECTed Systems (AB, AC, FDG, NN), pp. 350–392.

ICFP-2011-SwamyCFSBY #dependent type #distributed #programming

Secure distributed programming with value-dependent types (NS, JC, CF, PYS, KB, JY), pp. 266–278.

VISSOFT-2011-DengDJ #dependence #information management #visualisation

Constellation visualization: Augmenting program dependence with dynamic information (FD, ND, JAJ), pp. 1–8.

VISSOFT-2011-LonnbergBM #concurrent #dependence #graph #source code #visualisation

Visualising concurrent programs with dynamic dependence graphs (JL, MBA, LM), pp. 1–4.

VISSOFT-2011-ReniersVT #dependence #metric #visual notation

Visual exploration of program structure, dependencies and metrics with SolidSX (DR, LV, ACT), pp. 1–4.

AdaEurope-2011-JohnsenL

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL (AJ, KL), pp. 103–117.

CAiSE-2011-RamdoyalH #constraints #database #dependence #elicitation

Interactively Eliciting Database Constraints and Dependencies (RR, JLH), pp. 184–198.

ICEIS-v3-2011-BrasilSFSC #multi #release planning #requirements

Multiobjective Software Release Planning with Dependent Requirements and Undefined Number of Releases (MMAB, TGNdS, FGdF, JTdS, MIC), pp. 97–107.

CIKM-2011-CroceMB #dependence #kernel #semantics

Semantic convolution kernels over dependency trees: smoothed partial tree kernel (DC, AM, RB), pp. 2013–2016.

CIKM-2011-KimO #dependence #process

Accounting for data dependencies within a hierarchical dirichlet process mixture model (DK, AHO), pp. 873–878.

CIKM-2011-ParkCS #dependence #information retrieval

A quasi-synchronous dependence model for information retrieval (JHP, WBC, DAS), pp. 17–26.

CIKM-2011-WangNSTC #clustering #dependence #documentation #graph #representation

Representing document as dependency graph for document clustering (YW, XN, JTS, YT, ZC), pp. 2177–2180.

ICML-2011-GeramifardDRRH #dependence #online

Online Discovery of Feature Dependencies (AG, FD, JR, NR, JPH), pp. 881–888.

ICML-2011-Scott #bound #classification

Surrogate losses and regret bounds for cost-sensitive classification with example-dependent costs (CS), pp. 153–160.

KDD-2011-HongDGT #multi #topic

A time-dependent topic model for multiple text streams (LH, BD, SG, KT), pp. 832–840.

KDIR-2011-BallesterosFDHG #analysis #dependence #using

Inferring the Scope of Speculation using Dependency Analysis (MB, VF, AD, JH, PG), pp. 256–261.

KEOD-2011-AhmedMB #approach #dependence #ontology

Existential Dependency Driven Approach for Extracting Views from Domain Ontology (SSA, MM, SMB), pp. 413–418.

SEKE-2011-BadriT #analysis #control flow #dependence #empirical #testing

Empirical Analysis for Investigating the Effect of Control Flow Dependencies on Testability of Classes (MB, FT), pp. 475–480.

OOPSLA-2011-KeLZBJD #dependence #parallel #programming #using

Safe parallel programming using dynamic dependence hints (CK, LL, CZ, TB, BJ, CD), pp. 243–258.

TOOLS-EUROPE-2011-RodriguezSV #dependence #execution #metamodelling #modelling

Metamodel Dependencies for Executable Models (CR, MES, JV), pp. 83–98.

TOOLS-EUROPE-2011-SchwarzLN #dependence #injection #named

Seuss: Better Class Responsibilities through Language-Based Dependency Injection (NS, ML, ON), pp. 276–289.

GPCE-2011-RibeiroQBTBS #dependence #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.

PPDP-2011-ToninhoCP #linear #type system

Dependent session types via intuitionistic linear type theory (BT, LC, FP), pp. 161–172.

SAC-2011-KimDB #dependence #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-LinC #query #towards

Towards communication-efficient private location dependent queries (KPL, MSC), pp. 433–438.

SAC-2011-SunLZTCW #dependence #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.

SAC-2011-ZellerWEK #adaptation #approach #distributed #embedded #self

An approach for providing dependable self-adaptation in distributed embedded systems (MZ, GW, DE, RK), pp. 236–237.

ESEC-FSE-2011-BaahPH #dependence #effectiveness #fault #locality

Mitigating the confounding effects of program dependences for effective fault localization (GKB, AP, MJH), pp. 146–156.

ICSE-2011-NearMKJ #analysis #dependence #evaluation #lightweight

A lightweight code analysis and its role in evaluation of a dependability case (JPN, AM, EK, DJ), pp. 31–40.

LCTES-2011-WangLLFBL #debugging #dependence #multi #network

Dependence-based multi-level tracing and replay for wireless sensor networks debugging (MW, ZL, FL, XF, SB, YHL), pp. 91–100.

CADE-2011-NoschinskiEG #analysis #complexity #dependence #framework #term rewriting

A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems (LN, FE, JG), pp. 422–438.

ICLP-2011-WangS

Minimizing the overheads of dependent {AND}-parallelism (PW, ZS), pp. 128–138.

ICLP-J-2011-BoneSS #automation #parallel

Estimating the overlap between dependent computations for automatic parallelization (PB, ZS, PS), pp. 575–591.

ICST-2011-ZimmermannNHPW #dependence #empirical

An Empirical Study on the Relation between Dependency Neighborhoods and Failures (TZ, NN, KH, RP, LW), pp. 347–356.

LICS-2011-KontinenKLV #complexity #dependence #logic

Complexity of Two-Variable Dependence Logic and IF-Logic (JK, AK, PL, JV), pp. 289–298.

LICS-2011-LagoG #dependent type #linear

Linear Dependent Types and Relative Completeness (UDL, MG), pp. 133–142.

RTA-2011-KopR #algebra #dependence #functional #higher-order

Higher Order Dependency Pairs for Algebraic Functional Systems (CK, FvR), pp. 203–218.

RTA-2011-MoserS #complexity #dependence #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 #dependence #higher-order #refinement

Refinement Types as Higher-Order Dependency Pairs (CR), pp. 299–312.

TLCA-2011-AbelP #dependent type #higher-order #unification

Higher-Order Dynamic Pattern Unification for Dependent Types and Records (AA, BP), pp. 10–26.

TLCA-2011-SvendsenBN #dependent type

Partiality, State and Dependent Types (KS, LB, AN), pp. 198–212.

CBSE-2010-JensonDG #component #dependence #empirical

An Empirical Study of the Component Dependency Resolution Search Space (GJ, JD, HWG), pp. 182–199.

ECSA-2010-Bahsoon #architecture #dependence #framework #requirements #self

A Framework for Dynamic Self-optimization of Power and Dependability Requirements in Green Cloud Architectures (RB), pp. 510–514.

ASE-2010-LunguRL #dependence #ecosystem

Recovering inter-project dependencies in software ecosystems (ML, RR, ML), pp. 309–312.

ASE-2010-TrezentosLO #dependence #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 #dependence #graph #query

Matching dependence-related queries in the system dependence graph (XW, DL, JC, LZ, HM, JXY), pp. 457–466.

CASE-2010-JingL #assembly #hybrid #scheduling

A MILP-based batch scheduling for two-stage hybrid flowshop with sequence-dependent setups in semiconductor assembly and test manufacturing (XJ, ZL), pp. 87–92.

DAC-2010-JoshiSTASB #modelling

Closed-form modeling of layout-dependent mechanical stress (VJ, VS, AT, KA, DS, DB), pp. 673–678.

DATE-2010-LongM10a #dependence #scheduling

Inversed Temperature Dependence aware clock skew scheduling for sequential circuits (JL, SOM), pp. 1657–1660.

DATE-2010-YangCTK #energy #realtime #scheduling

Energy-efficient real-time task scheduling with temperature-dependent leakage (CYY, JJC, LT, TWK), pp. 9–14.

DRR-2010-BianneKL #clustering #modelling #recognition #using #word

Context-dependent HMM modeling using tree-based clustering for the recognition of handwritten words (ALB, CK, LLS), pp. 1–10.

PODS-2010-HartmannL #dependence #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 #dependence #functional

Sampling the Repairs of Functional Dependency Violations under Hard Constraints (GB, IFI, LG), pp. 197–207.

VLDB-2010-MarnetteMP #dependence #functional #scalability

Scalable Data Exchange with Functional Dependencies (BM, GM, PP), pp. 105–116.

WRLA-2010-AlarconLM #dependence #framework

A Dependency Pair Framework for A OR C-Termination (BA, SL, JM), pp. 35–51.

WRLA-2010-GutierrezL #dependence #framework #proving #termination

Proving Termination in the Context-Sensitive Dependency Pair Framework (RG, SL), pp. 18–34.

CSMR-2010-NagyPGB #dependence #towards

Towards a Safe Method for Computing Dependencies in Database-Intensive Systems (CN, JP, TG, ÁB), pp. 166–175.

CSMR-2010-RoubtsovSB #composition #dependence #detection #injection #java #smell

Detecting Modularity “Smells” in Dependencies Injected with Java Annotations (SAR, AS, MvdB), pp. 244–247.

ICPC-2010-BeyerF #dependence #detection #low level #named

DepDigger: A Tool for Detecting Complex Low-Level Dependencies (DB, AF), pp. 40–41.

ICPC-2010-BeyerF10a #dependence #named

CheckDep: A Tool for Tracking Software Dependencies (DB, AF), pp. 42–43.

ICPC-2010-BeyerF10b #dependence #effectiveness #low level

A Simple and Effective Measure for Complex Low-Level Dependencies (DB, AF), pp. 80–83.

ICPC-2010-ChenR #case study #dependence #feature model #graph #using

Case Study of Feature Location Using Dependence Graph, after 10 Years (KC, VR), pp. 1–3.

ICSM-2010-NguyenAH #dependence #metric #network #quality

Studying the impact of dependency network measures on software quality (THDN, BA, AEH), pp. 1–10.

ICSM-2010-ParandeK #analysis #dependence #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 #dependence #java #source code

Understanding parallelism-inhibiting dependences in sequential Java programs (AR, KVV, DY, PS), pp. 1–9.

ICSM-2010-VanciuR #dependence

Hidden dependencies in software systems (RV, VR), pp. 1–10.

MSR-2010-OssherBL #automation #dependence #open source

Automated dependency resolution for open source software (JO, SKB, CVL), pp. 130–140.

PASTE-2010-IslamKBH #clustering #dependence

Coherent dependence clusters (SSI, JK, DB, MH), pp. 53–60.

FLOPS-2010-AltenkirchDLO #dependent type #named

ΠΣ: Dependent Types without the Sugar (TA, NAD, AL, NO), pp. 40–55.

FLOPS-2010-Pientka #dependent type #named #programming

Beluga: Programming with Dependent Types, Contextual Data, and Contexts (BP), pp. 1–12.

IFM-2010-FitzgeraldLPVW #collaboration #development #embedded #modelling

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems (JSF, PGL, KGP, MV, SW), pp. 12–26.

IFM-2010-MarronePV #analysis #dependence #inheritance #multi

Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems (SM, CP, VV), pp. 215–228.

ICFP-2010-BernardyJP #dependent type #parametricity

Parametricity and dependent types (JPB, PJ, RP), pp. 345–356.

ICFP-2010-MorgensternL #programming

Security-typed programming within dependently typed programming (JM, DRL), pp. 169–180.

IFL-2010-MiddelkoopDS #attribute grammar

Dependently Typed Attribute Grammars (AM, AD, SDS), pp. 105–120.

SOFTVIS-2010-FollettH #dependence #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 #dependence #visualisation

Dependence cluster visualization (SSI, JK, DB), pp. 93–102.

AdaEurope-2010-GraydonKY #case study #dependence

Practical Limits on Software Dependability: A Case Study (PJG, JCK, XY), pp. 83–96.

CAiSE-2010-BaroneSB #dependence #quality

Dependency Discovery in Data Quality (DB, FS, CB), pp. 53–67.

ICEIS-ISAS-2010-LinS #constraints #data transformation #dependence #process

Managing Data Dependency Constraints through Business Processes (JYCL, SWS), pp. 52–59.

ICEIS-J-2010-LinS10a #approach #constraints #dependence #process

A Business Process Driven Approach to Manage Data Dependency Constraints (JYCL, SWS), pp. 326–339.

CIKM-2010-ShiN #dependence #using

Using various term dependencies according to their utilities (LS, JYN), pp. 1493–1496.

CIKM-2010-YanLRRD #named #wiki

Facetedpedia: enabling query-dependent faceted search for wikipedia (NY, CL, SBR, RR, GD), pp. 1927–1928.

ICML-2010-BartlettPW #constant #memory management #process

Forgetting Counts: Constant Memory Inference for a Dependent Hierarchical Pitman-Yor Process (NB, DP, FW), pp. 63–70.

ICML-2010-BleiF #distance #process

Distance dependent Chinese restaurant processes (DMB, PIF), pp. 87–94.

ICPR-2010-AlaeiNP #approach #segmentation

A Baseline Dependent Approach for Persian Handwritten Character Segmentation (AA, PN, UP), pp. 1977–1980.

ICPR-2010-FilipHC

Gaze-Motivated Compression of Illumination and View Dependent Textures (JF, MH, MJC), pp. 862–865.

ICPR-2010-GudkovU #approach

A Topologic Approach to User-Dependent Key Extraction from Fingerprints (VYG, OU), pp. 1281–1284.

ICPR-2010-SaeediMA #dependence #fuzzy #image

Image Denoising Based on Fuzzy and Intra-scale Dependency in Wavelet Transform Domain (JS, MHM, AA), pp. 2672–2675.

ICPR-2010-TanakaKO

Progressive MAP-based Deconvolution with Pixel-Dependent Gaussian Prior (MT, TK, MO), pp. 4428–4431.

KDD-2010-HossainTWDHR #clustering

Unifying dependent clustering and disparate clustering for non-homogeneous data (MSH, ST, LTW, ID, RFH, NR), pp. 593–602.

KDD-2010-ReichartzKP #dependence #kernel #semantics

Semantic relation extraction with kernels over typed dependency trees (FR, HK, GP), pp. 773–782.

KDD-2010-ZhangZ #dependence #learning #multi

Multi-label learning by exploiting label dependency (MLZ, KZ), pp. 999–1008.

KDIR-2010-BallesterosBG #dependence #parsing #using

Text Simplification using Dependency Parsing for Spanish (MB, SB, PG), pp. 330–335.

KDIR-2010-BallesterosHFG #dependence #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.

KDIR-2010-OzekiKT #analysis #multi #network

Multi-modal Analysis of Complex Network — Point Stimulus Response Depending on Its Location in the Network (TO, TK, YT), pp. 226–231.

KR-2010-KelveyMNS #dependence #functional #independence

Independence and Functional Dependence Relations on Secrets (RK, SMM, PN, BS).

RecSys-2010-PessemierDDM #algorithm #collaboration #dependence #quality

Time dependency of data quality for collaborative filtering algorithms (TDP, SD, TD, LM), pp. 281–284.

SEKE-2010-TsaiZECB #composition #ontology

Ontology-Based Dependency-Guided Service Composition for User-Centric SOA (WTT, PZ, JE, YC, XB), pp. 462–467.

SIGIR-2010-ParkC #dependence #parsing #query #ranking

Query term ranking based on dependency parsing of verbose queries (JHP, WBC), pp. 829–830.

LOPSTR-2010-StroderSG #analysis #dependence #logic programming #source code #termination

Dependency Triples for Improving Termination Analysis of Logic Programs with Cut (TS, PSK, JG), pp. 184–199.

PPDP-2010-SnowBN #approach #logic programming #metaprogramming

A meta-programming approach to realizing dependently typed logic programming (ZS, DB, GN), pp. 187–198.

POPL-2010-JiaZSW #dependent type #equivalence

Dependent types and program equivalence (LJ, JZ, VS, SW), pp. 275–286.

POPL-2010-JimMW #algorithm #semantics

Semantics and algorithms for data-dependent grammars (TJ, YM, DW), pp. 417–430.

POPL-2010-Terauchi #dependent type

Dependent types from counterexamples (TT), pp. 119–130.

RE-2010-KangJ #dependence

Dependability Arguments with Trusted Bases (EK, DJ), pp. 262–271.

RE-2010-LiuWZJ #approach #dependence #elicitation #requirements

Elicitation of Dependability Requirements: A HAZOP-based Approach (CL, YW, WZ, ZJ), pp. 407–408.

SAC-2010-LuNB #dependence #execution

Timing analyzing for systems with execution dependencies between tasks (YL, TN, IB), pp. 357–358.

SAC-2010-SerugendoFR #architecture #development #named #self

MetaSelf: an architecture and a development method for dependable self-* systems (GDMS, JSF, AR), pp. 457–461.

FSE-2010-CossetteW #adaptation #analysis #dependence #lightweight #named #sketching

DSketch: lightweight, adaptable dependency analysis (BC, RJW), pp. 297–306.

FSE-2010-KanadeARR #dependence #representation #testing #using

Representation dependence testing using program inversion (AK, RA, SKR, GR), pp. 277–286.

FSE-2010-LitvakDBRS #analysis #dependence

Field-sensitive program dependence analysis (SL, ND, RB, NR, MS), pp. 287–296.

ICSE-2010-WuYR #dependence

Comprehending module dependencies and sharing (YW, RHCY, RR), pp. 89–98.

LDTA-2010-CortesiH #dependence #graph #semantics #slicing

Dependence condition graph for semantics-based abstract program slicing (AC, RH), p. 4.

SPLC-2010-CosmoZ #dependence #diagrams #feature model

Feature Diagrams as Package Dependencies (RDC, SZ), pp. 476–480.

SPLC-2010-UbayashiNH #embedded #product line #reliability

Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems (NU, SN, MH), pp. 1–15.

CSL-2010-LohmannV #complexity #dependence #logic

Complexity Results for Modal Dependence Logic (PL, HV), pp. 411–425.

CSL-2010-SternagelT #dependence #proving #termination

Signature Extensions Preserve Termination — An Alternative Proof via Dependency Pairs (CS, RT), pp. 514–528.

ICLP-2010-FayruzovJVCC10 #performance #set #source code

Efficient Solving of Time-dependent Answer Set Programs (TF, JJ, DV, CC, MDC), pp. 64–73.

ICLP-2010-Snow10 #λ-calculus

Realizing the Dependently Typed λ Calculus (ZS), pp. 294–299.

ICST-2010-Slatten #modelling

Model-Driven Engineering of Dependable Systems (VS), pp. 359–362.

ISSTA-2010-BaoZLZX #analysis #data flow #dependence #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 #dependence #execution #multi #scalability #symbolic computation

Exploiting program dependencies for scalable multiple-path symbolic execution (RAS, MJH), pp. 195–206.

SAT-2010-BubeckB #quantifier

Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN (UB, HKB), pp. 58–70.

SAT-2010-LonsingB #dependence #search-based

Integrating Dependency Schemes in Search-Based QBF Solvers (FL, AB), pp. 158–171.

CBSE-2009-Heineman #component #dependence #testing

Unit Testing of Software Components with Inter-component Dependencies (GTH), pp. 262–273.

ASE-2009-Jenson #component #constraints #dependence #validation #verification

Improving Component Dependency Resolution with Soft Constraints, Validation and Verification (GJ), pp. 716–720.

ASE-2009-WongC #analysis #dependence #logic #modelling #performance

Improving the Efficiency of Dependency Analysis in Logical Decision Models (SW, YC), pp. 173–184.

CASE-2009-Morrison #clustering #modelling #process #tool support

Regular flow line models for semiconductor cluster tools: A case of lot dependent process times (JRM), pp. 561–566.

CASE-2009-RamakrishnanR #analysis #linear

Delay-dependent stability analysis of linear system with additive time-varying delays (KR, GR), pp. 122–126.

DAC-2009-BaoAEP #dependence #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 #dependence #performance

Efficient smart sampling based full-chip leakage analysis for intra-die variation considering state dependence (VV, DS, DB, SS, SR), pp. 154–159.

DAC-2009-YagiREAVS #design

The wild west: conquest of complex hardware-dependent software design (HY, WR, JE, JA, KAV, MS), pp. 878–879.

DAC-2009-YeLCC #analysis #layout #process #variability

Variability analysis under layout pattern-dependent rapid-thermal annealing process (YY, FL, MC, YC), pp. 551–556.

DATE-2009-CongG #energy #multi #performance #scheduling

Energy efficient multiprocessor task scheduling under input-dependent variation (JC, KG), pp. 411–416.

DATE-2009-LettninNBRGKRSR #hardware #verification

Semiformal verification of temporal properties in automotive hardware dependent software (DL, PKN, JB, JR, JG, TK, WR, VS, SR), pp. 1214–1217.

DATE-2009-LiNZGSS #dependence #optimisation #protocol

Optimizations of an application-level protocol for enhanced dependability in FlexRay (WL, MDN, WZ, PG, ALSV, SAS), pp. 1076–1081.

ICDAR-2009-IbrahimKKAG #analysis #dependence #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 #dependence #embedded #equivalence #query #sql

Equivalence of SQL queries in presence of embedded dependencies (RC, MRG), pp. 217–226.

SIGMOD-2009-CormodeGKMSZ #dependence #functional

Estimating the confidence of conditional functional dependencies (GC, LG, FK, AM, DS, XZ), pp. 469–482.

SIGMOD-2009-HanL #manycore #optimisation #order #query

Dependency-aware reordering for parallelizing query optimization in multi-core CPUs (WSH, JL), pp. 45–58.

VLDB-2009-DongBS #dependence

Integrating Conflicting Data: The Role of Source Dependence (XLD, LBE, DS), pp. 550–561.

VLDB-2009-GolabKKSS #dependence

Sequential Dependencies (LG, HJK, FK, AS, DS), pp. 574–585.

VLDB-2009-KimuraHRMZ #correlation #dependence #functional

Correlation Maps: A Compressed Access Method for Exploiting Soft Functional Dependencies (HK, GH, AR, SM, SBZ), pp. 1222–1233.

FASE-2009-AndroutsopoulosCHLT #dependence #finite #state machine

Control Dependence for Extended Finite State Machines (KA, DC, MH, ZL, LT), pp. 216–230.

FoSSaCS-2009-Stirling #automaton #dependence

Dependency Tree Automata (CS), pp. 92–106.

CSMR-2009-PatelHR #clustering #dependence #dynamic analysis #using

Software Clustering Using Dynamic Analysis and Static Dependencies (CP, AHL, JR), pp. 27–36.

ICPC-2009-PopescuGM #analysis #dependence #precise

Enabling more precise dependency analysis in event-based systems (DP, JG, NM), pp. 305–306.

ICSM-2009-AlamAH #dependence #using

Measuring the progress of projects using the time dependence of code changes (OA, BA, AEH), pp. 329–338.

ICSM-2009-AndroutsopoulosGHLT #dependence #empirical

A theoretical and empirical study of EFSM dependence (KA, NG, MH, ZL, LT), pp. 287–296.

ICSM-2009-Li #analysis #dependence #identification #using

Identifying high-level dependence structures using slice-based dependence analysis (ZL), pp. 457–460.

SCAM-2009-BinkleyH #clustering #dependence #identification #scalability

Identifying “Linchpin Vertices” That Cause Large Dependence Clusters (DB, MH), pp. 89–98.

WCRE-1999-AlamAH99a #case study #dependence

A Study of the Time Dependence of Code Changes (OA, BA, AEH), pp. 21–30.

WCRE-1999-HigoK99a #clone detection #dependence #detection #graph #quality

Enhancing Quality of Code Clone Detection with Program Dependency Graph (YH, SK), pp. 315–316.

WCRE-1999-LavalDDB99a #dependence #identification #matrix

Identifying Cycle Causes with Enriched Dependency Structural Matrix (JL, SD, SD, AB), pp. 113–122.

PEPM-2009-SalamaMTGO #consistency #dependent type #using

Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions (CS, GM, WT, JG, JO), pp. 121–130.

CEFP-2009-TothBHLTK #behaviour #dependence #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.

ICFP-2009-SculthorpeN #dependent type #functional #programming

Safe functional reactive programming through dependent types (NS, HN), pp. 23–34.

CHI-2009-ChapuisLP #named

DynaSpot: speed-dependent area cursor (OC, JBL, EP), pp. 1391–1400.

CHI-2009-ChinFK #adaptation #information management #interactive

Adaptive information search: age-dependent interactions between cognitive profiles and strategies (JC, WTF, TGK), pp. 1683–1692.

CHI-2009-PapeV #case study #dependence

An experimental study of field dependency in altered Gz environments (MALP, RKV), pp. 1255–1264.

HCI-NT-2009-KimWW #adaptation #parametricity #process #recognition #research #using

The Research on Adaptive Process for Emotion Recognition by Using Time-Dependent Parameters of Autonomic Nervous Response (JK, MCW, JW), pp. 77–84.

VISSOFT-2009-TeleaHER #c #c++ #case study #comparative #dependence #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 #dependence #prototype #security

Security and Dependability in Ambient Intelligence Scenarios — The Communication Prototype (ÁA, AM, AM, DS), pp. 49–56.

ICEIS-ISAS-2009-LundbergG #approach #distributed #information management #robust #towards

Robust Approach Towards Context Dependant Information Sharing in Distributed Environments (JL, RG), pp. 200–205.

CIKM-2009-HuL #modelling

Modeling context-dependent information (JH, ML), pp. 1669–1672.

CIKM-2009-LeeCKC #approach #dependence #query #ranking

A term dependency-based approach for query terms ranking (CJL, RCC, SHK, PJC), pp. 1267–1276.

CIKM-2009-PhamRMSB #sequence #summary

Time sequence summarization to scale up chronology-dependent applications (QKP, GR, NM, RSP, BB), pp. 1137–1146.

CIKM-2009-SongC #dependence

Discovering matching dependencies (SS, LC), pp. 1421–1424.

ECIR-2009-Ailon #algorithm #linear #query #ranking #using

A Simple Linear Ranking Algorithm Using Query Dependent Intercept Variables (NA), pp. 685–690.

ICML-2009-MooijJPS #dependence #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 #dependence #learning #summary #tutorial

Tutorial summary: Learning with dependencies between several response variables (VT, KY), p. 14.

RecSys-2009-HadzicO #dependence #functional

Uncovering functional dependencies in MDD-compiled product catalogues (TH, BO), pp. 377–380.

SIGIR-2009-XuJW #feedback #pseudo #query #wiki

Query dependent pseudo-relevance feedback based on wikipedia (YX, GJFJ, BW), pp. 59–66.

SIGIR-2009-ZhangWLOJH #dependence #mining #parsing

Mining product reviews based on shallow dependency parsing (QZ, YW, TL, MO, JJ, XH), pp. 726–727.

ECMDA-FA-2009-KusterGE #modelling #process

Dependent and Conflicting Change Operations of Process Models (JMK, CG, GE), pp. 158–173.

ICMT-2009-CicchettiRP #co-evolution #evolution

Managing Dependent Changes in Coupled Evolution (AC, DDR, AP), pp. 35–51.

OOPSLA-2009-TsafrirWBS #dependence #performance #source code

Minimizing dependencies within generic classes for faster and smaller programs (DT, RWW, DFB, BS), pp. 425–444.

LOPSTR-2009-IborraNV #dependence #proving #termination

Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing (JI, NN, GV), pp. 52–66.

LOPSTR-2009-Schneider-KampGN #dependence #framework #logic programming #source code #termination

The Dependency Triple Framework for Termination of Logic Programs (PSK, JG, MTN), pp. 37–51.

PPDP-2009-UnnoK #dependent type #type inference

Dependent type inference with interpolants (HU, NK), pp. 277–288.

QAPL-2009-BortolussiV #calculus #named

CoBiC: Context-dependent Bioambient Calculus (LB, MGV), pp. 187–201.

POPL-2009-AhmedDR #independence #representation

State-dependent representation independence (AA, DD, AR), pp. 340–353.

SAC-2009-ArbelaezH #dependence

Exploiting weak dependencies in tree-based search (AA, YH), pp. 1385–1391.

SAC-2009-ChoiKHK #component #dependence #metric

Component-based metrics applying the strength of dependency between classes (MC, IJK, JH, JYK), pp. 530–536.

SAC-2009-LiuMZ #approach #dependence #evolution #identification

An approach to identifying conversation dependency in service oriented system during dynamic evolution (ML, DM, YZ), pp. 1072–1073.

SAC-2009-Ries #modelling #representation #trust

Extending Bayesian trust models regarding context-dependence and user friendly representation (SR), pp. 1294–1301.

SAC-2009-RouvoyEB #adaptation #dependence #self #ubiquitous #weaving

Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services (RR, FE, MB), pp. 1021–1028.

CGO-2009-ZhangNJ #dependence #distance #framework #named #profiling

Alchemist: A Transparent Dependence Distance Profiling Infrastructure (XZ, AN, SJ), pp. 47–58.

HPCA-2009-SridharanK #architecture #dependence

Eliminating microarchitectural dependency from Architectural Vulnerability (VS, DRK), pp. 117–128.

PPoPP-2009-AllenSS #dependence #execution #parallel #set

Serialization sets: a dynamic dependence-based parallel execution model (MDA, SS, GSS), pp. 85–96.

CADE-2009-KorpM #dependence #graph

Beyond Dependency Graphs (MK, AM), pp. 339–354.

CADE-2009-SwiderskiPGFS #analysis #dependence #induction #proving #termination #theorem proving

Termination Analysis by Dependency Pairs and Inductive Theorem Proving (SS, MP, JG, CF, PSK), pp. 322–338.

RTA-2009-AvanziniM #dependence #order #polynomial

Dependency Pairs and Polynomial Path Orders (MA, GM), pp. 48–62.

RTA-2009-MoserS #complexity #dependence

The Derivational Complexity Induced by the Dependency Pair Method (GM, AS), pp. 255–269.

SAT-2009-LonsingB #dependence #representation

A Compact Representation for Syntactic Dependencies in QBFs (FL, AB), pp. 398–411.

ECSA-2008-TerraV #architecture #constraints #dependence #towards

Towards a Dependency Constraint Language to Manage Software Architectures (RT, MTdOV), pp. 256–263.

QoSA-2008-LiuBG #architecture #evaluation #middleware #self

Middleware Architecture Evaluation for Dependable Self-managing Systems (YL, MAB, IG), pp. 189–204.

WICSA-2008-RadjenovicP #architecture #consistency #dependence

The Role of Dependency Links in Ensuring Architectural View Consistency (AR, RFP), pp. 199–208.

CASE-2008-Morrison #evolution

Flow lines with regular service times: Evolution of delay, state dependent failures and semiconductor wafer fabrication (JRM), pp. 247–252.

CASE-2008-QianK #component #performance #product line

Supply chain performance with various price-dependent demand functions and component commonality in one product family (LQ, Z(K), pp. 760–765.

DATE-2008-Abraham #dependence #roadmap

Implications of Technology Trends on System Dependability (JAA), p. 940.

DATE-2008-BrinksmaH #approach #dependence

Dependability for high-tech systems: an industry-as-laboratory approach (EB, JH), pp. 1226–1231.

DATE-2008-ChakrabortySP #layout #optimisation

Layout Level Timing Optimization by Leveraging Active Area Dependent Mobility of Strained-Silicon Devices (AC, SXS, DZP), pp. 849–855.

DATE-2008-WapplerM

Software Protection Mechanisms for Dependable Systems (UW, MM), pp. 947–952.

DATE-2008-WiggersBS #communication #throughput

Computation of Buffer Capacities for Throughput Constrained and Data Dependent Inter-Task Communication (MW, MB, GJMS), pp. 640–645.

PODS-2008-Adler #database #dependence #functional

Tree-width and functional dependencies in databases (IA), pp. 311–320.

PODS-2008-Fan #dependence #quality

Dependencies revisited for improving data quality (WF), pp. 159–170.

VLDB-2008-FanGJ #dependence #functional #named #quality

Semandaq: a data quality system based on conditional functional dependencies (WF, FG, XJ), pp. 1460–1463.

VLDB-2008-FanMHLW #dependence #functional

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

VLDB-2008-GolabKKSY #dependence #functional #generative #on the

On generating near-optimal tableaux for conditional functional dependencies (LG, HJK, FK, DS, BY), pp. 376–390.

VLDB-2008-GuoARSSV #performance

Efficient top-k processing over query-dependent functions (LG, SAY, RR, JS, US, EV), pp. 1044–1055.

VLDB-2008-NutanongZTK #approach #query

The V*-Diagram: a query-dependent approach to moving KNN queries (SN, RZ, ET, LK), pp. 1095–1106.

VLDB-2008-TeubnerGMS #xquery

Dependable cardinality forecasts for XQuery (JT, TG, SM, SS), pp. 463–477.

ESOP-2008-PoswolskyS #dependent type #encoding #higher-order #programming

Practical Programming with Higher-Order Encodings and Dependent Types (AP, CS), pp. 93–107.

FoSSaCS-2008-BarrasB #calculus #dependent type #programming language

The Implicit Calculus of Constructions as a Programming Language with Dependent Types (BB, BB), pp. 365–379.

CSMR-2008-CosmaM #comprehension #dependence #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 #dependence #source code #visual notation

A Tool for Visual Understanding of Source Code Dependencies (MP, KG, PK, HCG), pp. 254–259.

ICSM-2008-DAmbros #analysis #dependence #evolution #fault

Supporting software evolution analysis with historical dependencies and defect information (MD), pp. 412–415.

ICSM-2008-JaszBGR #dependence

Static Execute After/Before as a replacement of traditional software dependencies (JJ, ÁB, TG, VR), pp. 137–146.

SCAM-2008-ScholzZC #analysis #dependence #graph #reachability

User-Input Dependence Analysis via Graph Reachability (BS, CZ, CC), pp. 25–34.

WCRE-2008-AriasAA #dependence #execution #scalability

Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies (TBCA, PA, PA), pp. 49–58.

PEPM-2008-MastroeniZ #dependence #semantics #slicing #syntax

Data dependencies and program slicing: from syntax to abstract semantics (IM, DZ), pp. 125–134.

FLOPS-2008-UnnoK #dependent type #on-demand #refinement

On-Demand Refinement of Dependent Types (HU, NK), pp. 81–96.

DLT-J-2007-Link08 #database #dependence #multi #on the

On the Implication of Multivalued Dependencies in Partial Database Relations (SL), pp. 691–715.

LATA-2008-KorpM #bound #dependence #proving #term rewriting #termination

Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems (MK, AM), pp. 321–332.

SEFM-2008-IzadiBC #component #modelling

Modeling Component Connectors: Synchronisation and Context-Dependency (MI, MMB, DC), pp. 303–312.

AFP-2008-Norell08 #programming

Dependently Typed Programming in Agda (UN), pp. 230–266.

ICFP-2008-NanevskiMSGB #dependent type #imperative #named #source code

Ynot: dependent types for imperative programs (AN, GM, AS, PG, LB), pp. 229–240.

IFL-2008-TrojahnerG #array #dependent type #representation

Descriptor-Free Representation of Arrays with Dependent Types (KT, CG), pp. 100–117.

SOFTVIS-2008-DietrichYMJD #analysis #clustering #dependence #graph #java

Cluster analysis of Java dependency graphs (JD, VY, CM, GJ, MD), pp. 91–94.

SOFTVIS-2008-HarelS #visualisation

Visualizing inter-dependencies between scenarios (DH, IS), pp. 145–153.

SOFTVIS-2008-PichNR #analysis #dependence #graph #visual notation

Visual analysis of importance and grouping in software dependency graphs (CP, LN, GGR), pp. 29–32.

CAiSE-2008-GuoHLD #adaptation #dependence #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 #dependence #evolution #on the

On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study (SSK, PG, AG, AR), pp. 243–257.

EDOC-2008-MahfouzBLN #dependence

Customizing Choreography: Deriving Conversations from Organizational Dependencies (AM, LB, RCL, BN), pp. 181–190.

CIKM-2008-LeeLZ #framework #named #network #performance #query

ROAD: an efficient framework for location dependent spatial queries on road networks (KCKL, WCL, BZ), pp. 1327–1328.

CIKM-2008-LeeSZL #mobile #query

Valid scope computation for location-dependent spatial query in mobile broadcast environments (KCKL, JS, BZ, WCL), pp. 1231–1240.

CIKM-2008-PanXM #mobile #privacy

Protecting location privacy against location-dependent attack in mobile services (XP, JX, XM), pp. 1475–1476.

CIKM-2008-ShiNC #using

Relating dependent indexes using dempster-shafer theory (LS, JYN, GC), pp. 429–438.

ECIR-2008-LangWJLX #ad hoc #analysis #dependence #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 #dependence #using

ICA and ISA using Schweizer-Wolff measure of dependence (SK, BP), pp. 464–471.

ICML-2008-SahbiARK #kernel #recognition #robust #using

Robust matching and recognition using context-dependent kernels (HS, JYA, JR, RK), pp. 856–863.

ICML-2008-Shalev-ShwartzS #dependence #optimisation #set

SVM optimization: inverse dependence on training set size (SSS, NS), pp. 928–935.

ICPR-2008-AndriyashinPJ #dependence

Illuminant dependence of PCA, NMF and NTF in spectral color imaging (AA, JP, TJ), pp. 1–4.

ICPR-2008-ChoB #dependence #image #using

Image inpainting using wavelet-based inter- and intra-scale dependency (DC, TDB), pp. 1–4.

ICPR-2008-KawaiTFK #3d #performance #representation #web

Efficient meta-information annotation and view-dependent representation system for 3D objects on the Web (YK, ST, RF, HK), pp. 1–4.

KDD-2008-HallSM #dependence #using

Unsupervised deduplication using cross-field dependencies (RH, CAS, AM), pp. 310–317.

SEKE-2008-TsigkritisS #dependence #runtime #security

Diagnosing Runtime Violations of Security & Dependability Properties (TT, GS), pp. 661–666.

SIGIR-2008-GengLQALS #nearest neighbour #query #ranking #using

Query dependent ranking using K-nearest neighbor (XG, TYL, TQ, AA, HL, HYS), pp. 115–122.

SIGIR-2008-Liu #dependence #information retrieval

Exploring and measuring dependency trees for information retrieval (CL), p. 892.

SIGIR-2008-SerdyukovRH #dependence

Exploiting sequential dependencies for expert finding (PS, HR, DH), pp. 795–796.

SIGIR-2008-XuDW #dependence #semantics

Utilizing phrase based semantic information for term dependency (YX, FD, BW), pp. 855–856.

MoDELS-2008-BernardiMP #analysis #dependence

Adding Dependability Analysis Capabilities to the MARTE Profile (SB, JM, DCP), pp. 736–750.

MoDELS-2008-BernardiMP #analysis #dependence

Adding Dependability Analysis Capabilities to the MARTE Profile (SB, JM, DCP), pp. 736–750.

GPCE-2008-KaminaT #lightweight

Lightweight dependent classes (TK, TT), pp. 113–124.

PPDP-2008-Lu #dependence #logic programming #polymorphism #precise #source code

Inferring precise polymorphic type dependencies in logic programs (LL), pp. 143–151.

PPDP-2008-LucasM #dependence #order

Order-sorted dependency pairs (SL, JM), pp. 108–119.

PADL-2008-EshkevariAC #analysis #aspect-oriented #comprehension #declarative #dependence #reasoning #source code

Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning (LME, VA, CC), pp. 35–52.

POPL-2008-NitaGC #bytecode #formal method #low level

A theory of platform-dependent low-level software (MN, DG, CC), pp. 209–220.

RE-2008-MarczakDSS #network #social

Information Brokers in Requirement-Dependency Social Networks (SM, DD, US, AS), pp. 53–62.

SAC-2008-BaF #composition #dependence #graph #web #web service

Dependence graphs for verifications of web service compositions with PEWS (CB, MHF), pp. 2387–2391.

SAC-2008-BelohlavekV #concept analysis #dependence

Adding background knowledge to formal concept analysis via attribute dependency formulas (RB, VV), pp. 938–943.

SAC-2008-CasimiroLDBV #adaptation #framework #probability

A framework for dependable QoS adaptation in probabilistic environments (AC, PL, MD, AB, PV), pp. 2192–2196.

SAC-2008-ChidlovskiiL #dependence #documentation #layout #network

Stacked dependency networks for layout document structuring (BC, LL), pp. 424–428.

SAC-2008-PavelecJBO #identification #independence #using

Author identification using writer-dependent and writer-independent strategies (DP, EJRJ, LVB, LSO), pp. 414–418.

SAC-2008-SouzaS #dependence #web #web service

Providing dependability for web services (JLRS, FS), pp. 2207–2211.

FSE-2008-KoesnandarERHSS #metaprogramming #using #web

Using assertions to help end-user programmers create dependable web macros (AK, SGE, GR, LH, CS, KTS), pp. 124–134.

ICSE-2008-ChenY #constraints #dependence #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 #dependence

Defining and continuous checking of structural program dependencies (ME, SK, KK, MM), pp. 391–400.

ICSE-2008-SouzaR #dependence #developer #empirical

An empirical study of software developers’ management of dependencies and changes (CRBdS, DFR), pp. 241–250.

ICSE-2008-ZimmermannN #analysis #dependence #fault #graph #network #predict #using

Predicting defects using network analysis on dependency graphs (TZ, NN), pp. 531–540.

SPLC-2008-ChoLK #approach #aspect-oriented #dependence

Feature Relation and Dependency Management: An Aspect-Oriented Approach (HC, KL, KCK), pp. 3–11.

CC-2008-WurthingerWM #dependence #graph #visualisation

Visualization of Program Dependence Graphs (TW, CW, HM), pp. 193–196.

HPCA-2008-SubramaniamPL #dependence #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 #dependence #experience #network

Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions (XC, MZ, ZMM, PB), pp. 117–130.

PPoPP-2008-PraunBC #analysis #concurrent #dependence #modelling #using

Modeling optimistic concurrency using quantitative dependence analysis (CvP, RB, CC), pp. 185–196.

ICLP-2008-AlpuenteEI #dependence #termination #using

Termination of Narrowing Using Dependency Pairs (MA, SE, JI), pp. 317–331.

ICST-2008-BeerM #dependence #generative #performance #testing

Efficient Test Data Generation for Variables with Complex Dependencies (AB, SM), pp. 3–11.

IJCAR-2008-HirokawaM #analysis #automation #complexity #dependence

Automated Complexity Analysis Based on the Dependency Pair Method (NH, GM), pp. 364–379.

ISSTA-2008-BaahPH #dependence #fault #graph #probability

The probabilistic program dependence graph and its application to fault diagnosis (GKB, AP, MJH), pp. 189–200.

LICS-2008-Fiore #higher-order #syntax

Second-Order and Dependently-Sorted Abstract Syntax (MPF), pp. 57–68.

RTA-2008-FalkeK #data type #dependence #semantics

Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (SF, DK), pp. 94–109.

RTA-2008-MoserS #polynomial #proving #using

Proving Quadratic Derivational Complexities Using Context Dependent Interpretations (GM, AS), pp. 276–290.

WICSA-2007-Sangal #architecture #dependence #lightweight #modelling

Lightweight Dependency Models to Manage Software Architecture (NS), p. 40.

ASE-2007-YoonSMP #testing

Direct-dependency-based software compatibility testing (ICY, AS, AMM, AAP), pp. 409–412.

DAC-2007-GuSK #modelling #random #statistics

Width-dependent Statistical Leakage Modeling for Random Dopant Induced Threshold Voltage Shift (JG, SSS, CHK), pp. 87–92.

DATE-2007-HuVKCP #dependence #estimation #memory management #performance

Fast memory footprint estimation based on maximal dependency vector calculation (QH, AV, PGK, FC, MP), pp. 379–384.

DATE-2007-LiuDSY #estimation #power management

Accurate temperature-dependent integrated circuit leakage power estimation is easy (YL, RPD, LS, HY), pp. 1526–1531.

DATE-2007-TadesseSLBG #analysis #modelling #satisfiability #using

Accurate timing analysis using SAT and pattern-dependent delay models (DT, DS, EL, RIB, JG), pp. 1018–1023.

ICDAR-2007-FinkP #modelling #on the #recognition

On the Use of Context-Dependent Modeling Units for HMM-Based Offline Handwriting Recognition (GAF, TP), pp. 729–733.

ICDAR-2007-RinglstetterRGS #fault

Deriving Symbol Dependent Edit Weights for Text Correction_The Use of Error Dictionaries (CR, UR, AG, KUS), pp. 639–643.

PODS-2007-HernichS #dependence

CWA-solutions for data exchange settings with target dependencies (AH, NS), pp. 113–122.

VLDB-2007-BravoFM #dependence

Extending Dependencies with Conditions (LB, WF, SM), pp. 243–254.

VLDB-2007-HaasHM #dependence #detection #feedback #query

Detecting Attribute Dependencies from Query Feedback (PJH, FH, VM), pp. 830–841.

WRLA-J-2004-CervesatoS07 #dependent type #logic #representation #specification

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (IC, MOS), pp. 3–35.

ESOP-2007-ConditHAGN #dependent type #low level #programming

Dependent Types for Low-Level Programming (JC, MH, ZRA, DG, GCN), pp. 520–535.

TACAS-2007-AnandOH #analysis #execution #program transformation #symbolic computation

Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.

ICPC-2007-LienhardGN #dependence #detection

Tracking Objects to Detect Feature Dependencies (AL, OG, ON), pp. 59–68.

ICSM-2007-CossetteW #analysis #dependence #evaluation #semiparsing #using

Polylingual Dependency Analysis Using Island Grammars: A Cost Versus Accuracy Evaluation (BC, RJW), pp. 214–223.

ICSM-2007-DongG #analysis #dependence #object-oriented

System-level Usage Dependency Analysis of Object-Oriented Systems (XD, MWG), pp. 375–384.

MSR-2007-KagdiM #dependence #predict

Combining Single-Version and Evolutionary Dependencies for Software-Change Prediction (HHK, JIM), p. 17.

PASTE-2007-QianXM #alias #analysis #data flow #dependence

Interstatement must aliases for data dependence analysis of heap locations (JQ, BX, HM), pp. 17–24.

PASTE-2007-ZhangR #dependence

Discovering accurate interclass test dependences (WZ, BGR), pp. 55–62.

SCAM-2007-LochbihlerS #dependence #graph #on the

On Temporal Path Conditions in Dependence Graphs (AL, GS), pp. 49–58.

WCRE-2007-GermanGR

A Model to Understand the Building and Running Inter-Dependencies of Software (DMG, JMGB, GR), pp. 140–149.

WCRE-2007-KomondoorR #dependence #modelling

Recovering Data Models via Guarded Dependences (RK, GR), pp. 110–119.

ICALP-2007-KapronMS

A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) (BMK, LM, SV), pp. 328–339.

IFL-2007-HerhutSBGT #contract #dependent type #partial evaluation #proving #towards

From Contracts Towards Dependent Types: Proofs by Partial Evaluation (SH, SBS, RB, CG, KT), pp. 254–273.

IFL-2007-Kleeblatt #dependent type #using

Checking Dependent Types Using Compiled Code (DK), pp. 165–182.

AGTIVE-2007-SchosserG #graph grammar #hardware #optimisation

Graph Rewriting for Hardware Dependent Program Optimizations (AS, RG), pp. 233–248.

DHM-2007-ZhangWXWY

Mechanism of Bifurcation-Dependent Coherence Resonance of Excitable Neuron Model (GJZ, JW, JXX, XBW, HY), pp. 757–766.

HCI-AS-2007-ZouDDQ #dependence #information management #security

Dependability and Security in Medical Information System (XZ, YSD, BND, MQ), pp. 549–558.

HCI-IPT-2007-YangP

A Discriminative Color Quantization Depending on the Degree of Focus (HTY, DP), pp. 191–196.

HCI-MIE-2007-WonCKC #authoring

Customer-Dependent Storytelling Tool with Authoring and Viewing Functions (SW, MYC, GYK, HIC), pp. 1000–1009.

VISSOFT-2007-HolmesW #dependence #source code

Task-specific source code dependency investigation (RH, RJW), pp. 100–107.

VISSOFT-2007-KienleMM #analysis #challenge #dependence

Dependencies Analysis of Azureus with Rigi: Tool Demo Challenge (HMK, HAM, JM), pp. 159–160.

AdaEurope-2007-LanoixHHS #component #dependence

Enhancing Dependability of Component-Based Systems (AL, DH, MH, JS), pp. 41–54.

ECIR-2007-VildjiounaiteK #approach #modelling

A Layered Approach to Context-Dependent User Modelling (EV, SK), pp. 749–752.

ICML-2007-KlamiK #component

Local dependent components (AK, SK), pp. 425–432.

ICML-2007-PandeyCA #multi #problem

Multi-armed bandit problems with dependent arms (SP, DC, DA), pp. 721–728.

ICML-2007-SongSGB #clustering #dependence

A dependence maximization view of clustering (LS, AJS, AG, KMB), pp. 815–822.

ICML-2007-SongSGBB #dependence #estimation #feature model

Supervised feature selection via dependence estimation (LS, AJS, AG, KMB, JB), pp. 823–830.

ICML-2007-XuanM #dependence #modelling #multi

Modeling changing dependency structure in multivariate time series (XX, KPM), pp. 1055–1062.

KDD-2007-FungYLY

Time-dependent event hierarchy construction (GPCF, JXY, HL, PSY), pp. 300–309.

SEKE-2007-SayedHZ #distance #semantics

A Context-Dependent Semantic Distance Measure (AES, HH, DAZ), pp. 432–437.

SIGIR-2007-MaisonnasseGC #dependence #information retrieval

Revisiting the dependence language model for information retrieval (LM, ÉG, JPC), pp. 695–696.

SIGIR-2007-PengMHPO #dependence #framework

Incorporating term dependency in the dfr framework (JP, CM, BH, VP, IO), pp. 843–844.

OOPSLA-2007-GasiunasMO

Dependent classes (VG, MM, KO), pp. 133–152.

LOPSTR-2007-NguyenGSS #analysis #dependence #graph #logic programming #source code #termination

Termination Analysis of Logic Programs Based on Dependency Graphs (MTN, JG, PSK, DDS), pp. 8–22.

RE-2007-AsnarGBMR #approach #empirical

Secure and Dependable Patterns in Organizations: An Empirical Approach (YA, PG, RB, VM, CR), pp. 287–292.

REFSQ-2007-GallinaG #elicitation #product line

A Template for Requirement Elicitation of Dependable Product Lines (BG, NG), pp. 63–77.

SAC-2007-HuangJL

Finding putative core promoter elements with position-dependent consensuses (YFH, YCJ, SWL), pp. 138–139.

SAC-2007-KumarMS #mobile #policy

A weighted cache replacement policy for location dependent data in mobile environments (AK, MM, AKS), pp. 920–924.

SAC-2007-SatzgerPTU #adaptation #detection #distributed

A new adaptive accrual failure detector for dependable distributed systems (BS, AP, WT, TU), pp. 551–555.

ESEC-FSE-2007-Pietrantuono #approach #component #novel

Component airbag: a novel approach to develop dependable component-based applications (RP), pp. 599–602.

ICSE-2007-Chalin #compilation #evolution #semantics #verification

A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler (PC), pp. 23–33.

SOSP-2007-FrostMKRHMZ #dependence #file system

Generalized file system dependencies (CF, MM, EK, AdlR, SH, AM, LZ), pp. 307–320.

AMOST-2007-ChenPU #analysis #dependence #generative #modelling #testing #using

Model-based regression test suite generation using dependence analysis (YC, RLP, HU), pp. 54–62.

CADE-2007-FalkeK #dependence

Dependency Pairs for Rewriting with Non-free Constructors (SF, DK), pp. 426–442.

CADE-2007-KoprowskiM #dependence #predict #satisfiability #using

Predictive Labeling with Dependency Pairs Using SAT (AK, AM), pp. 410–425.

ISSTA-2007-XinZ #dependence #detection #online #performance

Efficient online detection of dynamic control dependence (BX, XZ), pp. 185–195.

LICS-2007-Moczydlowski #set

A Dependent Set Theory (WM), pp. 23–34.

SAT-2007-Prestwich #dependence

Variable Dependency in Local Search: Prevention Is Better Than Cure (SDP), pp. 107–120.

QoSA-2006-KoziolekHB #component #parametricity #performance #specification

Parameter Dependent Performance Specifications of Software Components (HK, JH, SB), pp. 163–179.

DAC-2006-LiS #linear #network #order #reduction

Model order reduction of linear networks with massive ports via frequency-dependent port packing (PL, WS), pp. 267–272.

DATE-2006-GandhiM #energy #multi #using

Exploiting data-dependent slack using dynamic multi-VDD to minimize energy consumption in datapath circuits (KRG, NRM), pp. 1001–1006.

DATE-2006-KumarA #power management

An analytical state dependent leakage power model for FPGAs (AK, MA), pp. 612–617.

DATE-2006-YangV #analysis #evaluation #performance #synthesis

Efficient temperature-dependent symbolic sensitivity analysis and symbolic performance evaluation in analog circuit synthesis (HY, RV), pp. 283–284.

PODS-2006-CaldersDHP #workflow

Analyzing workflows implied by instance-dependent access rules (TC, SD, JH, JP), pp. 100–109.

PODS-2006-KolahiL #dependence #normalisation #on the

On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF (SK, LL), pp. 114–123.

VLDB-2006-SteinleAGL #dependence #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 #dependence #slicing

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms (ÁB, TG, TG), pp. 21–30.

WCRE-2006-CleveHH #dependence #graph #reverse engineering #using

Data Reverse Engineering using System Dependency Graphs (AC, JH, JLH), pp. 157–166.

PEPM-2006-HammerGK #dependence #graph

Dynamic path conditions in dependence graphs (CH, MG, JK), pp. 58–67.

SAS-2006-ChenR #dependence #parametricity

Parametric and Termination-Sensitive Control Dependence (FC, GR), pp. 387–404.

DLT-2006-KutribM #automaton #nondeterminism

Context-Dependent Nondeterminism for Pushdown Automata (MK, AM), pp. 133–144.

FM-2006-Kassios #dependence #strict

Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (ITK), pp. 268–283.

SEFM-2006-NeoviusSYS #formal method

A Formal Model of Context-Awareness and Context-Dependency (MN, KS, LY, MS), pp. 177–185.

ICFP-2006-Abadi #calculus #data access #dependence

Access control in a core calculus of dependency (MA), pp. 263–273.

ICEIS-DISI-2006-CaropreseGZ #consistency #database #dependence #functional #query

Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies (LC, SG, EZ), pp. 38–45.

ICEIS-DISI-2006-ModrakM #dependence

Elimination of Time Dependence of Information Validity by Application of RFID Technology (VM, VM), pp. 130–135.

CIKM-2006-EguchiC #dependence #performance #query

Boosting relevance model performance with query term dependence (KE, WBC), pp. 792–793.

ICML-2006-ZhengW #lazy evaluation #performance

Efficient lazy elimination for averaged one-dependence estimators (FZ, GIW), pp. 1113–1120.

ICPR-v1-2006-MillerH #visual notation

Exact View-Dependent Visual Hulls (GM, AH), pp. 107–111.

ICPR-v1-2006-Niskanen #video

View Dependent Enhancement of the Dynamic Range of Video (MN), pp. 984–987.

ICPR-v2-2006-KhanKKA #dependence #online #verification

On-Line Signature Verification by Exploiting Inter-Feature Dependencies (MKK, MAK, MAUK, IA), pp. 796–799.

ICPR-v2-2006-Sternby #clustering #refinement

Class Dependent Cluster Refinement (JS), pp. 833–836.

ICPR-v3-2006-MalmW #image #reduction #sequence

Motion Dependent Spatiotemporal Smoothing for Noise Reduction in Very Dim Light Image Sequences (HM, EW), pp. 954–959.

ICPR-v3-2006-Moreno-NoguerSS #robust

A Target Dependent Colorspace for Robust Tracking (FMN, AS, DS), pp. 43–46.

ICPR-v3-2006-YunBK #dependence #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 #dependence #detection #graph #named

GPLAG: detection of software plagiarism by program dependence graph analysis (CL, CC, JH, PSY), pp. 872–881.

SIGIR-2006-SunOC #dependence #mining #query #retrieval

Mining dependency relations for query expansion in passage retrieval (RS, CHO, TSC), pp. 382–389.

MoDELS-2006-GarousiBL #analysis #behaviour #dependence #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 #dependence #detection #nondeterminism #using

Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.

MoDELS-2006-MustafizSKV #assessment #case study #modelling

Model-Driven Assessment of Use Cases for Dependable Systems (SM, XS, JK, HV), pp. 558–573.

MoDELS-2006-GarousiBL #analysis #behaviour #dependence #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 #dependence #detection #nondeterminism #using

Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.

MoDELS-2006-MustafizSKV #assessment #case study #modelling

Model-Driven Assessment of Use Cases for Dependable Systems (SM, XS, JK, HV), pp. 558–573.

QAPL-2005-LanotteMT06 #classification #probability #security

A Classification of Time and/or Probability Dependent Security Properties (RL, AMS, AT), pp. 177–193.

POPL-2006-McKinna #dependent type #matter #why

Why dependent types matter (JM), p. 1.

RE-2006-ChenZZM #analysis #dependence #identification #requirements

Identification of Crosscutting Requirements Based on Feature Dependency Analysis (KC, HZ, WZ, HM), pp. 300–303.

SAC-2006-BelguidoumD #analysis #component #dependence #deployment

Analysis of deployment dependencies in software components (MB, FD), pp. 735–736.

SAC-2006-HungHHC #scheduling

Scheduling dependent items in data broadcasting environments (HPH, JWH, JLH, MSC), pp. 1177–1181.

SAC-2006-Lecca #algorithm #probability #π-calculus

A time-dependent extension of gillespie algorithm for biochemical stochastic π-calculus (PL), pp. 137–144.

SAC-2006-ShiJQ #named #towards

ALTER: first step towards dependable grids (XS, HJ, WQ), pp. 805–806.

ICSE-2006-Lemos #architecture #perspective #re-engineering

Software architectures for dependable systems: a software engineering perspective (RdL), pp. 1065–1066.

SPLC-2006-Sangal #dependence #lightweight #modelling #product line

Lightweight Dependency Models for Product Lines (NS), p. 228.

ASPLOS-2006-NarayanasamyPC #dependence #memory management #using

Recording shared memory dependencies using strata (SN, CP, BC), pp. 229–240.

CC-2006-Necula #dependent type #low level #type system #using

Using Dependent Types to Port Type Systems to Low-Level Languages (GCN), p. 1.

CGO-2006-KimSMP #2d #branch #detection #named #set

2D-Profiling: Detecting Input-Dependent Branches with a Single Input Data Set (HK, MAS, OM, YNP), pp. 159–172.

HPCA-2006-SubramaniamL #dependence #memory management #predict #scalability #scheduling

Store vectors for scalable memory dependence prediction and scheduling (SS, GHL), pp. 65–76.

IJCAR-2006-GieslST #automation #dependence #framework #proving #termination

Automatic Termination Proofs in the Dependency Pair Framework (JG, PSK, RT), pp. 281–286.

IJCAR-2006-Rabe #dependent type #first-order #logic

First-Order Logic with Dependent Types (FR), pp. 377–391.

IJCAR-2006-TomanW #dependence #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 #dependence #modelling #quantifier

Dependency Quantified Horn Formulas: Models and Complexity (UB, HKB), pp. 198–211.

SAT-2006-ZabiyakaD #bound #complexity #dependence #functional

Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies (YZ, AD), pp. 116–129.

DAC-2005-ZhouMA #reduction

Structure preserving reduction of frequency-dependent interconnect (QZ, KM, ACA), pp. 939–942.

DATE-2005-HeniaE #analysis #distributed #scheduling

Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies (RH, RE), pp. 480–485.

DATE-2005-JhumkaKH #approach #design #embedded

A Dependability-Driven System-Level Design Approach for Embedded Systems (AJ, SK, SAH), pp. 372–377.

DocEng-2005-LiuHT #dependence #documentation #maintenance #xml

An environment for maintaining computation dependency in XML documents (DL, ZH, MT), pp. 42–51.

ICDAR-2005-El-HajjLM #markov #modelling #recognition #using

Arabic Handwriting Recognition Using Baseline Dependant Features and Hidden Markov Modeling (REH, LLS, CM), pp. 893–897.

PODS-2005-NashBM #composition #dependence #embedded

Composition of mappings given by embedded dependencies (AN, PAB, SM), pp. 172–183.

WRLA-2004-CervesatoS05 #dependent type #logic #representation #specification

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types (IC, MOS), pp. 183–207.

WRLA-2004-DenkerT05 #dependence

Formal Checklists for Remote Agent Dependability (GD, CLT), pp. 229–248.

ESOP-2005-RanganathABDH #slicing

A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.

TACAS-2005-KomondoorRCF #comprehension #dependent type

Dependent Types for Program Understanding (RK, GR, SC, JF), pp. 157–173.

CSMR-2005-ArevaloDN #dependence

Discovering Unanticipated Dependency Schemas in Class Hierarchies (GA, SD, ON), pp. 62–71.

CSMR-2005-XiaoT #clustering #dependence

Software Clustering Based on Dynamic Dependencies (CX, VT), pp. 124–133.

ICSM-2005-BinkleyH #clustering #dependence

Locating Dependence Clusters and Dependence Pollution (DB, MH), pp. 177–186.

WCRE-2005-MoiseW #dependence #representation

Extracting and Representing Cross-Language Dependencies in Diverse Software Systems (DLM, KW), pp. 209–218.

SAS-2005-HarrenN #assembly #dependent type #safety #using

Using Dependent Types to Certify the Safety of Assembly Code (MH, GCN), pp. 155–170.

CIAA-J-2004-Yli-Jyra05 #approximate #dependence #regular expression

Approximating dependency grammars through intersection of star-free regular languages (AYJ), pp. 565–579.

SFM-2005-MontanariP #automaton

History-Dependent Automata: An Introduction (UM, MP), pp. 1–28.

IFL-2005-BradyH #execution #framework #static analysis

A Dependently Typed Framework for Static Analysis of Program Execution Costs (EB, KH), pp. 74–90.

VISSOFT-2005-FalkeKKQ #dependence #visualisation

The Dominance Tree in Visualizing Software Dependencies (RF, RK, RK, JQ), pp. 83–88.

VISSOFT-2005-WilhelmD #design #metric #named #quality #visualisation

DependencyViewer — A Tool for Visualizing Package Design Quality Metrics (MW, SD), pp. 125–126.

ICEIS-v1-2005-ManicaCD #architecture #semantics

An Architecture for Location-Dependent Semantic Cache Management (HM, MSdC, MARD), pp. 320–325.

CIKM-2005-GriecoLRR #algorithm #consistency #dependence #query

Consistent query answering under key and exclusion dependencies: algorithms and experiments (LG, DL, RR, MR), pp. 792–799.

ECIR-2005-HauffA #analysis #documentation

Age Dependent Document Priors in Link Structure Analysis (CH, LA), pp. 552–554.

KDD-2005-MorinagaAISA #dependence #mining #semantics

Key semantics extraction by dependency tree mining (SM, HA, TI, YS, SA), pp. 666–671.

SEKE-2005-GrauFMACHNBQ #dependence #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 #dependence #modelling #variability

Modelling Feature Variability and Dependency in Two Views (HY, AS), pp. 661–664.

SIGIR-2005-CuiSLKC #dependence #retrieval #using

Question answering passage retrieval using dependency relations (HC, RS, KL, MYK, TSC), pp. 400–407.

SIGIR-2005-MetzlerC #dependence #markov #random

A Markov random field model for term dependencies (DM, WBC), pp. 472–479.

SIGIR-2005-SunCLKC #dependence

Dependency relation matching for answer selection (RS, HC, KL, MYK, TSC), pp. 651–652.

MoDELS-2005-ZiaMVK #approach #design #modelling #simulation

A Modelling and Simulation Based Approach to Dependable System Design (MZ, SM, HV, JK), pp. 217–231.

MoDELS-2005-ZiaMVK #approach #design #modelling #simulation

A Modelling and Simulation Based Approach to Dependable System Design (MZ, SM, HV, JK), pp. 217–231.

ECOOP-2005-ChibaI #aspect-oriented #dependence #injection #programming

Aspect-Oriented Programming Beyond Dependency Injection (SC, RI), pp. 121–143.

OOPSLA-2005-SangalJSJ #architecture #dependence #modelling #using

Using dependency models to manage complex software architecture (NS, EJ, VS, DJ), pp. 167–176.

RE-2005-Jackson #question

Dependable Software: An Oxymoron? (DJ), p. 3.

RE-2005-ZhangMZ #approach #dependence #feature model #modelling #requirements

A Feature-Oriented Approach to Modeling Requirements Dependencies (WZ, HM, HZ), pp. 273–284.

SAC-2005-GaoH #query

Location dependent query proxy (XG, ARH), pp. 1120–1124.

ICSE-2005-Fox #dependence #machine learning #statistics

Addressing software dependability with statistical and machine learning techniques (AF), p. 8.

ICSE-2005-Littlewood #assessment #dependence #state of the art

Dependability assessment of software-based systems: state of the art (BL), pp. 6–7.

CC-2005-OlmosV #data flow #text-to-text

Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules (KO, EV), pp. 204–220.

CGO-2005-OdairaH #dependence #exception

Sentinel PRE: Hoisting beyond Exception Dependency with Dynamic Deoptimization (RO, KH), pp. 328–338.

LCTES-2005-SassoneWL #dependence #embedded #performance

Static strands: safely collapsing dependence chains for increasing embedded power efficiency (PGS, DSW, GHL), pp. 127–136.

SAT-J-2004-GregoireOMS05 #automation #dependence #functional

Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 122–132.

RTA-2005-AotoY #dependence #term rewriting

Dependency Pairs for Simply Typed Term Rewriting (TA, TY), pp. 120–134.

SAT-2005-DurairajK #constraints #dependence #performance #satisfiability

Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies (VD, PK), pp. 415–422.

TestCom-2005-HongU #data flow #dependence #testing

Dependence Testing: Extending Data Flow Testing with Control Dependence (HSH, HU), pp. 23–39.

DATE-DF-2004-AitkenM #dependence #design

From Working Design Flow to Working Chips: Dependencies and Impacts of Methodology Decisions (RCA, FM), p. 2.

DATE-v2-2004-YooYBJD #concept #design #multi #using

Multi-Processor SoC Design Methodology Using a Concept of Two-Layer Hardware-Dependent Software (SY, MWY, AB, AAJ, MDN), pp. 1382–1383.

DRR-2004-BerknerSM #named

SmartNails: display- and image-dependent thumbnails (KB, ELS, CM), pp. 54–65.

HT-2004-BerleantMABDDEGL #approach #documentation #lightweight

Head-tail display: a lightweight approach to query-dependent document display (DB, JM, MA, JB, RD, TD, LE, CG, KHL), pp. 22–23.

PODS-2004-FaginPKT #dependence #higher-order

Composing Schema Mappings: Second-Order Dependencies to the Rescue (RF, PGK, LP, WCT), pp. 83–94.

PODS-2004-HartmannL #dependence #multi

Multi-valued Dependencies in the Presence of Lists (SH, SL), pp. 330–341.

SIGMOD-2004-IlyasMHBA #automation #correlation #dependence #functional #named

CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies (IFI, VM, PJH, PB, AA), pp. 647–658.

ITiCSE-2004-ParkinsonRW

Accommodating field-dependence: a cross-over study (AP, JAR, CW), pp. 72–76.

ITiCSE-WGR-2004-MatosG #approximate #dependence #functional

SQL-based discovery of exact and approximate functional dependencies (VM, BG), pp. 58–63.

ESOP-2004-DuckPSS #decidability #dependence #functional #type inference

Sound and Decidable Type Inference for Functional Dependencies (GJD, SLPJ, PJS, MS), pp. 49–63.

ESOP-2004-LhoussaineS #calculus

A Dependently Typed Ambient Calculus (CL, VS), pp. 171–187.

ICSM-2004-Basili #dependence #empirical #evolution

Empirically Evolving Software Techniques: The High Dependability Computing Project (VRB), p. 3.

ICSM-2004-Krinke #dependence #slicing #visualisation

Visualization of Program Dependence and Slices (JK), pp. 168–177.

SCAM-2004-Rothermel #analysis #source code #using

Using Source-Code Analysis to Help End-User Programmers Create Dependable Software (GR), p. 3.

SAS-2004-HymansU #data flow #dependence #graph #static analysis

Static Analysis of Gated Data Dependence Graphs (CH, EU), pp. 197–211.

CIAA-2004-Yli-Jyra #approximate #dependence #regular expression

Approximating Dependency Grammars Through Intersection of Regular Languages (AYJ), pp. 281–292.

AFP-2004-McBride04 #dependent type #named #programming

Epigram: Practical Programming with Dependent Types (CM), pp. 130–170.

ICFP-2004-TseZ #dependence #parametricity

Translating dependency into parametricity (ST, SZ), pp. 115–125.

CAiSE-2004-Matulevicius #case study #how #quality #requirements #specification #tool support

How Requirements Specification Quality Depends on Tools: A Case Study (RM), pp. 353–367.

ICEIS-v2-2004-CaleroDSSMS #approximate #database #dependence #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 #dependence #diagrams #uml #verification

UML Model Verification Through Diagram Dependency Relationships (MA, HBA, FG), pp. 184–191.

ICEIS-v4-2004-Katasonov #dependence

Dependability of Location-Based Services: A Largely Overlooked Aspect (AK), pp. 489–496.

CIKM-2004-HeL #dependence #functional

Extending and inferring functional dependencies in schema transformation (QH, TWL), pp. 12–21.

ICML-2004-ToutanovaMN #dependence #learning #modelling #random #word

Learning random walk models for inducing word dependency distributions (KT, CDM, AYN).

ICPR-v1-2004-DmitryD #algorithm #classification #effectiveness

Data Dependent Classifier Fusion for Construction of Stable Effective Algorithms (DV, DK), pp. 144–147.

ICPR-v4-2004-ChenC04a #bidirectional #dependence #learning #network

Improvement of Bidirectional Recurrent Neural Network for Learning Long-Term Dependencies (JC, NSC), pp. 593–596.

ICPR-v4-2004-LiuSCH #clustering #personalisation #using #verification

Personalized Face Verification System Using Owner-Specific Cluster-Dependent LDA-Subspace (HCL, CHS, YHC, YPH), pp. 344–347.

ICPR-v4-2004-YuanL #dependence #nondeterminism

Fragile Watermarking Scheme Exploiting Non-Deterministic Block-Wise Dependency (YY, CTL), pp. 849–852.

SIGIR-2004-GaoNWC #dependence #information retrieval

Dependence language model for information retrieval (JG, JYN, GW, GC), pp. 170–177.

SIGIR-2004-KimCK #dependence #documentation #using

Refining term weights of documents using term dependencies (HSK, IC, MK), pp. 552–553.

TOOLS-USA-2003-EnselmeFL04 #analysis #component #contract #dependence #design

Design by Contract: analysis of hidden dependencies in component based application (DE, GF, FLA), pp. 23–45.

GPCE-2004-CepaM #dependence #dot-net

Declaring and Enforcing Dependencies Between .NET Custom Attributes (VC, MM), pp. 283–297.

PADL-2004-ChenZX #case study #dependent type #haskell #implementation #simulation

Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell (CC, DZ, HX), pp. 239–254.

POPL-2004-Yoshida #dependent type #higher-order #mobile #process

Channel dependent types for higher-order mobile processes (NY), pp. 147–160.

RE-2004-FranchGQ #framework #metric #modelling

A Framework for the Definition of Metrics for Actor-Dependency Models (XF, GG, CQ), pp. 348–349.

SAC-2004-Savinov #dependence #mining

Mining dependence rules by finding largest itemset support quota (AAS), pp. 525–529.

SAC-2004-UngureanuMBK #clustering

Class-Dependent Assignment in cluster-based servers (VU, BM, PGB, MNK), pp. 1420–1425.

SAC-PL-J-2004-Lagorio #dependence #java

Capturing ghost dependencies in Java sources (GL), pp. 77–96.

ICSE-2004-Knight #dependence

An Introduction to Computing System Dependability (JCK), pp. 730–731.

CC-2004-ChenLDHY #data flow #dependence #optimisation #profiling

Data Dependence Profiling for Speculative Optimizations (TC, JL, XD, WCH, PCY), pp. 57–72.

CC-2004-RanganathH #concurrent #dependence #java #slicing #source code

Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs (VPR, JH), pp. 39–56.

CGO-2004-HuS #using

Using Dynamic Binary Translation to Fuse Dependent Instructions (SH, JES), pp. 213–226.

LCTES-2004-ZengSE #concurrent #dependence #generative #graph #performance

Generating fast code from concurrent program dependence graphs (JZ, CS, SAE), pp. 175–181.

OSDI-2004-LevasseurUSG #dependence #reuse #virtual machine

Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines (JL, VU, JS, SG), pp. 17–30.

CAV-2004-JiangB #dependence #functional #reduction #verification

Functional Dependency for Verification Reduction (JHRJ, RKB), pp. 268–280.

CSL-2004-SchoppS #dependent type #type system

A Dependent Type Theory with Names and Binding (US, IS), pp. 235–249.

ICLP-2004-JiaYY #set #source code

Adding Domain Dependent Knowledge into Answer Set Programs for Planning (XJ, JHY, LYY), pp. 400–415.

IJCAR-2004-ThiemannGS #composition #dependence #proving #termination #using

Improved Modular Termination Proofs Using Dependency Pairs (RT, JG, PSK), pp. 75–90.

RTA-2004-Blanqui #higher-order #term rewriting #termination #type system

A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems (FB), pp. 24–39.

RTA-2004-HirokawaM #dependence #revisited

Dependency Pairs Revisited (NH, AM), pp. 249–268.

SAT-2004-GregoireOMS #automation #dependence #functional

Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 157–165.

VMCAI-2004-Vanackere #encryption #process #scheduling

History-Dependent Scheduling for Cryptographic Processes (VV), pp. 16–29.

DAC-2003-JersakE #analysis #dependence #multi #scheduling

Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals (MJ, RE), pp. 454–459.

DAC-2003-Tahoori #satisfiability #testing #using

Using satisfiability in application-dependent testing of FPGA interconnects (MBT), pp. 678–681.

DATE-2003-PomeranzR03a #dependence #testing

Test Data Compression Based on Output Dependence (IP, SMR), pp. 11186–11187.

ICDAR-2003-KangD #classification #dependence #higher-order #multi

Combining Multiple Classifiers based on Third-Order Dependency (HJK, DSD), pp. 21–25.

ICDAR-2003-Mori #feature model #recognition #using #video

Video text recognition using feature compensation as category-dependent feature extraction (MM), pp. 645–649.

ICDAR-2003-UchidaS #recognition #using

Handwritten character recognition using elastic matching based on a class-dependent deformation model (SU, HS), pp. 163–167.

VLDB-2003-TsoisS #dependence #optimisation

The Generalized Pre-Grouping Transformation: Aggregate-Query Optimization in the Presence of Dependencies (AT, TKS), pp. 644–655.

VLDB-2003-VieiraM #benchmark #dependence #metric

A Dependability Benchmark for OLTP Application Environments (MV, HM), pp. 742–753.

TACAS-2003-HermannsJ #analysis #component #dependence #performance #set

A Set of Performance and Dependability Analysis Components for CADP (HH, CJ), pp. 425–430.

IWPC-2003-LinosCBO #comprehension #dependence #multi

A Tool For Understanding Multi-Language Program Dependencies (PKL, ZHC, SB, BO), pp. 64–73.

SCAM-2003-MossienkoKASG #dependence #legacy #maintenance #towards

Towards managing environment dependence during legacy systems renovation and maintenance (MM, OK, DA, OS, AG), pp. 131–140.

SCAM-2003-WalkinshawRW #dependence #graph #java

The Java System Dependence Graph (NW, MR, MW), pp. 55–64.

ICALP-2003-TorreNPP #recursion #state machine

Hierarchical and Recursive State Machines with Context-Dependent Properties (SLT, MN, MP, GP), pp. 776–789.

SEFM-2003-Xi #dependent type #verification

Facilitating Program Verification with Dependent Types (HX), pp. 72–81.

SFM-2003-IssarnyZ #architecture #dependence

Software Architecture and Dependability (VI, AZ), pp. 259–286.

SFM-2003-StaffordWC #analysis #architecture #dependence

The Application of Dependence Analysis to Software Architecture Descriptions (JAS, ALW, MC), pp. 52–62.

ICFP-2003-LohCJ #haskell

Dependency-style generic Haskell (AL, DC, JJ), pp. 141–152.

VISSOFT-2003-HassanH #comprehension #dependence #graph #named

ADG: Annotated Dependency Graphs for Software Understanding (AEH, RCH), pp. 41–45.

CAiSE-2003-VincentL #dependence #multi #xml

Multivalued Dependencies and a 4NF for XML (MWV, JL), pp. 14–29.

ICEIS-v3-2003-LiongM #dependence #design #source code

Computing Message Dependencies in System Designs and Programs (BLL, LAM), pp. 619–622.

ICML-2003-GeibelW #learning

Perceptron Based Learning with Example Dependent and Noisy Costs (PG, FW), pp. 218–225.

ICML-2003-MarchandSSS #set

The Set Covering Machine with Data-Dependent Half-Spaces (MM, MS, JST, MS), pp. 520–527.

SIGIR-2003-BruzaS #comparison #dependence #modelling #probability #using

A comparison of various approaches for using probabilistic dependencies in language modeling (PB, DS), pp. 419–420.

SIGIR-2003-SrikanthS #dependence #documentation #modelling #query #retrieval

Incorporating query term dependencies in language models for document retrieval (MS, RKS), pp. 405–406.

ECOOP-2003-OderskyCRZ #dependent type

A Nominal Theory of Objects with Dependent Types (MO, VC, CR, MZ), pp. 201–224.

RE-2003-ShihL #requirements

Acquiring and Incorporating State-Dependent Timing Requirements (CSS, JWSL), pp. 87–94.

SAC-2003-ZhengLL

Selecting the Best Valid Scopes for Wireless Dissemination of Location-dependent Data (BZ, WCL, DLL), pp. 860–865.

ICSE-2003-BinkleyH #dependence #empirical #roadmap

An Empirical Study of Predicate Dependence Levels and Trends (DB, MH), pp. 330–340.

ICSE-2003-Knight #dependence

Computing Systems Dependability (JCK), pp. 742–743.

CC-2003-JohnsonM #dependence #graph #using

Combined Code Motion and Register Allocation Using the Value State Dependence Graph (NJ, AM), pp. 1–16.

HPCA-2003-ChenDA #branch #data flow #dependence #predict

Dynamic Data Dependence Tracking and its Application to Branch Prediction (LC, SD, DHA), pp. 65–76.

CADE-2003-HirokawaM #automation #dependence

Automating the Dependency Pair Method (NH, AM), pp. 32–46.

ICLP-2003-WuPR #complexity #logic programming #on the

On the Complexity of Dependent And-Parallelism in Logic Programming (YW, EP, DR), pp. 361–376.

LICS-2003-Kopylov #type system

Dependent Intersection: A New Way of Defining Records in Type Theory (AK), pp. 86–95.

TLCA-2003-CoquandPT #framework #logic

A Logical Framework with Dependently Typed Records (TC, RP, MT), pp. 105–119.

CBSE-2003-CervantesH #automation #component #dependence

Automating Service Dependency Management in a Service-Oriented Component Model (HC, RSH), p. 16.

ASE-2002-Chen #component #configuration management #dependence #distributed

Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems (XC), pp. 279–284.

ASE-2002-LoerH #analysis #interactive #model checking #towards

Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems (KL, MDH), pp. 223–226.

ASE-2002-VieiraR #component #dependence #scalability

Analyzing Dependencies in Large Component-Based Systems (MERV, DJR), pp. 241–244.

DAC-2002-YangP #component #multi #simulation #using

Time-domain steady-state simulation of frequency-dependent components using multi-interval Chebyshev method (BY, JRP), pp. 504–509.

ESOP-2002-Feret #analysis #dependence #mobile

Dependency Analysis of Mobile Systems (JF), pp. 314–330.

ESOP-2002-Thiemann #calculus #dependence #prototype

A Prototype Dependency Calculus (PT), pp. 228–242.

TACAS-2002-ChaH #constraints #distributed #execution #realtime #validation

Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems (HC, RH), pp. 83–97.

ICSM-2002-ChenZBZY #analysis #approach #dependence #novel

A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis (ZC, YZ, BX, JZ, HY), pp. 377–384.

ICSM-2002-Jungmayr #dependence #identification

Identifying Test-Critical Dependencies (SJ), pp. 404–413.

ICSM-2002-KorelTV #analysis #dependence #modelling #reduction #testing #using

Model Based Regression Test Reduction Using Dependence Analysis (BK, LHT, BV), pp. 214–223.

IWPC-2002-TakadaOI #information management #lightweight #slicing #using

Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information (TT, FO, KI), pp. 169–177.

SCAM-2002-Balmas #dependence #documentation #graph #source code #using

Using Dependence Graphs as a Support to Document Programs (FB), pp. 145–154.

SCAM-2002-HarmanFHHDW #analysis #dependence #named

VADA: A Transformation-Based System for Variable Dependence Analysis (MH, CF, RMH, LH, SD, JW), pp. 55–64.

SCAM-2002-RiccaT #dependence #graph #slicing #web

Construction of the System Dependence Graph for Web Application Slicing (FR, PT), pp. 123–132.

WCRE-2002-BarowskiC #dependence #java

Extraction and Use of Class Dependency Information for Java (LAB, JHCI), p. 309–?.

PEPM-2002-Lu #analysis #logic programming #source code

Path dependent analysis of logic programs (LL), pp. 63–74.

FME-2002-FirleyG #abstraction #verification

Property Dependent Abstraction of Control Structure for Software Verification (TF, UG), pp. 511–530.

FME-2002-Pahl #abstraction #analysis #refinement #using

Interference Analysis for Dependable Systems Using Refinement and Abstraction (CP), pp. 330–349.

Ada-2002-BarrM #ada #embedded #named #open source #operating system #safety

Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT) (VB, SM), pp. 53–66.

AdaEurope-2002-ChenBZY #ada #analysis #concurrent #dependence #source code

Static Dependency Analysis for Concurrent Ada 95 Programs (ZC, BX, JZ, HY), pp. 219–230.

CAiSE-2002-StavrakasG #multi #representation #semistructured data #web

Multidimensional Semistructured Data: Representing Context-Dependent Information on the Web (YS, MG), pp. 183–199.

ICEIS-2002-EncisoM #dependence #functional #named #taxonomy

FD3: A Functional Dependencies Data Dictionary (ME, AM), pp. 807–810.

ICEIS-2002-LawsAT #adaptation #enterprise #information management #self

Normative Services for Self-Adaptive Software to Support Dependable Enterprise Information Systems (AL, MA, ATB), pp. 954–961.

CIKM-2002-NallapatiA #dependence #modelling #using

Capturing term dependencies using a language model based on sentence trees (RN, JA), pp. 383–390.

ICPR-v1-2002-SinghMS #analysis #dependence #image

Colour Image Texture Analysis: Dependence on Colour Spaces (MS, MM, SS), pp. 672–675.

ICPR-v2-2002-RukhinGPLHN #algorithm #dependence #recognition

Dependence Characteristics of Face Recognition Algorithms (ALR, PG, PJP, SL, AH, EMN), pp. 36–39.

ICPR-v3-2002-MoriSH #feature model #recognition

Category-Dependent Feature Extraction for Recognition of Degraded Handwritten Characters (MM, MS, NH), pp. 155–159.

SIGIR-2002-GaoZNHC #ambiguity #dependence #query #using

Resolving query translation ambiguity using a decaying co-occurrence model and syntactic dependence relations (JG, MZ, JYN, HH, WC), pp. 183–190.

TOOLS-USA-2002-PeriorellisD #collaboration #enterprise

Organisational Failures in Dependable Collaborative Enterprise Systems (PP, JED), pp. 107–117.

SAC-2002-PandaH #approach #database #dependence #robust

Extended data dependency approach: a robust way of rebuilding database (BP, KAH), pp. 446–452.

ICSE-2002-Knight02a #dependence #embedded

Dependability of embedded systems (JCK), pp. 685–686.

ICSE-2002-RobillardM #dependence #graph #using

Concern graphs: finding and describing concerns using structural program dependencies (MPR, GCM), pp. 406–416.

ICSE-2002-RobschinkS #dependence #graph #performance

Efficient path conditions in dependence graphs (TR, GS), pp. 478–488.

SPLC-2002-FerberHS #dependence #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.

ISSTA-2002-VaysburgTK #analysis #dependence #reduction #testing

Dependence analysis in reduction of requirement based test suites (BV, LHT, BK), pp. 107–111.

CBSE-2001-VieiraDR #component #dependence

Describing Dependencies in Component Access Points (MERV, MSD, DJR), p. 22.

DAC-2001-AjamiBPG #analysis #performance

Analysis of Non-Uniform Temperature-Dependent Interconnect Performance in High Performance ICs (AHA, KB, MP, LPPPvG), pp. 567–572.

DAC-2001-BhanjaR #dependence #modelling #network #probability #process #using

Dependency Preserving Probabilistic Modeling of Switching Activity using Bayesian Networks (SB, NR), pp. 209–214.

DAC-2001-YalcinPMBSH #dependence #using

An Advanced Timing Characterization Method Using Mode Dependency (HY, RP, MM, CB, KAS, JPH), pp. 657–660.

ICDAR-2001-DawoudK #documentation #image #using

Binarization of Document Images Using Image Dependent Model (AD, MK), pp. 49–53.

ICDAR-2001-KoshinakaNY #dependence #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 #dependence #documentation #image #logic

Automated Discovery of Dependencies Between Logical Components in Document Image Understanding (DM, FE, FAL, OA), pp. 174–178.

ESOP-2001-GenaimC #analysis #approach #dependence

The Def-inite Approach to Dependency Analysis (SG, MC), pp. 417–432.

ESOP-2001-KomondoorH #dependence #tool support #using

Tool Demonstration: Finding Duplicated Code Using Program Dependences (RK, SH), pp. 383–386.

FoSSaCS-2001-BartheP #dependent type #morphism #proving #reuse #type system

Type Isomorphisms and Proof Reuse in Dependent Type Theory (GB, OP), pp. 57–71.

CSMR-2001-HenrardH #database #dependence #elicitation #reverse engineering

Data Dependency Elicitation in Database Reverse Engineering (JH, JLH), pp. 11–19.

ICSM-2001-ByersKP #dependence #graph

Syntax-Directed Construction of Value Dependence Graphs (DB, MK, TP), p. 692–?.

ICSM-2001-Lemos #architecture #evolution #using

Describing Evolving Dependable Systems Using Co-Operative Software Architectures (RdL), p. 320–?.

ICSM-2001-OrsoSH #incremental #slicing

Incremental Slicing Based on Data-Dependences Types (AO, SS, MJH), p. 158–?.

ICSM-2001-ZhaoCU #concurrent #dependence #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 #dependence #pointer

Effects of Pointers on Data Dependences (AO, SS, MJH), pp. 39–49.

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

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

SCAM-2001-RebaudengoRVT #compilation #generative #text-to-text

A Source-to-Source Compiler for Generating Dependable Software (MR, MSR, MV, MT), pp. 35–44.

WCRE-2001-Balmas #approach #dependence #game studies #graph

Displaying Dependence Graphs: A Hierarchical Approach (FB), pp. 261–270.

WCRE-2001-GannodG #dependence #graph

An Investigation into the Connectivity Properties of Source-Header Dependency Graphs (GCG, BDG), pp. 115–126.

WCRE-2001-Krinke #dependence #graph #identification

Identifying Similar Code with Program Dependence Graphs (JK), pp. 301–309.

ICFP-2001-XiH #assembly

A Dependently Typed Assembly Language (HX, RH), pp. 169–180.

EDOC-2001-Ensel #approach #automation #dependence #modelling #scalability

A Scalable Approach to Automated Service Dependency Modeling in Heterogeneous Environments (CE), pp. 128–139.

EDOC-2001-TaiMRS #distributed #named #transaction

Dependency-Spheres: A Global Transaction Context for Distributed Objects and Messages (ST, TAM, IR, SMSJ), p. 105–?.

CIKM-2001-YanF #algorithm #dependence #multi

Algorithm for Discovering Multivalued Dependencies (MHY, AWCF), pp. 556–558.

GCSE-2001-PulvermuellerSC #dependence

A Version Model for Aspect Dependency Management (EP, AS, JC), pp. 70–79.

ICSE-2001-CabriLZ #coordination

Engineering Mobile-Agent Applications via Context-Dependent Coordination (GC, LL, FZ), pp. 371–380.

HPDC-2001-CuiN #component #dependence

QoS-Aware Dependency Management for Component-Based Systems (YC, KN), p. 127–?.

CAV-2001-AsterothBA #model checking #modelling

Model Checking with Formula-Dependent Abstract Models (AA, CB, UA), pp. 155–168.

IJCAR-2001-Middeldorp #approximate #automaton #dependence #graph #using

Approximating Dependency Graphs Using Tree Automata Techniques (AM), pp. 593–610.

LICS-2001-Xi #dependent type #termination #verification

Dependent Types for Program Termination Verification (HX), pp. 231–242.

RTA-2001-GieslK #dependence #equation

Dependency Pairs for Equational Rewriting (JG, DK), pp. 93–108.

RTA-2001-Hofbauer #proving #termination

Termination Proofs by Context-Dependent Interpretations (DH), pp. 108–121.

TLCA-2001-Danner #dependent type

Ramified Recurrence with Dependent Types (ND), pp. 91–105.

TLCA-2001-Geuvers #dependent type #higher-order #induction #type system

Induction Is Not Derivable in Second Order Dependent Type Theory (HG), pp. 166–181.

ASE-2000-BoseM #automation #coordination #generative #policy

Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies (PKB, MGM), p. 325–?.

DAC-2000-PomeranzR #fault #on the

On diagnosis of pattern-dependent delay faults (IP, SMR), pp. 59–62.

DATE-2000-LajoloRRVL #co-evolution #dependence #design #framework

Evaluating System Dependability in a Co-Design Framework (ML, MR, MSR, MV, LL), pp. 586–590.

PODS-2000-DalkilicR #dependence

Information Dependencies (MMD, ELR), pp. 245–253.

ESOP-2000-Jones #dependence #functional

Type Classes with Functional Dependencies (MPJ), pp. 230–244.

IWPC-2000-ChenR #case study #dependence #feature model #graph #using

Case Study of Feature Location Using Dependence Graph (KC, VR), pp. 241–247.

PLDI-2000-HeydonLY #dependence #precise #using

Caching function calls using precise dependencies (AH, RL, YY), pp. 311–320.

IFM-2000-FischerC #dependence #diagrams #formal method #verification

Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes (JF, SC), pp. 45–60.

CSCW-2000-HerbslebMFG #collaboration #dependence #distance

Distance, dependencies, and delay in a global collaboration (JDH, AM, TAF, REG), pp. 319–328.

ICPR-v4-2000-YamaguchiTYY #generative #image #realtime #sequence #using

Real-Time Generation and Presentation of View-Dependent Binocular Stereo Images Using a Sequence of Omnidirectional Images (KY, HT, KY, NY), pp. 4589–4593.

SIGIR-2000-FukumotoS #dependence

Event tracking based on domain dependency (FF, YS), pp. 57–64.

SAC-2000-LeeKHL #dependence #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 #dependence #information management

Data Dependency Based Logging for Defensive Information Warfare (BP, ST), pp. 361–365.

SAC-2000-WangTH #database #dependence #functional #fuzzy #mining #relational

Mining Functional Dependencies from Fuzzy Relational Databases (SLW, JST, TPH), pp. 490–493.

FoSE-2000-LittlewoodS00b #dependence #reliability #roadmap

Software reliability and dependability: a roadmap (BL, LS), pp. 175–188.

SPLC-2000-DoerrS #architecture #dependence #execution #product line

Freeing product line architectures from execution dependencies (BSD, DS), pp. 313–330.

HPCA-2000-MoshovosS #dependence #memory management #trade-off

Memory Dependence Speculation Tradeoffs in Centralized, Continuous-Window Superscalar Processors (AM, GSS), pp. 301–312.

CSL-2000-BauerB #dependent type

Continuous Functionals of Dependent Types and Equilogical Spaces (AB, LB), pp. 202–216.

CSL-2000-HancockS #dependent type #interactive #source code #type system

Interactive Programs in Dependent Type Theory (PH, AS), pp. 317–331.

LICS-2000-Prost #calculus #dependence

A Static Calculus of Dependencies for the λ-Cube (FP), pp. 267–276.

LICS-2000-Xi #dependent type #imperative #programming

Imperative Programming with Dependent Types (HX), pp. 375–387.

RTA-2000-Arts #dependence

System Description: The Dependency Pair Method (TA), pp. 261–264.

WICSA-1999-SaridakisI #architecture #using

Developing Dependable Systems Using Software Architecture (TS, VI), pp. 83–104.

ICDAR-1999-KosmalaRLP #graph grammar #markov #modelling #online #recognition #using

On-Line Handwritten Formula Recognition using Hidden Markov Models and Context Dependent Graph Grammars (AK, GR, SL, LP), pp. 107–110.

ICDAR-1999-NakagawaYN #normalisation #recognition

An Off-line Character Recognition Method Employing Model-dependent Pattern Normalization by an Elastic Membrane Model (MN, TY, TN), pp. 495–498.

PODS-1999-HaraD #dependence #functional #reasoning

Reasoning about Nested Functional Dependencies (CSH, SBD), pp. 91–100.

ESOP-1999-KingSH #analysis #dependence

Quotienting Share for Dependency Analysis (AK, JGS, PMH), pp. 59–73.

IWPC-1999-FasolinoV #automation #comprehension #dependence

Improving Software Comprehension through an Automated Dependency Tracer (ARF, GV), pp. 58–65.

ICML-1999-Robnik-SikonjaK #dependence #modelling

Attribute Dependencies, Understandability and Split Selection in Tree Based Models (MRS, IK), pp. 344–353.

KDD-1999-WijsenNC #dependence

Discovering Roll-Up Dependencies (JW, RTN, TC), pp. 213–222.

OOPSLA-1999-ZorzoS #distributed #framework #interactive #multi #object-oriented

A Distributed Object-Oriented Framework for Dependable Multiparty Interactions (AFZ, RJS), pp. 435–446.

TOOLS-EUROPE-1999-Zorzo #case study #interactive #multi

Dependable Multiparty Interactions: A Case Study (AFZ), pp. 319–328.

PPDP-1999-Russo #dependent type #ml #standard

Non-dependent Types for Standard ML Modules (CVR), pp. 80–97.

PADL-1999-Xi #dependent type

Dead Code Elimination through Dependent Types (HX), pp. 228–242.

POPL-1999-AbadiBHR #calculus #dependence

A Core Calculus of Dependency (MA, AB, NH, JGR), pp. 147–160.

POPL-1999-XiP #dependent type #programming

Dependent Types in Practical Programming (HX, FP), pp. 214–227.

RE-1999-Heitmeyer #development

Increasing the Role of RE in the Development of Dependable Systems (CLH, PM), p. 191–?.

SAC-1999-Binkley #dependence #graph #slicing #using

Computing Amorphous Program Slices Using Dependence Graphs (DB), pp. 519–525.

ICSE-1999-MaruyamaS #automation #dependence #graph #refactoring #using

Automatic Method Refactoring Using Weighted Dependence Graphs (KM, KS), pp. 236–245.

ICSE-1999-SinhaHR #control flow #interprocedural #slicing #source code

System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow (SS, MJH, GR), pp. 432–441.

HPDC-1999-CruzP #dependence #maintenance #named #network

DUNES: A Performance-Oriented System Support Environment for Dependency Maintenance in Workstation Networks (JC, KP), pp. 309–318.

CSL-1999-IshtiaqP #modelling #λ-calculus

Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (SSI, DJP), pp. 235–249.

DAC-1998-KrauterM #analysis #layout

Layout Based Frequency Dependent Inductance and Resistance Extraction for On-Chip Interconnect Timing Analysis (BK, SM), pp. 303–308.

ESOP-1998-RossS #alias #dependence #pointer

Building a Bridge between Pointer Aliases and Program Dependences (JLR, SS), pp. 221–235.

TACAS-1998-Lind-NielsenABHKL #analysis #composition #dependence #scalability #using #verification

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis (JLN, HRA, GB, HH, KJK, KGL), pp. 201–216.

CSMR-1998-ZhaoCU #concurrent #dependence #maintenance #object-oriented #representation

A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance (JZ, JC, KU), pp. 60–66.

ICSM-1998-LiangH #dependence #graph #slicing #using

Slicing Objects Using System Dependence Graphs (DL, MJH), pp. 358–367.

PLDI-1998-XiP #array #bound #dependent type

Eliminating Array Bound Checking Through Dependent Types (HX, FP), pp. 249–257.

AFP-1998-Augustsson98 #dependent type #named

Cayenne — A Language with Dependent Types (LA), pp. 240–267.

ICFP-1998-Augustsson #dependent type #named

Cayenne — a Language with Dependent Types (LA), pp. 239–250.

IFL-1998-Pil

Dynamic Types and Type Dependent Functions (MP), pp. 169–185.

SIGAda-1998-LaskiSH #ada #analysis #dependence #source code

Dependency Analysis of Ada Programs (JWL, WS, JH), pp. 263–275.

ICPR-1998-OhLS #analysis #using

Using class separation for feature analysis and combination of class-dependent features (ISO, JSL, CYS), pp. 453–455.

SIGIR-1998-HyoudoNI #comparison #dependence #proximity #retrieval

Comparison Between Proximity Operation and Dependency Operation in Japanese Full-Text Retrieval (YH, KN, TI), pp. 341–342.

TOOLS-ASIA-1998-PeriorellisBS #dependence #enterprise #modelling #network #object-oriented #paradigm #using

Modeling Enterprise Dependency Networks Using an Object Oriented Paradigm (PP, AB, PS), p. 148–?.

REFSQ-1998-MaseraM #challenge #embedded #requirements

Dependable Embedded Systems: The Challenges for Requirements Engineering (MM, PM), pp. 187–192.

ICSE-1998-BinkleyS #dependence #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.

ASPLOS-1998-RothMS #data type #linked data #open data

Dependance Based Prefetching for Linked Data Structures (AR, AM, GSS), pp. 115–126.

CC-1998-Boyland #attribute grammar #dependence

Analyzing Direct Non-local Dependencies in Attribute Grammars (JB), pp. 31–49.

ISSTA-1998-HarroldRS #dependence #interprocedural

Computation of Interprocedural Control Dependence (MJH, GR, SS), pp. 11–20.

RTA-1998-ArtsG #composition #dependence #termination #using

Modularity of Termination Using Dependency pairs (TA, JG), pp. 226–240.

RTA-1998-MarcheU #commutative #dependence #termination

Termination of Associative-Commutative Rewriting by Dependency Pairs (CM, XU), pp. 241–255.

DAC-1997-KlenkeMAJRG #analysis #dependence #design #performance

An Integrated Design Environment for Performance and Dependability Analysis (RHK, MM, JHA, BWJ, RR, AG), pp. 184–189.

DAC-1997-PandaN #power management #synthesis

Technology-Dependent Transformations for Low-Power Synthesis (RP, FNN), pp. 650–655.

ICDAR-1997-KosmalaRR #markov #modelling #online #recognition #using

Improved On-Line Handwriting Recognition Using Context Dependent Hidden Markov Models (AK, JR, GR), pp. 641–644.

SAS-1997-Tzolovski #abstract interpretation #data flow #dependence

Data Dependence as Abstract Interpretations (ST), p. 366.

HCI-SEC-1997-Hollnagel97b #dependence

Control Versus Dependence: Striking the Balance in Function Allocation (EH), pp. 243–246.

TRI-Ada-1997-Cheng #ada #concurrent #dependence

Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications (JC), pp. 67–78.

ACIR-1997-MateevMS #dependence #how

Where the Linked Dependence Assumption Fails and How to Move Beyond It (BM, EM, PS).

ICML-1997-BalujaD #optimisation #using

Using Optimal Dependency-Trees for Combinational Optimization (SB, SD), pp. 30–38.

TOOLS-ASIA-1997-ChenWC #dependence #graph #object-oriented #slicing

An Object-Oriented Dependency Graph for Program Slicing (JLC, FJW, YLC), pp. 121–130.

SAC-1997-ChungP #algorithm #problem #question #representation #search-based #why

Why is problem-dependent and high-level representation scheme better in a genetic algorithm? (SC, RP), pp. 239–246.

CSL-1997-BraunerP #linear #logic

A Formulation of Linear Logic Based on Dependency-Relations (TB, VdP), pp. 129–148.

ICLP-1997-PontelliG #implementation

Implementation Mechanisms for Dependent And-Parallelism (EP, GG), pp. 123–137.

ICLP-1997-PontelliGPF #automation #parallel #prolog #source code

Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism (EP, GG, FP, AF), pp. 108–122.

TLCA-1997-Ghani #calculus #dependent type #type system

Eta-Expansions in Dependent Type Theory — The Calculus of Constructions (NG), pp. 164–180.

DAC-1996-LimSPS #approach #estimation #process #statistics

A Statistical Approach to the Estimation of Delay Dependent Switching Activities in CMOS Combinational Circuits (YJL, KIS, HJP, MS), pp. 445–450.

PODS-1996-MaherS #dependence

Chasing Constrained Tuple-Generating Dependencies (MJM, DS), pp. 128–138.

SIGMOD-1996-MorpainCFP #consistency #database #dependence #maintenance #multi

Maintaining Database Consistency in Presence of Value Dependencies in Multidatabase Systems (CM, MC, JF, JFP), pp. 459–468.

PLDI-1996-BilardiP #dependence

Generalized Dominance and Control Dependence (GB, KP), pp. 291–300.

ICALP-1996-SchulzS #data type #self

Self-Organizing Data Structures with Dependent Accesses (FS, ES), pp. 526–537.

ICFP-1996-AbadiLL #analysis #dependence

Analysis and Caching of Dependencies (MA, BWL, JJL), pp. 83–91.

ICPR-1996-NathanSP #online #parametricity #recognition

Parameter tying in writer-dependent recognition of on-line handwriting (KN, JS, MPP), pp. 28–32.

ICPR-1996-SainzS #context-sensitive grammar #learning #modelling #using

Learning bidimensional context-dependent models using a context-sensitive language (MS, AS), pp. 565–569.

KDD-1996-Sahami #classification #dependence #learning

Learning Limited Dependence Bayesian Classifiers (MS), pp. 335–338.

FSE-1996-Gunter #dependence

Abstracting Dependencies between Software Configuration Items (CAG), pp. 167–178.

CC-1996-ErtlK #anti #dependence

Removing Anti Dependences by Repairing (MAE, AK), pp. 33–43.

CSL-1996-Geuvers #dependent type #higher-order #logic #modelling #type system

Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory (HG), pp. 167–181.

ISSTA-1996-Hamlet #dependence #predict #testing

Predicting Dependability by Testing (RGH), pp. 84–91.

JICSLP-1996-PontelliG

Dependent And-Parallelism Revisited (Poster Abstract) (EP, GG), p. 542.

LICS-1996-AspinallC #dependent type #summary #type system

Subtyping Dependent Types (Summary) (DA, ABC), pp. 86–97.

RTA-1996-Virga #dependent type #higher-order

Higher-Order Superposition for Dependent Types (RV), pp. 123–137.

DAC-1995-SilveiraKW #3d #modelling #performance

Efficient Reduced-Order Modeling of Frequency-Dependent Coupling Inductances Associated with 3-D Interconnect Structures (LMS, MK, JW), pp. 376–380.

DAC-1995-SparmannLCR #fault #identification #performance #robust

Fast Identification of Robust Dependent Path Delay Faults (US, DL, KTC, SMR), pp. 119–125.

ICSM-1995-CanforaC #algorithm #dependence #graph

Algorithms for program dependence graph production (GC, AC), p. 157–?.

PLDI-1995-PingaliB #data type #dependence #named

APT: A Data Structure for Optimal Control Dependence Computation (KP, GB), pp. 32–46.

AdaEurope-1995-DavidPCC #ada #fault tolerance #realtime

Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems (PD, TP, AC, JFC), pp. 21–50.

KDD-1995-Bell #dependence #functional #maintenance

Discovery and Maintenance of Functional Dependencies by Independencies (SB), pp. 27–32.

OOPSLA-1995-DucasseBP #dependence

A Reflective Model for First Class Dependencies (SD, MBF, AMPD), pp. 265–280.

ICSE-1995-BertolinoS #assessment #dependence #metric #testing #using

Using Testability Measures for Dependability Assessment (AB, LS), pp. 61–70.

ICSE-1995-ChambersDG #dependence #framework

A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies (CC, JD, DG), pp. 221–230.

ICLP-1995-ZhaoCU #analysis #concurrent #dependence #logic programming #source code

Program Dependence Analysis of Concurrent Logic Programs and Its Applications (JZ, JC, KU), p. 825.

ILPS-1995-GiacobazziR #abstract interpretation #dependence #functional #semantics

Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics (RG, FR), pp. 321–335.

DAC-1994-RadivojevicB #execution #scheduling

Incorporating Speculative Execution in Exact Control-Dependent Scheduling (IPR, FB), pp. 479–484.

EDAC-1994-MichelLSDC #dependence

Taking Advantage of ASICs to Improve Dependability with Very Low Overheads (TM, RL, GS, RD, PC), pp. 14–18.

PLDI-1994-HummelHN #data flow #data type #dependence #pointer

A General Data Dependence Test for Dynamic, Pointer-Based Data Structures (JH, LJH, AN), pp. 218–229.

PLDI-1994-NorrisP #dependence #graph

Register Allocation over the Program Dependence Graph (CN, LLP), pp. 266–277.

SAS-1994-ArmstrongMSS #algebra #analysis #dependence #performance #representation

Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation (TA, KM, PS, HS), pp. 266–280.

SAS-1994-CodishD #dependence #logic programming #multi #polymorphism #source code #using

Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop (MC, BD), pp. 281–296.

STOC-1994-VavasisY

An accelerated interior point method whose running time depends only on A (extended abstract) (SAV, YY), pp. 512–521.

LFP-1994-ReistadG #execution

Static Dependent Costs for Estimating Execution Time (BR, DKG), pp. 65–78.

SEKE-1994-KoskinenPS #dependence #hypermedia #using

Program text as hypertext: using program dependences for transient linking (JK, JP, AS), pp. 209–216.

LOPSTR-1994-SolnonR #dependence #type inference

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

PLILP-1994-FieldT #dependence #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 #dependence #lazy evaluation

Lazy Array Data-Flow Dependence Analysis (VM), pp. 311–325.

POPL-1994-WeiseCES #dependence #graph #representation

Value Dependence Graphs: Representation without Taxation (DW, RFC, MDE, BS), pp. 297–310.

FSE-1994-Hamlet #dependence #testing

Foundations of Software Testing: Dependability Theory (RGH), pp. 128–139.

FSE-1994-JacksonR #dependence #reverse engineering

A New Model of Program Dependences for Reverse Engineering (DJ, EJR), pp. 2–10.

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

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

CC-1994-JustianiH #array #c #compilation #dependence #optimisation #testing

Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler (J, LJH), pp. 309–323.

HPDC-1994-BeckerW #dependence

Exploiting Inter-Task Dependencies for Dynamic Load Balancing (WB, GW), pp. 157–165.

CAV-1994-AzizSS #composition #equivalence #model checking

Formula-Dependent Equivalence for Compositional CTL Model Checking (AA, TRS, VS), pp. 324–337.

ISSTA-1994-HowdenH #dependence #metric

Confidence Oriented Software Dependability Measurement (Abstract) (WEH, YH), p. 196.

DAC-1993-HuD #dependence #functional

Reducing BDD Size by Exploiting Functional Dependencies (AJH, DLD), pp. 266–271.

ICDAR-1993-CullenE #documentation #image #segmentation

Weak model-dependent page segmentation and skew correction for processing document images (JFC, KE), pp. 757–760.

SIGMOD-1993-WoelkACMSST #dependence #scheduling #using

Task Scheduling Using Intertask Dependencies in Carot (DW, PCA, PC, GM, APS, MPS, CT), pp. 491–494.

VLDB-1993-AttieSSR #dependence #specification

Specifying and Enforcing Intertask Dependencies (PCA, MPS, APS, MR), pp. 134–145.

CSM-1993-LoyallM #analysis #dependence #maintenance #process #using

Using Dependence Analysis to Support the Software Maintenance Process (JPL, SAM), pp. 282–291.

PLDI-1993-JohnsonP #dependence #program analysis

Dependence-Based Program Analysis (RJ, KP), pp. 78–89.

STOC-1993-FeldmannKST #dependence #online #parallel #scheduling

Optimal online scheduling of parallel jobs with dependencies (AF, MYK, JS, SHT), pp. 642–651.

WSA-1993-Jorgensen #dependence #fixpoint

Chaotic Fixpoint Iteration Guided by Dynamic Dependency (NJ), pp. 27–44.

WSA-1993-MaffeisG #architecture #dependence

Combining Dependability with Architectural Adatability by Means of the SIGNAL Language (OM, PLG), pp. 99–110.

HCI-SHI-1993-Karsenty #case study

Task-Dependent Descriptions: A Preliminary Study (LK), pp. 897–902.

AdaEurope-1993-CherniackDF #ada #source code

Tool for Computing Cohesion and Coupling in Ada Programs: DIANA Dependent Part (JRC, HSD, JFF), pp. 180–196.

POPL-1993-BatesH #dependence #graph #incremental #testing #using

Incremental Program Testing Using Program Dependence Graphs (SB, SH), pp. 384–396.

POPL-1993-Lakhotia #dependence #graph #multi #using

Constructing Call Multigraphs Using Dependence Graphs (AL), pp. 273–284.

RE-1993-IshiharaSK #dependence #natural language #specification #using

A translation method from natural language specifications into formal specifications using contextual dependencies (YI, HS, TK), pp. 232–239.

CAV-1993-GodefroidP #dependence #partial order #verification

Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract) (PG, DP), pp. 438–449.

ICLP-1993-Shen #implementation

Implementing Dynamic Dependent And-Parallelism (KS), pp. 167–183.

ISSTA-1993-HarroldMR #dependence #graph #performance

Efficient Construction of Program Dependence Graphs (MJH, BAM, GR), pp. 160–170.

TLCA-1993-JacobsM #dependent type #higher-order #logic #type system

Translating Dependent Type Theory into Higher Order Logic (BJ, TFM), pp. 209–229.

DAC-1992-WakabayashiT #dependence #independence #scheduling

Global Scheduling Independent of Control Dependencies Based on Condition Vectors (KW, HT), pp. 112–115.

PLDI-1992-Maslov #dependence #equation #multi #named #performance

Delinearization: An Efficient Way to Break Multiloop Dependence Equations (VM), pp. 152–161.

PLDI-1992-PughW #data flow #dependence #using

Eliminating False Data Dependences using the Omega Test (WP, DW), pp. 140–151.

ICALP-1992-Schmid #algorithm #multi

The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects (US), pp. 223–234.

AdaEurope-1992-Cheng #ada #concurrent #dependence #representation #source code

Task Dependence Net as a Representation for Concurrent Ada Programs (JC), pp. 150–164.

CIKM-1992-KeenR #approximate #database #dependence #induction

Inductive Dependencies and Approximate Databases (DK, AR), pp. 98–114.

ICSE-1992-HorwitzR #dependence #graph #re-engineering

The Use of Program Dependence Graphs in Software Engineering (SH, TWR), pp. 392–411.

ICSE-1992-Lister #design #realtime

Design of Dependable Real-Time Systems (AML), pp. 35–36.

JICSLP-1992-Hodas #dependence #logic programming #programming language #semiparsing #specification

Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language (JSH), pp. 622–636.

JICSLP-1992-Shen #prolog

Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS) (KS), pp. 717–731.

SIGMOD-1991-HansenU #dependence

An Extended Memoryless Inference Control Method: Accounting for Dependence in Table-level Controls (SCH, EAU), pp. 348–356.

PLDI-1991-GoffKT #dependence #testing

Practical Dependence Testing (GG, KK, CWT), pp. 15–29.

PLDI-1991-MaydanHL #analysis #data flow #dependence #performance

Efficient and Exact Data Dependence Analysis (DEM, JLH, MSL), pp. 1–14.

STOC-1991-KedemPRS #parallel #performance

Combining Tentative and Definite Executions for Very Fast Dependable Parallel Computing (Extended Abstract) (ZMK, KVP, AR, PGS), pp. 381–390.

KDD-1991-Ziarko #analysis #database #dependence #representation

The Discovery, Analysis, and Representation of Data Dependencies in Databases (WZ), pp. 195–212.

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

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

POPL-1991-PingaliBJMS #algebra #approach #dependence #graph

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies (KP, MB, RJ, MM, PS), pp. 67–78.

PPoPP-1991-KrothapalliS #constant #dependence

Removal of Redundant Dependences in DOACROSS Lops with Constant Dependences (VPK, PS), pp. 51–60.

CAV-1991-HamaguchiHY #branch #logic #model checking #using #verification

Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic (KH, HH, SY), pp. 410–420.

ISLP-1991-GuptaCYH #independence #named

IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism (GG, VSC, RY, MVH), pp. 152–166.

DAC-1990-EdmondGSB #automation #dependence #design #named

ASSURE: Automated Design for Dependability (PE, APG, DPS, AAB), pp. 555–560.

PLDI-1990-BallanceMO #dependence #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-CormackW #parametricity

Type-Dependent Parameter Inference (GVC, AKW), pp. 127–136.

PLDI-1990-CytronFS #dependence

Compact Representations for Control Dependence (RC, JF, VS), pp. 337–351.

LFP-1990-SheldonG #dependent type

Static Dependent Types for First Class Modules (MAS, DKG), pp. 20–29.

ALP-1990-Saint-Dizier #dependence #logic programming #on the

On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic (PSD), pp. 232–246.

CADE-1990-FeltyM #encoding #logic programming #programming language #λ-calculus

Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language (APF, DM), pp. 221–235.

CADE-1990-PymW #first-order

Investigations into Proof-Search in a System of First-Order Dependent Function Types (DJP, LAW), pp. 236–250.

CAV-1990-Josko #equivalence

A Context Dependent Equivalence Relation Between Kripke Structures (BJ), pp. 204–213.

CSL-1990-Huang #dependence #logic

Logics for Belief Dependence (ZH), pp. 274–288.

SIGMOD-1989-SalzaT #database #dependence #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 #dependence #optimisation #relational

Optimization of Relational Schemas Containing Inclusion Dependencies (MAC, LT, ALF, APB), pp. 317–325.

PLDI-1989-CartwrightF #dependence #semantics

The Semantics of Program Dependence (RC, MF), pp. 13–27.

PLDI-1989-HorwitzPR #analysis #dependence #pointer

Dependence Analysis for Pointer Variables (SH, PP, TWR), pp. 28–40.

ML-1989-Marie #bias #dependence #learning

Building A Learning Bias from Perceived Dependencies (CdSM), pp. 501–502.

POPL-1989-BaxterB #dependence #graph

The Program Dependence Graph and Vectorization (WB, HRBI), pp. 1–11.

POPL-1989-Selke #dependence #graph #semantics

A Rewriting Semantics for Program Dependence Graphs (RPS), pp. 12–24.

ICSE-1989-VernerTJH #analysis #bibliography #case study #dependence #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 #dependence

Determination of Variable Dependence Information through Abstract Interpretation (KM, MVH), pp. 166–185.

NACLP-1989-Winsborough #analysis #multi #reachability

Path-Dependent Reachability Analysis for Multiple Specialization (WHW), pp. 133–153.

RTA-1989-Elliott #higher-order #unification

Higher-order Unification with Dependent Function Types (CE), pp. 121–136.

TAV-1989-PodgurskiC #debugging #dependence #maintenance #testing

The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance (AP, LAC), pp. 168–178.

SIGMOD-1988-LeuchnerMS #algorithm #dependence #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 #dependence

Enforcing Inclusion Dependencies and Referencial Integrity (MAC, LT, ALF), pp. 38–49.

PLDI-1988-HorwitzRB #dependence #graph #interprocedural #slicing #using

Interprocedural Slicing Using Dependence Graphs (SH, TWR, DB), pp. 35–46.

Best-of-PLDI-1988-HorwitzRB88a #dependence #graph #interprocedural #slicing #using

Interprocedural slicing using dependence graphs (with retrospective) (SH, TWR, DB), pp. 229–243.

SIGIR-1988-Schauble #dependence

An Information Structure Dealing with Term Dependence and Polysemy (PS), pp. 519–533.

POPL-1988-HorwitzPR88a #dependence #graph #on the #representation #source code

On the Adequacy of Program Dependence Graphs for Representing Programs (SH, JP, TWR), pp. 146–157.

CADE-1988-Jacquet #synthesis #type system

Program Synthesis by Completion with Dependent Subtypes (PJ), pp. 550–562.

PODS-1987-ChanH #bound #database #dependence #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 #dependence #embedded #functional

Computing Covers for Embedded Functional Dependencies (GG), pp. 58–69.

VLDB-1987-AtzeniC #database #dependence #functional #independence

Independent Database Schemes under Functional and Inclusion Dependencies (PA, EPFC), pp. 159–166.

VLDB-1987-LenzeriniN #constraints #dependence #on the #satisfiability

On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata (ML, PN), pp. 147–154.

VLDB-1987-MannilaR #dependence

Dependency Inference (HM, KJR), pp. 155–158.

HCI-CE-1987-Swain #automation #dependence #problem

Four Human Factors Problems for System Operators as Dependence on Automation Increases (ADS), pp. 105–112.

ESEC-1987-Laprie #approach #dependence

The Dependability Approach to Critical Computing Systems (JCL), pp. 233–243.

ICSE-1987-Ladkin #concurrent #dependence #process #specification #synthesis

Specification of Time Dependencies and Synthesis of Concurrent Processes (PBL), pp. 106–115.

PODS-1986-YuanO #database #dependence #design #functional #multi #relational

Unifying Functional and Multivalued Dependencies for Relational Database Design (LYY, ZMÖ), pp. 183–190.

VLDB-1986-ArisawaM #dependence #on the

On the Properties of Extended Inclusion Dependencies (HA, TM), pp. 449–456.

Best-of-PLDI-1986-BurkeC #analysis #dependence #interprocedural #parallel

Interprocedural dependence analysis and parallelization (with retrospective) (MGB, RC), pp. 139–154.

POPL-1986-MacQueen #composition #dependent type #using

Using Dependent Types to Express Modular Structure (DBM), pp. 277–286.

PODS-1985-Gyssens #dependence #embedded

Embedded Join Dependencies as a Tool for Decomposing Full Join Dependencies (MG), pp. 205–214.

SIGMOD-1985-DemoK #analysis #database #dependence

Analysis of the Context Dependency of CODASYL Find-Statements with Application to Database Program Conversion (GBD, SK), pp. 354–361.

VLDB-1985-Mendelzon #dependence #functional #logic programming #source code

Functional Dependencies in Logic Programs (AOM), pp. 324–330.

ICALP-1985-Bra #dependence

Imposed-Functional Dependencies Inducing Horizontal Decompositions (PDB), pp. 158–170.

ICALP-1985-Larsen #equivalence #process

A Context Dependent Equivalence between Processes (KGL), pp. 373–382.

SLP-1985-ChangD85 #analysis #backtracking #dependence #prolog

Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis (JHC, AMD), pp. 10–21.

PODS-1984-CosmadakisK #approach #dependence #functional #graph

Functional and Inclusion Dependencies: A Graph Theoretic Approach (SSC, PCK), pp. 29–37.

PODS-1984-FischerG #dependence #multi

Weak Multivalued Dependencies (PCF, DVG), pp. 266–274.

PODS-1984-GrahneR #database #dependence

Dependency Characterizations for Acyclic Database Schemes (GG, KJR), pp. 9–18.

PODS-1984-GyssensP #composition #dependence #on the

On the Decomposition of Join Dependencies (MG, JP), pp. 143–152.

PODS-1984-SaccaMM #database #dependence #functional

Properties of Database Schemata with Functional Dependencies (DS, FM, AM), pp. 19–28.

VLDB-1984-Grahne #database #dependence

Dependency Satisfaction in Databases with Incomplete Information (GG), pp. 37–45.

VLDB-1984-Tan #constraints #dependence

A Less Costly Constraints Checking for Join Dependency (KPT), pp. 63–68.

ICALP-1984-AtzeniM #constraints #database #dependence #functional #null

Functional Dependencies and Disjunctive Existence Constraints in Database Relations with Null Values (PA, NMM), pp. 69–81.

ICALP-1984-FaginV #bibliography #dependence #formal method #perspective

The Theory of Data Dependencies — An Overview (RF, MYV), pp. 1–22.

SIGIR-1984-MetzlerNRH #dependence #information retrieval #parsing

Dependency Parsing for Information Retrieval (DPM, TN, LR, PBH), pp. 313–324.

CADE-1984-Plaisted #analysis #dependence #graph #proving #theorem proving #using

Using Examples, Case Analysis, and Dependency Graphs in Theorem Proving (DAP), pp. 356–374.

DAC-1983-Heilweil

Technology rules- the other side of technology dependent code (MFH), p. 389.

PODS-1983-Mitchell #dependence #functional

Inference Rules for Functional and Inclusion Dependencies (JCM), pp. 58–69.

PODS-1983-Sciore #dependence

Inclusion Dependencies and the Universal Instance (ES), pp. 48–57.

SIGMOD-1983-ImielinskiL #database #dependence #relational

Incomplete Information and Dependencies in Relational Databases (TI, WLJ), pp. 178–184.

SIGMOD-1983-KambayashiY #composition #dependence #query

Query Processing Utilizing Dependencies and Horizontal Decomposition (YK, MY), pp. 55–67.

SIGMOD-1983-LaverMG #database #dependence #functional

Functional Dependencies on Cyclic Database Schemes (KL, AOM, MHG), pp. 79–91.

STOC-1983-KanellakisCV #dependence #polynomial #problem

Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract) (PCK, SSC, MYV), pp. 264–277.

ICALP-1983-BraP #dependence

Conditional Dependencies for Horizontal Decompositions (PDB, JP), pp. 67–82.

POPL-1983-AllenKPW #data flow #dependence

Conversion of Control Dependence to Data Dependence (JRA, KK, CP, JDW), pp. 177–189.

POPL-1983-FerranteO #dependence

A Program Form Based on Data Dependency in Predicate Regions (JF, KJO), pp. 217–236.

PODS-1982-Casanova #dependence #formal method #relational

A Theory of Data Dependencies over Relational Expressions (MAC), pp. 189–198.

PODS-1982-CasanovaFP #dependence #functional #interactive

Inclusion Dependencies and Their Interaction with Functional Dependencies (MAC, RF, CHP), pp. 171–176.

PODS-1982-GrahamM #dependence

Notions of Dependency Satisfaction (MHG, AOM), pp. 177–188.

PODS-1982-GurevichL #dependence #problem

The Inference Problem for Template Dependencies (YG, HRL), pp. 221–229.

PODS-1982-JohnsonK #dependence #functional #query #testing

Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (DSJ, ACK), pp. 164–169.

PODS-1982-Vardi #dependence #finite #problem

The Implication and Finite Implication Problems for Typed Template Dependencies (MYV), pp. 230–238.

SIGMOD-1982-DongH #approximate #dependence #order

Applying Approximate Order Dependency to Reduce Indexing Space (JD, RH), pp. 119–127.

VLDB-1982-GelenbeG #dependence #functional

The Size of Projections of Relations Satisfying a Functional Dependency (EG, DG), pp. 325–333.

VLDB-1982-Lafue #dependence #semantics

Semantic Integrity Dependencies and Delayed Integrity Checking (GMEL), pp. 292–299.

SIGIR-1982-SaltonBY #dependence #evaluation #information retrieval #modelling

An Evaluation of Term Dependence Models in Information Retrieval (GS, CB, CTY), pp. 151–173.

STOC-1981-ChandraLM #dependence #embedded #problem

Embedded Implicational Dependencies and their Inference Problem (AKC, HRL, JAM), pp. 342–354.

ICALP-1981-BeeriV #dependence #problem

The Implication Problem for Data Dependencies (CB, MYV), pp. 73–85.

ICALP-1981-Makowsky #database #dependence

Characterizing Data Base Dependencies (JAM), pp. 86–97.

POPL-1981-KuckKPLW #compilation #dependence #graph #optimisation

Dependence Graphs and Compiler Optimizations (DJK, RHK, DAP, BL, MW), pp. 207–218.

DAC-1980-CasavantGK #automation #dependence #design #graph

Automatic design with dependence graphs (AEC, DDG, DJK), pp. 506–515.

SIGMOD-1980-ParkerP #dependence #embedded #multi #transitive

Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies (DSPJ, KPG), pp. 52–57.

SIGMOD-1980-SadriU #dependence #functional #interactive

The Interaction between Functional Dependencies and Template Dependencies (FS, JDU), pp. 45–51.

VLDB-1980-Vassiliou #dependence #functional

Functional Dependencies and Incomplete Information (YV), pp. 260–269.

STOC-1980-Fagin #database #dependence #horn clause

Horn Clauses and Database Dependencies (Extended Abstract) (RF), pp. 123–134.

STOC-1980-SadriU #axiom #database #dependence #relational #scalability

A Complete Axiomatization for a Large Class of Dependencies in Relational Databases (FS, JDU), pp. 117–122.

ICALP-1980-Galil #algorithm #database #dependence #linear #relational

An Almost Linear Time Algorithm for Computing a Dependency Basis in a Relational Data Base (ZG), pp. 246–256.

CADE-1980-Bruynooghe #analysis #behaviour #dependence #logic programming #source code

Analysis of Dependencies to Improve the Behaviour of Logic Programs (MB), pp. 293–305.

SIGMOD-1979-MaierMS #dependence #testing

Testing Implications of Data Dependencies (Abstract) (DM, AOM, YS), p. 152.

VLDB-1979-HouselWY #database #dependence #design #functional #logic

The Functional Dependency Model for Logical Database Design (BCH, VEW, SBY), pp. 194–208.

VLDB-1979-Lien #database #dependence #multi #null #relational

Multivalued Dependencies with Null Values in Relational Data Bases (YEL), pp. 61–66.

VLDB-1979-MendelzonM #composition #database #dependence

Generalized Mutual Dependencies and the Decomposition of Database Relations (AOM, DM), pp. 75–82.

VLDB-1979-ParkerD #algorithm #dependence #multi

Algorithmic Applications for a new Result on Multivalued Dependencies (DSPJ, CD), pp. 67–74.

SIGMOD-1978-Nicolas #dependence #first-order #formal method #functional #logic #multi

First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies (JMN), pp. 40–46.

VLDB-1978-Nicolas #dependence

Mutual Dependencies and Some Results on Undecomposable Relations (JMN), pp. 360–367.

SIGMOD-1977-BeeriFH #axiom #database #dependence #functional #multi

A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations (CB, RF, JHH), pp. 47–61.

SIGMOD-1975-BernsteinST #approach #dependence #functional

A Unified Approach to Functional Dependencies and Relations (PAB, JRS, DT), pp. 237–245.

SIGMOD-1975-DeutscherST

Distribution-Dependent Hashing Functions and Their Characteristics (RFD, PGS, JPT), pp. 224–236.

SOSP-1971-Baskett #dependence #scheduling

The Dependence of Computer System Queues upon Processing Time Distribution and Central Processor Scheduling (FB), pp. 109–113.