BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (150)
base (78)
logic (69)
softwar (67)
product (67)

Stem variabl$ (all stems)

821 papers:

QoSAQoSA-2015-MyllarniemiRM #configuration management #product line #representation #security #variability
Representing and Configuring Security Variability in Software Product Lines (VM, MR, TM), pp. 1–10.
CASECASE-2015-LennartsonBW #hybrid #optimisation #petri net
Optimization of hybrid Petri nets with shared variables (BL, KB, OW), pp. 1395–1396.
CASECASE-2015-LiuY #modelling #predict #self
A self-organizing method for predictive modeling with highly-redundant variables (GL, HY), pp. 1084–1089.
DACDAC-2015-BuiniPG #automation #cyber-physical #design #modelling #physics #variability
Including variability of physical models into the design automation of cyber-physical systems (HMB, SP, TG), p. 6.
DACDAC-2015-GnadSKRSH #named #variability
Hayat: harnessing dark silicon and variability for aging deceleration and balancing (DG, MS, FK, SR, DS, JH), p. 6.
DACDAC-2015-RahimiCMGB #clustering #embedded #hardware #memory management #scheduling #variability
Task scheduling strategies to mitigate hardware variability in embedded shared memory clusters (AR, DC, AM, RKG, LB), p. 6.
DATEDATE-2015-KarageorgosSRRT #multi #variability
Impact of interconnect multiple-patterning variability on SRAMs (IK, MS, PR, JR, ZT, DV, RB, SS, WD), pp. 609–612.
DATEDATE-2015-RustLP #approximate #architecture
QR-decomposition architecture based on two-variable numeric function approximation (JR, FL, SP), pp. 892–895.
DATEDATE-2015-RustP #approximate #design #multi
Design method for multiplier-less two-variable numeric function approximation (JR, SP), pp. 948–953.
DATEDATE-2015-ShafiqueGGH #manycore #variability
Variability-aware dark silicon management in on-chip many-core systems (MS, DG, SG, JH), pp. 387–392.
ESOPESOP-2015-FrielinghausPS #interprocedural
Inter-procedural Two-Variable Herbrand Equalities (SSF, MP, HS), pp. 457–482.
FASEFASE-2015-StruberRCT #approach #model transformation #performance #reuse #variability
A Variability-Based Approach to Reusable and Efficient Model Transformations (DS, JR, MC, GT), pp. 283–298.
FoSSaCSFoSSaCS-2015-AntonopoulosHRW #logic #realtime
Three Variables Suffice for Real-Time Logic (TA, PH, SR, JW), pp. 361–374.
SCAMSCAM-2015-FenskeSMS #detection #smell #variability
When code smells twice as much: Metric-based detection of variability-aware code smells (WF, SS, DM, GS), pp. 171–180.
FMFM-2015-0009ZZZ #abstraction #hybrid
Abstraction of Elementary Hybrid Systems by Variable Transformation (JL, NZ, HZ, LZ), pp. 360–377.
SEFMSEFM-2015-BeekDGMP #constraints #variability
From Featured Transition Systems to Modal Transition Systems with Variability Constraints (MHtB, FD, SG, FM, LP), pp. 344–359.
CHICHI-2015-VazquezBDHH #3d
3D Printing Pneumatic Device Controls with Variable Activation Force Capabilities (MV, EB, RD, CH, SEH), pp. 1295–1304.
HCIDHM-EH-2015-TianLYJCS #analysis #scalability #video
Single-Variable Scenario Analysis of Vehicle-Pedestrian Potential Crash Based on Video Analysis Results of Large-Scale Naturalistic Driving Data (RT, LL, KY, FJ, YC, RS), pp. 295–304.
HCIDUXU-UI-2015-MarczalJ #analysis #behaviour #mobile
Behavioural Variables Analysis in Mobile Environments (DM, PTAJ), pp. 118–130.
HCIHIMI-IKD-2015-KotaniIAS #interface #using #variability
Changes in Heart Rate Variability by Using Tactile Thermal Interface Device (KK, SI, TA, SS), pp. 405–411.
ICEISICEIS-v1-2015-ConstantinoTPLR #scheduling
A Variable Neighbourhood Search for Nurse Scheduling with Balanced Preference Satisfaction (AAC, ET, RLP, DLS, WR), pp. 462–470.
ICEISICEIS-v2-2015-BeraOC #component #identification #modelling #representation #variability
Evidence-based SMarty Support for Variability Identification and Representation in Component Models (MHGB, EOJ, TEC), pp. 295–302.
ICEISICEIS-v2-2015-GeraldiOCS #empirical #modelling #variability
Checklist-based Inspection of SMarty Variability Models — Proposal and Empirical Feasibility Study (RTG, EOJ, TC, IS), pp. 268–276.
ICEISICEIS-v3-2015-TiamSM #process
An Operational Model of Variable Business Process (RTT, ADS, RM), pp. 162–172.
ECIRECIR-2015-KotovRAR #microblog #modelling #retrieval
Geographical Latent Variable Models for Microblog Retrieval (AK, VR, EA, CKR), pp. 635–647.
ICMLICML-2015-BachHBG #learning #performance
Paired-Dual Learning for Fast Training of Latent Variable Hinge-Loss MRFs (SHB, BH, JLBG, LG), pp. 381–390.
ICMLICML-2015-RalaivolaA
Entropy-Based Concentration Inequalities for Dependent Variables (LR, MRA), pp. 2436–2444.
SEKESEKE-2015-TerencianiPLC #modelling #process #representation #towards #variability
BPMN* — A Notation for Representation of Variability in Business Process Towards Supporting Business Process Line Modeling (MT, DMBP, GL, MIC), pp. 227–230.
SIGIRSIGIR-2015-BaileyMST #evaluation #information retrieval #variability
User Variability and IR System Evaluation (PB, AM, FS, PT), pp. 625–634.
ECOOPECOOP-2015-DimovskiBW #abstraction #analysis #precise #variability
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (ASD, CB, AW), pp. 247–270.
GPCEGPCE-2015-SeidlSS #design pattern #development #generative #product line #using #variability
Generative software product line development using variability-aware design patterns (CS, SS, IS), pp. 151–160.
SACSAC-2015-AlmeidaBBCD #variability
Dynamic decision-making based on NFR for managing software variability and configuration selection (AA, NB, TVB, EC, FD), pp. 1376–1382.
SACSAC-2015-MurguzurTS #evaluation #framework #variability #workflow
Dynamic variability support in workflow-based systems: an evaluation of the LateVa framework (AM, ST, GS), pp. 1641–1643.
ESEC-FSEESEC-FSE-2015-NguyenNDKN #detection #execution #semantics #variability
Detecting semantic merge conflicts with variability-aware execution (HVN, MHN, SCD, CK, TNN), pp. 926–929.
ICSEICSE-v1-2015-LiebigJGAL #named #refactoring #variability
Morpheus: Variability-Aware Refactoring in the Wild (JL, AJ, FG, SA, CL), pp. 380–391.
PLEASEPLEASE-2015-BuchmannBHW #challenge #variability
Robots and their Variability — A Societal Challenge and a Potential Solution (TB, JB, DH, BW), pp. 27–30.
SPLCSPLC-2015-AbbasA #adaptation #product line #self #variability
Harnessing variability in product-lines of self-adaptive software systems (NA, JA), pp. 191–200.
SPLCSPLC-2015-Beuche #feature model #modelling #variability
Managing variability with feature models (DB), p. 386.
SPLCSPLC-2015-DegueuleFBANMGB #design pattern #variability
Tooling support for variability and architectural patterns in systems engineering (TD, JBFF, OB, MA, JLN, SM, GG, GB, OC), pp. 361–364.
SPLCSPLC-2015-DomisAB #analysis #modelling #safety #tool support #uml #using #variability
Integrating variability and safety analysis models using commercial UML-based tools (DD, RA, MB), pp. 225–234.
SPLCSPLC-2015-EichelbergerS #domain-specific language #ecosystem #named #variability
IVML: a DSL for configuration in variability-rich software ecosystems (HE, KS), pp. 365–369.
SPLCSPLC-2015-FontBHC #automation #formal method #product line #variability
Automating the variability formalization of a model family by means of common variability language (JF, MB, ØH, CC), pp. 411–418.
SPLCSPLC-2015-HotzWRGL #automation #evaluation #multi
Evaluation across multiple views for variable automation systems (LH, YW, MR, OG, JL), pp. 311–315.
SPLCSPLC-2015-KassmeyerSS #impact analysis #process #safety #variability
A process to support a systematic change impact analysis of variability and safety in automotive functions (MK, MS, MS), pp. 235–244.
SPLCSPLC-2015-LanduytWJ #as a service #middleware #multitenancy #research #roadmap #variability
Variability middleware for multi-tenant SaaS applications: a research roadmap for service lines (DVL, SW, WJ), pp. 211–215.
SPLCSPLC-2015-PatelS #as a service #automation #testing #using #variability
Automated testing of software-as-a-service configurations using a variability language (SP, VS), pp. 253–262.
SPLCSPLC-2015-SchmidE #ecosystem #named #product line #variability
EASy-Producer: from product lines to variability-rich software ecosystems (KS, HE), pp. 390–391.
SPLCSPLC-2015-ValovGC #comparison #empirical #performance #predict #variability
Empirical comparison of regression methods for variability-aware performance prediction (PV, JG, KC), pp. 186–190.
CGOCGO-2015-OanceaR #analysis #induction #scalability
Scalable conditional induction variables (CIV) analysis (CEO, LR), pp. 213–224.
CSLCSL-2015-Charatonik0 #linear #logic #order
Two-variable Logic with Counting and a Linear Order (WC, PW), pp. 631–647.
CSLCSL-2015-GabbayGP
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (MJG, DRG, DP), pp. 374–389.
CSLCSL-2015-Paperman #first-order #logic
Finite-Degree Predicates and Two-Variable First-Order Logic (CP), pp. 616–630.
LICSLICS-2015-KrebsV #bound #logic #refinement
Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth (AK, OV), pp. 689–700.
ICSTSAT-2015-BiereF
Evaluating CDCL Variable Scoring Schemes (AB, AF), pp. 405–422.
CBSECBSE-2014-HorcasPF #architecture #injection #quality #variability
Injecting quality attributes into software architectures with the common variability language (JMH, MP, LF), pp. 35–44.
ASEASE-2014-AbalBW #analysis #debugging #kernel #linux #variability
42 variability bugs in the linux kernel: a qualitative analysis (IA, CB, AW), pp. 421–432.
ASEASE-2014-Angerer #impact analysis #multi #product line #variability
Variability-aware change impact analysis of multi-language product lines (FA), pp. 903–906.
ASEASE-2014-SeguraSC #analysis #automation #case study #e-commerce #experience #testing #variability
Automated variability analysis and testing of an E-commerce site.: an experience report (SS, ABS, ARC), pp. 139–150.
CASECASE-2014-KaoCC #performance #variability
Target setting with consideration of target-induced operation variability for performance improvement of semiconductor fabrication (YTK, SCC, CMC), pp. 774–779.
CASECASE-2014-KosakiS #prototype
A parallel-link robot prototype driven by pneumatic actuators with variable inclination mechanisms (TK, MS), pp. 838–843.
DACDAC-2014-ShafiqueGHM #challenge #reliability #variability
The EDA Challenges in the Dark Silicon Era: Temperature, Reliability, and Variability Perspectives (MS, SG, JH, DM), p. 6.
DATEDATE-2014-FabrieEVG #design #library #standard #variability
Standard cell library tuning for variability tolerant designs (SF, JDE, MV, JPdG), pp. 1–6.
DATEDATE-2014-KarakonstantisSSAB #analysis #approach #energy #variability
A quality-scalable and energy-efficient approach for spectral analysis of heart rate variability (GK, AS, MMS, DA, AB), pp. 1–6.
DATEDATE-2014-RehmanKSH #compilation #reliability
Compiler-driven dynamic reliability management for on-chip systems under variabilities (SR, FK, MS, JH), pp. 1–4.
DATEDATE-2014-VillenaS #analysis #network #performance #variability
Efficient analysis of variability impact on interconnect lines and resistor networks (JFV, LMS), pp. 1–6.
DocEngDocEng-2014-HughesBBA #documentation #generative #summary
Generating summary documents for a variable-quality PDF document collection (JH, DFB, SRB, CEA), pp. 49–52.
ICSMEICSME-2014-AlalfiRSSDC #automation #identification #modelling #representation #variability
Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models (MHA, EJR, AS, MS, TRD, JRC), pp. 486–490.
ICSMEICSME-2014-KanningS #preprocessor #slicing #variability
Program Slicing in the Presence of Preprocessor Variability (FK, SS), pp. 501–505.
ICSMEICSME-2014-LinsbauerAGLPLE #variability
Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems (LL, FA, PG, DL, HP, RELH, AE), pp. 426–430.
CIAACIAA-2014-PittouR #automaton #infinity
Weighted Variable Automata over Infinite Alphabets (MP, GR), pp. 304–317.
CHICHI-2014-MullenbachSCP #communication
Exploring affective communication through variable-friction surface haptics (JM, CDS, JEC, AMP), pp. 3963–3972.
HCIDUXU-ELAS-2014-VilarDRNV #artificial reality #case study #using
A Pilot Study Using Virtual Reality to Investigate the Effects of Emergency Egress Signs Competing with Environmental Variables on Route Choices (EV, ED, FR, PN, EV), pp. 369–377.
HCIHIMI-AS-2014-Coelho #analysis
Association of CCR and BCC Efficiencies to Market Variables in a Retrospective Two Stage Data Envelope Analysis (DAC), pp. 151–159.
CAiSECAiSE-2014-Reinhartz-BergerIW #ontology #product line #semantics #using #variability
Analyzing Variability of Software Product Lines Using Semantic and Ontological Considerations (IRB, NI, YW), pp. 150–164.
ICEISICEIS-v1-2014-HaddadCSM #algorithm #heuristic #named #parallel #problem #scheduling
AIV: A Heuristic Algorithm based on Iterated Local Search and Variable Neighborhood Descent for Solving the Unrelated Parallel Machine Scheduling Problem with Setup Times (MNH, LPC, MJFS, NM), pp. 376–383.
ICEISICEIS-v2-2014-LangermeierDORB #composition #modelling #ontology #variability
Change and Version Management in Variability Models for Modular Ontologies (ML, TD, HO, PR, BB), pp. 383–390.
ICEISICEIS-v2-2014-MarcolinoOG #approach #diagrams #effectiveness #sequence chart #towards #variability
Towards the Effectiveness of the SMarty Approach for Variability Management at Sequence Diagram Level (AM, EAOJ, IMdSG), pp. 249–256.
CIKMCIKM-2014-TakayamaTIOFC #detection #probability
A Word-Scale Probabilistic Latent Variable Model for Detecting Human Values (YT, YT, EI, DWO, KRF, ASC), pp. 1489–1498.
ICMLICML-c1-2014-LethamSS #transaction
Latent Variable Copula Inference for Bundle Pricing from Retail Transaction Data (BL, WS, AS), pp. 217–225.
ICMLICML-c1-2014-RooshenasL #interactive #learning #network
Learning Sum-Product Networks with Direct and Indirect Variable Interactions (AR, DL), pp. 710–718.
ICMLICML-c1-2014-SamdaniCR #clustering #online
A Discriminative Latent Variable Model for Online Clustering (RS, KWC, DR), pp. 1–9.
ICMLICML-c2-2014-AziziAG #composition #learning #network
Learning Modular Structures from Network Data and Node Variables (EA, EA, JEG), pp. 1440–1448.
ICMLICML-c2-2014-ChagantyL #modelling #using #visual notation
Estimating Latent-Variable Graphical Models using Moments and Likelihoods (ATC, PL), pp. 1872–1880.
ICMLICML-c2-2014-MengEH #learning #modelling #visual notation
Learning Latent Variable Gaussian Graphical Models (ZM, BE, AOHI), pp. 1269–1277.
ICMLICML-c2-2014-NiepertD #modelling
Exchangeable Variable Models (MN, PMD), pp. 271–279.
ICMLICML-c2-2014-PingLI
Marginal Structured SVM with Hidden Variables (WP, QL, ATI), pp. 190–198.
ICMLICML-c2-2014-SongADX #estimation #modelling #multi #parametricity
Nonparametric Estimation of Multi-View Latent Variable Models (LS, AA, BD, BX), pp. 640–648.
ICPRICPR-2014-AfkhamEC #framework #modelling
A Topological Framework for Training Latent Variable Models (HMA, CHE, SC), pp. 2471–2476.
ICPRICPR-2014-AlemdarKNME #behaviour #modelling #using
A Unified Model for Human Behavior Modeling Using a Hierarchy with a Variable Number of States (HÖA, TvK, MEN, AM, CE), pp. 3804–3809.
ICPRICPR-2014-VilaltaGM #adaptation #classification
Domain Adaptation under Data Misalignment: An Application to Cepheid Variable Star Classification (RV, KDG, LM), pp. 3660–3665.
ICPRICPR-2014-WangGJ #learning #using
Learning with Hidden Information Using a Max-Margin Latent Variable Model (ZW, TG, QJ), pp. 1389–1394.
KDDKDD-2014-HuHA #e-commerce #modelling #scalability #social
Style in the long tail: discovering unique interests with latent variable models in large scale social E-commerce (DJH, RH, JA), pp. 1640–1649.
KDIRKDIR-2014-RodriguesFF #ontology #semantics
Semantic Relatedness with Variable Ontology Density (RR, JF, ALNF), pp. 554–559.
SEKESEKE-2014-NevesV #development #refactoring #variability
Reactive Variability Realization with Test Driven Development and Refactoring (GSN, PV), pp. 100–105.
ECMFAECMFA-2014-LogreMCR #approach #variability #visualisation
Sensor Data Visualisation: A Composition-Based Approach to Support Domain Variability (IL, SM, PC, MR), pp. 101–116.
ECMFAECMFA-2014-MartinezZKT #identification #variability #visualisation
Identifying and Visualising Commonality and Variability in Model Variants (JM, TZ, JK, YLT), pp. 117–131.
MODELSMoDELS-2014-BergerNRACW #industrial #modelling #variability
Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
MODELSMoDELS-2014-BergerNRACW #industrial #modelling #variability
Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
OnwardOnward-2014-WalkingshawKEAB #data type #trade-off #variability
Variational Data Structures: Exploring Tradeoffs in Computing with Variability (EW, CK, ME, SA, EB), pp. 213–226.
RERE-2014-RubythonM #implementation #modelling #off the shelf #requirements #variability
The effect of variability modeling on requirements satisfaction for the configuration and implementation of off-the-shelf software packages (AR, NAMM), pp. 394–401.
FSEFSE-2014-BocovichA #feature model #interactive
Variable-specific resolutions for feature interactions (CB, JMA), pp. 553–563.
FSEFSE-2014-DevroeyPCPLS #analysis #mutation testing #variability
A variability perspective of mutation analysis (XD, GP, MC, MP, AL, PYS), pp. 841–844.
ICSEICSE-2014-NguyenKN #execution #testing #variability #web
Exploring variability-aware execution for testing plugin-based web applications (HVN, CK, TNN), pp. 907–918.
SPLCSPLC-2014-BergerSOHLW #case study #experience #modelling #variability
To connect or not to connect: experiences from modeling topological variability (TB, SS, , ØH, BL, AW), pp. 330–339.
SPLCSPLC-2014-BeucheS #feature model #modelling #variability
Managing variability with feature models (DB, MS), p. 364.
SPLCSPLC-2014-HellebrandS0ZSS #case study #industrial #modelling #variability
Coevolution of variability models and code: an industrial case study (RH, AS, MB, BZ, KS, JS), pp. 274–283.
SPLCSPLC-2014-LanduytbHMJMJBA #design #safety #towards #variability
Towards managing variability in the safety design of an automotive hall effect sensor (DVL, SOdb, AH, SM, WJ, SM, GdJ, OB, MA), pp. 304–309.
SPLCSPLC-2014-NobauerSG #standard #variability
Inferring variability from customized standard software products (MN, NS, IG), pp. 284–293.
SPLCSPLC-2014-Reinhartz-BergerF #modelling #orthogonal #variability
Comprehensibility of orthogonal variability modeling languages: the cases of CVL and OVM (IRB, KF), pp. 42–51.
SPLCSPLC-2014-SeidlSA #product line #variability
Integrated management of variability in space and time in software families (CS, IS, UA), pp. 22–31.
SPLCSPLC-2014-SierszeckiSHSB #variability
Extending variability management to the next level (KS, MS, HHH, JS, DB), pp. 320–329.
SPLCSPLC-2014-VacchiCCA #automation #component #implementation #model inference #variability
Automating variability model inference for component-based language implementations (EV, WC, BC, MA), pp. 167–176.
SPLCSPLC-2014-VillelaSVA #bibliography #variability
A survey on software variability management approaches (KV, AS, TV, ESdA), pp. 147–156.
ICLPICLP-J-2014-BellodiLRCZ #logic programming #probability
Lifted Variable Elimination for Probabilistic Logic Programming (EB, EL, FR, VSC, RZ), pp. 681–695.
ICSTICST-2014-SchwarzlB #test coverage
Model Dependent Test Coverage Variabilities (CS, HB), pp. 253–262.
ISSTAISSTA-2014-GalindoAABB #approach #sequence #testing #variability #video
A variability-based testing approach for synthesizing video sequences (JAG, MA, MA, BB, DB), pp. 293–303.
LICSLICS-CSL-2014-DemriD #logic
Expressive completeness of separation logic with two variables and no separating conjunction (SD, MD), p. 10.
ICSTSAT-2014-SlivovskyS #dependence
Variable Dependencies and Q-Resolution (FS, SS), pp. 269–284.
ECSAECSA-2013-PascualPF #architecture #runtime #variability
Run-Time Support to Manage Architectural Variability Specified with CVL (GGP, MP, LF), pp. 282–298.
ASEASE-2013-Garcia-GalanTC #approach #game studies #multi #variability
Multi-user variability configuration: A game theoretic approach (JGG, PT, ARC), pp. 574–579.
ASEASE-2013-GuoCASW #approach #learning #performance #predict #statistics #variability
Variability-aware performance prediction: A statistical learning approach (JG, KC, SA, NS, AW), pp. 301–311.
ASEASE-2013-SannierAB #case study #comparison #matrix #variability #wiki
From comparison matrix to Variability Model: The Wikipedia case study (NS, MA, BB), pp. 580–585.
DATEDATE-2013-AyadAMSL #energy #integration #variability
HW-SW integration for energy-efficient/variability-aware computing (GA, AA, EM, BS, RL), pp. 607–611.
DATEDATE-2013-BackesR #reachability #using
Using cubes of non-state variables with property directed reachability (JDB, MDR), pp. 807–810.
DATEDATE-2013-RehmanSAKCH #hardware #reliability
Leveraging variable function resilience for selective software reliability on unreliable hardware (SR, MS, PVA, FK, JJC, JH), pp. 1759–1764.
DocEngDocEng-2013-Lumley #documentation #functional
Functional, extensible, svg-based variable documents (JWL), pp. 131–140.
ICDARICDAR-2013-DuH #approach #normalisation #online #recognition #variability
An Irrelevant Variability Normalization Based Discriminative Training Approach for Online Handwritten Chinese Character Recognition (JD, QH), pp. 69–73.
FASEFASE-2013-Czarnecki #state of the art #variability
Variability in Software: State of the Art and Future Directions — (Extended Abstract) (KC), pp. 1–5.
FASEFASE-2013-SakamotoTHWF #code generation #integration #named #testing #web
POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications (KS, KT, DH, HW, YF), pp. 343–358.
FoSSaCSFoSSaCS-2013-KrebbersW #control flow #logic
Separation Logic for Non-local Control Flow and Block Scope Variables (RK, FW), pp. 257–272.
CSMRCSMR-2013-Lopez-HerrejonE #named #re-engineering #variability #virtual machine
SBSE4VM: Search Based Software Engineering for Variability Management (RELH, AE), pp. 441–444.
MSRMSR-2013-NadiDTHL #how #linux #question #variability #what
Linux variability anomalies: what causes them and how do they get fixed? (SN, CD, RT, RCH, DL), pp. 111–120.
PLDIPLDI-2013-ElwazeerAKSB #data type #detection #scalability
Scalable variable and data type detection in a binary rewriter (KE, KA, AK, MS, RB), pp. 51–60.
ICALPICALP-v2-2013-BenaimBCKLMW #complexity #finite #logic
Complexity of Two-Variable Logic on Finite Trees (SB, MB, WC, EK, RL, FM, JW), pp. 74–88.
ICALPICALP-v2-2013-Jez #equation #linear #word
One-Variable Word Equations in Linear Time (AJ), pp. 324–335.
HCIDHM-HB-2013-LiWZYHZ #complexity #variability
Changes in Heart Rate Variability during Manual Controlled Rendezvous and Docking with Task Complexity (PL, BW, YZ, ZY, WH, XZ), pp. 86–92.
HCIDUXU-NTE-2013-VilarRNTDF #question
Are Emergency Egress Signs Strong Enough to Overlap the Influence of the Environmental Variables? (EV, FR, PN, LT, ED, EF), pp. 205–214.
VISSOFTVISSOFT-2013-BeckHDW #embedded #monitoring #source code #visual notation
Visual monitoring of numeric variables embedded in source code (FB, FH, SD, DW), pp. 1–4.
ECIRECIR-2013-ZhouWJL #evaluation #variability
The Impact of Temporal Intent Variability on Diversity Evaluation (KZ, SW, JMJ, ML), pp. 820–823.
ICMLICML-c1-2013-AnandkumarHJK #learning #linear #network
Learning Linear Bayesian Networks with Latent Variables (AA, DH, AJ, SK), pp. 249–257.
ICMLICML-c3-2013-BryanM #interactive #performance
An Efficient Posterior Regularized Latent Variable Model for Interactive Sound Source Separation (NJB, GJM), pp. 208–216.
KEODKEOD-2013-CalegariCM #owl #plugin
Linguistic-variable Definition in OWL 2 — A Protégé Plugin (SC, DC, MM), pp. 269–277.
SEKESEKE-2013-KayaF #identification
Identifying Extract Method Opportunities Based on Variable References (S) (MK, JWF), pp. 153–158.
SEKESEKE-2013-MarcolinoOGM #approach #case study #effectiveness #towards #variability
Towards the Effectiveness of a Variability Management Approach at Use Case Level (AM, EAOJ, IMSG, JCM), pp. 214–219.
SEKESEKE-2013-SilvaVMA #approach #product line
Scrum-based Approach for Analyzing Commonalities and Variabilities in Software Product Lines (IFdS, TV, SRLM, ESdA), pp. 238–243.
MODELSMoDELS-2013-AcherCCBLF #composition #modelling #variability
Composing Your Compositions of Variability Models (MA, BC, PC, OB, PL, RBF), pp. 352–369.
MODELSMoDELS-2013-AcherCCBLF #composition #modelling #variability
Composing Your Compositions of Variability Models (MA, BC, PC, OB, PL, RBF), pp. 352–369.
POPLPOPL-2013-UpadrastaC #scheduling #using
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra (RU, AC), pp. 483–496.
REER-BR-2013-HadadD #process #requirements #variability
Introducing Variability in a Client-Oriented Requirements Engineering Process (GDSH, JHD).
SACSAC-2013-HayashiIN #recommendation #visual notation
A visual analytics tool for system logs adopting variable recommendation and feature-based filtering (AH, TI, SN), pp. 996–998.
ESEC-FSEESEC-FSE-2013-LiebigRKADL #analysis #scalability
Scalable analysis of variable software (JL, AvR, CK, SA, JD, CL), pp. 81–91.
ICSEICSE-2013-HeymansLC #assurance #performance #quality #variability
Efficient quality assurance of variability-intensive systems (PH, AL, MC), pp. 1496–1498.
ICSEICSE-2013-Nadi #case study #open source #variability
A study of variability spaces in open source software (SN), pp. 1353–1356.
SLESLE-2013-VacchiCPC #development #domain-specific language #variability
Variability Support in Domain-Specific Language Development (EV, WC, SP, BC), pp. 76–95.
PLEASEPLEASE-2013-FangLED #behaviour #challenge #variability
Challenges in managing behavior variability of production control software (MF, GL, CE, JD), pp. 21–24.
PLEASEPLEASE-2013-PatelGS #feature model #interactive #testing #variability
Feature interaction testing of variability intensive systems (SP, PG, VS), pp. 53–56.
PLEASEPLEASE-2013-Schmid #ecosystem #variability
Variability support for variability-rich software ecosystems (KS), pp. 5–8.
PLEASEPLEASE-2013-SimmondsBSQ #industrial #modelling #process #requirements #variability
Variability in software process models: Requirements for adoption in industrial settings (JS, MCB, LS, AQ), pp. 33–36.
PLEASEPLEASE-2013-Zhang0 #framework #named #reverse engineering #towards #variability
RECoVar: A solution framework towards reverse engineering variability (BZ, MB), pp. 45–48.
SPLCSPLC-2013-DumitrescuMSD #experience #modelling #product line #variability
Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering (CD, RM, CS, AD), pp. 254–263.
SPLCSPLC-2013-EichelbergerS #analysis #modelling #variability
A systematic analysis of textual variability modeling languages (HE, KS), pp. 12–21.
SPLCSPLC-2013-FerrariSd #documentation #mining #natural language
Mining commonalities and variabilities from natural language documents (AF, GOS, FD), pp. 116–120.
SPLCSPLC-2013-HaugenWC #named #variability
CVL: common variability language (ØH, AW, KC), p. 277.
SPLCSPLC-2013-MyllarniemiSM #case study #performance #product line #variability
Performance variability in software product lines: a case study in the telecommunication domain (VM, JS, TM), pp. 32–41.
SPLCSPLC-2013-PassosGTCWB #case study #kernel #linux #modelling #variability
Coevolution of variability models and related artifacts: a case study from the Linux kernel (LTP, JG, LT, KC, AW, PB), pp. 91–100.
SPLCSPLC-2013-SchulzeMB #functional #question #safety #variability
Functional safety and variability: can it be brought together? (MS, JM, DB), pp. 236–243.
SPLCSPLC-2013-ZhangBPSS #case study #evolution #industrial #product line #variability
Variability evolution and erosion in industrial product lines: a case study (BZ, MB, TP, KS, JES), pp. 168–177.
LCTESLCTES-2013-JangKL #algorithm #parallel
Practical speculative parallelization of variable-length decompression algorithms (HJ, CK, JWL), pp. 55–64.
CADECADE-2013-HoderV
The 481 Ways to Split a Clause and Deal with Propositional Variables (KH, AV), pp. 450–464.
CAVCAV-2013-ArmoniFJ #approach
SVA and PSL Local Variables — A Practical Approach (RA, DF, NJ), pp. 197–212.
CSLCSL-2013-BerkholzKV #bound #logic #quantifier
Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy (CB, AK, OV), pp. 61–80.
CSLCSL-2013-HampsonK #first-order #linear #logic
One-variable first-order linear temporal logics with counting (CH, AK), pp. 348–362.
CSLCSL-2013-ManuelZ #2d #logic
Two-Variable Logic on 2-Dimensional Structures (AM, TZ), pp. 484–499.
CSLCSL-2013-Nishimura #game studies #parallel #semantics
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (SN), pp. 578–596.
ISSTAISSTA-2013-BindalBL #bound #concurrent #parallel #source code #testing #thread
Variable and thread bounding for systematic testing of multithreaded programs (SB, SB, AL), pp. 145–155.
LICSLICS-2013-CharatonikW #logic
Two-Variable Logic with Counting and Trees (WC, PW), pp. 73–82.
QoSAQoSA-2012-AlebrahimH #design #modelling #quality #variability
Supporting quality-driven design decisions by modeling variability (AA, MH), pp. 43–48.
WICSA-ECSAWICSA-ECSA-2012-GalsterA #enterprise #variability
A Variability Viewpoint for Enterprise Software Systems (MG, PA), pp. 267–271.
WICSA-ECSAWICSA-ECSA-2012-GroherW #architecture #variability
Integrating Variability Management and Software Architecture (IG, RW), pp. 262–266.
CASECASE-2012-BilykM #heuristic #parallel #problem #search-based
Variable neighborhood search-based subproblem solution procedures for a parallel shifting bottleneck heuristic for complex job shops (AB, LM), pp. 419–424.
CASECASE-2012-FeiMAL #approach #automaton #finite #scalability
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables (ZF, SM, , BL), pp. 502–507.
DACDAC-2012-JungCK #optimisation #variability
Variability-aware, discrete optimization for analog circuits (SJ, YC, JK), pp. 536–541.
DATEDATE-2012-BathenDNG #memory management #named #variability
VaMV: Variability-aware Memory Virtualization (LADB, NDD, AN, PG), pp. 284–287.
DATEDATE-2012-DuVM #latency #performance #reliability
High performance reliable variable latency carry select addition (KD, PJV, KM), pp. 1257–1262.
DATEDATE-2012-JafariJL #analysis #scheduling #worst-case
Worst-case delay analysis of Variable Bit-Rate flows in network-on-chip with aggregate scheduling (FJ, AJ, ZL), pp. 538–541.
DATEDATE-2012-ShafiqueZRKH #adaptation #power management
Power-efficient error-resiliency for H.264/AVC Context-Adaptive Variable Length Coding (MS, BZ, SR, FK, JH), pp. 697–702.
DATEDATE-2012-SharmaCAHCD #power management #variability
Ultra low power litho friendly local assist circuitry for variability resilient 8T SRAM (VS, SC, MA, JH, FC, WD), pp. 1042–1047.
DRRDRR-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).
CSMRCSMR-2012-NadiH #detection #linux #mining #variability
Mining Kbuild to Detect Variability Anomalies in Linux (SN, RCH), pp. 107–116.
WCREWCRE-2012-HemelK #case study #clone detection #detection #linux #reverse engineering #source code #using #variability
Reverse Engineering Variability in Source Code Using Clone Detection: A Case Study for Linux Variants of Consumer Electronic Devices (AH, RK), pp. 357–366.
WCREWCRE-2012-JanaN #detection #dynamic analysis #precise #using
Precise Detection of Uninitialized Variables Using Dynamic Analysis — Extending to Aggregate and Vector Types (AJ, RN), pp. 197–201.
PEPMPEPM-2012-GotoS #approach #functional
An approach to completing variable names for implicitly typed functional languages (TG, IS), pp. 131–140.
PEPMPEPM-2012-Lopez-FraguasMR #functional #logic programming
Well-typed narrowing with extra variables in functional-logic programming (FJLF, EMM, JRH), pp. 83–92.
FLOPSFLOPS-2012-Bouma #declarative #logic #persistent #realtime
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) (GB), pp. 62–72.
LATALATA-2012-KaraST #automaton #logic #word
Feasible Automata for Two-Variable Logic with Successor on Data Words (AK, TS, TT), pp. 351–362.
FMFM-2012-BeekMS #analysis #named #variability
VMC: A Tool for Product Variability Analysis (MHtB, FM, AS), pp. 450–454.
CHICHI-2012-NakagawaKK #mobile #named #user interface
MimicTile: a variable stiffness deformable user interface for mobile devices (YN, AK, YK), pp. 745–748.
CAiSECAiSE-2012-GhaddarTAB #as a service #multitenancy #outsourcing #variability
Variability as a Service: Outsourcing Variability Management in Multi-tenant SaaS Applications (AG, DT, AA, AB), pp. 175–189.
CIKMCIKM-2012-CarteretteKY #behaviour #evaluation #variability
Incorporating variability in user behavior into systems based evaluation (BC, EK, EY), pp. 135–144.
CIKMCIKM-2012-WeiFLC #canonical #dependence #using
Model the complex dependence structures of financial variables by using canonical vine (WW, XF, JL, LC), pp. 1382–1391.
ECIRECIR-2012-QuattoniCT #ranking #retrieval
A Latent Variable Ranking Model for Content-Based Retrieval (AQ, XC, AT), pp. 340–351.
ICMLICML-2012-ChenCK #optimisation #process
Joint Optimization and Variable Selection of High-dimensional Gaussian Processes (BC, RMC, AK), p. 179.
ICMLICML-2012-KumarPK #learning #modelling #nondeterminism
Modeling Latent Variable Uncertainty for Loss-based Learning (MPK, BP, DK), p. 29.
ICMLICML-2012-SchwingHPU #modelling #performance #predict #visual notation
Efficient Structured Prediction with Latent Variables for General Graphical Models (AGS, TH, MP, RU), p. 216.
ICPRICPR-2012-MotlicekSWMM #authentication #mobile #modelling #using #variability
Bi-modal authentication in mobile environments using session variability modelling (PM, LES, RW, CM, SM), pp. 1100–1103.
KRKR-2012-BordeauxJSM #on the #quantifier
On Unit-Refutation Complete Formulae with Existentially Quantified Variables (LB, MJ, JPMS, PM).
SEKESEKE-2012-JuniorGM #architecture #complexity #empirical #metric #product line #validation #variability
Empirical Validation of Variability-based Complexity Metrics for Software Product Line Architecture (EAdOJ, IMdSG, JCM), pp. 622–627.
SEKESEKE-2012-MedeirosSPM #product line #variability
Optimal Variability Selection in Product Line Engineering (RPM, UdSS, FP, LGPM), pp. 635–640.
SEKESEKE-2012-TanizakiAK #variability
A Variability Management Method for Software Configuration Files (HT, TA, TK), pp. 672–677.
OOPSLAOOPSLA-2012-KastnerOE #variability
A variability-aware module system (CK, KO, SE), pp. 773–792.
RERE-2012-SalehiePOAN #adaptation #runtime #security
Requirements-driven adaptive security: Protecting variable assets at runtime (MS, LP, IO, RA, BN), pp. 111–120.
SACSAC-2012-FariaBGC #algorithm #clustering #data type
Improving the offline clustering stage of data stream algorithms in scenarios with variable number of clusters (ERF, RCB, JG, ACPLFC), pp. 829–830.
SACSAC-2012-ParraRMRDS #adaptation #constraints #optimisation #self #using #variability
Using constraint-based optimization and variability to support continuous self-adaptation (CAP, DR, SM, RR, LD, LS), pp. 486–491.
FSEFSE-2012-MirakhorliMC #design pattern #variability
Variability points and design pattern usage in architectural tactics (MM, PM, JCH), p. 52.
ICSEICSE-2012-Khoshnevis #approach #product line #variability
An approach to variability management in service-oriented product lines (SK), pp. 1483–1486.
PLEASEPLEASE-2012-Duszynski0 #source code #variability
Recovering variability information from the source code of similar software products (SD, MB), pp. 37–40.
PLEASEPLEASE-2012-FilhoBBN #modelling #multi #product line #variability
Leveraging variability modeling for multi-dimensional model-driven software product lines (JBFF, OB, BB, JLN), pp. 5–8.
PLEASEPLEASE-2012-SaratxagaAHEM #product line #variability
Product line tool-chain: variability in critical systems (CLS, CAM, ØH, CE, AM), pp. 57–60.
SPLCSPLC-2012-DietrichTSL #approach #linux #robust #variability
A robust approach for variability extraction from the Linux build system (CD, RT, WSP, DL), pp. 21–30.
SPLCSPLC-2012-GomezPCBL #documentation #framework #generative #named
DPLfw: a framework for variable content document generation (AG, MdCP, JHC, MRSB, ML), pp. 96–105.
SPLCSPLC-2012-HeiderRGL #impact analysis #modelling #testing #using #variability
Using regression testing to analyze the impact of changes to variability models on products (WH, RR, PG, DL), pp. 196–205.
SPLCSPLC-2012-LeitnerZTW #identification #variability
Requirement identification for variability management in a co-simulation environment (AL, JZ, PT, DW), pp. 269–274.
SPLCSPLC-2012-MyllarniemiRM #bibliography #product line #quality #variability
A systematically conducted literature review: quality attribute variability in software product lines (VM, MR, TM), pp. 41–45.
SPLCSPLC-2012-PleussHKB #case study #user interface #variability
A case study on variability in user interfaces (AP, BH, MK, GB), pp. 6–10.
SPLCSPLC-2012-SchulzeWB #challenge #development #modelling #variability
Automotive model-driven development and the challenge of variability (MS, JW, DB), pp. 207–214.
CSLCSL-2012-KieronskiM #logic #transitive
Two-Variable Universal Logic with Transitive Closure (EK, JM), pp. 396–410.
ICLPICLP-J-2012-IslamRR #logic programming #probability #random #source code
Inference in probabilistic logic programs with continuous random variables (MAI, CRR, IVR), pp. 505–523.
ICTSSICTSS-2012-HervieuBG #execution #experience #industrial #testing #variability
Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.
ICTSSICTSS-2012-SantosA #automation #detection #fault #lightweight #monitoring
Lightweight Automatic Error Detection by Monitoring Collar Variables (JS, RA), pp. 215–230.
IJCARIJCAR-2012-NikolicS #analysis #reachability
Reachability Analysis of Program Variables (DN, FS), pp. 423–438.
LICSLICS-2012-KieronskiMPT #equivalence #first-order #logic
Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.
RTARTA-2012-Schmidt-Schauss
Matching of Compressed Patterns with Character-Variables (MSS), pp. 272–287.
ICSTSAT-2012-BelovIMM #on the #performance
On Efficient Computation of Variable MUSes (AB, AI, AM, JMS), pp. 298–311.
ICSTSAT-2012-CrowstonGJRSY #parametricity
Fixed-Parameter Tractability of Satisfying beyond the Number of Variables (RC, GG, MJ, VR, SS, AY), pp. 355–368.
ICSTSAT-2012-IserTS #optimisation #order #relational
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod — (Poster Presentation) (MI, MT, CS), pp. 483–484.
ICSTSAT-2012-LiWL #satisfiability
Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability — (Poster Presentation) (CML, WW, YL), pp. 479–480.
QoSAQoSA-ISARCS-2011-CavalcantiAM #process #quality #variability
Extending the RiPLE-DE process with quality attribute variability realization (RdOC, ESdA, SRLM), pp. 159–164.
WICSAWICSA-2011-Abu-MatarG #architecture #variability
Feature Based Variability for Service Oriented Architectures (MAM, HG), pp. 302–309.
WICSAWICSA-2011-Bashardoust-TajaliRC #bibliography #challenge #modelling #variability
Challenges of Variability in Model-Driven and Transformational Approaches: A Systematic Survey (SBT, VDR, JPC), pp. 294–301.
WICSAWICSA-2011-GalsterA #architecture #problem #variability
Handling Variability in Software Architecture: Problems and Implications (MG, PA), pp. 171–180.
DACDAC-2011-LiuZXL #clustering #hybrid #in memory #memory management #power management
Power-aware variable partitioning for DSPs with hybrid PRAM and DRAM main memory (TL, YZ, CJX, ML), pp. 405–410.
DACDAC-2011-WeiP #security #using
Integrated circuit security techniques using variable supply voltage (SW, MP), pp. 248–253.
DATEDATE-2011-BiKVSM #analysis #performance #statistics
Fast statistical analysis of RC nets subject to manufacturing variabilities (YB, KJvdK, JFV, LMS, NvdM), pp. 31–37.
DATEDATE-2011-FuWT #approach #manycore #performance #simulation
A shared-variable-based synchronization approach to efficient cache coherence simulation for multi-core systems (CYF, MHW, RST), pp. 347–352.
DATEDATE-2011-KozhikkottuVRD #analysis #named #performance #variability
VESPA: Variability emulation for System-on-Chip performance analysis (VJK, RV, AR, SD), pp. 2–7.
DATEDATE-2011-MerrettAWZRMRLFA #analysis #modelling #monte carlo #performance #statistics #variability
Modelling circuit performance variations due to statistical variability: Monte Carlo static timing analysis (MM, PA, YW, MZ, DR, CM, SR, ZL, SBF, AA), pp. 1537–1540.
DATEDATE-2011-MirandaZDR #logic #modelling #variability
Variability aware modeling for yield enhancement of SRAM and logic (MM, PZ, PD, PR), pp. 1153–1158.
DATEDATE-2011-WannerBZAGS #embedded #scheduling #variability
Variability-aware duty cycle scheduling in long running embedded sensing systems (LFW, RB, SZ, CA, PG, MBS), pp. 131–136.
DRRDRR-2011-ChengL #parametricity #variability
Parameter calibration for synthesizing realistic-looking variability in offline handwriting (WC, DPL), pp. 1–10.
SIGMODSIGMOD-2011-AgarwalC
Latent OLAP: data cubes over latent variables (DA, BCC), pp. 877–888.
CSMRCSMR-2011-Lopez-HerrejonE #composition #consistency #multi #named #variability
C2MV2: Consistency and Composition for Managing Variability in Multi-view Systems (RELH, AE), pp. 347–350.
ICSMEICSM-2011-JiresalCN #cobol #detection #precise #scalability #source code
Precise detection of un-initialized variables in large, real-life COBOL programs in presence of unrealizable paths (RJ, AC, RN), pp. 448–456.
CIAACIAA-2011-CastanoC #approach #satisfiability
Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability (JMC, RC), pp. 76–87.
SFMSFM-2011-ClarkeDHJSSSW #behaviour #modelling #variability
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language (DC, ND, RH, EBJ, IS, JS, RS, PYHW), pp. 417–457.
CSCWCSCW-2011-JunuzovicD #collaboration #scheduling
Scheduling in variable-core collaborative systems (SJ, PD), pp. 543–552.
CAiSECAiSE-2011-WeidlichMW #approach #process #variability
A Foundational Approach for Managing Process Variability (MW, JM, MW), pp. 267–282.
ICEISICEIS-v3-2011-ChakirF #approach #modelling #multi #variability
A Model Driven Approach Supporting Multi-view Services Modeling and Variability Management (BC, MF), pp. 247–252.
CIKMCIKM-2011-FlorezD #scalability #similarity
Scalable similarity search of timeseries with variable dimensionality (OUF, CED), pp. 2545–2548.
CIKMCIKM-2011-HarveyCRC #collaboration #modelling #predict #rating
Bayesian latent variable models for collaborative item rating prediction (MH, MJC, IR, FC), pp. 699–708.
ECIRECIR-2011-TackstromM #fine-grained #modelling #predict #sentiment
Discovering Fine-Grained Sentiment with Latent Variable Structured Prediction Models (OT, RTM), pp. 368–374.
ICMLICML-2011-HelmboldL #on the
On the Necessity of Irrelevant Variables (DPH, PML), pp. 281–288.
KDDKDD-2011-HsiehD #coordination #matrix #performance
Fast coordinate descent methods with variable selection for non-negative matrix factorization (CJH, ISD), pp. 1064–1072.
KDIRKDIR-2011-OlegA #analysis #approach #clustering
Methods for Discovering and Analysis of Regularities Systems — Approach based on Optimal Partitioning of Explanatory Variables Space (OVS, AVK), pp. 423–426.
KMISKMIS-2011-RamosSB #process
A Method for Discovering the Relevance of External Context Variables to Business Processes (ECR, FMS, FAB), pp. 399–408.
MLDMMLDM-2011-LahbibBL #learning #multi
Informative Variables Selection for Multi-relational Supervised Learning (DL, MB, DL), pp. 75–87.
SEKESEKE-2011-XueJYPZ #industrial #scalability #variability
Scalability of Variability Management: An Example of Industrial Practice and Some Improvements (YX, SJ, PY, XP, WZ), pp. 705–710.
ECMFAECMFA-2011-LudwigFBC #design #runtime #variability
Integrating Design and Runtime Variability Support into a System ADL (ML, NF, JPB, JC), pp. 270–281.
ECMFAECMFA-2011-SvendsenHM #semantics #variability
Analyzing Variability: Capturing Semantic Ripple Effects (AS, ØH, BMP), pp. 253–269.
OOPSLAOOPSLA-2011-KastnerGREOB #compilation #metaprogramming #parsing #variability
Variability-aware parsing in the presence of lexical macros and conditional compilation (CK, PGG, TR, SE, KO, TB), pp. 805–824.
RERE-2011-GreenwoodCRNFS #adaptation #modelling #requirements #variability
Modelling adaptability and variability in requirements (PG, RC, AR, JN, FF, AS), pp. 343–344.
REFSQREFSQ-2011-DhunganaSG #elicitation #modelling #product line #requirements #research #using #variability
Research Preview: Supporting End-User Requirements Elicitation Using Product Line Variability Models (DD, NS, FG), pp. 66–71.
ICSEICSE-2011-Xue #analysis #automation #legacy #product line #re-engineering #variability
Reengineering legacy software products into software product line based on automatic variability analysis (YX), pp. 1114–1117.
SLESLE-2011-Czarnecki #design #modelling #variability
Designing Variability Modeling Languages (KC), p. 222.
PLEASEPLEASE-2011-AsirelliBFGM #design #product line #validation #variability
Design and validation of variability in product lines (PA, MHtB, AF, SG, FM), pp. 25–30.
PLEASEPLEASE-2011-ChastekDM #analysis #variability
Commonality and variability analysis for resource constrained organizations (GJC, PD, JDM), pp. 31–34.
PLEASEPLEASE-2011-Livengood #evolution #modelling #product line #variability
Issues in software product line evolution: complex changes in variability models (SL), pp. 6–9.
SPLCSPLC-2011-Abu-MatarG #architecture #modelling #product line #variability
Variability Modeling for Service Oriented Product Line Architectures (MAM, HG), pp. 110–119.
SPLCSPLC-2011-AsirelliBGF #product line #variability
Formal Description of Variability in Product Families (PA, MHtB, SG, AF), pp. 130–139.
SPLCSPLC-2011-Boutkova #experience #specification #variability
Experience with Variability Management in Requirement Specifications (EB), pp. 303–312.
SPLCSPLC-2011-DhunganaSBRGBG #modelling #multi #product line #variability
Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches (DD, DS, GB, RR, PG, DB, JAG), pp. 120–129.
SPLCSPLC-2011-HaberRRSL #architecture #modelling #variability
Hierarchical Variability Modeling for Software Architectures (AH, HR, BR, IS, FvdL), pp. 150–159.
CGOCGO-2011-AnselWCOEA #algorithm #compilation
Language and compiler support for auto-tuning variable-accuracy algorithms (JA, YLW, CPC, MO, AE, SPA), pp. 85–96.
CGOCGO-2011-LiWH #stack
Dynamic register promotion of stack variables (JL, CW, WCH), pp. 21–31.
CAVCAV-2011-DonaldsonKKW #abstraction #concurrent #source code #symmetry
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (AFD, AK, DK, TW), pp. 356–371.
CSLCSL-2011-DurandS #complexity #higher-order #logic #problem #query
Enumeration Complexity of Logical Query Problems with Second-order Variables (AD, YS), pp. 189–202.
CSLCSL-2011-Kieronski #decidability #linear #logic #order
Decidability Issues for Two-Variable Logics with Several Linear Orders (EK), pp. 337–351.
ICSTICST-2011-GoKKL #approach #generative #testing #variability
A Systematic Test Case Generation Approach for Testing Message Length Variability (KG, SK, MK, JL), pp. 397–406.
LICSLICS-2011-Goubault-LarrecqV #random
Continuous Random Variables (JGL, DV), pp. 97–106.
LICSLICS-2011-KontinenKLV #complexity #dependence #logic
Complexity of Two-Variable Dependence Logic and IF-Logic (JK, AK, PL, JV), pp. 289–298.
ICSTSAT-2011-KullmannZ #normalisation #on the
On Variables with Few Occurrences in Conjunctive Normal Forms (OK, XZ), pp. 33–46.
ICSTSAT-2011-TompkinsBH #heuristic #satisfiability
Captain Jack: New Variable Selection Heuristics in Local Search for SAT (DADT, AB, HHH), pp. 302–316.
ECSAECSA-2010-Bashroush #automation #modelling #multi #variability
A NUI Based Multiple Perspective Variability Modeling CASE Tool (RB), pp. 523–526.
ASEASE-2010-BagheriSS #architecture #independence
Architectural style as an independent variable (HB, YS, KJS), pp. 159–162.
ASEASE-2010-BergerSLWC #modelling #operating system #variability
Variability modeling in the real: a perspective from the operating systems domain (TB, SS, RL, AW, KC), pp. 73–82.
ASEASE-2010-LawallL #approach #automation #debugging
An automated approach for finding variable-constant pairing bugs (JLL, DL), pp. 103–112.
ASEASE-2010-VierhauserGERH #consistency #flexibility #modelling #product line #scalability #variability
Flexible and scalable consistency checking on product line variability models (MV, PG, AE, RR, WH), pp. 63–72.
DACDAC-2010-ChellappaNYHVCCC #variability
In-situ characterization and extraction of SRAM variability (SC, JN, XY, NDH, JV, MC, YC, LTC), pp. 711–716.
DACDAC-2010-NSRKALPST #problem #question #variability
Who solves the variability problem? (NN, JCR, JK, RCA, CL, VP, AJS, ST), pp. 218–219.
DACDAC-2010-XieD #predict #variability
Representative path selection for post-silicon timing prediction under variability (LX, AD), pp. 386–391.
DATEDATE-2010-CoskunARBM #3d #architecture #energy
Energy-efficient variable-flow liquid cooling in 3D stacked architectures (AKC, DA, TSR, TB, BM), pp. 111–116.
DATEDATE-2010-GanapathyCGR #estimation #modelling #multi #variability
Circuit propagation delay estimation through multivariate regression-based modeling under spatio-temporal variability (SG, RC, AG, AR), pp. 417–422.
DATEDATE-2010-JaffariA10a #analysis #correlation #performance #variability
Correlation controlled sampling for efficient variability analysis of analog circuits (JJ, MA), pp. 1305–1308.
DATEDATE-2010-MaricauG #complexity #reliability #simulation #variability
Variability-aware reliability simulation of mixed-signal ICs with quasi-linear complexity (EM, GGEG), pp. 1094–1099.
DocEngDocEng-2010-Lumley #documentation #functional #invariant #layout
Pre-evaluation of invariant layout in functional variable-data documents (JWL), pp. 251–254.
DocEngDocEng-2010-PenadesCBL #documentation #generative #product line #variability
Document product lines: variability-driven document generation (MdCP, JHC, MRSB, ML), pp. 203–206.
PASTEPASTE-2010-CalmanZ #analysis #induction #information retrieval #interprocedural
Interprocedural induction variable analysis based on interprocedural SSA form IR (SC, JZ), pp. 37–44.
SASSAS-2010-AlbertAGPD #analysis #approach
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis (EA, PA, SG, GP, DVRD), pp. 100–116.
SASSAS-2010-Chapoutot #abstract domain #float
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (AC), pp. 184–200.
DLTDLT-2010-BremerF #bound #problem
Inclusion Problems for Patterns with a Bounded Number of Variables (JB, DDF), pp. 100–111.
ICALPICALP-v1-2010-ShpilkaV #on the #polynomial #testing
On the Relation between Polynomial Identity Testing and Finding Variable Disjoint Factors (AS, IV), pp. 408–419.
LATALATA-2010-GrumbergKS #automaton #infinity
Variable Automata over Infinite Alphabets (OG, OK, SS), pp. 561–572.
IFMIFM-2010-AsirelliBFG #framework #logic #variability
A Logical Framework to Deal with Variability (PA, MHtB, AF, SG), pp. 43–58.
CAiSECAiSE-2010-CastanoFM #semantics #using #variability #web
Dealing with Matching Variability of Semantic Web Data Using Contexts (SC, AF, SM), pp. 194–208.
ICEISICEIS-ISAS-2010-AleixoFSK #approach #modelling #process
A Model-driven Approach to Managing and Customizing Software Process Variabilities (FAA, MAF, WCdS, UK), pp. 92–100.
ICEISICEIS-J-2010-AleixoFSK10a #approach #automation #deployment #modelling #process #variability
Automating the Variability Management, Customization and Deployment of Software Processes: A Model-Driven Approach (FAA, MAF, WCdS, UK), pp. 372–387.
ICMLICML-2010-FelzenszwalbGMR #detection #modelling
Discriminative Latent Variable Models for Object Detection (PFF, RBG, DAM, DR), pp. 11–12.
ICMLICML-2010-PoonZCW #clustering #modelling
Variable Selection in Model-Based Clustering: To Do or To Facilitate (LKMP, NLZ, TC, YW), pp. 887–894.
ICPRICPR-2010-CarliBBM #generative #kernel #modelling
Nonlinear Mappings for Generative Kernels on Latent Variable Models (ACC, MB, SB, VM), pp. 2134–2137.
ICPRICPR-2010-KoprinskaSA
Variable Selection for Five-Minute Ahead Electricity Load Forecasting (IK, RS, VGA), pp. 2901–2904.
ICPRICPR-2010-TasdizenH #algorithm #estimation #recursion #video
Recursive Dynamically Variable Step Search Motion Estimation Algorithm for High Definition Video (OT, IH), pp. 2354–2357.
ICPRICPR-2010-TumaIP #classification #kernel #set #using
Hydroacoustic Signal Classification Using Kernel Functions for Variable Feature Sets (MT, CI, MP), pp. 1011–1014.
KRKR-2010-BagetLM #decidability
Walking the Decidability Line for Rules with Existential Variables (JFB, ML, MLM).
SEKESEKE-2010-Abu-MatarGKE #architecture #feature model #modelling #variability
Feature Modeling for Service Variability Management in Service-Oriented Architectures (MAM, HG, MK, AME), pp. 468–473.
SEKESEKE-2010-SieglGH #modelling #testing #variability
Introduction of Time and Timing Variability in Usage Model based Testing (SS, RG, KSJH), pp. 61–66.
SIGIRSIGIR-2010-Wang #learning #modelling #retrieval
Learning hidden variable models for blog retrieval (MW), p. 922.
ECMFAECMFA-2010-Lopez-HerrejonE #consistency #detection #modelling #multi #nondeterminism #variability
Detecting Inconsistencies in Multi-View Models with Variability (RELH, AE), pp. 217–232.
ECMFAECMFA-2010-TrujilloGLMREKS #energy #experience #modelling #variability
Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy (ST, JMG, RELH, XM, AR, AE, CWK, JDS), pp. 293–304.
MODELSMoDELS-v1-2010-Shiraishi #approach #modelling #variability
An AADL-Based Approach to Variability Modeling of Automotive Control Systems (SS), pp. 346–360.
MODELSMoDELS-v1-2010-WilkeTW #ocl #variability
Extending Variability for OCL Interpretation (CW, MT, CW), pp. 361–375.
GPCEGPCE-2010-SinceroTLS #analysis #performance #variability
Efficient extraction and analysis of preprocessor-based variability (JS, RT, DL, WSP), pp. 33–42.
QAPLQAPL-2010-BarsottiW #abstraction #automation #probability #random #verification
Automatic Probabilistic Program Verification through Random Variable Abstraction (DB, NW), pp. 34–47.
SACSAC-2010-KamalA #design pattern #modelling #variability
Modeling the variability of architectural patterns (AWK, PA), pp. 2344–2351.
SACSAC-2010-RuggieriM #constraints #linear
Variable ranges in linear constraints (SR, FM), pp. 2061–2065.
SACSAC-2010-YuRCW #execution #scheduling
Profit and penalty aware (PP-aware) scheduling for tasks with variable task execution time (YY, SR, NC, XW), pp. 334–339.
ICSEICSE-2010-LiebigALKS #analysis #product line #variability
An analysis of the variability in forty preprocessor-based software product lines (JL, SA, CL, CK, MS), pp. 105–114.
PLEASEPLEASE-2010-KammullerRR #higher-order #variability
Feature link propagation across variability representations with Isabelle/HOL (FK, AR, MOR), pp. 48–53.
SPLCSPLC-2010-AzevedoMBR #uml #variability
The UML “extend” Relationship as Support for Software Variability (SA, RJM, AB, HR), pp. 471–475.
SPLCSPLC-2010-BelategiSE #embedded #product line #variability
MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines (LB, GS, LE), pp. 466–470.
SPLCSPLC-2010-ChenB #challenge #industrial #product line #variability
Variability Management in Software Product Lines: An Investigation of Contemporary Industrial Challenges (LC, MAB), pp. 166–180.
SPLCSPLC-2010-Duszynski #diagrams #matrix #variability #visualisation
Visualizing and Analyzing Software Variability with Bar Diagrams and Occurrence Matrices (SD), pp. 481–485.
SPLCSPLC-2010-HeuerBKLP #diagrams #process #semantics #syntax #variability
Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams (AH, CJB, SK, KL, KP), pp. 62–76.
SPLCSPLC-2010-Jarzabek #product line #variability
Pragmatic Strategies for Variability Management in Product Lines in Small- to Medium-Size Companies (SJ), pp. 503–504.
SPLCSPLC-2010-LotufoSBCW #evolution #kernel #linux #variability
Evolution of the Linux Kernel Variability Model (RL, SS, TB, KC, AW), pp. 136–150.
SPLCSPLC-2010-Schmid #comparison #development #distributed #modelling #variability
Variability Modeling for Distributed Development — A Comparison with Established Practice (KS), pp. 151–165.
CGOCGO-2010-HanLT #parallel #reduction
Speculative parallelization of partial reduction variables (LH, WL, JT), pp. 141–150.
OSDIOSDI-2010-GulatiMV #named #scheduling #throughput #variability
mClock: Handling Throughput Variability for Hypervisor IO Scheduling (AG, AM, PJV), pp. 437–450.
CSLCSL-2010-SchwentickZ #logic #order
Two-Variable Logic with Two Order Relations — (Extended Abstract) (TS, TZ), pp. 499–513.
ICSTSAT-2010-MatthewsP #satisfiability
Uniquely Satisfiable k-SAT Instances with Almost Minimal Occurrences of Each Variable (WM, RP), pp. 369–374.
ICSTSAT-2010-TompkinsH #satisfiability
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT (DADT, HHH), pp. 278–292.
WICSA-ECSAWICSA-ECSA-2009-BritoRL #architecture #fault tolerance #verification
Verifying architectural variabilities in software fault tolerance techniques (PHSB, CMFR, RdL), pp. 231–240.
WICSA-ECSAWICSA-ECSA-2009-PerezDSG #architecture #component #variability
Plastic Partial Components: A solution to support variability in architectural components (JP, JD, CCS, JG), pp. 221–230.
CASECASE-2009-KumarWKSS #analysis #fuzzy #predict #using #variability
A fuzzy filtering based system for maximal oxygen uptake prediction using heart rate variability analysis (MK, MW, SK, NS, RS), pp. 604–608.
DACDAC-2009-ChengGSQH #modelling #variability
Physically justifiable die-level modeling of spatial variation in view of systematic across wafer variability (LC, PG, CJS, KQ, LH), pp. 104–109.
DACDAC-2009-DrmanacLW #predict #process #variability
Predicting variability in nanoscale lithography processes (DGD, FL, LCW), pp. 545–550.
DACDAC-2009-YeLCC #analysis #layout #process #variability
Variability analysis under layout pattern-dependent rapid-thermal annealing process (YY, FL, MC, YC), pp. 551–556.
DATEDATE-2009-BaneresCK #design
Variable-latency design by function speculation (DB, JC, MK), pp. 1704–1709.
DATEDATE-2009-GargM #3d #analysis #process #variability
System-level process variability analysis and mitigation for 3D MPSoCs (SG, DM), pp. 604–609.
DATEDATE-2009-MaricauG #performance #reliability #simulation #variability
Efficient reliability simulation of analog ICs including variability and time-varying stress (EM, GGEG), pp. 1238–1241.
DATEDATE-2009-PaciBB #adaptation #bias #communication #effectiveness #variability
Effectiveness of adaptive supply voltage and body bias as post-silicon variability compensation techniques for full-swing and low-swing on-chip communication channels (GP, DB, LB), pp. 1404–1409.
DATEDATE-2009-SathanurPBMM #clustering #design #variability
Physically clustered forward body biasing for variability compensation in nanometer CMOS design (AVS, AP, LB, GDM, EM), pp. 154–159.
DATEDATE-2009-WilsonW #configuration management #variability
Optimal sizing of configurable devices to reduce variability in integrated circuits (PRW, RW), pp. 1385–1390.
ITiCSEITiCSE-2009-Al-BarakatiA #performance #programming #student #visualisation
The effect of visualizing roles of variables on student performance in an introductory programming course (NMAB, AYAA), pp. 228–232.
ESOPESOP-2009-StricklandTF #morphism #polymorphism
Practical Variable-Arity Polymorphism (TSS, STH, MF), pp. 32–46.
CSMRCSMR-2009-RibeiroB #product line
Improving Guidance when Restructuring Variabilities in Software Product Lines (MdMR, PB), pp. 79–88.
ICPCICPC-2009-PetrenkoR #impact analysis #precise
Variable granularity for improving precision of impact analysis (MP, VR), pp. 10–19.
DLTDLT-2009-BehleKR #quantifier #regular expression
Regular Languages Definable by Majority Quantifiers with Two Variables (CB, AK, SR), pp. 91–102.
ICALPICALP-v1-2009-Jansen #constant #scheduling #using
An EPTAS for Scheduling Jobs on Uniform Processors: Using an MILP Relaxation with a Constant Number of Integral Variables (KJ), pp. 562–573.
FMFM-2009-HasanAATA #random #reasoning
Formal Reasoning about Expectation Properties for Continuous Random Variables (OH, NA, BA, ST, RA), pp. 435–450.
HCIHCD-2009-CausseH #effectiveness #visual notation
The Physiological User’s Response as a Clue to Assess Visual Variables Effectiveness (MC, CH), pp. 167–176.
HCIIDGD-2009-MushtahaT #design
Cross-Culture and Website Design: Cultural Movements and Settled Cultural Variables (AM, ODT), pp. 69–78.
ECIRECIR-2009-Ailon #algorithm #linear #query #ranking #using
A Simple Linear Ranking Algorithm Using Query Dependent Intercept Variables (NA), pp. 685–690.
ICMLICML-2009-FloresGMP
GAODE and HAODE: two proposals based on AODE to deal with continuous variables (MJF, JAG, AMM, JMP), pp. 313–320.
ICMLICML-2009-TrespY #dependence #learning #summary #tutorial
Tutorial summary: Learning with dependencies between several response variables (VT, KY), p. 14.
ICMLICML-2009-YuJ #learning
Learning structural SVMs with latent variables (CNJY, TJ), pp. 1169–1176.
SEKESEKE-2009-Abu-Matar #modelling #product line #variability
Mediation Based Variability Modeling for Service Oriented Software Product Lines (MAM), pp. 291–294.
MODELSMoDELS-2009-CengarleGR #modelling #variability
Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.
MODELSMoDELS-2009-MorinPLBVJ #metamodelling #variability #weaving
Weaving Variability into Domain Metamodels (BM, GP, PL, OB, GV, JMJ), pp. 690–705.
MODELSMoDELS-2009-SchwanningerGEL #lifecycle #modelling #product line #variability
Variability Modelling throughout the Product Line Lifecycle (CS, IG, CE, ML), pp. 685–689.
MODELSMoDELS-2009-CengarleGR #modelling #variability
Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.
MODELSMoDELS-2009-MorinPLBVJ #metamodelling #variability #weaving
Weaving Variability into Domain Metamodels (BM, GP, PL, OB, GV, JMJ), pp. 690–705.
MODELSMoDELS-2009-SchwanningerGEL #lifecycle #modelling #product line #variability
Variability Modelling throughout the Product Line Lifecycle (CS, IG, CE, ML), pp. 685–689.
SACSAC-2009-SoaresRCB #declarative #xml
Variable handling in time-based XML declarative languages (LFGS, RFR, RC, SDJB), pp. 1821–1828.
SLESLE-2009-ZschalerSSARFMAK #product line #variability
VML* — A Family of Languages for Variability Management in Software Product Lines (SZ, PS, JPS, MA, AR, LF, AMDM, JA, UK), pp. 82–102.
SPLCSPLC-2009-CetinaHZFP #runtime #variability
Strategies for variability transformation at run-time (CC, ØH, XZ, FF, VP), pp. 61–70.
SPLCSPLC-2009-ChenBA #bibliography #perspective #product line #variability
Variability management in software product lines: a systematic review (LC, MAB, NA), pp. 81–90.
SPLCSPLC-2009-Jarzabek #product line #variability
Pragmatic strategies for variability management in product lines in small- to medium-size companies (SJ), p. 327.
SPLCSPLC-2009-PechKCSH #case study #development #experience #lessons learnt #variability
Variability management in small development organizations: experiences and lessons learned from a case study (DP, JK, RC, CS, DH), pp. 285–294.
CCCC-2009-Abu-MahmeedMBKRHARK #scheduling
Scheduling Tasks to Maximize Usage of Aggregate Variables in Place (SAM, CM, ZB, KK, KR, KH, PA, SR, JK), pp. 204–219.
ICLPICLP-2009-GuzmanCH #implementation #multi
A Tabling Implementation Based on Variables with Multiple Bindings (PCdG, MC, MVH), pp. 190–204.
ICLPICLP-2009-Li #algorithm #constraints #difference #functional #integer #research #summary
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality (CL), pp. 530–531.
LICSLICS-2009-KieronskiT #equivalence #finite #first-order #logic #on the #satisfiability
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations (EK, LT), pp. 123–132.
RTARTA-2009-SeidlV #protocol
Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case (HS, KNV), pp. 118–132.
ICSTSAT-2009-BelovS #probability #process #satisfiability
Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability (AB, ZS), pp. 258–264.
ICSTSAT-2009-JohannsenRW #satisfiability #strict
Solving SAT for CNF Formulas with a One-Sided Restriction on Variable Occurrences (DJ, IR, MW), pp. 80–85.
ICSTSAT-2009-Traxler #normalisation
Variable Influences in Conjunctive Normal Forms (PT), pp. 101–113.
TAPTAP-2009-Rapin #bound #execution #model checking #symbolic computation
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (NR), pp. 137–152.
WICSAWICSA-2008-DhunganaNGR #architecture #evolution #product line #variability
Supporting the Evolution of Product Line Architectures with Variability Model Fragments (DD, TN, PG, RR), pp. 327–330.
DACDAC-2008-AlkabaniMKP #variability
Input vector control for post-silicon leakage current minimization in the presence of manufacturing variability (YA, TM, FK, MP), pp. 606–609.
DACDAC-2008-HerbertM #multi #variability
Characterizing chip-multiprocessor variability-tolerance (SH, DM), pp. 313–318.
DATEDATE-2008-KeezerMD #injection #multi
Variable Delay of Multi-Gigahertz Digital Signals for Deskew and Jitter-Injection Test Applications (DCK, DM, PD), pp. 1486–1491.
DATEDATE-2008-MarculescuN #architecture #challenge #design #variability
Design Variability: Challenges and Solutions at Microarchitecture-Architecture Level (DM, SRN).
DATEDATE-2008-VermaBI #design #latency #paradigm
Variable Latency Speculative Addition: A New Paradigm for Arithmetic Circuit Design (AKV, PB, PI), pp. 1250–1255.
DATEDATE-2008-ZengC #analysis #polynomial #random
Deep Submicron Interconnect Timing Model with Quadratic Random Variable Analysis (JKZ, CPC), pp. 1091–1094.
DocEngDocEng-2008-LumleyGR #configuration management #documentation #editing #xml
Configurable editing of XML-based variable-data documents (JWL, RG, OR), pp. 76–85.
SIGMODSIGMOD-2008-YangWL #approximate #cost analysis #query #string
Cost-based variable-length-gram selection for string collections to support approximate queries efficiently (XY, BW, CL), pp. 353–364.
VLDBVLDB-2008-WongFPHWL #performance #query
Efficient skyline querying with variable user preferences on nominal attributes (RCWW, AWCF, JP, YSH, TW, YL), pp. 1032–1043.
ESOPESOP-2008-Muller-OlmS #interprocedural #performance
Upper Adjoints for Fast Inter-procedural Variable Equalities (MMO, HS), pp. 178–192.
MSRMSR-2008-YoshimuraNHK #analysis #approach #detection #named #product line #variability
FAVE: factor analysis based approach for detecting product line variability from change history (KY, FN, KH, TK), pp. 11–18.
CAiSECAiSE-2008-AliDG #information management #mobile #variability
Location-Based Variability for Mobile Information Systems (RA, FD, PG), pp. 575–578.
ICEISICEIS-AIDSS-2008-BiscarriMLGBM #data mining #mining #variability
A Data Mining Method Based on the Variability of the Customer Consumption — A Special Application on Electric Utility Companies (FB, IM, CL, JIG, JB, RM), pp. 370–374.
ICEISICEIS-AIDSS-2008-UnemeKO #scheduling
Nurse Scheduling by Cooperative GA with Variable Mutation Operator (SyU, HK, MO), pp. 249–252.
ICEISICEIS-ISAS2-2008-CabelloR #product line #variability
Variability Management in Software Product Lines for Decision Support Systems Construction (MEC, IR), pp. 49–56.
CIKMCIKM-2008-HuangS #markov #query #using
A latent variable model for query expansion using the hidden markov model (QH, DS), pp. 1417–1418.
CIKMCIKM-2008-MasudaT #algebra
Nested region algebra extended with variables for tag-annotated text search (KM, JT), pp. 1349–1350.
ECIRECIR-2008-ZhaoST #effectiveness #performance #predict #query #similarity #using #variability
Effective Pre-retrieval Query Performance Prediction Using Similarity and Variability Evidence (YZ, FS, YT), pp. 52–64.
ICMLICML-2008-UrtasunFGPDL #modelling
Topologically-constrained latent variable models (RU, DJF, AG, JP, TD, NDL), pp. 1080–1087.
ICPRICPR-2008-GaoCY #modelling #process
Manifold denoising with Gaussian Process Latent Variable Models (YG, KLC, WYY), pp. 1–4.
ICPRICPR-2008-ShafaitBKB #analysis #layout #modelling #statistics #variability
Background variability modeling for statistical layout analysis (FS, JvB, DK, TMB), pp. 1–4.
ICPRICPR-2008-TsukamotoMW #estimation
Tracking a firefly — a stable likelihood estimation for variable appearance object tracking (YT, YM, TW), pp. 1–4.
ICPRICPR-2008-UlkerGK #multi
A multiple model structure for tracking by variable rate particle filters (, BG, SK), pp. 1–4.
KDDKDD-2008-IfrimBW #categorisation #n-gram #performance
Fast logistic regression for text categorization with variable-length n-grams (GI, GHB, GW), pp. 354–362.
KRKR-2008-LeeM #on the
On Loop Formulas with Variables (JL, YM), pp. 444–453.
MODELSMoDELS-2008-MorinFBJSDB #approach #aspect-oriented #modelling #variability
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability (BM, FF, NB, JMJ, AS, VD, GSB), pp. 782–796.
MODELSMoDELS-2008-MorinVLGBJ #aspect-oriented #complexity #modelling #variability
Managing Variability Complexity in Aspect-Oriented Modeling (BM, GV, PL, AG, OB, JMJ), pp. 797–812.
MODELSMoDELS-2008-MorinFBJSDB #approach #aspect-oriented #modelling #variability
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability (BM, FF, NB, JMJ, AS, VD, GSB), pp. 782–796.
MODELSMoDELS-2008-MorinVLGBJ #aspect-oriented #complexity #modelling #variability
Managing Variability Complexity in Aspect-Oriented Modeling (BM, GV, PL, AG, OB, JMJ), pp. 797–812.
PPDPPPDP-2008-SchulteS
Dynamic variable elimination during propagation solving (CS, PJS), pp. 247–257.
SACSAC-2008-AlbertAGPZ #bytecode #cost analysis #java
Removing useless variables in cost analysis of Java bytecode (EA, PA, SG, GP, DZ), pp. 368–375.
SACSAC-2008-AnagnostopoulosAH #adaptation #data type #multi #what
Deciding what to observe next: adaptive variable selection for regression in multivariate data streams (CA, NMA, DJH), pp. 961–965.
SACSAC-2008-BaveraB #analysis #bytecode #data flow #policy #type system
Type-based information flow analysis for bytecode languages with variable object field policies (FB, EB), pp. 347–351.
SACSAC-2008-Juarez-MartinezO #named
Énfasis: a model for local variable crosscutting (UJM, JOOA), pp. 261–265.
SACSAC-2008-RibeiroMB #implementation #product line
A decision model for implementing product lines variabilities (MdMR, PMJ, PB), pp. 276–277.
SACSAC-2008-ZhangMD #feature model #fuzzy #image #retrieval #set #using
Texture feature extraction and description using fuzzy set of main dominant directions of variable scales in content-based medical image retrieval (GZ, ZMM, LD), pp. 1760–1761.
SPLCSPLC-2008-EtxeberriaM #evaluation #product line #quality #variability
Variability Driven Quality Evaluation in Software Product Lines (LE, GSM), pp. 243–252.
SPLCSPLC-2008-HartmannT #diagrams #feature model #multi #product line #using #variability
Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains (HH, TT), pp. 12–21.
SPLCSPLC-2008-HaugenMOOS #domain-specific language #standard #variability
Adding Standardized Variability to Domain Specific Languages (ØH, BMP, JO, GKO, AS), pp. 139–148.
SPLCSPLC-2008-HubauxHB #challenge #modelling #open source #product line #re-engineering #variability
Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project (AH, PH, DB), pp. 55–64.
SPLCSPLC-2008-KumarBC #identification #variability
Identifying and Exploiting the Similarities between Rationale Management and Variability Management (AKT, BB, OC), pp. 99–108.
SPLCSPLC-2008-NodaK #aspect-oriented #modelling #variability
Aspect-Oriented Modeling for Variability Management (NN, TK), pp. 213–222.
PPoPPPPoPP-2008-WangYFDWJ #analysis #automation #source code
Automated application-level checkpointing based on live-variable analysis in MPI programs (PW, XY, HF, YD, ZW, JJ), pp. 273–274.
ICLPICLP-2008-SenniPP #algorithm #constraints #logic programming #source code
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (VS, AP, MP), pp. 284–300.
ICSTICST-2008-BeerM #dependence #generative #performance #testing
Efficient Test Data Generation for Variables with Complex Dependencies (AB, SM), pp. 3–11.
ASEASE-2007-Gawley #automation #feature model #identification #modelling #variability
Automating the identification of variability realisation techniques from feature models (RG), pp. 555–558.
DACDAC-2007-LongS #verification
Synthesizing SVA Local Variables for Formal Verification (JL, AS), pp. 75–80.
DACDAC-2007-SingheeR #performance #statistics
Beyond Low-Order Statistical Response Surfaces: Latent Variable Regression for Efficient, Highly Nonlinear Fitting (AS, RAR), pp. 256–261.
DACDAC-2007-SuWCM #design #optimisation #performance
An Efficient Mechanism for Performance Optimization of Variable-Latency Designs (YSS, DCW, SCC, MMS), pp. 976–981.
DACDAC-2007-WangLR #automation #megamodelling #named #parametricity #variability
PV-PPV: Parameter Variability Aware, Automatically Extracted, Nonlinear Time-Shifted Oscillator Macromodels (ZW, XL, JSR), pp. 142–147.
DocEngDocEng-2007-BagleyBO #component #documentation #reuse
Extracting reusable document components for variable data printing (SRB, DFB, JAO), pp. 44–52.
DocEngDocEng-2007-Giannetti #multi #standard
A multi-format variable data template wrapper extending podis PPML-T standard (FG), pp. 37–43.
DocEngDocEng-2007-Giannetti07a #generative #multi
Anvil next generation: a multi-format variable data printtemplate based on PPML-T (FG), pp. 93–94.
ICDARICDAR-2007-KunduHHPG #recognition #using
Arabic Handwriting Recognition Using Variable Duration HMM (AK, TH, BH, JP, LVG), pp. 644–648.
PODSPODS-2007-FiliotNTT #polynomial #xpath
Polynomial time fragments of XPath with variables (EF, JN, JMT, ST), pp. 205–214.
VLDBVLDB-2007-LiWY #approximate #named #performance #query #string #using
VGRAM: Improving Performance of Approximate Queries on String Collections Using Variable-Length Grams (CL, BW, XY), pp. 303–314.
CSMRCSMR-2007-LoeschP #concept analysis #product line #using #variability
Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations (FL, EP), pp. 159–170.
ICEISICEIS-AIDSS-2007-Calvo-FloresNGF07a #empirical
An Empirical Study of Significant Variables for Trading Strategies (MDCF, JFNN, EGG, CMF), pp. 330–335.
ICMLICML-2007-LawrenceM #modelling #process
Hierarchical Gaussian process latent variable models (NDL, AJM), pp. 481–488.
ICMLICML-2007-UrtasunD #classification #process
Discriminative Gaussian process latent variable model for classification (RU, TD), pp. 927–934.
ICMLICML-2007-ZienBS
Transductive support vector machines for structured variables (AZ, UB, TS), pp. 1183–1190.
MODELSMoDELS-2007-LahireMVGBJ #aspect-oriented #modelling #variability
Introducing Variability into Aspect-Oriented Modeling Approaches (PL, BM, GV, AG, OB, JMJ), pp. 498–513.
MODELSMoDELS-2007-LahireMVGBJ #aspect-oriented #modelling #variability
Introducing Variability into Aspect-Oriented Modeling Approaches (PL, BM, GV, AG, OB, JMJ), pp. 498–513.
RERE-2007-MetzgerHPSS #analysis #automation #documentation #formal method #product line #variability
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis (AM, PH, KP, PYS, GS), pp. 243–253.
SPLCSPLC-2007-ChangK #adaptation #modelling #variability
A Variability Modeling Method for Adaptable Services in Service-Oriented Computing (SHC, SDK), pp. 261–268.
SPLCSPLC-2007-LoeschP #optimisation #product line #variability
Optimization of Variability in Software Product Lines (FL, EP), pp. 151–162.
SPLCSPLC-2007-RabiserGD #adaptation #modelling #variability
Supporting Product Derivation by Adapting and Augmenting Variability Models (RR, PG, DD), pp. 141–150.
CGOCGO-2007-OzturkCKK #latency #problem
Compiler-Directed Variable Latency Aware SPM Management to CopeWith Timing Problems (ÖÖ, GC, MTK, MK), pp. 232–243.
HPCAHPCA-2007-AnnavaramGR #variability
Implications of Device Timing Variability on Full Chip Timing (MA, EG, PR), pp. 37–45.
SOSPSOSP-2007-LuPHMJLPZ #automation #concurrent #correlation #debugging #detection #multi #named #semantics
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs (SL, SP, CH, XM, WJ, ZL, RAP, YZ), pp. 103–116.
CADECADE-2007-AntonsenW
A Labelled System for IPL with Variable Splitting (RA, AW), pp. 132–146.
CADECADE-2007-UrbanBN
Barendregt’s Variable Convention in Rule Inductions (CU, SB, MN), pp. 35–50.
CSLCSL-2007-FiliotTT #logic #satisfiability
Satisfiability of a Spatial Logic with Tree Variables (EF, JMT, ST), pp. 130–145.
CSLCSL-2007-Murawski
Bad Variables Under Control (ASM), pp. 558–572.
ISSTAISSTA-2007-TombBV #detection #fault #interprocedural #program analysis #runtime
Variably interprocedural program analysis for runtime error detection (AT, GPB, WV), pp. 97–107.
ICSTSAT-2007-PorschenS #algorithm #problem #satisfiability
Algorithms for Variable-Weighted 2-SAT and Dual Problems (SP, ES), pp. 173–186.
ICSTSAT-2007-Prestwich #dependence
Variable Dependency in Local Search: Prevention Is Better Than Cure (SDP), pp. 107–120.
VMCAIVMCAI-2007-BalakrishnanR #bytecode #named
DIVINE: DIscovering Variables IN Executables (GB, TWR), pp. 1–28.
VMCAIVMCAI-2007-BallK #approximate #source code
Better Under-Approximation of Programs by Hiding Variables (TB, OK), pp. 314–328.
ASEASE-2006-Dhungana #architecture #modelling #product line #variability
Integrated Variability Modeling of Features and Architecture in Software Product Line Engineering (DD), pp. 327–330.
DACDAC-2006-DavoodiS #optimisation #variability
Variability driven gate sizing for binning yield optimization (AD, AS), pp. 959–964.
DATEDATE-2006-Liu
A practical method to estimate interconnect responses to variabilities (FL), pp. 545–546.
DATEDATE-2006-LiuI #optimisation #scheduling #using
Test scheduling with thermal optimization for network-on-chip systems using variable-rate on-chip clocking (CL, VI), pp. 652–657.
DATEDATE-2006-PanditKMP #hardware #higher-order #synthesis
High level synthesis of higher order continuous time state variable filters with minimum sensitivity and hardware count (SP, SK, CAM, AP), pp. 1203–1204.
DATEDATE-DF-2006-YehWLW #multi #programmable
A 124.8Msps, 15.6mW field-programmable variable-length codec for multimedia applications (CY, CCW, LCL, JSW), pp. 239–243.
DocEngDocEng-2006-LumleyGR #layout
Resolving layout interdependency with presentational variables (JWL, RG, OR), pp. 95–97.
PODSPODS-2006-BojanczykDMSS #logic #reasoning #xml
Two-variable logic on data trees and XML reasoning (MB, CD, AM, TS, LS), pp. 10–19.
SIGMODSIGMOD-2006-RusuD #estimation #performance #random
Fast range-summable random variables for efficient aggregate estimation (FR, AD), pp. 193–204.
VLDBVLDB-2006-DennyF #adaptation #execution
Adaptive Execution of Variable-Accuracy Functions (MD, MJF), pp. 547–558.
ITiCSEITiCSE-2006-GerdtS #automation #detection
A web-based service for the automatic detection of roles of variables (PG, JS), pp. 178–182.
TACASTACAS-2006-SiminiceanuC #diagrams #metric
New Metrics for Static Variable Ordering in Decision Diagrams (RS, GC), pp. 90–104.
PEPMPEPM-2006-LewisJ #analysis #model checking
A dead variable analysis for explicit model checking (ML, MJ), pp. 48–57.
STOCSTOC-2006-SamorodnitskyT
Gowers uniformity, influence of variables, and PCPs (AS, LT), pp. 11–20.
FMFM-2006-JohnstonWBSR #model checking #modelling #order #performance
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking (WJ, KW, LvdB, PAS, PJR), pp. 524–540.
CSCWCSCW-2006-GueddanaR #communication #video
Pêle-Mêle, a video communication system supporting a variable degree of engagement (SG, NR), pp. 423–426.
ICMLICML-2006-BrefeldS #learning
Semi-supervised learning for structured output variables (UB, TS), pp. 145–152.
ICPRICPR-v1-2006-RaghebH
Reflectance from Surfaces with Layers of Variable Roughness (HR, ERH), pp. 543–546.
ICPRICPR-v1-2006-RiponTKI #algorithm #clustering #multi #search-based #using
Multi-Objective Evolutionary Clustering using Variable-Length Real Jumping Genes Genetic Algorithm (KSNR, CHT, SK, MKI), pp. 1200–1203.
ICPRICPR-v2-2006-QuanHXLL #analysis #online #verification
Spectrum Analysis Based onWindows with Variable Widths for Online Signature Verification (ZHQ, DSH, XLX, MRL, TML), pp. 1122–1125.
ICPRICPR-v2-2006-YuW06a #algorithm
Genetic-based K-means algorithm for selection of feature variables (ZY, HSW), pp. 744–747.
ICPRICPR-v3-2006-WangWKH #probability #using #video
Tracking a Variable Number of Human Groups in Video Using Probability Hypothesis Density (YDW, JKW, AAK, WH), pp. 1127–1130.
ICPRICPR-v3-2006-YoshimuraHM #comparison
Comparison of Structural Variables with Spatio-temporal Variables Concerning the Identifiability of Okuri Class and Player in Japanese Traditional Dancing (MY, KH, YM), pp. 308–311.
KRKR-2006-LukasiewiczS #logic
Variable-Strength Conditional Preferences for Matchmaking in Description Logics (TL, JS), pp. 164–174.
SEKESEKE-2006-CookeRW #verification
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification (DEC, JNR, RGW), pp. 315–320.
SEKESEKE-2006-KuleszaLAG #aspect-oriented #generative #using
Customizing Aspect-Oriented Variabilities using Generative Techniques (UK, CJPdL, PSCA, AG), pp. 17–22.
RERE-2006-LiaskosLYYM #analysis #on the #variability
On Goal-based Variability Acquisition and Analysis (SL, AL, YY, ESKY, JM), pp. 76–85.
SACSAC-2006-GiannettiFTNRC #performance
High performance XSL-FO rendering for variable data printing (FG, LGF, RT, TN, MR, MBC), pp. 811–817.
ICSEICSE-2006-PohlM #product line #variability
Variability management in software product line engineering (KP, AM), pp. 1049–1050.
SPLCSPL-BOOK-2006-BayerGHMMOTTW #modelling #product line #variability
Consolidated Product Line Variability Modeling (JB, SG, ØH, JXM, BMP, JO, PT, JPT, TW), pp. 195–241.
SPLCSPLC-2006-BragancaM #case study #metamodelling #specification #uml #variability
Extending UML 2.0 Metamodel for Complementary Usages of the «extend» Relationship within Use Case Variability Specification (AB, RJM), pp. 123–130.
SPLCSPLC-2006-GurpS #grid #variability
Service Grid Variability Realization (JvG, JS), pp. 85–94.
SPLCSPLC-2006-PohlLM #product line #variability
Software Product Line Variability Management (KP, FvdL, AM), p. 219.
ICLPICLP-2006-AntoyH #functional #logic programming #source code
Overlapping Rules and Logic Variables in Functional Logic Programs (SA, MH), pp. 87–101.
ICLPICLP-2006-PettorossiPS #constraints #logic programming #proving #source code
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (AP, MP, VS), pp. 179–195.
LICSLICS-2006-BojanczykMSSD #logic #word
Two-Variable Logic on Words with Data (MB, AM, TS, LS, CD), pp. 7–16.
LICSLICS-2006-ParkinsonBC #hoare #logic
Variables as Resource in Hoare Logics (MJP, RB, CC), pp. 137–146.
DACDAC-2005-CaoC #approach #modelling #performance #process #statistics #towards #variability
Mapping statistical process variations toward circuit performance variability: an analytical modeling approach (YC, LTC), pp. 658–663.
DACDAC-2005-MarculescuT #architecture #energy #perspective #variability
Variability and energy awareness: a microarchitecture-level perspective (DM, ET), pp. 11–16.
DACDAC-2005-NagarajBSBNLH #variability
BEOL variability and impact on RC extraction (NSN, TB, AS, CB, UN, VL, AMH), pp. 758–759.
DATEDATE-2005-LiLLPN #modelling #order #parametricity #performance #reduction #using #variability
Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction (PL, FL, XL, LTP, SRN), pp. 958–963.
DATEDATE-2005-VandersteenLJRP #framework #modelling #scalability
Estimating Scalable Common-Denominator Laplace-Domain MIMO Models in an Errors-in-Variables Framework (GV, LDL, SJ, YR, RP), pp. 1076–1081.
DATEDATE-2005-WangMDCM #analysis #embedded #energy #process #variability
Systematic Analysis of Energy and Delay Impact of Very Deep Submicron Process Variability Effects in Embedded SRAM Modules (HW, MM, WD, FC, KM), pp. 914–919.
ICDARICDAR-2005-ChaoL #documentation #layout #reuse
Capturing the Layout of Electronic Documents for Reuse in Variable Data Printing (HC, XL), pp. 940–944.
FASEFASE-2005-HammoudaHPK #using #variability
Managing Variability Using Heterogeneous Feature Variation Patterns (IH, JH, MP, KK), pp. 145–159.
FoSSaCSFoSSaCS-2005-EdalatLP #calculus #difference #multi
A Computational Model for Multi-variable Differential Calculus (AE, AL, DP), pp. 505–519.
FoSSaCSFoSSaCS-2005-MiculanY
A Unifying Model of Variables and Names (MM, KY), pp. 170–186.
IWPCIWPC-2005-SajaniemiN
An Investigation into Professional Programmers’ Mental Representations of Variables (JS, RNP), pp. 55–64.
SASSAS-2005-NarasamdyaV
Finding Basic Block and Variable Correspondence (IN, AV), pp. 251–267.
ICALPICALP-2005-BraekenBNP #classification #encryption
Classification of Boolean Functions of 6 Variables or Less with Respect to Some Cryptographic Properties (AB, YLB, SN, BP), pp. 324–334.
ICALPICALP-2005-Mislove #random
Discrete Random Variables over Domains (MWM), pp. 1006–1017.
ICALPICALP-2005-TessonT #communication #complexity #strict
Restricted Two-Variable Sentences, Circuits and Communication Complexity (PT, DT), pp. 526–538.
ICMLICML-2005-SilvaS #identification #learning #modelling
New d-separation identification results for learning continuous latent variable models (RBdAeS, RS), pp. 808–815.
KDDKDD-2005-DasguptaKRT #semantics
Variable latent semantic indexing (AD, RK, PR, AT), pp. 13–21.
SEKESEKE-2005-YeS #dependence #modelling #variability
Modelling Feature Variability and Dependency in Two Views (HY, AS), pp. 661–664.
ECOOPECOOP-2005-PistoiaFKS #analysis #detection #interprocedural
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection (MP, RJF, LK, VCS), pp. 362–386.
OOPSLAOOPSLA-2005-AllanACHKLMSST #aspectj
Adding trace matching with free variables to AspectJ (CA, PA, ASC, LJH, SK, OL, OdM, DS, GS, JT), pp. 345–364.
LOPSTRLOPSTR-2005-AlvezL #algorithm #logic programming #source code
An Algorithm for Local Variable Elimination in Normal Logic Programs (, PL), pp. 61–79.
RERE-2005-BittnerBPRW #requirements #reuse #scalability #variability
Managing Variability and Reuse of Features and Requirements for Large and Complex Organizational Structures (MB, AB, AP, MOR, MW), pp. 469–470.
RERE-2005-BuhneLP #modelling #product line #requirements #variability
Modelling Requirements Variability across Product Lines (SB, KL, KP), pp. 41–52.
SACSAC-2005-FalcoTCG #algorithm #clustering #search-based
A new variable-length genome genetic algorithm for data clustering in semeiotics (IDF, ET, ADC, FG), pp. 923–927.
SACSAC-2005-WangPSV #ranking
Variable selection and ranking for analyzing automobile traffic accident data (HW, ASP, RKS, SVV), pp. 32–37.
ESEC-FSEESEC-FSE-2005-EstublierV #reuse #scalability #variability
Reuse and variability in large software applications (JE, GV), pp. 316–325.
LCTESLCTES-2005-Oi #design #hardware #java #on the #virtual machine
On the design of the local variable cache in a hardware translation-based java virtual machine (HO), pp. 87–94.
PPoPPPPoPP-2005-KejariwalNBP #approach #clustering #novel
A novel approach for partitioning iteration spaces with variable densities (AK, AN, UB, CDP), pp. 120–131.
ICSTSAT-J-2004-AnsoteguiM05 #problem
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables (CA, FM), pp. 1–15.
ICSTSAT-J-2004-GummadiNV05 #algorithm #independence #satisfiability #set #using
Algorithms for Satisfiability Using Independent Sets of Variables (RG, NSN, VR), pp. 133–144.
ICSTSAT-J-2004-SubbarayanP05 #named #preprocessor #satisfiability
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances (SS, DKP), pp. 276–291.
LICSLICS-2005-KieronskiO #decidability #first-order #logic
Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.
ICSTSAT-2005-DurairajK #constraints #dependence #performance #satisfiability
Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies (VD, PK), pp. 415–422.
ICSTSAT-2005-EenB #effectiveness #preprocessor #satisfiability
Effective Preprocessing in SAT Through Variable and Clause Elimination (NE, AB), pp. 61–75.
ICSTSAT-2005-Prestwich #random
Random Walk with Continuously Smoothed Variable Weights (SDP), pp. 203–215.
ICSTSAT-2005-Wahlstrom #performance #satisfiability
Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable (MW), pp. 309–323.
DACDAC-2004-RajaramHM #variability
Reducing clock skew variability via cross links (AR, JH, RNM), pp. 18–23.
DACDAC-2004-RaoDBS #estimation #parametricity #variability
Parametric yield estimation considering leakage variability (RRR, AD, DB, DS), pp. 442–447.
DATEDATE-v1-2004-LiVKI
A Crosstalk Aware Interconnect with Variable Cycle Transmission (LL, NV, MTK, MJI), pp. 102–107.
DATEDATE-v1-2004-WangH #clustering #memory management #multi #power management #scheduling
Power Aware Variable Partitioning and Instruction Scheduling for Multiple Memory Banks (ZW, XSH), pp. 312–317.
DATEDATE-v2-2004-MaxiaguineKT #execution
Workload Characterization Model for Tasks with Variable Execution Demand (AM, SK, LT), pp. 1040–1045.
ITiCSEITiCSE-2004-Ben-AriS
Roles of variables as seen by CS educators (MBA, JS), pp. 52–56.
ITiCSEITiCSE-2004-KuittinenS #education #programming
Teaching roles of variables in elementary programming courses (MK, JS), pp. 57–61.
ESOPESOP-2004-CarlierPWK #flexibility #linear #type system
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types (SC, JP, JBW, AJK), pp. 294–309.
FoSSaCSFoSSaCS-2004-Laird #game studies #semantics
A Game Semantics of Local Names and Good Variables (JL), pp. 289–303.
ICSMEICSM-2004-DeelstraSNB #named #product line #variability
COSVAM: A Technique for Assessing Software Variability in Software Product Families (SD, MS, JN, JB), pp. 458–462.
STOCSTOC-2004-Feige #bound #graph #independence #on the #random
On sums of independent random variables with unbounded variance, and estimating the average degree in a graph (UF), pp. 594–603.
DLTDLT-2004-ChoffrutGL #on the
On the Maximum Coefficients of Rational Formal Series in Commuting Variables (CC, MG, VL), pp. 114–126.
ICALPICALP-2004-DabrowskiP #equation #word
Solving Two-Variable Word Equations (Extended Abstract) (RD, WP), pp. 408–419.
AdaSIGAda-2004-SwardC #ada #re-engineering
Re-engineering global variables in Ada (RES, ATC), pp. 29–34.
ICEISICEIS-v2-2004-Turowska #analysis #nondeterminism
Application of Uncertain Variables to Stability Analysis and Stabilization for ATM ABR Congestion Control Systems (MT), pp. 523–526.
ICEISICEIS-v3-2004-BennasriS #approach #component #requirements #variability
Capturing Requirements Variability into Components: A Goal Driven Approach (SB, CS), pp. 438–443.
ICPRICPR-v3-2004-RexhepiMR #modelling
Sparse, Variable-Representation Active Contour Models (AR, FM, AR), pp. 683–686.
KRKR-2004-SuLZ #reasoning
Reasoning about Knowledge by Variable Forgetting (KS, GL, YZ), pp. 576–586.
PPDPPPDP-2004-CarlierW #type inference
Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction (SC, JBW), pp. 132–143.
RERE-2004-Gonzalez-BaixauliLM #analysis #modelling #variability #visual notation
Visual Variability Analysis for Goal Models (BGB, JCSdPL, JM), pp. 198–207.
SACSAC-2004-GuptaCH #constraints #linear
Experiments with UNA for solving linear constraints in real variables (NG, YC, MZH), pp. 1013–1020.
FSEFSE-2004-MeziniO #aspect-oriented #feature model #programming #variability
Variability management with feature-oriented programming and aspects (MM, KO), pp. 127–136.
ICSEICSE-2004-Bosch #variability
Software Variability Management (JB), pp. 720–721.
SPLCSPLC-2004-AmericaHIOR #architecture #product line #variability
Scenario-Based Decision Making for Architectural Variability in Product Families (PA, DKH, MTI, JHO, ER), pp. 284–303.
SPLCSPLC-2004-Bosch04b #variability
Software Variability Management (JB), pp. 315–316.
SPLCSPLC-2004-SinnemaDNB #framework #modelling #named #product line #variability
COVAMOF: A Framework for Modeling Variability in Software Product Families (MS, SD, JN, JB), pp. 197–213.
IJCARIJCAR-2004-GodoyT #term rewriting
Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure (GG, AT), pp. 91–106.
IJCARIJCAR-2004-LetzS
Generalised Handling of Variables in Disconnection Tableaux (RL, GS), pp. 289–306.
SATSAT-2004-AnsoteguiM #problem
Mapping Problems with Finite-Domain Variables into Problems with Boolean Variables (CA, FM), pp. 111–119.
SATSAT-2004-GummadiNV #algorithm #independence #satisfiability #set #using
Algorithms for Satisfiability using Independent Sets of Variables (RG, NSN, VR), pp. 56–63.
SATSAT-2004-HooryS #satisfiability
Computing Unsatisfiable k-SAT Instances with Few Occurrences per Variable (SH, SS), pp. 86–95.
DACDAC-2003-ChoiK #design #embedded #layout #memory management #performance
Memory layout techniques for variables utilizing efficient DRAM access modes in embedded system design (YC, TK), pp. 881–886.
DACDAC-2003-KwonK
Optimal voltage allocation techniques for dynamically variable voltage processors (WCK, TK), pp. 125–130.
ICDARICDAR-2003-ShafieiR #algorithm #markov #modelling #online #segmentation #using #verification
A New On-Line Signature Verification Algorithm Using Variable Length Segmentation and Hidden Markov Models (MMS, HRR), p. 443–?.
FoSSaCSFoSSaCS-2003-Kieronski #transitive
The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard (EK), pp. 299–312.
SOFTVISSOFTVIS-2003-SajaniemiK #animation
Program Animation Based on the Roles of Variables (JS, MK), pp. 7–16.
SEKESEKE-2003-Cebulla #adaptation #architecture #reasoning #using #variability
Reasoning about Variability and structural Adaptation in Sociotechnical Systems Using Dynamic Architectures (MC), pp. 406–413.
LOPSTRLOPSTR-2003-BerghammerM #algorithm #approximate #development #using #verification
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables (RB, MMO), pp. 59–74.
PPDPPPDP-2003-Hamana #algebra #approach #term rewriting
Term rewriting with variable binding: an initial algebra approach (MH), pp. 148–159.
CCCC-2003-NguyenIAC #automation #detection
Automatic Detection of Uninitialized Variables (TVNN, FI, CA, FC), pp. 217–231.
HPCAHPCA-2003-AlameldeenW #architecture #concurrent #multi #simulation #thread #variability
Variability in Architectural Simulations of Multi-Threaded Workloads (ARA, DAW), pp. 7–18.
LCTESLCTES-2003-ZhuangLP #embedded #optimisation
Storage assignment optimizations through variable coalescence for embedded processors (XZ, CL, SP), pp. 220–231.
CSLCSL-2003-SatoSKI #calculus
Calculi of Meta-variables (MS, TS, YK, AI), pp. 484–497.
DACDAC-2002-KrauterW #analysis
Variable frequency crosstalk noise analysis: : a methodology to guarantee functionality from dc to fmax (BK, DW), pp. 665–668.
DATEDATE-2002-Dubrova #composition #order
Composition Trees in Finding Best Variable Orderings for ROBDDs (ED), p. 1084.
DATEDATE-2002-QuanH #energy #scheduling
Minimum Energy Fixed-Priority Scheduling for Variable Voltage Processor (GQ, XH), pp. 782–787.
ITiCSEITiCSE-2002-WalkerMM #variability
Variability of referees’ ratings of conference papers (HMW, WM, DM), pp. 178–182.
TACASTACAS-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.
SCAMSCAM-2002-HarmanFHHDW #analysis #dependence #named
VADA: A Transformation-Based System for Variable Dependence Analysis (MH, CF, RMH, LH, SD, JW), pp. 55–64.
ICALPICALP-2002-EpsteinSS #bound #online
New Bounds for Variable-Sized and Resource Augmented Online Bin Packing (LE, SSS, RvS), pp. 306–317.
FMFME-2002-OheimbN #hoare #logic #revisited
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited (DvO, TN), pp. 89–105.
AdaEuropeAdaEurope-2002-DewarHCW #ada #runtime
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (RD, OH, DC, PW), pp. 193–204.
ICMLICML-2002-SlonimBFT #feature model #markov #memory management #multi
Discriminative Feature Selection via Multiclass Variable Memory Markov Model (NS, GB, SF, NT), pp. 578–585.
ICMLICML-2002-StracuzziU #random
Randomized Variable Elimination (DJS, PEU), pp. 594–601.
ICPRICPR-v1-2002-ChazalRH #automation #detection #metric #using #variability
Automatic Sleep Apnoea Detection Using Measures of Amplitude and Heart Rate Variability from the Electrocardiogram (PdC, RBR, CH), pp. 775–778.
ICPRICPR-v2-2002-LalondeG #geometry
Variable Neighborhood Search for Geometrically Deformable Templates (ML, LG), pp. 689–692.
ICPRICPR-v3-2002-TakasuA #fault #named #recognition
DVHMM: Variable Length Text Recognition Error Model (AT, KA), pp. 110–114.
ICPRICPR-v4-2002-StephensonMB #automation #network #recognition #speech
Mixed Bayesian Networks with Auxiliary Variables for Automatic Speech Recognition (TAS, MMD, HB), p. 293–?.
KRKR-2002-LangM #consistency #nondeterminism
Resolving Inconsistencies by Variable Forgetting (JL, PM), pp. 239–250.
SIGIRSIGIR-2002-NomotoM #modelling #summary #variability
Modeling (in)variability of human judgments for text summarization (TN, YM), pp. 407–408.
OOPSLAOOPSLA-2002-MarellyHK #execution #multi #sequence chart
Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.
LOPSTRLOPSTR-2002-AmatoS #alias #framework #towards
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties (GA, FS), pp. 52–70.
LOPSTRLOPSTR-2002-SimonKH #abstract domain #difference #linear
Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.
SPLCSPLC-2002-GeyerB #on the #process #product line
On the Influence of Variabilities on the Application-Engineering Process of a Product Family (LG, MB), pp. 1–14.
SPLCSPLC-2002-JaringB #case study #product line #representation #variability
Representing Variability in Software Product Lines: A Case Study (MJ, JB), pp. 15–36.
SPLCSPLC-2002-ThielH #architecture #design #integration #product line #variability
Systematic Integration of Variability into Product Line Architecture Design (ST, AH), pp. 130–153.
CCCC-2002-CilioC #using
Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation (AGMC, HC), pp. 247–260.
CADECADE-2002-Brown #higher-order #proving #set #theorem proving
Solving for Set Variables in Higher-Order Theorem Proving (CEB), pp. 408–422.
CSLCSL-2002-BerwangerGL #calculus #on the #μ-calculus
On the Variable Hierarchy of the Modal μ-Calculus (DB, EG, GL), pp. 352–366.
LICSLICS-2002-EdalatL #calculus #difference
Domain Theory and Differential Calculus (Functions of one Variable) (AE, AL), pp. 277–286.
WICSAWICSA-2001-GurpBS #on the #product line #variability
On the Notion of Variability in Software Product Lines (JvG, JB, MS), pp. 45–54.
ASEASE-2001-AlurG #diagrams #interactive
Shared Variables Interaction Diagrams (RA, RG), pp. 281–288.
ASEASE-2001-SyD #automation #float #generative #integer #source code #testing
Automatic Test Data Generation for Programs with Integer and Float Variables (NTS, YD), pp. 13–21.
DACDAC-2001-QuanH #energy #performance #realtime #scheduling
Energy Efficient Fixed-Priority Scheduling for Real-Time Systems on Variable Voltage Processors (GQ, XH), pp. 828–833.
PLDIPLDI-2001-HansonP
Dynamic Variables (DRH, TAP), pp. 264–273.
ICMLICML-2001-BowlingV #convergence #learning
Convergence of Gradient Dynamics with a Variable Learning Rate (MHB, MMV), pp. 27–34.
ICMLICML-2001-SeldinBT #markov #memory management #segmentation #sequence
Unsupervised Sequence Segmentation by a Mixture of Switching Variable Memory Markov Sources (YS, GB, NT), pp. 513–520.
KDDKDD-2001-Webb
Discovering associations with numeric variables (GIW), pp. 383–388.
CCCC-2001-TiceG #generative #robust
A Practical, Robust Method for Generating Variable Range Tables (CT, SLG), pp. 102–117.
CAVCAV-2001-Arons #consistency #using #verification
Using Timestamping and History Variables to Verify Sequential Consistency (TA), pp. 423–435.
CSLCSL-2001-LutzSW #logic
Modal Logic and the Two-Variable Fragment (CL, US, FW), pp. 247–261.
IJCARIJCAR-2001-BoigelotJW #automaton #integer #linear #on the
On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables (BB, SJ, PW), pp. 611–625.
IJCARIJCAR-2001-CerritoM #logic #quantifier
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation (SC, MCM), pp. 137–151.
IJCARIJCAR-2001-Giese #incremental
Incremental Closure of Free Variable Tableaux (MG), pp. 545–560.
IJCARIJCAR-2001-NivelleP #similarity
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality (HdN, IPH), pp. 211–225.
RTARTA-2001-VestergaardB #confluence #first-order #proving #using #λ-calculus
A Formalised First-Order Confluence Proof for the λ-Calculus Using One-Sorted Variable Names (RV, JB), pp. 306–321.
DACDAC-2000-LuJCF #performance #using
Efficient variable ordering using aBDD based sampling (YL, JJ, EMC, MF), pp. 687–692.
PEPMPEPM-2000-Kobayashi #type system
Type-Based Useless Variable Elimination (NK), pp. 84–93.
PLDIPLDI-2000-RouhtevC #analysis #points-to #scalability
Off-line variable substitution for scaling points-to analysis (AR, SC), pp. 47–56.
STOCSTOC-2000-Achlioptas #bound #random #satisfiability
Setting 2 variables at a time yields a new lower bound for random 3-SAT (extended abstract) (DA), pp. 28–37.
ICALPICALP-2000-Libkin #constraints #independence #quantifier
Variable Independence, Quantifier Elimination, and Constraint Representations (LL), pp. 260–271.
ICALPICALP-2000-Seiden #algorithm #bound #online
An Optimal Online Algorithm for Bounded Space Variable-Sized Bin Packing (SSS), pp. 283–295.
WLCWLC-2000-KoshibaH #consistency
A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples (TK, KH), pp. 253–265.
IFMIFM-2000-Dingel #development #distributed #parallel #source code #towards
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs (JD), pp. 214–234.
CAiSECAiSE-2000-BauerD #distributed #performance #workflow
Efficient Distributed Workflow Management Based on Variable Server Assignments (TB, PD), pp. 94–109.
ICMLICML-2000-MunosM #convergence
Rates of Convergence for Variable Resolution Schemes in Optimal Control (RM, AWM), pp. 647–654.
ICMLICML-2000-WesterdijkW #classification #modelling #multi #using
Classification with Multiple Latent Variable Models using Maximum Entropy Discrimination (MW, WW), pp. 1143–1150.
KDDKDD-2000-Bay #mining #multi #set
Multivariate discretization of continuous variables for set mining (SDB), pp. 315–319.
KRKR-2000-Massacci #first-order #reduction
Reduction rules and universal variables for first order tableaux and DPLL (FM), pp. 186–197.
ICLPCL-2000-Miller #bibliography #perspective #syntax
Abstract Syntax for Variable Binders: An Overview (DM), pp. 239–253.
DACDAC-1999-GoodmanCD #design #embedded #encryption #implementation #scalability
Design and Implementation of a Scalable Encryption Processor with Embedded Variable DC/DC Converter (JG, AC, APD), pp. 855–860.
DACDAC-1999-GovindarajuDB #approximate #reachability #using
Improved Approximate Reachability Using Auxiliary State Variables (SGG, DLD, JPB), pp. 312–316.
DATEDATE-1999-MeinelS #model checking #order #performance
Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering (CM, CS), pp. 760–761.
DATEDATE-1999-ThorntonWDD #diagrams #order #using
Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities (MAT, JPW, RD, ND), pp. 758–759.
SIGMODSIGMOD-1999-LakshmananNHP #constraints #optimisation #query #set
Optimization of Constrained Frequent Set Queries with 2-variable Constraints (LVSL, RTN, JH, AP), pp. 157–168.
SASSAS-1999-BozgaFG #analysis #reduction
State Space Reduction Based on Live Variables Analysis (MB, JCF, LG), pp. 164–178.
SASSAS-1999-RuthingKS #detection #performance #precise
Detecting Equalities of Variables: Combining Efficiency with Precision (OR, JK, BS), pp. 232–247.
ICALPICALP-1999-KrauseSW #approximate #problem
Approximations by OBDDs and the Variable Ordering Problem (MK, PS, IW), pp. 493–502.
FMFM-v2-1999-BoerHR #approach #concurrent #paradigm #semantics
Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach (FSdB, UH, WPdR), pp. 1245–1265.
PPDPPPDP-1999-HolzbaurF #compilation #constraints #prolog
Compiling Constraint Handling Rules into Prolog with Attributed Variables (CH, TWF), pp. 117–133.
POPLPOPL-1999-WandS #constraints
Constraint Systems for Useless Variable Elimination (MW, IS), pp. 291–302.
HPCAHPCA-1999-InoueKM #logic #memory management
Dynamically Variable Line-Size Cache Exploiting High On-Chip Memory Bandwidth of Merged DRAM/Logic LSIs (KI, KK, KM), pp. 218–222.
LCTESLCTES-1999-EcksteinK #low cost
Minimizing Cost of Local Variables Access for DSP-Processors (EE, AK), pp. 20–27.
CADECADE-1999-Schmidt-SchaussS #decidability #equation
Solvability of Context Equations with Two Context Variables is Decidable (MSS, KUS), pp. 67–81.
LICSLICS-1999-FiorePT #syntax
Abstract Syntax and Variable Binding (MPF, GDP, DT), pp. 193–202.
LICSLICS-1999-GanzingerMV #transitive
The Two-Variable Guarded Fragment with Transitive Relations (HG, CM, MV), pp. 24–34.
LICSLICS-1999-GradelR
Two-Variable Descriptions of Regularity (EG, ER), pp. 14–23.
DACDAC-1998-HongKQPS #optimisation
Power Optimization of Variable Voltage Core-Based Systems (IH, DK, GQ, MP, MBS), pp. 176–181.
CSMRCSMR-1998-KawabeMUO #classification #problem
Variable Classification Technique and Application to the Year 2000 Problem (KK, AM, SU, AO), pp. 44–51.
PLDIPLDI-1998-AgesenDM #garbage collection #java #liveness #virtual machine
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines (OA, DD, JEBM), pp. 269–279.
STOCSTOC-1998-TherienW #quantifier #word
Over Words, Two Variables Are as Powerful as One Quantifier Alternation (DT, TW), pp. 234–240.
ICFPICFP-1998-Odersky #programming
Programming with Variable Functions (MO), pp. 105–116.
CHICHI-1998-RoweSI #human-computer #interactive #variability
Hear Rate Variability: Indicator of User State as an Aid to Human-Computer Interaction (DWR, JLS, DI), pp. 480–487.
ICMLICML-1998-RamachandranM #network #refinement
Theory Refinement of Bayesian Networks with Hidden Variables (SR, RJM), pp. 454–462.
ICMLICML-1998-SaundersGV #algorithm #learning
Ridge Regression Learning Algorithm in Dual Variables (CS, AG, VV), pp. 515–521.
ICPRICPR-1998-FerriMAS #algorithm #estimation #using
Variable-size block matching algorithm for motion estimation using a perceptual-based splitting criterion (FJF, JM, JVA, JS), pp. 286–288.
ICPRICPR-1998-OkumuraMKYMTIM #automation #detection #image
Automatic detection of lung cancers in chest CT images by variable N-Quoit filter (TO, TM, JiK, SY, MM, YT, TI, TM), pp. 1671–1673.
ICPRICPR-1998-PetersS #realtime
A real-time variable sampling technique: DIEM (MWP, AS), pp. 316–321.
OOPSLAOOPSLA-1998-HarrisS #distributed #internet #lightweight #object-oriented
Lightweight Object-Oriented Shared Variables for Distributed Applications on the Internet (JH, VS), pp. 296–309.
SACSAC-1998-MachucaM #data mining #database #mining #precise #relational #set
Enhancing the exploitation of data mining in relational database systems via the rough sets theory including precision variables (FM, MM), pp. 70–73.
ASPLOSASPLOS-1998-StarkEP #branch #predict
Variable Length Path Branch Prediction (JS, ME, YNP), pp. 170–179.
LICSLICS-1998-DawarHS #finite #quantifier
Ordering Finite Variable Types with Generalized Quantifiers (AD, LH, AS), pp. 28–43.
LICSLICS-1998-KolaitisO #bound #first-order #logic #on the #problem
On the Boundedness Problem for Two-Variable First-Order Logic (PGK, MO), pp. 513–524.
RTARTA-1998-DegtyarevGNVV #decidability
The Decidability of Simultaneous Rigid E-Unification with One Variable (AD, YG, PN, MV, AV), pp. 181–195.
DATEEDTC-1997-ManichF #process
Maximizing the weighted switching activity in combinational CMOS circuits under the variable delay model (SM, JF), pp. 597–602.
DATEEDTC-1997-SchaumontVREB #multi #synthesis
Synthesis of multi-rate and variable rate circuits for high speed telecommunications applications (PS, SV, LR, ME, IB), pp. 542–546.
CSMRCSMR-1997-TonellaAFM #analysis #maintenance #precise
Variable Precision Reaching Definitions Analysis for Software Maintenance (PT, GA, RF, EM), pp. 60–67.
ICALPICALP-1997-DrosteG #on the
On Recognizable and Rational Formal Power Series in Partially Commuting Variables (MD, PG), pp. 682–692.
FMFME-1997-BoerHR #composition #concurrent #proving
A Compositional Proof System for Shared Variable Concurrency (FSdB, UH, WPdR), pp. 515–532.
HCIHCI-CC-1997-AnkrumS #monitoring #variability
Heart Rate Variability in Eye-Level and Low Monitor Conditions (DRA, KS), pp. 571–574.
HCIHCI-CC-1997-RadleBM #performance #variability
The Effects of Task Variability on Mouse Performance (KR, SB, IM), pp. 711–714.
HCIHCI-CC-1997-Suzuki #analysis #development #evaluation #variability
The Application of Heart Rate Variability Analysis on the Evaluation of Mental Strain and its Future Development (KS), pp. 559–562.
HCIHCI-SEC-1997-ZanottiRC
Human Factors Principles for Variable Message Signs Utilized in Intelligent Transportation Systems (AZ, MLR, GC), pp. 339–342.
ICMLICML-1997-Friedman #learning #network
Learning Belief Networks in the Presence of Missing Values and Hidden Variables (NF), pp. 125–133.
KDDKDD-1997-HoS #named
Zeta: A Global Method for Discretization of Continuous Variables (KMH, PDS), pp. 191–194.
PPDPALP-1997-AbdennadherS #constraints #generative #quantifier
Model Generation with Existentially Quantified Variables and Constraints (SA, HS), pp. 256–272.
ICLPICLP-1997-Schachte #logic programming
Global Variables in Logic Programming (PS), pp. 3–17.
LICSLICS-1997-EtessamiVW #first-order #logic
First-Order Logic with Two Variables and Unary Temporal Logic (KE, MYV, TW), pp. 228–235.
LICSLICS-1997-GradelOR #decidability #logic
Two-Variable Logic with Counting is Decidable (EG, MO, ER), pp. 306–317.
LICSLICS-1997-PacholskiST #complexity #logic
Complexity of Two-Variable Logic with Counting (LP, WS, LT), pp. 318–327.
PODSPODS-1996-ChomickiGK #independence
Variable Independence and Aggregation Closure (JC, DQG, GMK), pp. 40–48.
ICALPICALP-1996-BruyereL
Variable-Length Maximal Codes (VB, ML), pp. 24–47.
ICPRICPR-1996-NamuduriRR #algorithm #image #named #segmentation #slicing #using
SVBS: a high-resolution medical image compression algorithm using slicing with variable block size segmentation (KRN, NR, HR), pp. 919–923.
SEKESEKE-1996-FoxvogT #realtime
Variable Depth Resolution for Intelligent Real-Time Systems (DF, TT), pp. 400–407.
ASPLOSASPLOS-1996-FoxGBA #adaptation #network #on-demand #variability
Adapting to Network and Client Variability via On-Demand Dynamic Distillation (AF, SDG, EAB, EA), pp. 160–170.
CADECADE-1996-Felty #calculus #proving #set
Proof Search with Set Variable Instantiation in the Calculus of Constructions (APF), pp. 658–672.
CSLCSL-1996-Dziembowski #bound #fixpoint #query
Bounded-Variable Fixpoint Queries are PSPACE-complete (SD), pp. 89–105.
ISSTAISSTA-1996-MarxF #approach #data flow #pointer #testing
The Path-Wise Approach to Data Flow Testing with Pointer Variables (DISM, PGF), pp. 135–146.
LICSLICS-1996-KolaitisV #logic #on the #power of
On the Expressive Power of Variable-Confined Logics (PGK, MYV), pp. 348–359.
LICSLICS-1996-Pitts #logic #reasoning
Reasoning about Local Variables with Operationally-Based Logical Relations (AMP), pp. 152–163.
DACDAC-1995-WuL
Register Minimization beyond Sharing among Variables (TYW, YLL), pp. 164–169.
ICDARICDAR-v1-1995-GuyonP #design #markov #memory management #modelling #using
Design of a linguistic postprocessor using variable memory length Markov models (IG, FP), pp. 454–457.
PODSPODS-1995-Vardi #bound #complexity #on the #query
On the Complexity of Bounded-Variable Queries (MYV), pp. 266–276.
ICALPICALP-1995-JurgensenK #fault
Variable-Length Codes for Error Correction (HJ, SK), pp. 581–592.
KDDKDD-1995-SpirtesM #learning #network
Learning Bayesian Networks with Discrete Variables from Data (PS, CM), pp. 294–299.
ICLPICLP-1995-Hanus #equation #logic programming #on the
On Extra Variables in (Equational) Logic Programming (MH), pp. 665–679.
ICLPICLP-1995-HermenegildoGC #concurrent #implementation #logic programming #parallel #using
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems (MVH, DCG, MC), pp. 631–645.
LICSLICS-1995-Otto
Ptime Canonization for Two Variables with Counting (MO), pp. 342–352.
RTARTA-1995-SuzukiMI #term rewriting
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides (TS, AM, TI), pp. 179–193.
DACDAC-1994-AzizTB #finite #state machine
BDD Variable Ordering for Interacting Finite State Machines (AA, ST, RKB), pp. 283–288.
DACDAC-1994-CabodiCQ #traversal
Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths (GC, PC, SQ), pp. 289–293.
DACDAC-1994-JunH #automation #pipes and filters #synthesis
Automatic Synthesis of Pipeline Structures with Variable Data Initiation Intervals (HSJ, SYH), pp. 537–541.
DATEEDAC-1994-DumasGLP #effectiveness #fault
Effectiveness of a Variable Sampling Time Strategy for Delay Fault Diagnosis (DD, PG, CL, SP), pp. 518–523.
DATEEDAC-1994-MichaelsS #modelling #simulation
Variable Accuracy Device Modeling for Event-Driven Circuit Simulation (KWM, AJS), pp. 557–561.
DATEEDAC-1994-RamachandranGC #algorithm #array #clustering
An Algorithm for Array Variable Clustering (LR, DG, VC), pp. 262–266.
LISPLFP-1994-DzengH #re-engineering
Type Reconstruction for Variable-Arity Procedures (HD, CTH), pp. 239–249.
PPDPALP-1994-Marchiori94a #alias #logic programming #source code
A Logic for Variable Aliasing in Logic Programs (EM), pp. 287–304.
SACSAC-1994-KucherovR #on the #problem #term rewriting #word
On ground reducibility problem for word rewriting systems with variables (GK, MR), pp. 271–276.
ICLPICLP-1994-Gervet #constraints #finite #named #set
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables (CG), p. 733.
ICLPICLP-1994-ProiettiP #logic
Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables (MP, AP), pp. 714–729.
ICLPILPS-1994-Imbert #equation #linear
Redundancy, Variable Elimination and Linear Disequations (JLI), pp. 139–153.
DACDAC-1993-DharchoudhuryK #variability #worst-case
Performance-Constrained Worst-Case Variability Minimization of VLSI Circuits (AD, SMK), pp. 154–158.
PLDIPLDI-1993-Adl-TabatabaiG #detection #scheduling
Detection and Recovery of Endangered Variables Caused by Instruction Scheduling (ARAT, TRG), pp. 13–25.
HCIHCI-ACS-1993-SuzukiH #effectiveness #on the #variability
On a Simple and Effective Method to Analyze Heart Rate Variability (KS, YH), pp. 914–919.
CHIINTERCHI-1993-Redmiles #performance #variability
Reducing the variability of programmers’ performance through explained examples (DFR), pp. 67–73.
ICMLICML-1993-Connolly #clustering #concept #network
Constructing Hidden Variables in Bayesian Networks via Conceptual Clustering (DC), pp. 65–72.
PPDPPLILP-1993-DarlingtonGK #functional #linear #logic #perspective #programming language
Functional Programming Languages with Logical Variables: A Linear Logic View (JD, YG, MK), pp. 201–219.
POPLPOPL-1993-Adl-TabatabaiG #debugging #interactive
Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging (ARAT, TRG), pp. 371–383.
POPLPOPL-1993-LeeF #multi
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes (SDL, DPF), pp. 479–492.
POPLPOPL-1993-OHearnT #parametricity #relational
Relational Parametricity and Local Variables (PWO, RDT), pp. 171–184.
ICLPICLP-1993-Imbert #constraints #linear
Variable Elimination for Generalized Linear Constraints (JLI), pp. 499–516.
ICLPILPS-1993-MacdonaldSY
Redundancy of Variables in CLP (R) (ADM, PJS, RHCY), pp. 75–93.
PLDIPLDI-1992-Wolfe #induction
Beyond Induction Variables (MW), pp. 162–174.
STOCSTOC-1992-BrightwellOW #random
Target Shooting with Programmed Random Variables (GB, TJO, PW), pp. 691–698.
ICMLML-1992-Singh #algorithm #learning #modelling #scalability
Scaling Reinforcement Learning Algorithms by Learning Variable Temporal Resolution Models (SPS), pp. 406–415.
PPDPPLILP-1992-Holzbaur #unification
Metastructures versus Attributed Variables in the Context of Extensible Unification (CH), pp. 260–268.
POPLPOPL-1992-JagadeesanP #functional #higher-order #logic #semantics
Abstract Semantics for a Higher-Order Functional Language with Logic Variables (RJ, KP), pp. 355–366.
CCCC-1992-DuesterwaldGS #approach #pipes and filters
Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables (ED, RG, MLS), pp. 192–206.
CADECADE-1992-BeckertH #semantics #similarity
An Improved Method for Adding Equality to Free Variable Semantic Tableaux (BB, RH), pp. 507–521.
CADECADE-1992-Hines
The Central Variable Strategy of Str+ve (LMH), pp. 35–49.
ICLPJICSLP-1992-SundararajanST #analysis #concurrent #logic programming #source code #thread
Variable Threadedness Analysis for Concurrent Logic Programs (RS, AVSS, ET), pp. 493–508.
LICSLICS-1992-MasonT #reasoning
References, Local Variables and Operational Reasoning (IAM, CLT), pp. 186–197.
DACDAC-1991-ButlerRKM #diagrams #heuristic #order #performance
Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams (KMB, DER, RK, MRM), pp. 417–420.
PEPMPEPM-1991-GomardS
Globalization and Live Variables (CKG, PS), pp. 166–177.
STOCSTOC-1991-CohenM #algorithm #difference #linear
Improved Algorithms for Linear Inequalities with Two Variables per Inequality (Extended Abstract) (EC, NM), pp. 145–155.
SASWSA-1991-Shivers
Useless-Variable Elimination (OS), pp. 197–201.
ICALPICALP-1991-BruyereF
Degree and Decomposability of Variable-Length Codes (VB, CdF), pp. 575–587.
ICMLML-1991-Day #csp #heuristic #learning #problem
Learning Variable Descriptors for Applying Heuristics Across CSP Problems (DSD), pp. 127–131.
ICMLML-1991-MartinB #bias #learning #variability
Variability Bias and Category Learning (JDM, DB), pp. 90–94.
ICMLML-1991-Moore #programming
Variable Resolution Dynamic Programming (AWM), pp. 333–337.
LOPSTRLOPSTR-1991-ProiettiP #automation #logic programming #source code
An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract) (MP, AP), pp. 126–128.
PPDPPLILP-1991-ProiettiP #logic programming #named #order #source code
Unfolding — Definition — Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs (MP, AP), pp. 347–358.
POPLPOPL-1991-KleinmanMPS #communication #logic
Communication with Directed Logic Variables (AK, YM, AP, EYS), pp. 221–232.
ASPLOSASPLOS-1991-WolfeS #architecture
A Variable Instruction Stream Extension to the VLIW Architecture (AW, JPS), pp. 2–14.
CSLCSL-1991-Mundici #logic #normalisation
Normal Forms in Infinite-Valued Logic: The Case of One Variable (DM), pp. 272–277.
ICLPICLP-1991-MuthukumarH #abstract interpretation
Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation (KM, MVH), pp. 49–63.
DACDAC-1990-MaoC #fault #testing
A Variable Observation Time Method for Testing Delay Faults (WM, MDC), pp. 728–731.
VLDBVLDB-1990-SudkampL #database
Elimination of View and Redundant Variables in a SQL-like Database Language for Extended NF2 Structures (NS, VL), pp. 302–313.
PLDIPLDI-1990-AmmarguellatH #abstract interpretation #automation #induction #recognition
Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation (ZA, WLHI), pp. 283–295.
PLDIPLDI-1990-CallahanCK
Improving Register Allocation for Subscripted Variables (DC, SC, KK), pp. 53–65.
PLDIBest-of-PLDI-1990-CallahanCK90a
Improving register allocation for subscripted variables (with retrospective) (DC, SC, KK), pp. 328–342.
ICLPCLP-1990-Brogi90
AND-Parallelism without Shared Variables (AB), pp. 306–321.
ICLPNACLP-1990-Crammond #implementation #parallel #scheduling
Scheduling and Variable Assignment in the Parallel PARLOG Implementation (JAC), pp. 642–657.
PLDIPLDI-1989-HorwitzPR #analysis #dependence #pointer
Dependence Analysis for Pointer Variables (SH, PP, TWR), pp. 28–40.
ICALPICALP-1989-LiV #concurrent #how
How to Share Concurrent Asynchronous Wait-Free Variables (Preliminary Version) (ML, PMBV), pp. 488–505.
FPCAFPCA-1989-Sestoft #parametricity
Replacing Function Parameters by Global Variables (PS), pp. 39–53.
LICSLICS-1989-JagadeesanPP #functional #logic #semantics
A Fully Abstract Semantics for a Functional Language with Logic Variables (RJ, PP, KP), pp. 294–303.
ICLPNACLP-1989-JacobsL #alias #approximate #logic programming #performance #source code
Accurate and Efficient Approximation of Variable Aliasing in Logic Programs (DJ, AL), pp. 154–165.
ICLPNACLP-1989-MuthukumarH #abstract interpretation #dependence
Determination of Variable Dependence Information through Abstract Interpretation (KM, MVH), pp. 166–185.
ICLPNACLP-1989-Nystrom #concurrent #execution #logic
Variable-Free Execution of Concurrent Logic Languages (SON), pp. 536–552.
RTARTA-1989-MohanS #logic
Negation with Logical Variables in Conditional Rewriting (CKM, MKS), pp. 292–310.
LISPLFP-1988-DybvigH #interface
A Variable-Arity Procedural Interface (RKD, RH), pp. 106–115.
PPDPPLILP-1988-Lindstrom #functional #logic #source code #static analysis
Static Analysis Of Functional Programs With Logic Variables (GL), pp. 1–19.
POPLPOPL-1988-AlpernWZ #detection #similarity #source code
Detecting Equality of Variables in Programs (BA, MNW, FKZ), pp. 1–11.
POPLPOPL-1988-MeyerS #semantics #towards
Towards Fully Abstract Semantics for Local Variables (ARM, KS), pp. 191–203.
PPoPPPPEALS-1988-GuptaT #parallel #runtime
Exploiting Variable Grain Parallelism at Runtime (AG, AT), pp. 212–221.
ICLPJICSCP-1988-WinsboroughW88
Transparent And-Parallelism in the Presence of Shared Free Variables (WHW, AW), pp. 749–764.
DACDAC-1987-FriedmanS #diagrams
Finding the Optimal Variable Ordering for Binary Decision Diagrams (SJF, KJS), pp. 358–356.
DACDAC-1987-Ng #design
A “gridless” Variable-Width Channel Router for Marco Cell Design (CHN), pp. 633–636.
FPCAFPCA-1987-BellotJ #implementation
A theory for natural modelisation and implementation of functions with variable arity (PB, VJ), pp. 212–233.
HCIHCI-CE-1987-Springer #identification #pretty-printing #retrieval
Retrieval of Information from Complex Alphanumeric Displays: Screen Formatting Variables’ Effects on Target Identification Time (CJS), pp. 375–382.
HCIHCI-SES-1987-RuthG #predict
Examining the Silent Majority: A Current Perspective on Predictive Variables Associated with Managerial and Clerical ADP Users (SRR, EPG), pp. 311–318.
LICSLICS-1987-ImmermanK #bound
Definability with Bounded Number of Bound Variables (NI, DK), pp. 236–244.
DACDAC-1986-Sasao #generative #multi #named #synthesis #using
MACDAS: multi-level AND-OR circuit synthesis using two-variable function generators (TS), pp. 86–93.
STOCSTOC-1986-LuekerMR #difference #linear #programming
Linear Programming with Two Variables per Inequality in Poly-Log Time (Preliminary Version) (GSL, NM, VR), pp. 196–205.
CSCWCSCW-1986-Blomberg #process
The variable impact of computer technologies on the organization of work activities (JB), pp. 35–42.
STOCSTOC-1985-HastadS #encryption #security
The Cryptographic Security of Truncated Linearly Related Variables (JH, AS), pp. 356–362.
POPLPOPL-1985-Lindstrom #functional #logic #programming
Functional Programming and the Logical Variable (GL), pp. 266–280.
ICLPSLP-1985-LeviP85 #declarative #logic #semantics
The Declarative Semantics of Logical Read-Only Variables (GL, CP), pp. 128–137.
DACDAC-1983-SmithNBSW #array #automation #geometry #layout #named
VGAUA: The Variable Geometry Automated Universal Array layout System (DCS, RN, FB, SSS, JCW), pp. 425–429.
POPLPOPL-1983-DemersD #equation
Making Variables Abstract: An Equational Theory for Russell (AJD, JED), pp. 59–72.
DACDAC-1982-Korn #performance
An efficient variable-cost maze router (RKK), pp. 425–431.
LISPLFP-1982-White #bound #constant
Constant Time Interpretation for Shallow-bound Variables in the Presence of Mixed SPECIAL/LOCAL Declarations (JLW), pp. 196–200.
POPLPOPL-1982-ReifS #bound #communication #distributed #variability
Unbounded Speed Variability in Distributed Communication Systems (JHR, PGS), pp. 46–56.
DACDAC-1981-KhokhaniPFSH
Placement of variable size circuits on LSI masterslices (KHK, AMP, WF, JS, DH), pp. 426–434.
STOCSTOC-1981-Chew #normalisation #term rewriting
Unique Normal Forms in Term Rewriting Systems with Repeated Variables (PC), pp. 7–18.
ICALPICALP-1981-HeintzS #decidability #polynomial #random
Absolute Primality of Polynomials is Decidable in Random Polynomial Time in the Number of Variables (JH, MS), pp. 16–28.
DACDAC-1980-TadaYKS #performance #strict
A fast maze router with iterative use of variable search space restriction (FT, KY, TK, TS), pp. 250–254.
LISPLISP-1980-SteeleS #lazy evaluation
The Dream of Lifetime: A Lazy Variable Extent Mechanism (GLSJ, GJS), pp. 163–172.
POPLPOPL-1980-Weihl #analysis #data flow #interprocedural #pointer
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables (WEW), pp. 83–94.
CADECADE-1980-BledsoeH #proving
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities (WWB, LMH), pp. 70–87.
ICALPICALP-1979-Janko
Hierarchic Index Sequential Search with Optimal Variable Block Size and Its Minimal Expected Number of Comparisons (WJ), pp. 304–315.
POPLPOPL-1979-Banning #alias #performance
An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables (JB), pp. 29–41.
SOSPSOSP-1979-Gehringer #problem
Variable-Length Capabilities as a Solution to the Small-Object Problem (EFG), pp. 131–142.
ICALPICALP-1978-CremersH #using
Mutual Exclusion of N Processors Using an O(N)-Valued Message Variable (Extended Abstract) (ABC, TNH), pp. 165–176.
ICALPICALP-1978-FortuneHS #complexity #equivalence #for free
The Complexity of Equivalence and Containment for Free Single Variable Program Schemes (SF, JEH, EMS), pp. 227–240.
POPLPOPL-1978-CousotH #automation #linear
Automatic Discovery of Linear Restraints Among Variables of a Program (PC, NH), pp. 84–96.
POPLPOPL-1978-KaplanU #automation
A General Scheme for the Automatic Inference of Variable Types (MAK, JDU), pp. 60–75.
POPLPOPL-1976-FongU #induction
Induction Variables in Very High Level Languages (ACF, JDU), pp. 104–112.
SOSPSOSP-J-1975-PrieveF76 #algorithm #named
VMIN — An Optimal Variable-Space Page Replacement Algorithm (BGP, RSF), pp. 295–297.
STOCSTOC-1974-Lipton #branch
Limitations of Synchronization Primitives with Conditional Branching and Global Variables (RJL), pp. 230–241.
LISPLISP-1963-Yates #analysis #compilation #lisp #source code #word
LISP. Group Analysis programs. Λ LISP Compiler for a variable word machine (Gamma 30 Scientific) (RY), p. 15.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.