BibSLEIGH — constraint stem

Used together with:

program (315)
base (239)
logic (180)
use (168)
model (162)

Stem constraint$ (all stems)

1919 papers:

ECSA-2015-KallelTTDK #architecture #automation #component #constraints #specification: Automatic Translation of Architecture Constraint Specifications into Components (SK, BT, CT, CD, AHK), pp. 322–338.
CASE-2015-David-HenrietRH #constraints #modelling: Modeling and control for (max, +)-linear systems with set-based constraints (XDH, JR, LH, BC), pp. 1369–1374.
CASE-2015-KeroglouH #communication #constraints #distributed #using: Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints (CK, CNH), pp. 831–836.
CASE-2015-LinYCLL #constraints #scheduling: A master-axis-based feedrate scheduling with jerk constraints for five-axis tool center point trajectory (MTL, NTY, WTC, CYL, YML), pp. 111–116.
CASE-2015-MonchY #constraints #parallel #scheduling: Scheduling jobs on parallel machines with qualification constraints (LM, CY), pp. 657–658.
DAC-2015-LinYP #constraints #performance: High performance dummy fill insertion with coupling and uniformity constraints (YL, BY, DZP), p. 6.
DAC-2015-PetersWPKD #constraints #modelling #representation #uml: A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.
DAC-2015-YaoHC #constraints #named: PACOR: practical control-layer routing flow with length-matching constraint for flow-based microfluidic biochips (HY, TYH, YC), p. 6.
DATE-2015-PaoneRPZSS #constraints #framework #performance: Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints (EP, FR, GP, VZ, IS, CS), pp. 736–741.
PODS-2015-KoutrisW #complexity #consistency #constraints #query #self: The Data Complexity of Consistent Query Answering for Self-Join-Free Conjunctive Queries Under Primary Key Constraints (PK, JW), pp. 17–29.
SIGMOD-2015-SongZWY #constraints #named: SCREEN: Stream Data Cleaning under Speed Constraints (SS, AZ, JW, PSY), pp. 827–841.
VLDB-2015-BenediktLT #constraints #data access #query: Querying with Access Patterns and Integrity Constraints (MB, JL, ET), pp. 690–701.
VLDB-2015-LiDS #constraints #latency #scalability: Supporting Scalable Analytics with Latency Constraints (BL, YD, PJS), pp. 1166–1177.
SANER-2015-SaiedSD #api #constraints #documentation: An observational study on API usage constraints and their documentation (MAS, HAS, BD), pp. 33–42.
PEPM-2015-KafleG #constraints #horn clause #verification: Constraint Specialisation in Horn Clause Verification (BK, JPG), pp. 85–90.
SAS-2015-HashimotoU #constraints #optimisation #refinement #type inference: Refinement Type Inference via Horn Constraint Optimization (KH, HU), pp. 199–216.
ICALP-v1-2015-BeiCZ #constraints #linear #programming: Solving Linear Programming with Constraints Unknown (XB, NC, SZ), pp. 129–142.
ICALP-v1-2015-BhangaleKS #approximate #constraints #problem: Simultaneous Approximation of Constraint Satisfaction Problems (AB, SK, SS), pp. 193–205.
ICALP-v1-2015-BodirskyMM #constraints #integer #problem: Constraint Satisfaction Problems over the Integers with Successor (MB, BM, AM), pp. 256–267.
ICALP-v1-2015-FullaZ #constraints #infinity: A Galois Connection for Valued Constraint Languages of Infinite Size (PF, SZ), pp. 517–528.
ICALP-v1-2015-KozikO #algebra #constraints #problem: Algebraic Properties of Valued Constraint Satisfaction Problem (MK, JO), pp. 846–858.
LATA-2015-BoiretHNT #constraints #logic: Logics for Unordered Trees with Data Constraints on Siblings (AB, VH, JN, RT), pp. 175–187.
LATA-2015-VerdierR #constraints #reachability #specification: Quotient of Acceptance Specifications Under Reachability Constraints (GV, JBR), pp. 299–311.
SEFM-2015-BeekDGMP #constraints #variability: From Featured Transition Systems to Modal Transition Systems with Variability Constraints (MHtB, FD, SG, FM, LP), pp. 344–359.
GCM-2015-BottoniNP #constraints #contract #modelling #policy: Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.
ICGT-2015-RadkeABHT #constraints #graph #invariant #ocl #set: Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (HR, TA, JSB, AH, GT), pp. 155–170.
CHI-2015-Ruiz0 #bias #constraints #elicitation #gesture #legacy #performance: Soft-Constraints to Reduce Legacy and Performance Bias to Elicit Whole-body Gestures with Low Arm Fatigue (JR, DV), pp. 3347–3350.
DUXU-DD-2015-Jin #constraints #design #experience #formal method: The Conflict Resolution in Product Experience Design Based on Evaporating Cloud of the Theory of Constraints (LJ), pp. 53–62.
ICEIS-v2-2015-FellaBB #composition #constraints #web #web service: Temporal Constraint in Web Service Composition (BF, SB, AB), pp. 577–584.
ECIR-2015-LimCLK #community #constraints #detection #using: Detecting Location-Centric Communities Using Social-Spatial Links with Temporal Constraints (KHL, JC, CL, SK), pp. 489–494.
ICML-2015-Hernandez-Lobato15a #constraints #optimisation #predict: Predictive Entropy Search for Bayesian Optimization with Unknown Constraints (JMHL, MAG, MWH, RPA, ZG), pp. 1699–1707.
ICML-2015-RichmanM #classification #constraints: Dynamic Sensing: Better Classification under Acquisition Constraints (OR, SM), pp. 267–275.
KDD-2015-FeldmanT #approximate #big data #constraints #matrix: More Constraints, Smaller Coresets: Constrained Matrix Approximation of Sparse Big Data (DF, TT), pp. 249–258.
KDD-2015-JiangZT #capacity #constraints #network #social: Reciprocity in Social Networks with Capacity Constraints (BJ, ZLZ, DT), pp. 457–466.
KDD-2015-LeeWK #consistency #constraints #difference #privacy: Maximum Likelihood Postprocessing for Differential Privacy under Consistency Constraints (JL, YW, DK), pp. 635–644.
KDD-2015-TengTYC #constraints #effectiveness: An Effective Marketing Strategy for Revenue Maximization with a Quantity Constraint (YWT, CHT, PSY, MSC), pp. 1175–1184.
KDD-2015-Yi0YLW #algorithm #clustering #constraints #performance: An Efficient Semi-Supervised Clustering Algorithm with Sequential Constraints (JY, LZ, TY, WL, JW), pp. 1405–1414.
ICMT-J-2012-DemuthLE15 #constraints #modelling: Constraint-driven modeling through transformation (AD, RELH, AE), pp. 573–596.
ECMFA-2015-KhanAIU #constraints #named #ocl: AspectOCL: Extending OCL for Crosscutting Constraints (MUK, NA, MZI, HU), pp. 92–107.
Onward-2015-SamimiWEB #constraints #design pattern: Constraints as a design pattern (HS, AW, ME, AB), pp. 28–43.
OOPSLA-2015-FelgentreffMBH #constraints #programming language #theorem proving: Checks and balances: constraint solving without surprises in object-constraint programming languages (TF, TDM, AB, RH), pp. 767–782.
OOPSLA-2015-HottelierB #constraints #layout #relational #synthesis: Synthesis of layout engines from relational constraints (TH, RB), pp. 74–88.
GPCE-2015-FoustJP #constraints #data flow #generative #multi #source code #user interface #visual notation: Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems (GF, JJ, SP), pp. 121–130.
PPDP-2015-CaballeroGS #constraints #datalog #debugging #source code: Debugging of wrong and missing answers for datalog programs with constraint handling rules (RC, YGR, FSP), pp. 55–66.
PPDP-2015-MartinezFS #constraints: Search by constraint propagation (TM, FF, SS), pp. 173–183.
PADL-2015-Hanus #compilation #constraints: CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry (MH), pp. 74–89.
SAC-2015-0001RMW #approach #behaviour #constraints #process: Matching of events and activities: an approach based on behavioral constraint satisfaction (TB, ARS, JM, MW), pp. 1225–1230.
SAC-2015-BechetCCC #constraints #mining #multi #sequence: Sequence mining under multiple constraints (NB, PC, TC, BC), pp. 908–914.
SAC-2015-BekkoucheCR #approach #constraints #fault #locality #named: LocFaults: a new flow-driven and constraint-based error localization approach (MB, HC, MR), pp. 1773–1780.
SAC-2015-BolockA #automation #constraints #generative #towards #using: Towards automatic poetry generation using constraint handling rules (AEB, SA), pp. 1868–1873.
SAC-2015-BouaskerY #anti #constraints #correlation #mining: Key correlation mining by simultaneous monotone and anti-monotone constraints checking (SB, SBY), pp. 851–856.
SAC-2015-ByunC #automation #constraints #operating system #safety #testing #using: Automated system-level safety testing using constraint patterns for automotive operating systems (TB, YC), pp. 1815–1822.
SAC-2015-HoldererAM #bibliography #constraints #workflow: When four-eyes become too much: a survey on the interplay of authorization constraints and workflow resilience (JH, RA, GM), pp. 1245–1248.
SAC-2015-RaniseTV #analysis #automation #constraints #policy: Automated analysis of RBAC policies with temporal constraints and static role hierarchies (SR, ATT, LV), pp. 2177–2184.
ESEC-FSE-2015-ZhengMZ #capacity #constraints #identification #problem #process: A method to identify and correct problematic software activity data: exploiting capacity constraints and data redundancies (QZ, AM, MZ), pp. 637–648.
ICSE-v1-2015-HenardPHT #configuration management #constraints #multi #product line #scalability #theorem proving: Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines (CH, MP, MH, YLT), pp. 517–528.
ICSE-v1-2015-MilicevicNKJ #constraints #higher-order #relational #theorem proving: Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (AM, JPN, EK, DJ), pp. 609–619.
ICSE-v2-2015-Caracciolo #approach #architecture #automation #constraints #testing: A Unified Approach to Automatic Testing of Architectural Constraints (AC), pp. 871–874.
SPLC-2015-BeekLLV #analysis #constraints #modelling #probability #product line #statistics: Statistical analysis of probabilistic models of software product lines with quantitative constraints (MHtB, AL, ALL, AV), pp. 11–15.
SPLC-2015-SteffenLM #constraints #product line #synthesis: User-level synthesis: treating product lines as systems of constraints (BS, ALL, TMS), pp. 427–431.
ASPLOS-2015-MishraZLH #approach #constraints #energy #modelling #performance #probability #visual notation: A Probabilistic Graphical Model-based Approach for Minimizing Energy Under Performance Constraints (NM, HZ, JDL, HH), pp. 267–281.
CADE-2015-JacquemardKS #bottom-up #constraints #term rewriting: Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (FJ, YK, MS), pp. 137–151.
CAV-2015-AbdullaACHRRS #constraints #named #smt #string: Norn: An SMT Solver for String Constraints (PAA, MFA, YFC, LH, AR, PR, JS), pp. 462–469.
CAV-2015-AydinBB #constraints #string: Automata-Based Model Counting for String Constraints (AA, LB, TB), pp. 255–272.
CAV-2015-ZhengGSTDZ #constraints #effectiveness #equation #regular expression #string: Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints (YZ, VG, SS, OT, JD, XZ), pp. 235–254.
CSL-2015-CarapelleL #constraints #logic: Temporal Logics with Local Constraints (Invited Talk) (CC, ML), pp. 2–13.
ICLP-2015-PerchyV #constraints: Opinions and Beliefs as constraint system operators (SP, FV).
ICLP-J-2015-CristiaRF #constraints #logic programming #set: Adding partial functions to Constraint Logic Programming with sets (MC, GR, CSF), pp. 651–665.
ICLP-J-2015-LawRB #constraints #learning #programming #set: Learning weak constraints in answer set programming (ML, AR, KB), pp. 511–525.
ICST-2015-HalleBGB #constraints #layout #testing #web: Testing Web Applications Through Layout Constraints (SH, NB, FG, GLB), pp. 1–8.
ISSTA-2015-AquinoBCDP #constraints #program analysis #proving #reuse: Reusing constraint proofs in program analysis (AA, FAB, MC, GD, MP), pp. 305–315.
ISSTA-2015-JiaGY #constraints #execution #reuse #symbolic computation: Enhancing reuse of constraint solutions to improve symbolic execution (XJ, CG, SY), pp. 177–187.
ISSTA-2015-KhoshnoodKW #concurrent #constraints #debugging #named #theorem proving: ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs (SK, MK, CW), pp. 165–176.
LICS-2015-KlinKOT #constraints #finite #problem: Locally Finite Constraint Satisfaction Problems (BK, EK, JO, ST), pp. 475–486.
SAT-2015-PhilippS #constraints #encoding #library #named #pseudo: PBLib — A Library for Encoding Pseudo-Boolean Constraints into CNF (TP, PS), pp. 9–16.
TAP-2015-GrinchteinCP #analysis #constraints #optimisation #protocol: A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs (OG, MC, JP), pp. 137–154.
ASE-2014-DeweyRH #constraints #fuzzing #logic programming #using: Language fuzzing using constraint logic programming (KD, JR, BH), pp. 725–730.
ASE-2014-KauslerS #constraints #evaluation #execution #string #symbolic computation #theorem proving: Evaluation of string constraint solvers in the context of symbolic execution (SK, ES), pp. 259–270.
CASE-2014-WangCG #algorithm #constraints #estimation #hybrid #multi #problem #scheduling: Hybrid estimation of distribution algorithm with multiple subpopulations for semiconductor manufacturing scheduling problem with limited waiting-time constraint (HKW, CFC, MG), pp. 101–106.
CASE-2014-ZhuWQZ #analysis #clustering #constraints #modelling #multi #petri net #scheduling #tool support: Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets (QZ, NW, YQ, MZ), pp. 81–86.
DAC-2014-WangA #constraints #data mining #mining: Data Mining In EDA — Basic Principles, Promises, and Constraints (LCW, MSA), p. 6.
DATE-2014-BanerjeeD #calculus #constraints #generative #random #realtime #sequence: Acceptance and random generation of event sequences under real time calculus constraints (KB, PD), pp. 1–6.
DATE-2014-ChenCH #array #configuration management #constraints #synthesis: Area minimization synthesis for reconfigurable single-electron transistor arrays with fabrication constraints (YHC, JYC, JDH), pp. 1–4.
DATE-2014-KatzschkeSOBTB #constraints #design: Application of Mission Profiles to enable cross-domain constraint-driven design (CK, MPS, MO, VMzB, MT, EB), pp. 1–6.
DATE-2014-LiuSZSC #constraints #latency #optimisation #streaming: Resource optimization for CSDF-modeled streaming applications with latency constraints (DL, JS, JTZ, TS, GC), pp. 1–6.
DATE-2014-MurilloWCLA #automation #concurrent #constraints #debugging #detection: Automatic detection of concurrency bugs through event ordering constraints (LGM, SW, JC, RL, GA), pp. 1–6.
DATE-2014-RosvallS #constraints #design #framework #realtime: A constraint-based design space exploration framework for real-time applications on MPSoCs (KR, IS), pp. 1–6.
SIGMOD-2014-IleanaCDK #constraints #query: Complete yet practical search for minimal query reformulations under constraints (II, BC, AD, YK), pp. 1015–1026.
VLDB-2014-KonstantinidisA #constraints #integration #optimisation #scalability: Optimizing the Chase: Scalable Data Integration under Constraints (GK, JLA), pp. 1869–1880.
VLDB-2014-SongCY0 #constraints: Repairing Vertex Labels under Neighborhood Constraints (SS, HC, JXY, LC), pp. 987–998.
VLDB-2014-YangGYL #constraints #graph: Finding the Cost-Optimal Path with Time Constraint over Time-Dependent Graphs (YY, HG, JXY, JL), pp. 673–684.
ICPC-2014-Cutrell #constraints #design: Innovating in india: designing for constraint, computing for inclusion (keynote) (EC), p. 1.
PLDI-2014-LuuSSD #bound #constraints #string: A model counter for constraints over unbounded strings (LL, SS, PS, BD), p. 57.
SAS-2014-ChenLMKW #abstract domain #constraints: An Abstract Domain to Infer Octagonal Constraints with Absolute Value (LC, JL, AM, DK, JW), pp. 101–117.
STOC-2014-ImKM #algorithm #constraints #scheduling: Competitive algorithms from competitive equilibria: non-clairvoyant scheduling under polyhedral constraints (SI, JK, KM), pp. 313–322.
FLOPS-2014-DunduaFKM #constraints #logic programming #re-engineering #semantics: Constraint Logic Programming for Hedges: A Semantic Reconstruction (BD, MF, TK, MM), pp. 285–301.
ICALP-v1-2014-CleveM #constraints #game studies: Characterization of Binary Constraint System Games (RC, RM), pp. 320–331.
ICALP-v1-2014-IvanyosKQSS #complexity #constraints #fault #on the #problem: On the Complexity of Trial and Error for Constraint Satisfaction Problems (GI, RK, YQ, MS, AS), pp. 663–675.
ICALP-v2-2014-AschnerK #bound #constraints #modelling #network: Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints (RA, MJK), pp. 387–398.
LATA-2014-GwynneK #constraints #on the #satisfiability: On SAT Representations of XOR Constraints (MG, OK), pp. 409–420.
IFM-2014-BrideKP #constraints #specification #theorem proving #using #verification #workflow: Verifying Modal Workflow Specifications Using Constraint Solving (HB, OK, FP), pp. 171–186.
SEFM-2014-BeckerSAB #analysis #constraints #deployment #fault tolerance #formal method: A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems (KB, BS, MA, CB), pp. 205–219.
GT-VMT-2014-DeckwerthV #constraints #generative #graph transformation #higher-order: Generating Preconditions from Graph Constraints by Higher Order Graph Transformation (FD, GV).
ICGT-2014-ArendtHRT #constraints #graph #invariant #ocl: From Core OCL Invariants to Nested Graph Constraints (TA, AH, HR, GT), pp. 97–112.
ICGT-2014-DeckwerthV #constraints #generative #graph: Attribute Handling for Generating Preconditions from Graph Constraints (FD, GV), pp. 81–96.
HIMI-DE-2014-Lucas #approach #constraints #interactive #visualisation: An Interactive Approach to Constraint-Based Visualizations (WTL), pp. 54–63.
VISSOFT-2014-HaugenK #constraints #visualisation: Search Space Pruning Constraints Visualization (BH, JK), pp. 30–39.
VISSOFT-2014-MartinezZMBKT #constraints #graph #paradigm #product line #visualisation: Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines (JM, TZ, RM, TFB, JK, YLT), pp. 50–59.
ICEIS-v1-2014-0001DFL #classification #constraints #documentation #process: Service Level Agreement Constraints into Processes for Document Classification (MB, MD, FF, AL), pp. 545–550.
CIKM-2014-LengCWZL #constraints: Supervised Hashing with Soft Constraints (CL, JC, JW, XZ, HL), pp. 1851–1854.
CIKM-2014-Wu0LJ #constraints #optimisation #ranking: Ranking Optimization with Constraints (FW, JX, HL, XJ), pp. 1049–1058.
CIKM-2014-ZhangZZLM #comprehension #constraints #matrix: Understanding the Sparsity: Augmented Matrix Factorization with Sampled Constraints on Unobservables (YZ, MZ, YZ, YL, SM), pp. 1189–1198.
ICML-c1-2014-ErmonGSS #constraints #integration: Low-density Parity Constraints for Hashing-Based Discrete Integration (SE, CPG, AS, BS), pp. 271–279.
ICML-c1-2014-LiuYF #algorithm #constraints: Forward-Backward Greedy Algorithms for General Convex Smooth Functions over A Cardinality Constraint (JL, JY, RF), pp. 503–511.
ICML-c2-2014-GardnerKZWC #constraints #difference #optimisation: Bayesian Optimization with Inequality Constraints (JRG, MJK, ZEX, KQW, JC), pp. 937–945.
ICML-c2-2014-GunasekarRG #constraints #exponential #matrix #product line: Exponential Family Matrix Completion under Structural Constraints (SG, PR, JG), pp. 1917–1925.
ICML-c2-2014-LinK #constraints #learning #performance #representation: Stable and Efficient Representation Learning with Nonnegativity Constraints (THL, HTK), pp. 1323–1331.
ICPR-2014-AliNB #classification #constraints #image #probability #scalability: Boosting Stochastic Newton with Entropy Constraint for Large-Scale Image Classification (WBHA, RN, MB), pp. 232–237.
ICPR-2014-HuynhCM #3d #constraints #geometry #using #video: Aerial Implicit 3D Video Stabilization Using Epipolar Geometry Constraint (LH, JC, GGM), pp. 3487–3492.
ICPR-2014-KumarA1 #constraints: Generalized Radial Alignment Constraint for Camera Calibration (AK, NA), pp. 184–189.
ICPR-2014-Martinez-VargasHAAC #component #constraints #probability #recursion: Recursive Separation of Stationary Components by Subspace Projection and Stochastic Constraints (JDMV, CCH, AMÁM, CDAM, GCD), pp. 3469–3474.
ICPR-2014-SinghA #constraints #energy #self: Sub-band Energy Constraints for Self-Similarity Based Super-resolution (AS, NA), pp. 4447–4452.
KR-2014-DuckhamLLL #constraints #on the: On Redundant Topological Constraints (MD, SL, WL, ZL).
KR-2014-PatriziV #constraints #database #similarity: Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (FP, SV).
RecSys-2014-YangAR #constraints #online #recommendation: Question recommendation with constraints for massive open online courses (DY, DA, CPR), pp. 49–56.
SEKE-2014-Saito0TO #approach #constraints #generative #knowledge-based #testing #web: Test Data Generation for Web Applications: A Constraint and Knowledge-based Approach (HS, ST, HT, MO), pp. 110–114.
SIGIR-2014-KellyRT #constraints #information retrieval #research: Choices and constraints: research goals and approaches in information retrieval (part 1) (DK, FR, JT), p. 1283.
SIGIR-2014-KellyRT14a #constraints #information retrieval #research: Choices and constraints: research goals and approaches in information retrieval (part 2) (DK, FR, JT), p. 1284.
ICMT-2014-GonzalezC #analysis #constraints #generative #model transformation #testing: Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
MoDELS-2014-SongZFCS0 #adaptation #constraints #modelling #policy: Modelling Adaptation Policies as Domain-Specific Constraints (HS, XZ, NF, FC, AS, GH), pp. 269–285.
MoDELS-2014-SongZFCS0 #adaptation #constraints #modelling #policy: Modelling Adaptation Policies as Domain-Specific Constraints (HS, XZ, NF, FC, AS, GH), pp. 269–285.
ECOOP-2014-FelgentreffBHLOFK #constraints #implementation #named #ocl: Babelsberg/JS — A Browser-Based Implementation of an Object Constraint Language (TF, AB, RH, JL, YO, BF, RK), pp. 411–436.
GPCE-2014-JarviFH #constraints #data flow #multi: Specializing planners for hierarchical multi-way dataflow constraint systems (JJ, GF, MH), pp. 1–10.
LOPSTR-2014-AriasLM #compilation #constraints #declarative #logic programming: Declarative Compilation for Constraint Logic Programming (EJGA, JL, JMC), pp. 299–316.
LOPSTR-2014-ChristiansenK #confluence #constraints #equivalence: Confluence Modulo Equivalence in Constraint Handling Rules (HC, MHK), pp. 41–58.
LOPSTR-2014-SharafAF #animation #constraints #named: CHRAnimation: An Animation Tool for Constraint Handling Rules (NS, SA, TWF), pp. 92–110.
PPDP-2014-Haemmerle #constraints #logic programming #on the: On Combining Backward and Forward Chaining in Constraint Logic Programming (RH), pp. 213–224.
PADL-2014-CampeottoPDFP #constraints #theorem proving: Exploring the Use of GPUs in Constraint Solving (FC, ADP, AD, FF, EP), pp. 152–167.
POPL-2014-BeyeneCPR #approach #constraints #game studies #graph #infinity: A constraint-based approach to solving games on infinite graphs (TAB, SC, CP, AR), pp. 221–234.
SAC-2014-AmadiniGM #constraints #theorem proving: An enhanced features extractor for a portfolio of constraint solvers (RA, MG, JM), pp. 1357–1359.
SAC-2014-GaubatzHZS #collaboration #constraints #documentation #editing #realtime #web: Enforcing entailment constraints in offline editing scenarios for real-time collaborative web documents (PG, WH, UZ, MS), pp. 735–742.
SAC-2014-JuniorGM #collaboration #constraints #modelling #personalisation: Personalized collaborative filtering: a neighborhood model based on contextual constraints (EBSJ, RG, MGM), pp. 919–924.
SAC-2014-LiuTZ #constraints #mining: Mining key and referential constraints enforcement patterns (KL, HBKT, HZ), pp. 850–854.
ICSE-2014-CaiWC #approach #constraints #dynamic analysis #named #parallel #source code #thread: ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs (YC, SW, WKC), pp. 491–502.
ICSE-2014-NadiBKC #analysis #constraints #empirical #mining: Mining configuration constraints: static analyses and empirical results (SN, TB, CK, KC), pp. 140–151.
ISMM-2014-RatnakarN #analysis #constraints #graph #performance #points-to: Push-pull constraint graph for efficient points-to analysis (BR, RN), pp. 25–33.
CAV-2014-AbdullaACHRRS #constraints #string #verification: String Constraints for Verification (PAA, MFA, YFC, LH, AR, PR, JS), pp. 150–166.
ICLP-J-2014-AmadiniGM #approach #constraints #lazy evaluation #named #theorem proving: SUNNY: a Lazy Portfolio Approach for Constraint Solving (RA, MG, JM), pp. 509–524.
ICLP-J-2014-PimentelON #concurrent #constraints #programming #proving: A Proof Theoretic Study of Soft Concurrent Constraint Programming (EP, CO, VN), pp. 649–663.
ICLP-J-2014-SaadFG #constraints #reasoning #reliability: The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (AS, TWF, CG), pp. 461–475.
ICTSS-2014-AliY #algorithm #constraints #normalisation #ocl: Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints (SA, TY), pp. 17–31.
ICTSS-2014-MossigeGM #case study #constraints #industrial #programming #testing #using: Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study (MM, AG, HM), pp. 145–160.
ISSTA-2014-Chen #constraints #program analysis #proving #reuse #scalability: Reusing constraint proofs for scalable program analysis (MC), pp. 449–452.
ISSTA-2014-NejatiB #constraints #cpu #identification #trade-off #using: Identifying optimal trade-offs between CPU time usage and temporal constraints using search (SN, LCB), pp. 351–361.
LICS-CSL-2014-CretinR #constraints #system f: System F with coercion constraints (JC, DR), p. 10.
LICS-CSL-2014-KlinLOT #complexity #constraints #problem #turing machine: Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (BK, SL, JO, ST), p. 10.
RTA-TLCA-2014-CreusG14a #automaton #constraints: Tree Automata with Height Constraints between Brothers (CC, GG), pp. 149–163.
SAT-2014-BiereBLM #constraints #detection: Detecting Cardinality Constraints in CNF (AB, DLB, EL, NM), pp. 285–301.
SAT-2014-FeketeC #constraints #pseudo: Simplifying Pseudo-Boolean Constraints in Residual Number Systems (YF, MC), pp. 351–366.
SAT-2014-LarrazORR #constraints #polynomial: Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions (DL, AO, ERC, AR), pp. 333–350.
SMT-2014-CarlssonGP #analysis #constraints #programming #protocol: Protocol Log Analysis with Constraint Programming (MC, OG, JP), pp. 17–26.
TAP-2014-KurthSW #constraints #generative #interface #process #testing #theorem proving #uml #using: Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.
ECSA-2013-GoknilSPM #analysis #constraints #modelling: Analysis Support for TADL2 Timing Constraints on EAST-ADL Models (AG, JS, MAPF, FM), pp. 89–105.
ASE-2013-VanciuA #architecture #constraints #using: Finding architectural flaws using constraints (RV, MAA), pp. 334–344.
ASE-2013-Zhang0SLMD #automation #constraints #detection #symmetry: Constraint-based automatic symmetry detection (SJZ, JS, CS, YL, JM, JSD), pp. 15–25.
CASE-2013-JinM #algorithm #clustering #constraints #scheduling #tool support: Transient scheduling of single armed cluster tools: Algorithms for wafer residency constraints (HYJ, JRM), pp. 856–861.
CASE-2013-NourzadehM13a #constraints: Integrated planning of constraint sensor management and patrolling (HN, JEM), pp. 837–843.
CASE-2013-RoyS #constraints #generative #process: Generative process planning with environmental constraints (UR, SS), pp. 534–539.
CASE-2013-SinhaK #constraints #policy: Production and subcontracting policies for assemble-to-order systems with service level constraints (AKS, AK), pp. 570–575.
DAC-2013-BanerjeeDSC #adaptation #constraints #energy #performance #realtime: Real-time use-aware adaptive MIMO RF receiver systems for energy efficiency under BER constraints (DB, SKD, SS, AC), p. 7.
DAC-2013-CalimeraMP #constraints #energy #fault #scheduling: Energy-optimal SRAM supply voltage scheduling under lifetime and error constraints (AC, EM, MP), p. 6.
DAC-2013-LiuWSALLV #constraints #design #estimation: Routing congestion estimation with real design constraints (WHL, YW, CCNS, CJA, ZL, YLL, NV), p. 8.
DAC-2013-WuH #constraints #framework #multi #random #robust #set #theorem proving #verification: A robust constraint solving framework for multiple constraint sets in constrained random verification (BHW, CY(H), p. 7.
DAC-2013-XiongW #abstraction #constraints #grid #power management #verification: Constraint abstraction for vectorless power grid verification (XX, JW), p. 6.
DATE-2013-LuZ #constraints #fault: Retiming for Soft Error Minimization Under Error-Latching Window Constraints (YL, HZ), pp. 1008–1013.
VLDB-2013-ChuIP #constraints: Discovering Denial Constraints (XC, IFI, PP), pp. 1498–1509.
VLDB-2014-KaranasosKM13 #capacity #constraints #named #scalability: Delta: Scalable Data Dissemination under Capacity Constraints (KK, AK, IM), pp. 217–228.
FASE-2013-AbdallahGHJ #constraints #optimisation: Scenario Realizability with Constraint Optimization (RA, AG, LH, CJ), pp. 194–209.
TACAS-2013-GangeNSSS #bound #constraints #model checking #regular expression: Unbounded Model-Checking with Interpolation for Regular Language Constraints (GG, JAN, PJS, HS, PS), pp. 277–291.
SCAM-2013-MarcozziVH #algorithm #constraints #database #execution #relational #source code #symbolic computation #testing: A relational symbolic execution algorithm for constraint-based testing of database programs (MM, WV, JLH), pp. 179–188.
PEPM-2013-SunCZ #analysis #constraints #locality #source code: Constraint-based locality analysis for X10 programs (QS, YC, JZ), pp. 137–146.
PLDI-2013-NowatzkiSCSER #architecture #constraints #framework #scheduling: A general constraint-centric scheduling framework for spatial architectures (TN, MST, LDC, KS, CE, BR), pp. 495–506.
STOC-2013-HarrisS #constraints: Constraint satisfaction, packet routing, and the lovasz local lemma (DGH, AS), pp. 685–694.
ICALP-v2-2013-MertziosMCS #constraints #network #optimisation: Temporal Network Optimization Subject to Connectivity Constraints (GBM, OM, IC, PGS), pp. 657–668.
SEFM-2013-Choi #constraints #generative #operating system #specification #testing: Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.
GRAPHITE-2013-Majster-CederbaumS #architecture #constraints #operating system #reachability: Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete (MEMC, NS), pp. 1–11.
CHI-2013-BirdBKMF #constraints #development #matter #mobile: A matter of life and death: practical and ethical constraints in the development of a mobile verbal autopsy tool (JB, PB, KK, PM, EF), pp. 1489–1498.
CSCW-2013-Wiggins #constraints: Free as in puppies: compensating for ict constraints in citizen science (AW), pp. 1469–1480.
ICEIS-v1-2013-BentayebK #adaptation #analysis #constraints #semantics: Adapting OLAP Analysis to User’s Constraints through Semantic Hierarchies (FB, RK), pp. 193–200.
ICEIS-v1-2013-SotoCBM #constraints #health: Nurse Rostering with Soft Constraints — Evidence from Chilean Mid-size Health Care Centers (RS, BC, RB, EM), pp. 430–435.
ICEIS-v2-2013-Ramos #constraints #database #sql #uml: Deontic Database Constraints — From UML to SQL (PNR), pp. 102–109.
ICEIS-v2-2013-RibeiroSFO #concept #constraints #ocl #validation: Extending OCL to Specify and Validate Integrity Constraints in UML-GeoFrame Conceptual Data Model (AAdAR, SMS, JLF, ILO), pp. 286–293.
ICML-c3-2013-RossD #constraints #parametricity #process: Nonparametric Mixture of Gaussian Processes with Constraints (JCR, JGD), pp. 1346–1354.
KDD-2013-AbbassiMT #constraints: Diversity maximization under matroid constraints (ZA, VSM, MT), pp. 32–40.
KDD-2013-TabeiKKY #constraints #scalability #similarity: Succinct interval-splitting tree for scalable similarity search of compound-protein pairs with property constraints (YT, AK, MK, YY), pp. 176–184.
KDIR-KMIS-2013-DuarteFD #clustering #constraints #using #validation: Data Clustering Validation using Constraints (JMMD, ALNF, FJFD), pp. 17–27.
KDIR-KMIS-2013-Lindner #constraints #parsing #random #using: Using Conditional Random Fields with Constraints to Train Support Vector Machines — Locating and Parsing Bibliographic References (SL), pp. 28–36.
ECMFA-2013-Gogolla #constraints #modelling #ocl: Employing the Object Constraint Language in Model-Based Engineering (MG), pp. 1–2.
MoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml: Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.
MoDELS-2013-DemuthLE #co-evolution #constraints #incremental #metamodelling: Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management (AD, RELH, AE), pp. 287–303.
MoDELS-2013-NieYAZF #automation #constraints #cyber-physical #named: Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems (KN, TY, SA, LZ, ZF), pp. 370–387.
MoDELS-2013-SemerathHV #constraints #domain-specific language #graph #query #validation: Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.
MoDELS-2013-SongBCC #adaptation #constraints #modelling #runtime #self #theorem proving #using: Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving (HS, SB, AC, SC), pp. 555–571.
MoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml: Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.
MoDELS-2013-DemuthLE #co-evolution #constraints #incremental #metamodelling: Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management (AD, RELH, AE), pp. 287–303.
MoDELS-2013-NieYAZF #automation #constraints #cyber-physical #named: Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems (KN, TY, SA, LZ, ZF), pp. 370–387.
MoDELS-2013-SemerathHV #constraints #domain-specific language #graph #query #validation: Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.
MoDELS-2013-SongBCC #adaptation #constraints #modelling #runtime #self #theorem proving #using: Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving (HS, SB, AC, SC), pp. 555–571.
PPDP-2013-CaballeroST #constraints #finite #programming: Finite type extensions in constraint programming (RC, PJS, ATF), pp. 217–227.
PPDP-2013-LamC #constraints #distributed #execution: Decentralized execution of constraint handling rules for ensembles (ESLL, IC), pp. 205–216.
PPDP-2013-PinoBV #concurrent #confluence #constraints #equivalence #performance #programming: Efficient computation of program equivalence for confluent concurrent constraint programming (LFP, FB, FDV), pp. 263–274.
PADL-2013-BrasselHPR #constraints #equation #functional #implementation: Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.
POPL-2013-Ben-AmramG #constraints #integer #linear #on the #problem #ranking: On the linear ranking problem for integer linear-constraint loops (AMBA, SG), pp. 51–62.
SAC-2013-BarreirosM #constraints #feature model #modelling: Configuration support for feature models with soft constraints (JB, AMDM), pp. 1307–1308.
SAC-2013-BlondelSU #classification #constraints #learning #using: Learning non-linear classifiers with a sparsity constraint using L1 regularization (MB, KS, KU), pp. 167–169.
SAC-2013-GaubatzZ #collaboration #constraints #web: Supporting entailment constraints in the context of collaborative web applications (PG, UZ), pp. 736–741.
SAC-2013-LarrosaR #bound #constraints #distributed #optimisation: Risk-neutral bounded max-sum for distributed constraint optimization (JL, ER), pp. 92–97.
SAC-2013-MontaliCMM #constraints #towards: Towards data-aware constraints in declare (MM, FC, PM, FMM), pp. 1391–1396.
ESEC-FSE-2013-LiRSY #constraints #higher-order #invariant: Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
ICSE-2013-BounimovaGM #constraints #testing: Billions and billions of constraints: whitebox fuzz testing in production (EB, PG, DAM), pp. 122–131.
SPLC-2013-Quinton0D #approach #constraints #feature model #modelling: Cardinality-based feature models with constraints: a pragmatic approach (CQ, DR, LD), pp. 162–166.
CADE-2013-GangeSSS #composition #constraints #difference: Solving Difference Constraints over Modular Arithmetic (GG, HS, PJS, PS), pp. 215–230.
CADE-2013-LoupSCAB #algebra #composition #constraints: A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition (UL, KS, FC, EÁ, BB), pp. 193–207.
CAV-2013-ChengRS #constraints #named #polynomial: JBernstein: A Validity Checker for Generalized Polynomial Constraints (CHC, HR, NS), pp. 656–661.
CSL-2013-SchmidtW #abduction #complexity #constraints #similarity: The Complexity of Abduction for Equality Constraint Languages (JS, MW), pp. 615–633.
ICLP-J-2013-GangeNSSS #constraints #logic programming: Failure tabled constraint logic programming by interpolation (GG, JAN, PS, HS, PJS), pp. 593–607.
ICLP-J-2013-GiordanoMSD #constraints #process #programming #set #verification: Business process verification with constraint temporal answer set programming (LG, AM, MS, DTD), pp. 641–655.
ICST-2013-KapfhammerMW #constraints #database #multi #relational #search-based #testing: Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems (GMK, PM, CJW), pp. 31–40.
ICST-2013-MossigeGM #constraints #generative #integration #programming #testing #using: Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment (MM, AG, HM), pp. 489–490.
ICST-2013-YuLBKK #algorithm #combinator #constraints #generative #performance #testing: An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation (LY, YL, MNB, RK, DRK), pp. 242–251.
SAT-2013-FingerLGS #constraints #probability #satisfiability #using: Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability (MF, RL, CPG, BS), pp. 233–249.
SAT-2013-FujitaKH #constraints #named #satisfiability: SCSat: A Soft Constraint Guided SAT Solver (HF, MK, RH), pp. 415–421.
SAT-2013-MihalT #approach #constraints #logic #programmable: A Constraint Satisfaction Approach for Programmable Logic Detailed Placement (AM, ST), pp. 208–223.
SAT-2013-SohTB #agile #constraints #named #programming #prototype #satisfiability: Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems (TS, NT, MB), pp. 429–436.
TAP-2013-PotzlH #constraints: Solving Constraints for Generational Search (DP, AH), pp. 197–213.
VMCAI-2013-PelleauMTB #abstract domain #constraints #theorem proving: A Constraint Solver Based on Abstract Domains (MP, AM, CT, FB), pp. 434–454.
ASE-2012-DemuthLE #adaptation #automation #co-evolution #constraints #design #generative #modelling: Automatically generating and adapting model constraints to support co-evolution of design models (AD, RELH, AE), pp. 302–305.
CASE-2012-LiLS #constraints #process: Dispatching rule considering time-constraints on processes for semiconductor wafer fabrication facility (LL, YFL, ZJS), pp. 407–412.
CASE-2012-ObeidDY #constraints #health #parallel #scheduling: Scheduling on parallel machines with time constraints and Equipment Health Factors (AO, SDP, CY), pp. 401–406.
DAC-2012-MengKC #3d #constraints #energy #manycore #optimisation #performance: Optimizing energy efficiency of 3-D multicore systems with stacked DRAM under power and thermal constraints (JM, KK, AKC), pp. 648–655.
DAC-2012-OuCC #constraints #multi: Non-uniform multilevel analog routing with matching constraints (HCO, HCCC, YWC), pp. 549–554.
DATE-2012-JiangEP #co-evolution #communication #constraints #design #distributed #embedded #realtime #security: Co-design techniques for distributed real-time embedded systems with communication security constraints (KJ, PE, ZP), pp. 947–952.
DATE-2012-JiangSCBP #algorithm #constraints #generative #memory management #on the: On the optimality of K longest path generation algorithm under memory constraints (JJ, MS, AC, BB, IP), pp. 418–423.
DATE-2012-MittagKJR #constraints #design #geometry #physics: Hierarchical propagation of geometric constraints for full-custom physical design of ICs (MM, AK, GJ, WR), pp. 1471–1474.
DATE-2012-RajeevMR #architecture #constraints #distributed #embedded #verification: Verifying timing synchronization constraints in distributed embedded architectures (ACR, SM, SR), pp. 200–205.
DocEng-2012-SoaresNS #architecture #behaviour #constraints #hypermedia: Architecture for hypermedia dynamic applications with content and behavior constraints (LFGS, CdSSN, JGS), pp. 217–226.
VLDB-2012-CandanRSW #constraints #named #using: sDTW: Computing DTW Distances using Locally Relevant Constraints based on Salient Feature Alignments (KSC, RR, MLS, XW), pp. 1519–1530.
VLDB-2012-LiuRLMB #constraints #declarative #distributed #framework #named #optimisation: Cologne: A Declarative Distributed Constraint Optimization Platform (CL, LR, BTL, YM, PB), pp. 752–763.
FASE-2012-MaggiMA #constraints #framework #monitoring: An Operational Decision Support Framework for Monitoring Business Constraints (FMM, MM, WMPvdA), pp. 146–162.
CSMR-2012-LytraTZ #architecture #component #consistency #constraints #design #evolution #modelling: Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution (IL, HT, UZ), pp. 287–296.
ICSM-2012-RupakhetiH #constraints #fault #modelling #similarity #theorem proving #using: Finding errors from reverse-engineered equality models using a constraint solver (CRR, DH), pp. 77–86.
STOC-2012-BartoK #constraints #problem #robust #satisfiability: Robust satisfiability of constraint satisfaction problems (LB, MK), pp. 931–940.
FLOPS-2012-CastineirasS #constraints #performance #theorem proving: Improving the Performance of FD Constraint Solving in a CFLP System (IC, FSP), pp. 88–103.
FLOPS-2012-SaeedloeiG #constraints #induction #logic programming: Coinductive Constraint Logic Programming (NS, GG), pp. 243–259.
FLOPS-2012-Triska #constraints #finite #prolog #theorem proving: The Finite Domain Constraint Solver of SWI-Prolog (MT), pp. 307–316.
CIAA-2012-HeamHK #bound #constraints #on the: On Positive TAGED with a Bounded Number of Constraints (PCH, VH, OK), pp. 329–336.
ICALP-v1-2012-AzarG #constraints #linear #performance: Efficient Submodular Function Maximization under Linear Packing Constraints (YA, IG), pp. 38–50.
ICALP-v1-2012-BuchbinderNRS #algorithm #approximate #constraints #online #rank: Approximation Algorithms for Online Weighted Rank Function Maximization under Matroid Constraints (NB, JN, RR, MS), pp. 145–156.
ICALP-v1-2012-LokshtanovR #constraints #multi: Parameterized Tractability of Multiway Cut with Parity Constraints (DL, MSR), pp. 750–761.
LATA-2012-Bozzelli #abstraction #constraints #termination: Strong Termination for Gap-Order Constraint Abstractions of Counter Systems (LB), pp. 155–168.
LATA-2012-Hovland #constraints #problem #regular expression: The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints (DH), pp. 313–324.
FM-2012-CarlierDG #constraints #finite #theorem proving: A Certified Constraint Solver over Finite Domains (MC, CD, AG), pp. 116–131.
SEFM-2012-BistarelliS #concurrent #constraints #programming: Securely Accessing Shared Resources with Concurrent Constraint Programming (SB, FS), pp. 308–322.
SFM-2012-CabotG #constraints #ocl: Object Constraint Language (OCL): A Definitive Guide (JC, MG), pp. 58–90.
GT-VMT-2012-LaraG #constraints #visual notation: Inter-Modelling with Graphical Constraints: Foundations and Applications (JdL, EG).
CHI-2012-ZhangLMGPH #constraints: Human computation tasks with global constraints (HZ, EL, RM, KG, DCP, EH), pp. 217–226.
AdaEurope-2012-PolzlbauerBB #constraints #design #performance #realtime #reliability: Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems (FP, IB, EB), pp. 207–220.
ICEIS-v1-2012-ZianiRO #approach #constraints #mining #multi: A Constraint-based Mining Approach for Multi-attribute Index Selection (BZ, FR, YO), pp. 93–98.
CIKM-2012-CumminsO #automation #constraints #normalisation: A constraint to automatically regulate document-length normalisation (RC, CO), pp. 2443–2446.
CIKM-2012-SunHCZD #capacity #constraints: Location selection for utility maximization with capacity constraints (YS, JH, YC, RZ, XD), pp. 2154–2158.
CIKM-2012-TalukdarWM #constraints: Acquiring temporal constraints between relations (PPT, DTW, TMM), pp. 992–1001.
ECIR-2012-ParaparB #clustering #constraints #modelling: Language Modelling of Constraints for Text Clustering (JP, AB), pp. 352–363.
ICML-2012-BorboudakisT #constraints #graph #information management #network: Incorporating Causal Prior Knowledge as Path-Constraints in Bayesian Networks and Maximal Ancestral Graphs (GB, IT), p. 59.
ICPR-2012-GuyonBZ #constraints #detection #matrix #rank #robust: Foreground detection via robust low rank matrix factorization including spatial constraint with Iterative reweighted regression (CG, TB, EHZ), pp. 2805–2808.
ICPR-2012-Lee #constraints #image: Camera calibration from a single image based on coupled line cameras and rectangle constraint (JHL), pp. 758–762.
ICPR-2012-XueCH #classification #constraints #kernel: Discriminative indefinite kernel classifier from pairwise constraints and unlabeled data (HX, SC, JH), pp. 497–500.
ICPR-2012-ZhangCYLS #constraints #graph: Stereo matching with Global Edge Constraint and Graph Cuts (HZ, FC, DY, YL, MS), pp. 372–375.
KDD-2012-Davidson #clustering #comprehension #constraints: Two approaches to understanding when constraints help clustering (ID), pp. 1312–1320.
KDD-2012-HalawiDGK #constraints #learning #scalability #word: Large-scale learning of word relatedness with constraints (GH, GD, EG, YK), pp. 1406–1414.
KDD-2012-ZhangL #component #constraints #mining #rank #recognition: Mining discriminative components with low-rank and sparsity constraints for face recognition (QZ, BL), pp. 1469–1477.
KDIR-2012-DuarteFD #clustering #constraints #using: Evidence Accumulation Clustering using Pairwise Constraints (JMMD, ALNF, FJFD), pp. 293–299.
KDIR-2012-GayLM #approach #constraints #mining #multi #sequence: Constraint-programming Approach for Multiset and Sequence Mining (PG, BL, JM), pp. 212–220.
KDIR-2012-LindnerH #constraints #learning #maintenance #parsing #random: Parsing and Maintaining Bibliographic References — Semi-supervised Learning of Conditional Random Fields with Constraints (SL, WH), pp. 233–238.
KR-2012-DohertyKS #constraints: Temporal Composite Actions with Constraints (PD, JK, AS).
KR-2012-GrauJKZ #constraints #evolution #ontology #semantics: Ontology Evolution Under Semantic Constraints (BCG, EJR, EK, DZ).
KR-2012-Huang12a #constraints #simulation: Search Strategy Simulation in Constraint Booleanization (JH).
KR-2012-Renz #constraints #reasoning: Implicit Constraints for Qualitative Spatial and Temporal Reasoning (JR).
SEKE-2012-Collazo-MojicaSEB #constraints #monitoring #scalability: Cloud Application Resource Mapping and Scaling Based on Monitoring of QoS Constraints (XJCM, SMS, JE, RMB), pp. 88–93.
BX-2012-AnjorinVS #constraints #graph grammar #programming: Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques (AA, GV, AS), pp. 68–83.
ECMFA-2012-QureshiCT #constraints #specification: A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications (TNQ, DJC, MT), pp. 303–318.
ICMT-2012-DemuthLE #constraints #modelling: Constraint-Driven Modeling through Transformation (AD, RELH, AE), pp. 248–263.
MoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification: Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
MoDELS-2012-MaraeeB #analysis #comparative #constraints #guidelines #modelling #recommendation #uml: Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines (AM, MB), pp. 302–318.
MoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification: Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
MoDELS-2012-MaraeeB #analysis #comparative #constraints #guidelines #modelling #recommendation #uml: Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines (AM, MB), pp. 302–318.
ECOOP-2012-SteimannP #constraints #refactoring: Constraint-Based Refactoring with Foresight (FS, JvP), pp. 535–559.
TOOLS-EUROPE-2012-OlahMS #constraints #framework #representation: Representing Uniqueness Constraints in Object-Relational Mapping — The Natural Entity Framework (MJO, DM, DS), pp. 236–251.
LOPSTR-2012-RojasG #constraints #framework #generative #logic programming #testing: A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
PPDP-2012-OlartePRC #approach #automation #concurrent #constraints #linear #verification: A linear concurrent constraint approach for the automatic verification of access permissions (CO, EP, CR, NC), pp. 207–216.
QAPL-2012-PalamidessiS #algebra #bound #constraints #difference #privacy #relational: Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems (CP, MS), pp. 92–105.
PADL-2012-CampagnaSS #approximate #constraints #datalog #difference #optimisation: Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.
POPL-2012-KoksalKS #constraints: Constraints as control (ASK, VK, PS), pp. 151–164.
RE-2012-Yi0ZJM #constraints #feature model #mining #modelling: Mining binary constraints in the construction of feature models (LY, WZ, HZ, ZJ, HM), pp. 141–150.
SAC-2012-BistarelliCS #concurrent #constraints #coordination #programming: A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming (SB, PC, FS), pp. 1551–1553.
SAC-2012-ChanvilaiHNTO #approach #constraints #diagrams #ocl: Goal-oriented approach to creating class diagrams with OCL constraints (SC, KH, HN, YT, AO), pp. 1051–1056.
SAC-2012-HeFP #constraints: Solution neighbourhoods for constraint-directed local search (JH, PF, JP), pp. 74–79.
SAC-2012-LeungS #constraints #mining: A new class of constraints for constrained frequent pattern mining (CKSL, LS), pp. 199–204.
SAC-2012-ManciniFP #combinator #constraints #database #problem #relational #synthesis: Combinatorial problem solving over relational databases: view synthesis through constraint-based local search (TM, PF, JP), pp. 80–87.
SAC-2012-MathisSI #composition #constraints #geometry: Decomposition of geometrical constraint systems with reparameterization (PM, PS, RI), pp. 102–108.
SAC-2012-MetivierBCKL #constraints #declarative: A constraint language for declarative pattern discovery (JPM, PB, BC, MK, SL), pp. 119–125.
SAC-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.
SAC-2012-Skubch #constraints #realtime: Solving non-linear arithmetic constraints in soft realtime environments (HS), pp. 67–73.
SAC-2012-ZhaoHWA #constraints #diagrams #difference #equation #polynomial: Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints (TZ, HH, DW, PA), pp. 94–101.
FSE-2012-VisserGD #constraints #named #program analysis #reuse: Green: reducing, reusing and recycling constraints in program analysis (WV, JG, MBD), p. 58.
ICSE-2012-BalasubramaniamJKMN #approach #automation #constraints #generative #performance #theorem proving: An automated approach to generating efficient constraint solvers (DB, CJ, LK, IM, PN), pp. 661–671.
ICSE-2012-Demuth #constraints #metamodelling #modelling: Enabling dynamic metamodels through constraint-driven modeling (AD), pp. 1622–1624.
ICSE-2012-LiuZ #automation #constraints #named: Axis: Automatically fixing atomicity violations through solving control constraints (PL, CZ), pp. 299–309.
ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using: Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
SLE-2012-KansoT #constraints #ocl: Temporal Constraint Support for OCL (BK, ST), pp. 83–103.
HPDC-2012-LohrmannWK #constraints: Massively-parallel stream processing under QoS constraints with Nephele (BL, DW, OK), pp. 271–282.
ISMM-2012-Nasre #analysis #constraints #graph #performance #points-to: Exploiting the structure of the constraint graph for efficient points-to analysis (RN), pp. 121–132.
PPoPP-2012-CaniouDRCA #analysis #constraints #parallel #performance: Performance analysis of parallel constraint-based local search (YC, DD, FR, PC, SA), pp. 337–338.
CAV-2012-BodikT #constraints #source code #theorem proving: Synthesizing Programs with Constraint Solvers (RB, ET), p. 3.
CSL-2012-BodirskyW #constraints #equivalence #problem: Equivalence Constraint Satisfaction Problems (MB, MW), pp. 122–136.
ICLP-2012-CattafiHGNM #constraints #health #logic programming #performance #quality: Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit (MC, RH, MG, MN, FM), pp. 415–424.
ICLP-2012-OetschPT #constraints #semantics #source code: An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions (JO, JP, HT), pp. 222–234.
ICLP-2012-VirsedaMT #concurrent #constraints #functional #logic programming #semantics: A Concurrent Operational Semantics for Constraint Functional Logic Programming (RdVV, FPM, MMGT), pp. 154–163.
ICLP-2012-ZomboriCS #constraints #logic programming #static typing #type inference #using: Static Type Inference for the Q language using Constraint Logic Programming (ZZ, JC, PS), pp. 119–129.
ICLP-J-2012-Duck #constraints #named #satisfiability: SMCHR: Satisfiability modulo constraint handling rules (GJD), pp. 601–618.
ICLP-J-2012-Haemmerle #confluence #constraints #diagrams: Diagrammatic confluence for Constraint Handling Rules (RH), pp. 737–753.
ICLP-J-2012-MetodiC #compilation #constraints #finite #satisfiability: Compiling finite domain constraints to SAT with BEE (AM, MC), pp. 465–483.
ICST-2012-AichernigJ #constraints #modelling #mutation testing #semantics #testing #towards: Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.
ICST-2012-AlesioGNB #constraints #optimisation #realtime #testing #using: Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.
ICST-2012-GotliebHB #constraints #programming #using: Minimum Pairwise Coverage Using Constraint Programming Techniques (AG, AH, BB), pp. 773–774.
ICST-2012-KruseBW #combinator #constraints #interactive #testing: Numerical Constraints for Combinatorial Interaction Testing (PMK, JB, JW), pp. 758–763.
ICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code: Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.
ICST-2012-SiddiquiMK #analysis #constraints #data flow #lightweight #theorem proving: Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving (JHS, DM, SK), pp. 91–100.
ICST-2012-VorobyovK #automation #constraints #generative #static analysis #testing #theorem proving: Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.
ICST-2012-Wotawa #challenge #constraints #fault #open science #research #source code #using: Open Research Challenges of Localizing Faults in Programs Using Constraints (FW), pp. 770–771.
IJCAR-2012-DelauneKP #constraints #protocol #security: Security Protocols, Constraint Systems, and Group Theories (SD, SK, DP), pp. 164–178.
LICS-2012-BartoKW #bound #constraints: Near Unanimity Constraints Have Bounded Pathwidth Duality (LB, MK, RW), pp. 125–134.
LICS-2012-ChenM #algebra #category theory #constraints #quantifier #theorem: An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction (HC, MM), pp. 215–224.
SAT-2012-Ben-HaimIMM #constraints #encoding: Perfect Hashing and CNF Encodings of Cardinality Constraints (YBH, AI, OM, AM), pp. 397–409.
SAT-2012-LiffitonM #constraints #for free: A Cardinality Solver: More Expressive Constraints for Free — (Poster Presentation) (MHL, JCM), pp. 485–486.
SAT-2012-ZhangMZ #constraints #identification #interactive #optimisation #theorem proving: Faulty Interaction Identification via Constraint Solving and Optimization (JZ, FM, ZZ), pp. 186–199.
SMT-2012-CodishFFGW #constraints: Exotic Semi-Ring Constraints (MC, YF, CF, JG, JW), pp. 88–97.
TAP-2012-CarlierDG #constraints #design #testing: A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest (MC, CD, AG), pp. 35–50.
TAP-2012-SenniF #constraints #data type #generative #logic programming #testing #using: Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
VMCAI-2012-BozzelliP #abstraction #constraints #verification: Verification of Gap-Order Constraint Abstractions of Counter Systems (LB, SP), pp. 88–103.
CBSE-2011-TibermacineSDF #architecture #component #constraints #specification: Component-based specification of software architecture constraints (CT, SS, CD, LF), pp. 31–40.
WICSA-2011-BalasubramaniamSJKMN #approach #architecture #constraints #generative #named #performance #theorem proving: Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers (DB, LdS, CJ, LK, IM, PN), pp. 228–231.
ASE-2011-KhalekNK #constraints #generative: Mixed constraints for test input generation — An initial exploration (SAK, VPN, SK), pp. 548–551.
ASE-2011-MalburgF #constraints #search-based #testing: Combining search-based and constraint-based testing (JM, GF), pp. 436–439.
CASE-2011-FantiSU #constraints #problem #scheduling #symmetry #using: Solving scheduling problems in distribution centers using symmetry breaking constraints (MPF, GS, WU), pp. 58–65.
CASE-2011-KaoZCHWLWWC #constraints: Near optimal furnace tool allocation with batching and waiting time constraints (YTK, SCZ, SCC, JHH, PW, PBL, SW, FW, JC), pp. 108–113.
CASE-2011-KimL #clustering #constraints #scheduling #tool support: Scheduling of cluster tools with ready time constraints for small lot production (HJK, TEL), pp. 96–101.
CASE-2011-NaibR #approach #automation #constraints: A P2P approach for automating seamless connectivity given intermittent bandwidth constraints (VVBN, SR), pp. 637–641.
DAC-2011-HuangQFQ #constraints #realtime #throughput: Throughput maximization for periodic real-time systems under the maximal temperature constraint (HH, GQ, JF, MQ), pp. 363–368.
DAC-2011-ReimannLGHT #constraints #realtime #string #synthesis: Symbolic system synthesis in the presence of stringent real-time constraints (FR, ML, MG, CH, JT), pp. 393–398.
DAC-2011-ToettcherCTW #analysis #constraints: Biochemical oscillator sensitivity analysis in the presence of conservation constraints (JET, AC, BT, JW), pp. 806–811.
DATE-2011-ChiuSH #constraints #pipes and filters #precedence #realtime #streaming #synthesis: Pipeline schedule synthesis for real-time streaming tasks with inter/intra-instance precedence constraints (YSC, CSS, SHH), pp. 1321–1326.
DATE-2011-HuangQ #constraints #energy #realtime: Leakage aware energy minimization for real-time systems under the maximum temperature constraint (HH, GQ), pp. 479–484.
DATE-2011-MiteaMHJ #automation #constraints #synthesis: Automated constraint-driven topology synthesis for analog circuits (OM, MM, LH, PJ), pp. 1662–1665.
DATE-2011-Struzyna #clustering #constraints: Flow-based partitioning and position constraints in VLSI placement (MS), pp. 607–612.
DRR-2011-ChenCL #constraints #identification #using: Using perturbed handwriting to support writer identification in the presence of severe data constraints (JC, WC, DPL), pp. 1–10.
ICDAR-2011-EmilieBA #constraints #network #physics #recognition #semantics: Use of Semantic and Physical Constraints in Bayesian Networks for Form Recognition (EP, YB, AB), pp. 946–950.
PODS-2011-KimelfeldS #constraints: Finding a minimal tree pattern under neighborhood constraints (BK, YS), pp. 235–246.
SIGMOD-2011-ArasuKL #constraints #declarative #generative #using: Data generation using declarative constraints (AA, RK, JL), pp. 685–696.
SIGMOD-2011-YangWCK #constraints #nondeterminism #query: Querying uncertain data with aggregate constraints (MY, HW, HC, WSK), pp. 817–828.
VLDB-2011-ArasuKL #constraints #declarative #generative #named #using: DataSynth: Generating Synthetic Data using Declarative Constraints (AA, RK, JL), pp. 1418–1421.
VLDB-2011-JinLDW #constraints #graph #nondeterminism #reachability: Distance-Constraint Reachability Computation in Uncertain Graphs (RJ, LL, BD, HW), pp. 551–562.
VLDB-2011-OrsiP #constraints #ontology #optimisation #query: Optimizing Query Answering under Ontological Constraints (GO, AP), pp. 1004–1015.
VLDB-2011-XieLW #constraints #performance #rank: Efficient Rank Join with Aggregation Constraints (MX, LVSL, PTW), pp. 1201–1212.
VLDB-2011-YangCLC #constraints #on the #query: On Social-Temporal Group Query with Acquaintance Constraint (DNY, YLC, WCL, MSC), pp. 397–408.
ESOP-2011-JohnLNV #constraints: Biochemical Reaction Rules with Constraints (MJ, CL, JN, CV), pp. 338–357.
FoSSaCS-2011-AristizabalBPPV #concurrent #constraints #programming #similarity: Deriving Labels and Bisimilarity for Concurrent Constraint Programming (AA, FB, CP, LFP, FDV), pp. 138–152.
TACAS-2011-CodishFFS #constraints #encoding #pseudo: Optimal Base Encodings for Pseudo-Boolean Constraints (MC, YF, CF, PSK), pp. 189–204.
CSMR-2011-FreyH #architecture #constraints #detection #legacy #migration: An Extensible Architecture for Detecting Violations of a Cloud Environment’s Constraints during Legacy Software System Migration (SF, WH), pp. 269–278.
CSMR-2011-HassamSGF #adaptation #constraints #evolution #metamodelling #ocl: Assistance System for OCL Constraints Adaptation during Metamodel Evolution (KH, SS, VLG, RF), pp. 151–160.
ICPC-2011-SteinH #aspect-oriented #comparison #constraints #empirical #visual notation: Comparison of a Visual and a Textual Notation to Express Data Constraints in Aspect-Oriented Join Point Selections: A Controlled Experiment (DS, SH), pp. 141–150.
ICPC-2011-ZibranR #approach #constraints #programming #refactoring #scheduling: Conflict-Aware Optimal Scheduling of Code Clone Refactoring: A Constraint Programming Approach (MFZ, CKR), pp. 266–269.
SCAM-2011-ZibranR #approach #constraints #programming #refactoring #scheduling: A Constraint Programming Approach to Conflict-Aware Optimal Scheduling of Prioritized Code Clone Refactoring (MFZ, CKR), pp. 105–114.
ICALP-v1-2011-BulatovM #constraints: Constraint Satisfaction Parameterized by Solution Size (AAB, DM), pp. 424–436.
ICALP-v1-2011-MakarychevS #constraints: Maximizing Polynomials Subject to Assignment Constraints (KM, MS), pp. 510–520.
ICALP-v1-2011-Mengel #constraints #problem: Characterizing Arithmetic Circuit Classes by Constraint Satisfaction Problems — (Extended Abstract) (SM), pp. 700–711.
GCM-2010-BottoniFP11 #constraints #incremental #policy: Incremental update of constraint-compliant policy rules (PB, AF, FPP).
GT-VMT-2011-EhrigHSB #constraints #graph grammar #model transformation: Propagation of Constraints along Model Transformations Based on Triple Graph Grammars (HE, FH, HS, CB).
CHI-2011-BogunovichS #behaviour #constraints: The effects of time constraints on user behavior for deferrable interruptions (PB, DDS), pp. 3123–3126.
DUXU-v2-2011-BohmSW11a #adaptation #constraints #usability: Customized Usability Engineering for a Solar Control Unit: Adapting Traditional Methods to Domain and Project Constraints (PB, TS, CW), pp. 109–117.
CAiSE-2011-KhalufGE #constraints #formal method #modelling #process #quality: Pattern-Based Modeling and Formalizing of Business Process Quality Constraints (LK, CG, GE), pp. 521–535.
CAiSE-2011-RamdoyalH #constraints #database #dependence #elicitation: Interactively Eliciting Database Constraints and Dependencies (RR, JLH), pp. 184–198.
CIKM-2011-TranCW #constraints #evaluation #query: Evaluation of set-based queries with aggregation constraints (QTT, CYC, GW), pp. 1495–1504.
CIKM-2011-XuZYCXZ #constraints #graph #reachability #scalability: Answering label-constraint reachability in large graphs (KX, LZ, JXY, LC, YX, DZ), pp. 1595–1600.
CIKM-2011-ZhouPW #constraints #graph #keyword #performance #scalability: Efficient association discovery with keyword-based constraints on large graph data (MZ, YP, YW), pp. 2441–2444.
CIKM-2011-ZhouPW11a #constraints #keyword #named: Conkar: constraint keyword-based association discovery (MZ, YP, YW), pp. 2553–2556.
ICML-2011-MeyerBS #approach #constraints #linear: Linear Regression under Fixed-Rank Constraints: A Riemannian Approach (GM, SB, RS), pp. 545–552.
ICML-2011-Shalev-ShwartzGS #constraints #rank #scalability: Large-Scale Convex Minimization with a Low-Rank Constraint (SSS, AG, OS), pp. 329–336.
KDD-2011-LiuZW #clustering #constraints: Clustering with relative constraints (EYL, ZZ, WW), pp. 947–955.
MLDM-2011-MohebzadaRR #analysis #constraints #generative: Sensitivity Analysis for Weak Constraint Generation (JGM, MMR, GR), pp. 239–252.
SEKE-2011-DengLSW #api #constraints #runtime #specification #verification: Specification and Runtime Verification of API Constraints on Interacting Objects (FD, HL, JS, QW), pp. 101–106.
SIGIR-2011-ClinchantG #constraints #information retrieval #modelling: Do IR models satisfy the TDC retrieval constraint (SC, ÉG), pp. 1155–1156.
SIGIR-2011-PolitzS #constraints #learning #rank: Learning to rank under tight budget constraints (CP, RS), pp. 1173–1174.
BX-2011-Ehrig #constraints #model transformation: Propagation of Constraints along Model Transformations (HE), p. 56.
ECMFA-2011-BajwaL #constraints #ocl: Transformation Rules for Translating Business Rules to OCL Constraints (ISB, MGL), pp. 132–143.
MoDELS-2011-Steimann #constraints #refactoring: Constraint-Based Model Refactoring (FS), pp. 440–454.
MoDELS-2011-Steimann #constraints #refactoring: Constraint-Based Model Refactoring (FS), pp. 440–454.
ECOOP-2011-SteimannKP #constraints #eiffel #refactoring: A Refactoring Constraint Language and Its Application to Eiffel (FS, CK, JvP), pp. 255–280.
OOPSLA-2011-DemetrescuFR #constraints #data flow #imperative #programming: Reactive imperative programming with dataflow constraints (CD, IF, AR), pp. 407–426.
PPDP-2011-HaemmerleLH #constraints: CLP projection for constraint handling rules (RH, PLG, MVH), pp. 137–148.
PPDP-2011-Lagoon #challenge #constraints #generative #testing: The challenges of constraint-based test generation (VL), pp. 1–2.
PPDP-2011-VirsedaM #composition #constraints #declarative #higher-order #programming #semantics: A modular semantics for higher-order declarative programming with constraints (RdVV, FPM), pp. 41–52.
PADL-2011-SalgueiroDBA #constraints #detection #using: Using Constraints for Intrusion Detection: The NeMODe System (PDS, DD, IB, SA), pp. 115–129.
RE-2011-Waldmann #agile #constraints #development #requirements #what: There’s never enough time: Doing requirements under resource constraints, and what requirements engineering can learn from agile development (BW), pp. 301–305.
SAC-2011-CaniouCDA #constraints #parallel: Parallel constraint-based local search on the HA8000 supercomputer (abstract) (YC, PC, DD, SA), pp. 920–921.
SAC-2011-CederquistD #complexity #constraints: Complexity of fairness constraints for the Dolev-Yao attacker model (JC, MTD), pp. 1502–1509.
SAC-2011-CollavizzaVRDG #constraints #generative: A dynamic constraint-based BMC strategy for generating counterexamples (HC, NLV, MR, SD, TG), pp. 1633–1638.
SAC-2011-JeffersonMP #automation #constraints #generative #named: Combination: automated generation of puzzles with constraints (CJ, WM, KEP), pp. 907–912.
SAC-2011-SteigerHS #constraints #network #performance: An efficient generic network flow constraint (RS, WJvH, RS), pp. 893–900.
SAC-2011-Thierry #approach #constraints #geometry: A particle-spring approach to geometric constraints solving (SEBT), pp. 1100–1105.
SAC-2011-Zhang #analysis #constraints #geometry #graph #problem: Well-constrained completion for under-constrained geometric constraint problem based on connectivity analysis of graph (GFZ), pp. 1094–1099.
CGO-2011-NasreG #analysis #constraints #evaluation #performance #points-to: Prioritizing constraint evaluation for efficient points-to analysis (RN, RG), pp. 267–276.
PPoPP-2011-StellwagSKS #constraints #library #parallel: A wait-free NCAS library for parallel applications with timing constraints (PS, FS, JK, WSP), pp. 301–302.
CAV-2011-GuptaPR #concurrent #constraints #multi #named #source code #thread #verification: Threader: A Constraint-Based Verifier for Multi-threaded Programs (AG, CP, AR), pp. 412–417.
CAV-2011-HangMP #architecture #constraints #cyber-physical #modelling #realtime: Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints (CH, PM, VP), pp. 441–456.
CAV-2011-HoderBM #constraints #fixpoint #named #performance: μZ — An Efficient Engine for Fixed Points with Constraints (KH, NB, LMdM), pp. 457–462.
CAV-2011-PhamTTC #constraints #fixpoint #named #quantifier: FixBag: A Fixpoint Calculator for Quantified Bag Constraints (THP, MTT, AHT, WNC), pp. 656–662.
CSL-2011-Egri #constraints #on the #problem: On Constraint Satisfaction Problems below P (LE), pp. 203–217.
CSL-2011-Wolter #constraints #data access #ontology: Ontology-Based Data Access and Constraint Satisfaction (FW), p. 4.
ICLP-2011-DrescherW #constraints #modelling #programming #set: Modelling Grammar Constraints with Answer Set Programming (CD, TW), pp. 28–39.
ICLP-2011-KoninckBS #constraints: Constraints in Non-Boolean Contexts (LDK, SB, PJS), pp. 117–127.
ICLP-J-2011-CodishGBFG #analysis #constraints #integer #satisfiability #termination #using: SAT-based termination analysis using monotonicity constraints over the integers (MC, IG, AMBA, CF, JG), pp. 503–520.
ICLP-J-2011-CominiTV #concurrent #constraints #source code: Abstract diagnosis for timed concurrent constraint programs (MC, LT, AV), pp. 487–502.
ICLP-J-2011-Haemmerle #concurrent #constraints #linear #logic: Observational equivalences for linear logic concurrent constraint languages (RH), pp. 469–485.
ICLP-J-2011-Haemmerle11a #constraints #induction #semantics: (Co-)Inductive semantics for Constraint Handling Rules (RH), pp. 593–609.
ICLP-J-2011-HallerstedeL #concurrent #constraints #specification: Constraint-based deadlock checking of high-level specifications (SH, ML), pp. 767–782.
ICST-2011-KhalekK #constraints #database #relational #testing #theorem proving #using: Systematic Testing of Database Engines Using a Relational Constraint Solver (SAK, SK), pp. 50–59.
ICST-2011-LazaarGL #automation #constraints #framework #source code: A Framework for the Automatic Correction of Constraint Programs (NL, AG, YL), pp. 319–326.
ICST-2011-MalikSK #constraints #data type #debugging #using: Constraint-Based Program Debugging Using Data Structure Repair (MZM, JHS, SK), pp. 190–199.
LICS-2011-Barto #constraints #problem #revisited: The Dichotomy for Conservative Constraint Satisfaction Problems Revisited (LB), pp. 301–310.
RTA-2011-Tison #automaton #constraints #question #similarity #term rewriting #what: Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What’s New? (ST), pp. 1–2.
SAT-2011-Aavani #constraints #pseudo: Translating Pseudo-Boolean Constraints into CNF (AA), pp. 357–359.
SAT-2011-AbioNOR #constraints #pseudo #revisited: BDDs for Pseudo-Boolean Constraints — Revisited (IA, RN, AO, ERC), pp. 61–75.
SAT-2011-Sen #constraints #testing: Concolic Testing and Constraint Satisfaction (KS), pp. 3–4.
TLCA-2011-Tison #automaton #constraints #question #similarity #term rewriting #what: Tree Automata, (Dis-)Equality Constraints and Term Rewriting — What’s New? (ST), pp. 3–5.
VMCAI-2011-SuterSK #constraints #modulo theories #satisfiability #set: Sets with Cardinality Constraints in Satisfiability Modulo Theories (PS, RS, VK), pp. 403–418.
ECSA-2010-JohnWP #architecture #configuration management #constraints #monitoring: Dynamic Architectural Constraints Monitoring and Reconfiguration in Service Architectures (JJ, MW, CP), pp. 311–318.
ECSA-2010-TibermacineDSF #architecture #composition #constraints #reuse: Software Architecture Constraints as Customizable, Reusable and Composable Entities (CT, CD, SS, LF), pp. 505–509.
ASE-2010-HooimeijerW #constraints #string: Solving string constraints lazily (PH, WW), pp. 377–386.
CASE-2010-BraunS #approach #constraints #logic #predict: A Mixed Logical Dynamic Model Predictive Control approach for handling industrially relevant transportation constraints (MWB, JS), pp. 966–971.
CASE-2010-FantiSU #constraints #scheduling: Scheduling the internal operations in distribution centers with buffer constraints (MPF, GS, WU), pp. 75–80.
CASE-2010-FrohlichS #automation #constraints #matrix #modelling #problem #scheduling #using: Relation matrices for automated MILP modeling of scheduling problems using temporal constraints (RF, SCS), pp. 69–74.
CASE-2010-QiC #constraints #optimisation #probability: Stochastic optimization of hydro-thermal system with annual water consumption constraints (YQ, XC), pp. 1001–1006.
CASE-2010-TaoW #3d #algorithm #constraints #heuristic #problem: A new packing heuristic based algorithm for Vehicle Routing Problem with Three-dimensional Loading constraints (YT, FW), pp. 972–977.
DAC-2010-GongYSKRH #constraints #estimation #named #parametricity #performance: QuickYield: an efficient global-search based parametric yield estimation with performance constraints (FG, HY, YS, DK, JR, LH), pp. 392–397.
DAC-2010-LinLHC #bound #constraints: Performance-driven analog placement considering boundary constraint (CWL, JML, CPH, SJC), pp. 292–297.
DAC-2010-XiongW #algorithm #constraints #grid #linear #performance #power management #verification: An efficient dual algorithm for vectorless power grid verification under linear current constraints (XX, JW), pp. 837–842.
DATE-2010-HuangX10a #constraints #energy #multi #reliability #scheduling: Energy-efficient task allocation and scheduling for multi-mode MPSoCs under lifetime reliability constraint (LH, QX), pp. 1584–1589.
DATE-2010-LiuTQ #algorithm #constraints #performance #power management: Enhanced Q-learning algorithm for dynamic power management with performance constraint (WL, YT, QQ), pp. 602–605.
SIGMOD-2010-JinHWRX #constraints #database #graph #reachability: Computing label-constraint reachability in graph databases (RJ, HH, HW, NR, YX), pp. 123–134.
VLDB-2010-BeskalesIG #constraints #dependence #functional: Sampling the Repairs of Functional Dependency Violations under Hard Constraints (GB, IFI, LG), pp. 197–207.
VLDB-2010-GuoDSZ #constraints: Record Linkage with Uniqueness Constraints and Erroneous Values (SG, XD, DS, RZ), pp. 417–428.
VLDB-2010-LevinKSS #constraints #interactive #order: Interactive Route Search in the Presence of Order Constraints (RL, YK, ES, YS), pp. 117–128.
VLDB-2010-SpezzanoG #approach #constraints #termination: Chase Termination: A Constraints Rewriting Approach (FS, SG), pp. 93–104.
VLDB-2010-WangLF #constraints #named #performance #similarity #string: Trie-Join: Efficient Trie-based String Similarity Joins with Edit-Distance Constraints (JW, GL, JF), pp. 1219–1230.
VLDB-2011-CurinoMDZ10 #constraints #evolution #maintenance: Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++ (CC, HJM, AD, CZ), pp. 117–128.
FASE-2010-GroherRE #consistency #constraints #incremental: Incremental Consistency Checking of Dynamic Constraints (IG, AR, AE), pp. 203–217.
FASE-2010-RutleRLW #constraints #formal method #model transformation: A Formalisation of Constraint-Aware Model Transformations (AR, AR, YL, UW), pp. 13–28.
SAS-2010-DilligDA #constraints #online #scalability #source code #static analysis: Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis (ID, TD, AA), pp. 236–252.
STOC-2010-Marx #constraints #query: Tractable hypergraph properties for constraint satisfaction and conjunctive queries (DM), pp. 735–744.
FLOPS-2010-CaballeroGS #constraints #generative #logic programming #sql #testing: Applying Constraint Logic Programming to SQL Test Case Generation (RC, YGR, FSP), pp. 191–206.
FLOPS-2010-OrchardS #constraints #haskell: Haskell Type Constraints Unleashed (DAO, TS), pp. 56–71.
FLOPS-2010-TamuraTB #constraints #problem #satisfiability: Solving Constraint Satisfaction Problems with SAT Technology (NT, TT, MB), pp. 19–23.
DLT-J-2008-FiliotTT10 #automaton #constraints: Tree Automata with Global Constraints (EF, JMT, ST), pp. 571–596.
ICALP-v1-2010-BrietFV #constraints #problem #rank: The Positive Semidefinite Grothendieck Problem with Rank Constraint (JB, FMdOF, FV), pp. 31–42.
ICALP-v1-2010-Welzl #constraints #satisfiability: When Conflicting Constraints Can Be Resolved — The Lovász Local Lemma and Satisfiability (EW), p. 18.
LATA-2010-MiloPZ #constraints #named #regular expression #sequence: SA-REPC — Sequence Alignment with Regular Expression Path Constraint (NM, TP, MZU), pp. 451–462.
SEFM-2010-BersaniCFPR #constraints #integer #ltl #runtime #smt #specification #verification: SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability (MMB, LC, AF, MP, MR), pp. 244–254.
GT-VMT-2010-BottoniFP #constraints #model transformation: Preserving constraints in horizontal model transformations (PB, AF, FPP).
ICGT-2010-OrejasL #constraints #graph transformation #theorem proving: Delaying Constraint Solving in Symbolic Graph Transformation (FO, LL), pp. 43–58.
EDOC-2010-BajwaBL #constraints #generative #natural language #ocl #specification: OCL Constraints Generation from Natural Language Specification (ISB, BB, MGL), pp. 204–213.
ICEIS-DISI-2010-ObermeierB #ad hoc #constraints #mobile #network #transaction: Constraint Checking for Non-blocking Transaction Processing in Mobile Ad-hoc Networks (SO, SB), pp. 166–175.
ICEIS-ISAS-2010-LinS #constraints #data transformation #dependence #process: Managing Data Dependency Constraints through Business Processes (JYCL, SWS), pp. 52–59.
ICEIS-ISAS-2010-MakniHYT #constraints #modelling #workflow: Modeling Time Constraints in Inter-organizational Workflows (MM, NBHA, MMY, ST), pp. 221–229.
ICEIS-J-2010-LinS10a #approach #constraints #dependence #process: A Business Process Driven Approach to Manage Data Dependency Constraints (JYCL, SWS), pp. 326–339.
CIKM-2010-BilottiECN #constraints #learning #rank #semantics: Rank learning for factoid question answering with linguistic and semantic constraints (MWB, JLE, JGC, EN), pp. 459–468.
CIKM-2010-EatondJ #clustering #constraints #learning #multi: Multi-view clustering with constraint propagation for learning with an incomplete mapping between views (EE, Md, SJ), pp. 389–398.
CIKM-2010-LiQKG #automation #constraints #model merging #using: Automatic schema merging using mapping constraints among incomplete sources (XL, CQ, DK, SG), pp. 299–308.
CIKM-2010-WangML #constraints #ranking: Ranking under temporal constraints (LW, DM, JJL), pp. 79–88.
ICPR-2010-AshrafSF #constraints #invariant #rank #recognition #using: View-Invariant Action Recognition Using Rank Constraint (NA, YS, HF), pp. 3611–3614.
ICPR-2010-BaghshahS #constraints #kernel #learning #performance: Efficient Kernel Learning from Constraints and Unlabeled Data (MSB, SBS), pp. 3364–3367.
ICPR-2010-GuoC10a #constraints: Triangle-Constraint for Finding More Good Features (XG, XC), pp. 1393–1396.
ICPR-2010-KatoSS #constraints #geometry #multi: Extended Multiple View Geometry for Lights and Cameras from Photometric and Geometric Constraints (KK, FS, JS), pp. 2110–2113.
ICPR-2010-LeeCJK #constraints: Scene Text Extraction with Edge Constraint and Text Collinearity (SL, MSC, KJ, JHK), pp. 3983–3986.
ICPR-2010-NymanHA #constraints #framework #multi #using: Multi-camera Platform Calibration Using Multi-linear Constraints (PN, AH, KÅ), pp. 53–56.
ICPR-2010-TresadernC #constraints #performance: Gradient Constraints Can Improve Displacement Expert Performance (PAT, TFC), pp. 157–160.
ICPR-2010-VuLB #algorithm #clustering #constraints #performance: An Efficient Active Constraint Selection Algorithm for Clustering (VVV, NL, BBM), pp. 2969–2972.
ICPR-2010-WuXJHCL #constraints #geometry #image #invariant #retrieval: Adding Affine Invariant Geometric Constraint for Partial-Duplicate Image Retrieval (ZW, QX, SJ, QH, PC, LL), pp. 842–845.
KDD-2010-PrestonBKSF #clustering #constraints #using: Redefining class definitions using constraint-based clustering: an application to remote sensing of the earth’s surface (DP, CEB, RK, DSM, MAF), pp. 823–832.
KDIR-2010-ZakourSMM #constraints: Time Constraints Extension on Frequent Sequential Patterns (ABZ, MS, SM, MM), pp. 281–287.
KR-2010-BrafmanRSVW #constraints #information management #representation: Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms (RIB, FR, DS, KBV, TW).
KR-2010-CondottaL #constraints #network: A Class of df-Consistencies for Qualitative Constraint Networks (JFC, CL).
KR-2010-GiacomoPS #constraints: Generalized Planning with Loops under Strong Fairness Constraints (GDG, FP, SS).
KR-2010-PichlerRSW #bound #constraints #programming: Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough (RP, SR, SS, SW).
SEKE-2010-AvilaSCY #comparison #constraints #ocl #runtime: Runtime Constraint Checking Approaches for OCL, A Critical Comparison (CA, AS, YC, CY), pp. 393–398.
SEKE-2010-FuL #constraints #detection #string #theorem proving #web: A String Constraint Solver for Detecting Web Application Vulnerability (XF, CCL), pp. 535–542.
ECMFA-2010-KleinerFA #automation #constraints #formal method #theorem proving: Model Search: Formalizing and Automating Constraint Solving in MDE Platforms (MK, MDDF, PA), pp. 173–188.
PPDP-2010-Martinez #concurrent #constraints #linear #programming #semantics: Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules (TM), pp. 57–66.
PADL-2010-GentMM #constraints #lazy evaluation: Lazy Explanations for Constraint Propagators (IPG, IM, NCAM), pp. 217–233.
RE-2010-SalinesiMDD #constraints #integer #requirements #reuse #theorem proving #using: Using Integer Constraint Solving in Reuse Based Requirements Engineering (CS, RM, DD, OD), pp. 243–251.
SAC-2010-AhnH #constraints: Constraint-based LN-curves (YJA, CMH), pp. 1242–1246.
SAC-2010-AyyappanWN #algorithm #constraints #learning #named #network #scalability: MICHO: a scalable constraint-based algorithm for learning Bayesian networks (MA, YKW, WKN), pp. 985–989.
SAC-2010-BelohlavekV #concept analysis #constraints: Background knowledge in formal concept analysis: constraints via closure operators (RB, VV), pp. 1113–1114.
SAC-2010-CarvalhoCB #constraints #probability #problem #reliability: Probabilistic constraints for reliability problems (EC, JC, PB), pp. 2055–2060.
SAC-2010-CiraciBA #constraints #graph #verification: Graph-based verification of static program constraints (SC, PvdB, MA), pp. 2265–2272.
SAC-2010-FunfzigTA #constraints #parametricity #using: Haptic manipulation of rational parametric planar cubics using shape constraints (CF, PT, GA), pp. 1253–1257.
SAC-2010-GhoshS #constraints #design #energy #performance: Efficient mapping and voltage islanding technique for energy minimization in NoC under design constraints (PG, AS), pp. 535–541.
SAC-2010-HoL #algorithm #constraints: Simulated annealing based algorithm for smooth robot path planning with different kinematic constraints (YJH, JSL), pp. 1277–1281.
SAC-2010-KarakashianWCB #consistency #constraints #relational: Relational consistency by constraint filtering (SK, RJW, BYC, CB), pp. 2073–2074.
SAC-2010-LeungHB #constraints #mining #nondeterminism: Mining uncertain data for frequent itemsets that satisfy aggregate constraints (CKSL, BH, DAB), pp. 1034–1038.
SAC-2010-LuSPFZ #constraints #database #implementation #relational: Constraint processing in relational database systems: from theory to implementation (JJL, SS, OP, GHLF, HZ), pp. 2066–2070.
SAC-2010-RuggieriM #constraints #linear: Variable ranges in linear constraints (SR, FM), pp. 2061–2065.
SAC-2010-TeikenBA #consistency #constraints #health: Interchangeable consistency constraints for public health care systems (YT, SB, HJA), pp. 1411–1416.
ICSE-2010-Ma #analysis #constraints #testing #theorem proving: Constraint solving techniques for software testing and analysis (FM), pp. 417–420.
ICSE-2010-SteimannT #behaviour #constraints #generative: From behaviour preservation to behaviour modification: constraint-based mutant generation (FS, AT), pp. 425–434.
SPLC-2010-GilKM #constraints #diagrams #feature model #modelling: Sans Constraints? Feature Diagrams vs. Feature Models (JYG, SKD, IM), pp. 271–285.
SPLC-2010-KaratasOD #constraints #feature model #finite #logic programming #modelling: Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains (ASK, HO, AHD), pp. 286–299.
SPLC-2010-YoshimuraAF #constraints #feature model #identification #mining: A Method to Identify Feature Constraints Based on Feature Selections Mining (KY, YA, TF), pp. 425–429.
HPDC-2010-ZhuA #adaptation #constraints #resource management: Resource provisioning with budget constraints for adaptive applications in cloud environments (QZ, GA), pp. 304–307.
CAV-2010-Rybalchenko #constraints #theorem proving #theory and practice #verification: Constraint Solving for Program Verification: Theory and Practice by Example (AR), pp. 57–71.
CSL-2010-Krokhin #constraints: Tree Dualities for Constraint Satisfaction (AAK), pp. 32–33.
CSL-2010-Rybalchenko #constraints #theorem proving #theory and practice #verification: Constraint Solving for Program Verification: Theory and Practice by Example (AR), p. 51.
ICLP-2010-AlbertiGL10 #abduction #constraints #proving #runtime: Runtime Addition of Integrity Constraints in an Abductive Proof Procedure (MA, MG, EL), pp. 4–13.
ICLP-2010-Drescher10 #constraints #programming #set: Constraint Answer Set Programming Systems (CD), pp. 255–264.
ICLP-2010-Janhunen10 #constraints #revisited #semantics #source code: Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited (TJ), pp. 94–103.
ICLP-2010-Maher10 #approximate #constraints: Contractibility and Contractible Approximations of Soft Global Constraints (MJM), pp. 114–123.
ICLP-2010-Martinez10 #concurrent #constraints #design #implementation #linear #logic programming #programming language: Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints (TM), pp. 277–280.
ICLP-2010-P10 #concurrent #constraints #programming #similarity: Bisimilarity in Concurrent Constraint Programming (AAAP), pp. 236–240.
ICLP-2010-Parisini10 #branch #constraints #framework #programming: Local Branching in a Constraint Programming Framework (FP), pp. 286–288.
ICLP-J-2010-BetzRF #constraints #execution: A complete and terminating execution model for Constraint Handling Rules (HB, FR, TWF), pp. 597–610.
ICLP-J-2010-DrescherW #approach #constraints #set: A translational approach to constraint answer set solving (CD, TW), pp. 465–480.
ICTSS-2010-LakhotiaTHH #constraints #execution #float #named #search-based #symbolic computation #theorem proving: FloPSy — Search-Based Floating Point Constraint Solving for Symbolic Execution (KL, NT, MH, JdH), pp. 142–157.
IJCAR-2010-ChevalCD #analysis #automation #constraints #equivalence #security: Automating Security Analysis: Symbolic Equivalence of Constraint Systems (VC, HCL, SD), pp. 412–426.
LICS-2010-BargunoCGJV #automaton #constraints #problem: The Emptiness Problem for Tree Automata with Global Constraints (LB, CC, GG, FJ, CV), pp. 263–272.
LICS-2010-BodirskyHM #algebra #approach #constraints #on the: On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (MB, MH, BM), pp. 90–99.
SAT-2010-BofillSV #constraints #problem #smt: A System for Solving Constraint Satisfaction Problems with SMT (MB, JS, MV), pp. 300–305.
SAT-2010-Naveh #constraints #difference: The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference (YN), pp. 1–7.
QoSA-2009-AnselmiCA #constraints #on the #performance: On the Consolidation of Data-Centers with Performance Constraints (JA, PC, EA), pp. 163–176.
WICSA-ECSA-2009-TangV #architecture #constraints #design #modelling #reasoning: Modeling constraints improves software architecture design reasoning (AT, HvV), pp. 253–256.
ASE-2009-Jenson #component #constraints #dependence #validation #verification: Improving Component Dependency Resolution with Soft Constraints, Validation and Verification (GJ), pp. 716–720.
ASE-2009-SiddiquiMK #constraints #optimisation #performance #theorem proving: Optimizing a Structural Constraint Solver for Efficient Software Checking (JHS, DM, SK), pp. 615–619.
DAC-2009-HanumaiahRVC #constraints #manycore #throughput: Throughput optimal task allocation under thermal constraints for multi-core processors (VH, RR, SBKV, KSC), pp. 776–781.
DAC-2009-NanshiS #abstraction #constraints #refinement: Constraints in one-to-many concretization for abstraction refinement (KN, FS), pp. 569–574.
DATE-2009-CabodiCGMNQ #constraints #model checking #verification: Speeding up model checking by exploiting explicit and hidden verification constraints (GC, PC, LG, MM, SN, SQ), pp. 1686–1691.
DATE-2009-HanumaiahVC #constraints #manycore #performance: Performance optimal speed control of multi-core processors under thermal constraints (VH, SBKV, KSC), pp. 1548–1551.
DATE-2009-LudoviciVMRGLGB #constraints #design: Assessing fat-tree topologies for regular network-on-chip design under nanoscale technology constraints (DL, FGV, SM, CGR, MEG, PL, GNG, DB), pp. 562–565.
DATE-2009-ReicheltST #constraints #design #realtime: The influence of real-time constraints on the design of FlexRay-based systems (SR, OS, GT), pp. 858–863.
DATE-2009-SauvageGDMN #constraints: Successful attack on an FPGA-based WDDL DES cryptoprocessor without place and route constraints (LS, SG, JLD, YM, MN), pp. 640–645.
DocEng-2009-BarcenasGL #analysis #constraints #on the #query: On the analysis of queries with counting constraints (EB, PG, NL), pp. 21–24.
ICDAR-2009-ShaoLQXB #constraints #documentation #re-engineering: Locally Developable Constraint for Document Surface Reconstruction (YS, XL, XQ, YX, HB), pp. 226–230.
SIGMOD-2009-WangXLZ #approximate #constraints #distance #edit distance #performance: Efficient approximate entity extraction with edit distance constraints (WW, CX, XL, CZ), pp. 759–770.
WRLA-2008-HolzlMW09 #constraints #question: Which Soft Constraints do you Prefer? (MMH, MM, MW), pp. 189–205.
TACAS-2009-SchollDPK #constraints #detection #linear: Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (CS, SD, FP, SK), pp. 383–397.
PLDI-2009-HooimeijerW #constraints #regular expression #set: A decision procedure for subset constraints over regular languages (PH, WW), pp. 188–198.
SAS-2009-NiedzielskiRGP #bound #constraints #control flow: A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination (DN, JvR, AG, KP), pp. 137–153.
STOC-2009-LeeMNS #constraints: Non-monotone submodular maximization under matroid and knapsack constraints (JL, VSM, VN, MS), pp. 323–332.
ICALP-v1-2009-KoufogiannakisY #algorithm #approximate #constraints: Greedy Δ-Approximation Algorithm for Covering with Arbitrary Constraints and Submodular Cost (CK, NEY), pp. 634–652.
SEFM-2009-BresolinGMS #constraints #integer #logic: Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths (DB, VG, AM, GS), pp. 240–249.
CHI-2009-BrumbySH #adaptation #constraints #how: Focus on driving: how cognitive constraints shape the adaptation of strategy when dialing while driving (DPB, DDS, AH), pp. 1629–1638.
CAiSE-2009-LiuLYWH #analysis #constraints #using #verification #workflow: ETL Workflow Analysis and Verification Using Backwards Constraint Propagation (JL, SL, DY, JW, TH), pp. 455–469.
CIKM-2009-ClinchantG #constraints #information retrieval #word: Retrieval constraints and word frequency distributions: a log-logistic model for IR (SC, ÉG), pp. 1975–1978.
CIKM-2009-DaiZ #constraints #distance #edit distance #incremental #similarity: Incremental similarity joins with edit distance constraints (DD, GZ), pp. 1449–1452.
ICML-2009-CamposZJ #constraints #learning #network #using: Structure learning of Bayesian networks using constraints (CPdC, ZZ, QJ), pp. 113–120.
ICML-2009-KotlowskiS #constraints #learning: Rule learning with monotonicity constraints (WK, RS), pp. 537–544.
ICML-2009-PetrikZ #approximate #constraints #linear #source code: Constraint relaxation in approximate linear programs (MP, SZ), pp. 809–816.
KDD-2009-NijssenGR #approach #constraints #correlation #mining #programming: Correlated itemset mining in ROC space: a constraint programming approach (SN, TG, LDR), pp. 647–656.
SEKE-2009-MoserMSB #constraints #framework #semantics: Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraints (TM, RM, WDS, SB), pp. 222–227.
SIGIR-2009-CumminsO09a #constraints #information retrieval: Measuring constraint violations in information retrieval (RC, CO), pp. 722–723.
ICMT-2009-PetterBM #constraints #model transformation: Solving Constraints in Model Transformations (AP, AB, MM), pp. 132–147.
MoDELS-2009-ChenouardJ #automation #constraints: Automatically Discovering Hidden Transformation Chaining Constraints (RC, FJ), pp. 92–106.
MoDELS-2009-Chimiak-Opoka #constraints #ocl: OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MoDELS-2009-HorvathV #constraints #csp #modelling #problem: CSP(M): Constraint Satisfaction Problem over Models (ÁH, DV), pp. 107–121.
MoDELS-2009-ChenouardJ #automation #constraints: Automatically Discovering Hidden Transformation Chaining Constraints (RC, FJ), pp. 92–106.
MoDELS-2009-Chimiak-Opoka #constraints #ocl: OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MoDELS-2009-HorvathV #constraints #csp #modelling #problem: CSP(M): Constraint Satisfaction Problem over Models (ÁH, DV), pp. 107–121.
TOOLS-EUROPE-2009-StrickerHS #constraints #design #diagrams #uml #using: Designing Design Constraints in the UML Using Join Point Designation Diagrams (VS, SH, DS), pp. 57–76.
LOPSTR-2009-DegraveSV #constraints #framework #generative #testing #towards: Towards a Framework for Constraint-Based Test Case Generation (FD, TS, WV), pp. 128–142.
LOPSTR-2009-PilozziSB #approach #constraints #proving: A Transformational Approach for Proving Properties of the CHR Constraint Store (PP, TS, MB), pp. 22–36.
PPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation #semantics: Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.
PPDP-2009-FalaschiOP #abstract interpretation #concurrent #constraints #framework #source code: A framework for abstract interpretation of timed concurrent constraint programs (MF, CO, CP), pp. 207–218.
POPL-2009-Monniaux #abstraction #automation #composition #constraints #linear: Automatic modular abstractions for linear constraints (DM), pp. 140–151.
RE-2009-SalinesiDDMR #constraints #finite #modelling #product line #programming: Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models (CS, DD, OD, RM, CR), pp. 375–376.
SAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #sequence chart #uml #validation: Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.
SAC-2009-Brand #composition #constraints #matrix #problem: The sum-of-increments constraint in the consecutive-ones matrix decomposition problem (SB), pp. 1417–1418.
SAC-2009-BriggsA #algebra #constraints #parametricity #specification: Algebraic specification techniques for parametric types with logic-based constraints (DB, SA), pp. 1890–1897.
SAC-2009-DungDH #constraints #framework #graph #optimisation: LS(graph & tree): a local search framework for constraint optimization on graphs and trees (PQD, YD, PVH), pp. 1402–1407.
SAC-2009-GaoZL #algorithm #constraints #fuzzy #optimisation: A particle swarm optimization based algorithm for fuzzy bilevel decision making with constraints-shared followers (YG, GZ, JL), pp. 1075–1079.
SAC-2009-HallerJSSW #constraints #geometry: Body-and-cad geometric constraint systems (KH, ALSJ, MS, IS, NW), pp. 1127–1131.
SAC-2009-PopovaS #analysis #constraints #modelling: Constraint-based modelling and analysis of organisations (VP, AS), pp. 283–284.
SAC-2009-YangLLW #approach #approximate #constraints #theorem proving: An approximate approach to constraint solving in soft sensing (TY, ZL, XL, HW), pp. 1415–1416.
SAC-2009-YipH #bound #consistency #constraints: Length-lex bound consistency for knapsack constraints (JY, PVH), pp. 1397–1401.
ESEC-FSE-2009-Bronsard #constraints #framework: Practical framework constraints (FB), pp. 273–276.
CADE-2009-MaLZ #constraints #linear: Volume Computation for Boolean Combination of Linear Arithmetic Constraints (FM, SL, JZ), pp. 453–468.
CAV-2009-Ben-Amram #constraints #ranking #termination: Size-Change Termination, Monotonicity Constraints and Ranking Functions (AMBA), pp. 109–123.
CAV-2009-KitchenK #constraints #integer #markov #monte carlo: A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints (NK, AK), pp. 446–461.
CAV-2009-LammichMW #automaton #constraints #network #set: Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints (PL, MMO, AW), pp. 525–539.
CSL-2009-AtseriasW #consistency #constraints #decidability #problem: Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems (AA, MW), pp. 102–116.
ICLP-2009-BottalicoB #biology #constraints: Constraint Based Languages for Biological Reactions (MB, SB), pp. 561–562.
ICLP-2009-CampliB #concurrent #constraints: Capturing Fair Computations on Concurrent Constraint Language (PC, SB), pp. 559–560.
ICLP-2009-GavanelliAL #abduction #constraints #integration #optimisation #reasoning: Integration of Abductive Reasoning and Constraint Optimization in SCIFF (MG, MA, EL), pp. 387–401.
ICLP-2009-GebserKKS #constraints #implementation #on the: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (MG, RK, BK, TS), pp. 250–264.
ICLP-2009-GebserOS #constraints #set: Constraint Answer Set Solving (MG, MO, TS), pp. 235–249.
ICLP-2009-Have #analysis #biology #constraints #modelling #sequence #statistics: Logic-Statistic Models with Constraints for Biological Sequence Analysis (CTH), pp. 549–550.
ICLP-2009-HildebrandtL #concurrent #constraints #pattern matching #programming: Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming (TTH, HAL), pp. 417–431.
ICLP-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.
ICLP-2009-PaluDPR #constraints #lazy evaluation #programming #set #using: Answer Set Programming with Constraints Using Lazy Grounding (ADP, AD, EP, GR), pp. 115–129.
ICLP-2009-Raiser #constraints #graph transformation #research #summary #using: Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules (Research Summary) (FR), pp. 540–541.
ICLP-2009-Sneyers #compilation #complexity #constraints #optimisation: Optimizing Compilation and Computational Complexity of Constraint Handling Rules (JS), pp. 494–498.
ICLP-2009-Zhou #constraints #encoding: Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC (NFZ), pp. 402–416.
ICST-2009-Gotlieb #c #constraints #framework #named #source code #testing: Euclide: A Constraint-Based Testing Framework for Critical C Programs (AG), pp. 151–160.
ISSTA-2009-KiezunGGHE #constraints #named #string: HAMPI: a solver for string constraints (AK, VG, PJG, PH, MDE), pp. 105–116.
LICS-2009-BulatovM #complexity #constraints: The Complexity of Global Cardinality Constraints (AAB, DM), pp. 419–428.
SAT-2009-BailleuxBR #constraints #encoding #pseudo: New Encodings of Pseudo-Boolean Constraints into CNF (OB, YB, OR), pp. 181–194.
TAP-2009-FazlalizadehKAP #constraints #performance #testing: Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization (YF, AK, MAA, SP), pp. 43–57.
TestCom-FATES-2009-GrieskampQWKC #constraints #interactive #smt #theorem proving: Interaction Coverage Meets Path Coverage by SMT Constraint Solving (WG, XQ, XW, NK, MBC), pp. 97–112.
VMCAI-2009-GulwaniSV #abstraction #constraints #invariant: Constraint-Based Invariant Inference over Predicate Abstraction (SG, SS, RV), pp. 120–135.
VMCAI-2009-TalyGT #constraints #logic #theorem proving #using: Synthesizing Switching Logic Using Constraint Solving (AT, SG, AT), pp. 305–319.
ECSA-2008-MyllarniemiPRGM #approach #architecture #constraints #distributed: Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints (VM, CP, MR, JvG, TM), pp. 180–195.
ECSA-2008-TerraV #architecture #constraints #dependence #towards: Towards a Dependency Constraint Language to Manage Software Architectures (RT, MTdOV), pp. 256–263.
ASE-2008-KhalekELK #constraints #generative #relational #testing #theorem proving #using: Query-Aware Test Generation Using a Relational Constraint Solver (SAK, BE, YOL, SK), pp. 238–247.
ASE-2008-ShenLXS #collaboration #constraints #distributed #maintenance #modelling #uml: Distributed Constraints Maintenance in Collaborative UML Modeling Environments (HS, SL, SX, CS), pp. 367–370.
ASE-2008-WalkinshawB #constraints #finite #modelling: Inferring Finite-State Models with Temporal Constraints (NW, KB), pp. 248–257.
CASE-2008-Kim #clustering #constraints: Stable schedule for a single-armed cluster tool with time constraints (JHK), pp. 97–102.
CASE-2008-WuZPCC #clustering #constraints #modelling #petri net #process #realtime #tool support: Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations (NW, MZ, SP, FC, CC), pp. 109–114.
DAC-2008-HurstMB #constraints #scalability: Scalable min-register retiming under timing and initializability constraints (APH, AM, RKB), pp. 534–539.
DATE-2008-CalimeraBM #constraints #performance #power management: Optimal MTCMOS Reactivation Under Power Supply Noise and Performance Constraints (AC, LB, EM), pp. 973–978.
DATE-2008-FreuerJGN #constraints #design #higher-order #on the #verification: On the Verification of High-Order Constraint Compliance in IC Design (JBF, GJ, JG, WN), pp. 26–31.
DATE-2008-IzosimovPEP #constraints #embedded #fault tolerance #scheduling: Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints (VI, PP, PE, ZP), pp. 915–920.
DATE-2008-KimSTDV #adaptation #constraints #online #refinement: Constraint Refinement for Online Verifiable Cross-Layer System Adaptation (MK, MOS, CLT, ND, NV), pp. 646–651.
DATE-2008-PlazaMB #constraints #generative #random #using: Random Stimulus Generation using Entropy and XOR Constraints (SP, ILM, VB), pp. 664–669.
DATE-2008-VytyazHMM #analysis #constraints #design #similarity: Periodic Steady-State Analysis Augmented with Design Equality Constraints (IV, PKH, UKM, KM), pp. 312–317.
DATE-2008-XueSSQ #clustering #constraints #effectiveness #memory management #scheduling: Effective Loop Partitioning and Scheduling under Memory and Register Dual Constraints (CJX, EHMS, ZS, MQ), pp. 1202–1207.
PODS-2008-CohenKS #constraints #probability #xml: Incorporating constraints in probabilistic XML (SC, BK, YS), pp. 109–118.
PODS-2008-JhaRS #constraints #evaluation #query: Query evaluation with soft-key constraints (AKJ, VR, DS), pp. 119–128.
SIGMOD-2008-BenediktJL #constraints #xml: Stream firewalling of xml constraints (MB, AJ, RLW), pp. 487–498.
SIGMOD-2008-ChenC #constraints #query: Minimization of tree pattern queries with constraints (DC, CYC), pp. 609–622.
VLDB-2008-AvanesF #adaptation #constraints #network #resource management #scheduling #workflow: Adaptive workflow scheduling under resource allocation constraints and network dynamics (AA, JCF), pp. 1631–1637.
VLDB-2008-Cohen #constraints #generative #using #xml: Generating XML structure using examples and constraints (SC), pp. 490–501.
VLDB-2008-FanGJ08a #constraints: A revival of integrity constraints for data cleaning (WF, FG, XJ), pp. 1522–1523.
VLDB-2008-XiaoWL #algorithm #constraints #distance #edit distance #named #performance #similarity: Ed-Join: an efficient algorithm for similarity joins with edit distance constraints (CX, WW, XL), pp. 933–944.
ESOP-2008-BuscemiM #bisimulation #concurrent #constraints #π-calculus: Open Bisimulation for the Concurrent Constraint π-Calculus (MGB, UM), pp. 254–268.
ESOP-2008-MartinFS #constraints #game studies: Playing with TOY: Constraints and Domain Cooperation (SEM, AJF, FSP), pp. 112–115.
FASE-2008-OrejasEP #constraints #graph #logic: A Logic of Graph Constraints (FO, HE, UP), pp. 179–198.
TACAS-2008-BoonstoppelCE #constraints #explosion #generative #named #testing: RWset: Attacking Path Explosion in Constraint-Based Test Generation (PB, CC, DRE), pp. 351–366.
ICPC-2008-FeilkasR #api #constraints: Ensuring Well-Behaved Usage of APIs through Syntactic Constraints (MF, DR), pp. 248–253.
ICSM-2008-XiaoWLYZX #constraints #development #maintenance #process #scheduling: A constraint-driven human resource scheduling method in software development and maintenance process (JX, QW, ML, YY, FZ, LX), pp. 17–26.
PLDI-2008-GulwaniSV #constraints #program analysis #theorem proving: Program analysis as constraint solving (SG, SS, RV), pp. 281–292.
SAS-2008-RuggieriM #constraints #linear #source code #type system: Typing Linear Constraints for Moding CLP() Programs (SR, FM), pp. 128–143.
STOC-2008-AroraKKSTV #constraints #game studies #graph: Unique games on expanding constraint graphs are easy: extended abstract (SA, SK, AK, DS, MT, NKV), pp. 21–28.
STOC-2008-BodirskyK #complexity #constraints #problem: The complexity of temporal constraint satisfaction problems (MB, JK), pp. 29–38.
FLOPS-2008-CaballeroRV #constraints #declarative #functional #logic programming: Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.
FLOPS-2008-MellarkodG #constraints #reasoning #set #theorem proving: Integrating Answer Set Reasoning with Constraint Solving Techniques (VSM, MG), pp. 15–31.
FLOPS-2008-NievaSS #constraints #database #deduction #formal method: Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (SN, JSH, FSP), pp. 289–304.
DLT-2008-FiliotTT #automaton #constraints: Tree Automata with Global Constraints (EF, JMT, ST), pp. 314–326.
ICALP-A-2008-Bulatov #complexity #constraints #problem: The Complexity of the Counting Constraint Satisfaction Problem (AAB), pp. 646–661.
ICALP-B-2008-BodirskyG #complexity #constraints: Non-dichotomies in Constraint Satisfaction Complexity (MB, MG), pp. 184–196.
ICALP-B-2008-Chen #constraints #quantifier: Quantified Constraint Satisfaction and the Polynomially Generated Powers Property (HC), pp. 197–208.
FM-2008-UzuncaovaK #analysis #constraints #declarative #modelling #performance: Constraint Prioritization for Efficient Analysis of Declarative Models (EU, SK), pp. 310–325.
SEFM-2008-CimattiRST #constraints #modelling: Object Models with Temporal Constraints (AC, MR, AS, ST), pp. 249–258.
SEFM-2008-TavaresSM #constraints #embedded #energy #scheduling: An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints (ET, BS, PRMM), pp. 291–300.
ICFP-2008-RemyY #constraints #ml #performance #type inference: From ML to ML^F: graphic type constraints with efficient type inference (DR, BY), pp. 63–74.
GT-VMT-2006-WinkelmannTEK08 #constraints #generative #graph grammar #metamodelling #ocl #strict: Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars (JW, GT, KE, JMK), pp. 159–170.
ICGT-2008-Orejas #constraints #graph: Attributed Graph Constraints (FO), pp. 274–288.
CHI-2008-ElmqvistTT #3d #constraints: Evaluating motion constraints for 3D wayfinding in immersive and desktop virtual environments (NE, MET, PT), pp. 1769–1778.
CAiSE-2008-QueraltT #constraints #decidability #reasoning #uml: Decidable Reasoning in UML Schemas with Constraints (AQ, ET), pp. 281–295.
CIKM-2008-WangCZL #constraints #learning #metric: Semi-supervised metric learning by maximizing constraint margin (FW, SC, CZ, TL), pp. 1457–1458.
ICML-2008-LiLT #classification #constraints #programming: Pairwise constraint propagation by semidefinite programming for semi-supervised classification (ZL, JL, XT), pp. 576–583.
ICPR-2008-CamposJ #constraints #learning #network #parametricity #using: Improving Bayesian Network parameter learning using constraints (CPdC, QJ), pp. 1–4.
ICPR-2008-ChakrabortyE #constraints #invariant #locality #using: Object localization using affine invariant substructure constraints (IC, AME), pp. 1–5.
ICPR-2008-ChangLAH #clique #clustering #constraints #using: Unsupervised clustering using hyperclique pattern constraints (YC, DJL, JKA, YH), pp. 1–4.
ICPR-2008-ChenS #constraints #image #segmentation: Medical image segmentation via min s-t cuts with sides constraints (JHC, LGS), pp. 1–4.
ICPR-2008-El-ZehiryE #constraints: Agraph cut based active contour without edges with relaxed homogeneity constraint (NYEZ, AE), pp. 1–4.
ICPR-2008-GritaiBS #2d #constraints #geometry #modelling: Geometric constraints on 2D action models for tracking human body (AG, AB, MS), pp. 1–4.
ICPR-2008-JradGB #constraints #learning #multi #performance: Supervised learning rule selection for multiclass decision with performance constraints (NJ, EGM, PB), pp. 1–4.
ICPR-2008-MaCL #collaboration #constraints #invariant #kernel #multi: Multi-cue collaborative kernel tracking with cross ratio invariant constraint (LM, JC, HL), pp. 1–4.
ICPR-2008-ShenAF #constraints #recognition: Action recognition based on homography constraints (YS, NA, HF), pp. 1–4.
ICPR-2008-TangG #constraints #graph #segmentation #video: Video object segmentation based on graph cut with dynamic shape prior constraint (PT, LG), pp. 1–4.
ICPR-2008-TeoLCS #3d #constraints #recognition #robust: 3D ordinal constraint in spatial configuration for robust scene recognition (CLT, SL, LFC, JS), pp. 1–5.
ICPR-2008-VanacloigOGG #constraints #people #realtime #recognition: People and luggage recognition in airport surveillance under real-time constraints (VLAV, JARO, GAG, JMVG), pp. 1–4.
ICPR-2008-XuM #constraints #estimation #robust: Robust relative pose estimation with integrated cheirality constraint (WX, JM), pp. 1–4.
KDD-2008-HuYS #constraints #named #permutation #proximity: Permu-pattern: discovery of mutable permutation patterns with proximity constraint (MH, JY, WS), pp. 318–326.
KDD-2008-RaedtGN #constraints #mining #programming: Constraint programming for itemset mining (LDR, TG, SN), pp. 204–212.
KR-2008-ArtaleGK #constraints #formal method: Formalising Temporal Constraints on Part-Whole Relations (AA, NG, CMK), pp. 673–683.
KR-2008-CaliGK #constraints #infinity #query #relational: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints (AC, GG, MK), pp. 70–80.
KR-2008-CalvaneseGLLR #constraints #identification #logic: Path-Based Identification Constraints in Description Logics (DC, GDG, DL, ML, RR), pp. 231–241.
RecSys-2008-Zanker #collaboration #constraints #recommendation: A collaborative constraint-based meta-level recommender (MZ), pp. 139–146.
SEKE-2008-CheonCLC #constraints #performance #random testing #testing: Integrating Random Testing with Constraints for Improved Efficiency and Diversity (YC, AC, GTL, MC), pp. 861–866.
SEKE-2008-NicaPW #automation #constraints #deployment: A Constraint Model for Automated Deployment of Automotive Control Software (MN, BP, FW), pp. 899–904.
SEKE-2008-ParkK #automaton #bound #constraints #lts #model checking #using: Using Boolean Cardinality Constraint for LTS Bounded Model Checking (SP, GK), pp. 537–542.
SIGIR-2008-LeeKJ #algorithm #constraints #learning: Fixed-threshold SMO for Joint Constraint Learning Algorithm of Structural SVM (CL, HK, MGJ), pp. 829–830.
MoDELS-2008-El-BoussaidiM #constraints #design #detection #using: Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.
MoDELS-2008-JanotaKW #constraints #interactive #semantics #syntax: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
MoDELS-2008-Ramos #constraints #relational #uml: Contrary-to-Duties Constraints: From UML to Relational Model (PNR), pp. 460–474.
MoDELS-2008-El-BoussaidiM #constraints #design #detection #using: Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.
MoDELS-2008-JanotaKW #constraints #interactive #semantics #syntax: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
MoDELS-2008-Ramos #constraints #relational #uml: Contrary-to-Duties Constraints: From UML to Relational Model (PNR), pp. 460–474.
GPCE-2008-ZhangAN #constraints #optimisation #theorem proving: From generic to specific: off-line optimization for a general constraint solver (YZ, TA, FN), pp. 45–54.
PPDP-2008-ChenouardGS #constraints #modelling #programming: Model-driven constraint programming (RC, LG, RS), pp. 236–246.
PPDP-2008-FeydySS #constraints #difference #finite: Global difference constraint propagation for finite domain solvers (TF, AS, PJS), pp. 226–235.
PPDP-2008-MartinFHRSV #constraints: Cooperation of constraint domains in the TOY system (SEM, AJF, MTHG, MRA, FSP, RdVV), pp. 258–268.
PPDP-2008-SulzmannL #constraints #execution #parallel: Parallel execution of multi-set constraint rewrite rules (MS, ESLL), pp. 20–31.
QAPL-2008-Bortolussi #approximate #concurrent #constraints #equation #on the #probability #programming: On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation (LB), pp. 163–180.
PADL-2008-BrandDPS #constraints #flexibility #rule-based: Flexible, Rule-Based Constraint Model Linearisation (SB, GJD, JP, PJS), pp. 68–83.
PADL-2008-Subbarayan #constraints #performance #reasoning #theorem proving: Efficient Reasoning for Nogoods in Constraint Solvers with BDDs (SS), pp. 53–67.
SAC-2008-Djelloul #constraints #first-order: Combination of decomposability and propagation for solving first-order constraints in decomposable theories (KD), pp. 1728–1732.
SAC-2008-DouillardJ #constraints #heuristic: Splitting heuristics for disjunctive numerical constraints (TD, CJ), pp. 140–144.
SAC-2008-GuerraLF #constraints #energy #realtime #web: Attaining soft real-time constraint and energy-efficiency in web servers (RG, JCBL, GF), pp. 2085–2089.
SAC-2008-JermannH #approach #constraints #geometry #sketching: A constraint hierarchies approach to geometric constraints on sketches (CJ, HH), pp. 1843–1844.
SAC-2008-OlarteV #concurrent #constraints #security #semantics: Universal concurrent constraint programing: symbolic semantics and applications to security (CO, FDV), pp. 145–150.
FSE-2008-DoMTR #constraints #empirical #testing: An empirical study of the effect of time constraints on the cost-benefits of regression testing (HD, SM, LT, GR), pp. 71–82.
ICSE-2008-ChenY #constraints #dependence #grid #verification #workflow: Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems (JC, YY), pp. 141–150.
HPCA-2008-ChenMP #constraints #graph #memory management #runtime #using #validation: Runtime validation of memory ordering using constraint graph checking (KC, SM, PP), pp. 415–426.
HPCA-2008-SalverdaZ #constraints #performance: Fundamental performance constraints in horizontal fusion of in-order cores (PS, CBZ), pp. 252–263.
SMT-2007-RozanovS08 #constraints #generative #logic #similarity #transitive: Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic (MR, OS), pp. 3–17.
CAV-2008-GulwaniT #analysis #approach #constraints #hybrid: Constraint-Based Approach for Analysis of Hybrid Systems (SG, AT), pp. 190–203.
CSL-2008-CharatonikW #constraints #quantifier: Quantified Positive Temporal Constraints (WC, MW), pp. 94–108.
CSL-2008-CreignouSS #constraints #problem: Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (NC, HS, IS), pp. 109–123.
ICLP-2008-ArandaPRV #behaviour #concurrent #constraints #probability #programming: Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming (JA, JAP, CR, FDV), pp. 682–686.
ICLP-2008-BelhaouariP #approach #automation #constraints #logic programming #testing: A Constraint Logic Programming Approach to Automated Testing (HB, FP), pp. 754–758.
ICLP-2008-BeniniBM #constraints #multi #policy #programming #resource management #using: Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming (LB, DB, MM), pp. 470–484.
ICLP-2008-CaropreseT #constraints #declarative #semantics: Declarative Semantics for Active Integrity Constraints (LC, MT), pp. 269–283.
ICLP-2008-Cipriano #constraints #modelling #on the #programming #tool support: On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools (RC), pp. 803–804.
ICLP-2008-CodishLS #constraints #partial order #problem: Telecommunications Feature Subscription as a Partial Order Constraint Problem (MC, VL, PJS), pp. 749–753.
ICLP-2008-Parisini #constraints: Bi-dimensional Domains for the Non-overlapping Rectangles Constraint (FP), pp. 811–812.
ICLP-2008-PerezR #concurrent #constraints #nondeterminism #programming: Non-determinism and Probabilities in Timed Concurrent Constraint Programming (JAP, CR), pp. 677–681.
ICLP-2008-Santini #constraints #quality: Managing Quality of Service with Soft Constraints (FS), pp. 815–817.
ICLP-2008-Schrijvers #constraints: Constraint Handling Rules (TS), pp. 9–10.
ICLP-2008-SchrijversS #constraints #transaction: Transactions in Constraint Handling Rules (TS, MS), pp. 516–530.
ICLP-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.
ICLP-2008-SivaLZ #case study #constraints #database #sql: A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract) (SS, JJL, HZ), pp. 774–778.
ICLP-2008-SzymanekL #constraints: Constraint-Level Advice for Shaving (RS, CL), pp. 636–650.
ICLP-2008-Triska #constraints #finite #theorem proving: Generalising Constraint Solving over Finite Domains (MT), pp. 820–821.
ICLP-2008-ZhangYLM #algorithm #constraints #functional #performance: Efficient Algorithms for Functional Constraints (YZ, RHCY, CL, SM), pp. 606–620.
ISSTA-2008-ElkarabliehMK #constraints #performance: Efficient solving of structural constraints (BE, DM, SK), pp. 39–50.
LICS-2008-CarvalhoDK #constraints #problem: Caterpillar Duality for Constraint Satisfaction Problems (CC, VD, AAK), pp. 307–316.
LICS-2008-ChenMM #constraints #problem #quantifier: Quantified Constraints and Containment Problems (HC, FRM, BM), pp. 317–328.
TAP-2008-CalvagnaG #approach #combinator #constraints #testing: A Logic-Based Approach to Combinatorial Testing with Constraints (AC, AG), pp. 66–83.
VMCAI-2008-BagnaraHZ #algorithm #constraints #integer: An Improved Tight Closure Algorithm for Integer Octagonal Constraints (RB, PMH, EZ), pp. 8–21.
VMCAI-2008-PiskacK #constraints #multi: Decision Procedures for Multisets with Cardinality Constraints (RP, VK), pp. 218–232.
CBSE-2007-MallickS #algorithm #approach #constraints #web #web service: Capturing Web Services Provider Constraints — An Algorithmic Approach (SM, SVS), pp. 211–226.
ASE-2007-CabotCR #constraints #modelling #named #ocl #programming #uml #using #verification: UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming (JC, RC, DR), pp. 547–548.
DAC-2007-GoswamiTKR #constraints #exception #generative #testing: Test Generation in the Presence of Timing Exceptions and Constraints (DG, KHT, MK, JR), pp. 688–693.
DATE-2007-AtasuDMLOD #constraints #optimisation: Optimizing instruction-set extensible processors under data bandwidth constraints (KA, RGD, OM, WL, CCÖ, GD), pp. 588–593.
DATE-2007-GrossschadlTRHM #constraints #energy #evaluation #implementation #memory management: Energy evaluation of software implementations of block ciphers under memory constraints (JG, ST, CR, MH, MM), pp. 1110–1115.
DATE-2007-SatishRK #approach #communication #constraints #graph #multi #optimisation #scheduling: A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multiprocessors (NS, KR, KK), pp. 57–62.
DATE-2007-WatanabeKINN #constraints #energy #interactive #multi #performance #scheduling: Interactive presentation: Task scheduling under performance constraints for reducing the energy consumption of the GALS multi-processor SoC (RW, MK, MI, HN, TN), pp. 797–802.
ICDAR-2007-Mace #constraints #documentation #incremental #multi #online #parsing: Context-Driven Constraint Multiset Grammars with Incremental Parsing for On-line Structured Document Interpretation (SM), pp. 442–446.
PODS-2007-CautisAM #constraints #reasoning #xml: Reasoning about XML update constraints (BC, SA, TM), pp. 195–204.
SIGMOD-2007-ChaudhuriSGK #constraints: Leveraging aggregate constraints for deduplication (SC, ADS, VG, RK), pp. 437–448.
SIGMOD-2007-XuJ #adaptation #constraints: Adaptive location constraint processing (ZX, HAJ), pp. 581–592.
VLDB-2007-BurdickDRV #constraints: OLAP over Imprecise Data with Domain Constraints (DB, AD, RR, SV), pp. 39–50.
WRLA-J-2004-CirsteaFK07 #calculus #constraints: A rho-calculus of explicit constraint application (HC, GF, CK), pp. 37–72.
WRLA-J-2004-Lopez-FraguasRV07 #constraints #functional #logic programming: A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.
WRLA-2006-WirsingDTPB07 #constraints #framework #logic: A Rewriting Logic Framework for Soft Constraints (MW, GD, CLT, AP, LB), pp. 181–197.
ESOP-2007-BuscemiM #constraints #named #specification: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements (MGB, UM), pp. 18–32.
FASE-2007-TibermacineHK #architecture #component #constraints #deployment #distributed: Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software (CT, DH, RK), pp. 140–154.
FoSSaCS-2007-Comon-LundhJP #automaton #constraints #memory management: Tree Automata with Memory, Visibility and Structural Constraints (HCL, FJ, NP), pp. 168–182.
FoSSaCS-2007-MarnetteKR #bound #constraints #polynomial #set: Polynomial Constraints for Sets with Cardinality Bounds (BM, VK, MCR), pp. 258–273.
ICPC-2007-ShearerC #constraints #source code: Enforcing Constraints Between Documentary Comments and Source Code (CDS, MLC), pp. 271–280.
WCRE-2007-Marinescu #constraints #enterprise: Discovering the Objectual Meaning of Foreign Key Constraints in Enterprise Applications (CM), pp. 100–109.
PLDI-2007-KodumalA #constraints #set: Regularly annotated set constraints (JK, AA), pp. 331–341.
SAS-2007-Tip #constraints #refactoring #using: Refactoring Using Type Constraints (FT), pp. 1–17.
STOC-2007-LauNSS #constraints #design #network #order: Survivable network design with degree or order constraints (LCL, JN, MRS, MS), pp. 651–660.
ICALP-2007-BodirskyCKO #constraints: Maximal Infinite-Valued Constraint Languages (MB, HC, JK, TvO), pp. 546–557.
ICALP-2007-LaroseT #algebra #constraints #problem: Universal Algebra and Hardness Results for Constraint Satisfaction Problems (BL, PT), pp. 267–278.
ILC-2007-Frank #constraints #lisp #theorem proving: Constraint solving in common Lisp (SF), p. 10.
AGTIVE-2007-BauerDTW #analysis #constraints #ocl #synthesis #verification: Verification and Synthesis of OCL Constraints Via Topology Analysis (JB, WD, TT, BW), pp. 361–376.
GT-VMT-2007-KohlerLT #constraints #graph #model transformation: Ensuring Containment Constraints in Graph-based Model Transformation Approaches (CK, HL, GT).
CHI-2007-BrumbyHS #constraints #trade-off: A cognitive constraint model of dual-task trade-offs in a highly dynamic driving task (DPB, AH, DDS), pp. 233–242.
CHI-2007-PattenI #constraints #interface: Mechanical constraints as computational constraints in tabletop tangible interfaces (JP, HI), pp. 809–818.
HCI-IPT-2007-MaceA #constraints #design #diagrams #editing #multi: Design of a Pen-Based Electric Diagram Editor Based on Context-Driven Constraint Multiset Grammars (SM, ÉA), pp. 418–428.
HCI-MIE-2007-ChangKP #constraints #evolution #set #using: Lip Contour Extraction Using Level Set Curve Evolution with Shape Constraint (JSC, EYK, SHP), pp. 583–588.
ICEIS-DISI-2007-NguyenT #constraints #identification #ontology #web: Integrating identification constraints in web ontology (TDTN, NLT), pp. 338–343.
CIKM-2007-ZhangTLW #ambiguity #constraints #framework #probability: A constraint-based probabilistic framework for name disambiguation (DZ, JT, JZL, KW), pp. 1019–1022.
ICML-2007-DavidsonR #clustering #constraints: Intractability and clustering with constraints (ID, SSR), pp. 201–208.
ICML-2007-HoiJL #constraints #kernel #learning #matrix #parametricity: Learning nonparametric kernel matrices from pairwise constraints (SCHH, RJ, MRL), pp. 361–368.
ICML-2007-NelsonC #clustering #constraints #modelling #probability: Revisiting probabilistic models for clustering with pair-wise constraints (BN, IC), pp. 673–680.
ICML-2007-ZhangY #classification #consistency #constraints #on the: On the value of pairwise constraints in classification and consistency (JZ, RY), pp. 1111–1118.
KDD-2007-GeEJD #clustering #constraints: Constraint-driven clustering (RG, ME, WJ, ID), pp. 320–329.
KDD-2007-LiuJJ #clustering #constraints #named: BoostCluster: boosting clustering by pairwise constraints (YL, RJ, AKJ), pp. 450–459.
SEKE-2007-CordeiroGES #classification #constraints #database #design #version control: A Deep Classification of Temporal Versioned Integrity Constraints for Designing Database Applications (RLFC, RdMG, NE, CSdS), pp. 416–421.
SEKE-2007-ViswanathS #constraints #database #query: Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints (NV, RS), pp. 580–585.
SIGIR-2007-VelipasaogluSP #constraints #learning: Improving active learning recall via disjunctive boolean constraints (EV, HS, JOP), pp. 893–894.
ECMDA-FA-2007-LagardeTAG #constraints #modelling #uml: Constraints Modeling for (Profiled) UML Models (FL, FT, CA, SG), pp. 130–143.
LOPSTR-2007-AbdennadherS #approach #constraints #generative #rule-based #theorem proving: Generation of Rule-Based Constraint Solvers: Combined Approach (SA, IS), pp. 106–120.
LOPSTR-2007-ZhangN #constraints #scalability #theorem proving #unification #using: A Scalable Inclusion Constraint Solver Using Unification (YZ, FN), pp. 121–137.
QAPL-2007-BistarelliMRS #constraints #graph #logic programming #modelling #multi #using: Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming (SB, UM, FR, FS), pp. 111–127.
QAPL-2007-BortolussiP #concurrent #constraints #difference #equation #probability #programming: Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.
PADL-2007-BarahonaK #approach #constraints #problem #programming: A Constraint Programming Approach to Bioinformatics Structural Problems (PB, LK), pp. 33–49.
PADL-2007-Sarna-StarostaR #compilation #constraints #evaluation #performance: Compiling Constraint Handling Rules for Efficient Tabled Evaluation (BSS, CRR), pp. 170–184.
RE-2007-Alexander #constraints #experience: Choosing a Tram Route: An Experience in Trading-Off Constraints (IA), pp. 350–355.
REFSQ-2007-BoydZG #constraints #requirements #specification: Optimal-Constraint Lexicons for Requirements Specifications (SB, DZ, VG), pp. 203–217.
SAC-MT-J-2006-CabotT07 #constraints #ocl: Transformation techniques for OCL constraints (JC, ET), pp. 179–195.
SAC-2007-BordeauxS #constraints #framework #on the #probability: On the stochastic constraint satisfaction framework (LB, HS), pp. 316–320.
SAC-2007-BordeauxZ #constraints #linear #quantifier: A solver for quantified Boolean and linear constraints (LB, LZ), pp. 321–325.
SAC-2007-DjelloulDF #constraints #finite #first-order #infinity #prolog #theorem proving #towards #unification #using: Toward a first-order extension of Prolog’s unification using CHR: a CHR first-order constraint solver over finite or infinite trees (KD, TBHD, TWF), pp. 58–64.
SAC-2007-FrancisS #constraints #graph: Constraint propagation for loose constraint graphs (KF, PJS), pp. 334–335.
SAC-2007-HebertBC #anti #constraints #optimisation: Optimizing hypergraph transversal computation with an anti-monotone constraint (CH, AB, BC), pp. 443–444.
SAC-2007-KunXY #algorithm #constraints #geometry #parallel #theorem proving: Parallel algorithms on geometric constraint solving (KJ, YG, XL, YZ), pp. 778–779.
SAC-2007-LebbahMR #constraints #implementation #performance #reduction #using: Using constraint techniques for a safe and fast implementation of optimality-based reduction (YL, CM, MR), pp. 326–331.
SAC-2007-MengA #automaton #constraints #distributed #web #web service: Web services choreography and orchestration in Reo and constraint automata (SM, FA), pp. 346–353.
SAC-2007-MouhoubS #constraints #problem: Solving conditional and composite constraint satisfaction problems (MM, AS), pp. 336–337.
SAC-2007-ThierryMS #constraints #geometry #towards: Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints (SEBT, PM, PS), pp. 773–777.
ESEC-FSE-2007-FosterEKMRU #composition #constraints #model checking: Model checking service compositions under resource constraints (HF, WE, JK, JM, DSR, SU), pp. 225–234.
ESEC-FSE-2007-SankaranarayananCJI #constraints #feedback #generative #monte carlo #using: State space exploration using feedback constraint generation and Monte-Carlo sampling (SS, RMC, GJ, FI), pp. 321–330.
ICSE-2007-FroihoferGOG #bibliography #constraints #evaluation #java #validation: Overview and Evaluation of Constraint Validation Approaches in Java (LF, GG, JO, KMG), pp. 313–322.
CC-2007-LeeRBM #constraints #control flow #graph #using: Correcting the Dynamic Call Graph Using Control-Flow Constraints (BL, KR, MDB, KSM), pp. 80–95.
PPoPP-2007-Boehm #constraints #order #thread: Reordering constraints for pthread-style locks (HJB), pp. 173–182.
SMT-J-2006-SeshiaSB07 #constraints #on the: On Solving Boolean Combinations of UTVPI Constraints (SAS, KS, REB), pp. 67–90.
CAV-2007-BeckerDEK #constraints #integer #linear #named: LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals (BB, CD, JE, FK), pp. 307–310.
ICLP-2007-CaballeroRV #constraints #debugging #declarative #functional #logic programming: Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 425–427.
ICLP-2007-CaropreseTZ #constraints: View Updating Through Active Integrity Constraints (LC, IT, EZ), pp. 430–431.
ICLP-2007-DovierFP #constraints #multi: Multivalued Action Languages with Constraints in CLP(FD) (AD, AF, EP), pp. 255–270.
ICLP-2007-DuckSS #confluence #constraints: Observable Confluence for Constraint Handling Rules (GJD, PJS, MS), pp. 224–239.
ICLP-2007-FalaschiOPV #concurrent #constraints #declarative #source code: Declarative Diagnosis of Temporal Concurrent Constraint Programs (MF, CO, CP, FV), pp. 271–285.
ICLP-2007-LiuPST #constraints #logic programming #source code: Logic Programs with Abstract Constraint Atoms: The Role of Computations (LL, EP, TCS, MT), pp. 286–301.
ICLP-2007-OlartePV #concurrent #constraints #programming: Universal Timed Concurrent Constraint Programming (CO, CP, FV), pp. 464–465.
ICLP-2007-SneyersWSD #constraints: Aggregates in Constraint Handling Rules (JS, PVW, TS, BD), pp. 446–448.
ISSTA-2007-CohenDS #configuration management #constraints #interactive #testing: Interaction testing of highly-configurable systems in the presence of constraints (MBC, MBD, JS), pp. 129–139.
LICS-2007-BodirskyC #constraints #quantifier #similarity: Quantified Equality Constraints (MB, HC), pp. 203–212.
LICS-2007-EgriLT #constraints #datalog #problem #symmetry: Symmetric Datalog and Constraint Satisfaction Problems in Logspace (LE, BL, PT), pp. 193–202.
RTA-2007-ZanklM #constraints: Satisfying KBO Constraints (HZ, AM), pp. 389–403.
TLCA-2007-LiptonN #constraints #higher-order #logic programming #programming language #semantics: Higher-Order Logic Programming Languages with Constraints: A Semantics (JL, SN), pp. 272–289.
VMCAI-2007-PeronH #abstract domain #bound #constraints #matrix: An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (MP, NH), pp. 268–282.
VMCAI-2007-Revesz #approach #constraints #database #verification: The Constraint Database Approach to Software Verification (PZR), pp. 329–345.
VMCAI-2007-RybalchenkoS #constraints #theorem proving: Constraint Solving for Interpolation (AR, VSS), pp. 346–362.
ASE-2006-LaurentSW #automation #constraints #functional #generative #specification #testing: A methodology for automated test generation guided by functional coverage constraints at specification level (OL, CS, VW), pp. 285–288.
CASE-2006-QiuCS #constraints: Redundant Manipulator Control with Constraints for Subgoals (CQ, QC, YS), pp. 212–217.
CASE-2006-WuN #constraints #evaluation #network #reliability: Evaluation of the Reliability of Emergency Networks under Time Constraints (WwW, XxN), pp. 259–263.
CASE-2006-WuZ #clustering #constraints #petri net #scheduling #tool support: Schedulability and Scheduling of Dual-Arm Cluster Tools with Residency Time Constraints Based on Petri Net (NW, MZ), pp. 87–92.
DAC-2006-AksoyCFM #constraints #integer #linear #optimisation #programming #satisfiability #synthesis #using: Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming (LA, EACdC, PFF, JM), pp. 669–674.
DAC-2006-LinZ #algorithm #constraints #performance: An efficient retiming algorithm under setup and hold constraints (CL, HZ), pp. 945–950.
DAC-2006-MoffittNMP #constraints: Constraint-driven floorplan repair (MDM, ANN, ILM, MEP), pp. 1103–1108.
DAC-2006-OzturkCK #approach #constraints #network #optimisation #parallel: Optimizing code parallelization through a constraint network based approach (ÖÖ, GC, MTK), pp. 863–688.
DAC-2006-PandeyG #communication #constraints #scalability #statistics #synthesis: Statistical on-chip communication bus synthesis and voltage scaling under timing yield constraint (SP, MG), pp. 663–668.
DAC-2006-PengL #constraints #power management: Low-power repeater insertion with both delay and slew rate constraints (YP, XL), pp. 302–307.
DAC-2006-StuijkGB #constraints #data flow #graph #requirements #throughput #trade-off: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs (SS, MG, TB), pp. 899–904.
DAC-2006-WuH #bound #constraints #equivalence #mining: Mining global constraints for improving bounded sequential equivalence checking (WW, MSH), pp. 743–748.
DATE-2006-CherrounDF #constraints #equation #scheduling #using: Scheduling under resource constraints using dis-equations (HC, AD, PF), pp. 1067–1072.
DATE-2006-HsuCK #constraints #energy #multi #realtime #synthesis: Multiprocessor synthesis for periodic hard real-time tasks under a given energy constraint (HRH, JJC, TWK), pp. 1061–1066.
DATE-2006-PolianF #constraints #functional #testing: Functional constraints vs. test compression in scan-based delay testing (IP, HF), pp. 1039–1044.
DATE-2006-ZhouW #constraints #self: Software-based self-test of processors under power constraints (JZ, HJW), pp. 430–435.
DocEng-2006-TriebseesB #constraints #documentation #migration: Preservation-centric and constraint-based migration of digital documents (TT, UMB), pp. 59–61.
PODS-2006-YangKC #constraints: Efficiently ordering subgoals with access constraints (GY, MK, VKC), pp. 183–192.
SIGMOD-2006-SilbersteinBY #constraints #energy #monitoring #network: Constraint chaining: on energy-efficient continuous monitoring in sensor networks (AS, RB, JY), pp. 157–168.
TACAS-2006-CollavizzaR #constraints #programming #verification: Exploration of the Capabilities of Constraint Programming for Software Verification (HC, MR), pp. 182–196.
ICSM-2006-Hou #constraints #design #source code #using: Using Structural Constraints to Specify and Check Design Intent in Source Code — Ph.D. Dissertation Synopsis (DH), pp. 343–346.
STOC-2006-AchlioptasR #constraints #geometry #on the #problem #random: On the solution-space geometry of random constraint satisfaction problems (DA, FRT), pp. 130–139.
CIAA-2006-ConstantM #automaton #compilation #constraints #finite: Compiling Linguistic Constraints into Finite State Automata (MC, DM), pp. 242–252.
CAiSE-2006-Al-MuhammedE #constraints: Resolving Underconstrained and Overconstrained Systems of Conjunctive Constraints for Service Requests (MAM, DWE), pp. 223–238.
CAiSE-2006-CabotT #constraints #evaluation #incremental #ocl: Incremental Evaluation of OCL Constraints (JC, ET), pp. 81–95.
ICEIS-AIDSS-2006-ShrLC #approach #constraints #scheduling: A Load Balancing Scheduling Approach for Dedicated Machine Constraint (AMDS, AL, PPC), pp. 170–175.
ICML-2006-LawrenceC #constraints #distance: Local distance preservation in the GP-LVM through back constraints (NDL, JQC), pp. 513–520.
ICML-2006-NarasimhanVS #constraints #latency #markov #modelling #online: Online decoding of Markov models under latency constraints (MN, PAV, MS), pp. 657–664.
ICPR-v1-2006-Heyden #algebra #constraints #multi: Differential-Algebraic Multiview Constraints (AH), pp. 159–162.
ICPR-v1-2006-LuM #constraints: A New Structural Constraint and its Application in Wide Baseline Matching (XL, RM), pp. 84–89.
ICPR-v1-2006-RoeckCG #3d #constraints #performance: Augmenting fast stereo with silhouette constraints for dynamic 3D capture (SDR, NC, LJVG), pp. 131–134.
ICPR-v1-2006-Sun #approach #constraints #estimation: A Three-Frame Approach to Constraint-Consistent Motion Estimation (ZS), pp. 35–38.
ICPR-v1-2006-WangS06a #component #constraints #detection #geometry: Facial Components Detection with Boosting and Geometric Constraints (TW, PS), pp. 446–449.
ICPR-v2-2006-MizunoN #comprehension #constraints #prototype: Constraint-Based Prototyping for Understanding Three Orthographic Views (KM, SN), pp. 1090–1093.
ICPR-v3-2006-GanLY06a #array #biology #constraints #framework #set: Microarray Missing Data Imputation based on a Set Theoretic Framework and Biological Constraints (XG, AWCL, HY), pp. 842–845.
ICPR-v3-2006-YamazoeUA #constraints #geometry #multi #optimisation #using: Multiple Camera Calibration with Bundled Optimization using Silhouette Geometry Constraints (HY, AU, SA), pp. 960–963.
KR-2006-RagniW #constraints: Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning (MR, SW), pp. 472–480.
SEKE-2006-ShanZ #consistency #constraints #modelling #specification: Specifying Consistency Constraints for Modelling Languages (LS, HZ), pp. 578–583.
SEKE-2006-ZhaoGQC #abstraction #constraints #prolog #semantics: A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics (LZ, TG, JQ, GC), pp. 359–362.
ECMDA-FA-2006-CabotT #bibliography #constraints #tool support: Constraint Support in MDA Tools: A Survey (JC, ET), pp. 256–267.
ECMDA-FA-2006-MesingCL #aspect-oriented #constraints #named: Limes: An Aspect-Oriented Constraint Checking Language (BM, CC, WL), pp. 299–315.
MoDELS-2006-CostalGQRT #constraints #uml: Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.
MoDELS-2006-CostalGQRT #constraints #uml: Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.
ECOOP-2006-EmirKRY #c# #constraints: Variance and Generalized Constraints for C^# Generics (BE, AK, CVR, DY), pp. 279–303.
GPCE-2006-BromanNF #constraints #equation #using: Determining over- and under-constrained systems of equations using structural constraint delta (DB, KN, PF), pp. 151–160.
GPCE-2006-CzarneckiP #constraints #ocl #verification: Verifying feature-based model templates against well-formedness OCL constraints (KC, KP), pp. 211–220.
PPDP-2006-Fruhwirth #constraints: Constraint handling rules: the story so far (TWF), pp. 13–14.
QAPL-2006-Bortolussi #concurrent #constraints #probability #programming: Stochastic Concurrent Constraint Programming (LB), pp. 65–80.
PADL-2006-BecketBMSSW #constraints #theorem proving: Adding Constraint Solving to Mercury (RB, MJGdlB, KM, ZS, PJS, MW), pp. 118–133.
PADL-2006-HawkinsS #constraints #finite #hybrid #satisfiability #theorem proving: A Hybrid BDD and SAT Finite Domain Constraint Solver (PH, PJS), pp. 103–117.
POPL-2006-VaziriTD #constraints #object-oriented: Associating synchronization constraints with data in an object-oriented language (MV, FT, JD), pp. 334–345.
SAC-2006-CabotT #approach #constraints #ocl: Transforming OCL constraints: a context change approach (JC, ET), pp. 1196–1201.
SAC-2006-DantsinWK #algorithm #constraints #problem #quantum #towards: Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems (ED, AW, VK), pp. 1640–1644.
SAC-2006-DjelloulD #constraints #finite #first-order #formal method #infinity: Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories (KD, TBHD), pp. 7–14.
SAC-2006-GrandonG #approximate #constraints #distance #parametricity #quantifier: Inner approximation of distance constraints with existential quantification of parameters (CG, AG), pp. 1660–1661.
SAC-2006-Kosmatov #constraints #sequence #theorem proving: A constraint solver for sequences and its applications (NK), pp. 404–408.
SAC-2006-LallouetL #consistency #constraints #satisfiability: From satisfiability to consistency through certificates: application to partially defined constraints (AL, AL), pp. 415–416.
SAC-2006-LokkuN #approach #constraints: Morphogenetic constraint-satisfaction based approach for organizational engineering (DSL, KVN), pp. 1563–1564.
SAC-2006-MitasiunaiteB #constraints #sequence #similarity: Looking for monotonicity properties of a similarity constraint on sequences (IM, JFB), pp. 546–552.
SAC-2006-PaluPHL #3d #approach #constraints #logic programming #scalability: A constraint logic programming approach to 3D structure determination of large protein complexes (ADP, EP, JH, YL), pp. 131–136.
SAC-2006-PavonDL #constraints #geometry #problem #theorem proving: An adjustment model in a geometric constraint solving problem (RP, FD, MVL), pp. 968–973.
SAC-2006-TibermacineFS #architecture #constraints: Simplifying transformation of software architecture constraints (CT, RF, SS), pp. 1240–1244.
SAC-2006-WintzSM #constraints #framework #geometry #problem: A framework for geometric constraint satisfaction problem (JW, PS, PM), pp. 974–978.
SAC-2006-ZhangG #composition #constraints #geometry #graph #theorem proving: Spatial geometric constraint solving based on k-connected graph decomposition (GFZ, XSG), pp. 979–983.
HPCA-2006-LiLBHS #constraints #design #physics: CMP design space exploration subject to physical constraints (YL, BCL, DMB, ZH, KS), pp. 17–28.
LCTES-2006-PandeyW #component #constraints #named #scalability: BOTS: a constraint-based component system for synthesizing scalable software systems (RP, JW), pp. 189–198.
AMOST-J-2005-BryceC06 #constraints #interactive #testing: Prioritized interaction testing for pair-wise coverage with seeding and constraints (RCB, CJC), pp. 960–970.
CSL-2006-BodirskyC #constraints #quantifier: Collapsibility in Infinite-Domain Quantified Constraint Satisfaction (MB, HC), pp. 197–211.
ICLP-2006-Aguilar-Solis #approach #constraints #learning #parsing #semantics: Learning Semantic Parsers: A Constraint Handling Rule Approach (DAS), pp. 447–448.
ICLP-2006-CaballeroRV #constraints #declarative #functional #logic programming: Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 421–422.
ICLP-2006-DaoD #constraints #first-order #formal method: Solving First-Order Constraints in the Theory of the Evaluated Trees (TBHD, KD), pp. 423–424.
ICLP-2006-LopezPPRV #concurrent #constraints #declarative #framework #programming #security: A Declarative Framework for Security: Secure Concurrent Constraint Programming (HAL, CP, JAP, CR, FDV), pp. 449–450.
ICLP-2006-PettorossiPS #constraints #logic programming #proving #source code: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (AP, MP, VS), pp. 179–195.
IJCAR-2006-JacquemardRV #automaton #constraints #equation #similarity: Tree Automata with Equality Constraints Modulo Equational Theories (FJ, MR, LV), pp. 557–571.
IJCAR-2006-LahiriM #constraints #linear: Solving Sparse Linear Constraints (SKL, MM), pp. 468–482.
LICS-2006-LaroseLT #constraints #first-order #problem: A Characterisation of First-Order Constraint Satisfaction Problems (BL, CL, CT), pp. 201–210.
RTA-2006-CodishLS #constraints #partial order #termination: Solving Partial Order Constraints for LPO Termination (MC, VL, PJS), pp. 4–18.
SAT-2006-ChenIJSS #constraints #problem #theorem: A Dichotomy Theorem for Typed Constraint Satisfaction Problems (SC, TI, KJ, DS, MS), pp. 226–239.
SAT-2006-CottonM #constraints #difference #flexibility #performance: Fast and Flexible Difference Constraint Propagation for DPLL(T) (SC, OM), pp. 170–183.
SAT-2006-YuM #constraints #learning #linear #smt: Lemma Learning in SMT on Linear Constraints (YY, SM), pp. 142–155.
VMCAI-2006-Subramani #constraints #scheduling: Totally Clairvoyant Scheduling with Relative Timing Constraints (KS), pp. 398–411.
VMCAI-2006-WiesKLPR #analysis #constraints: Field Constraint Analysis (TW, VK, PL, AP, MCR), pp. 157–173.
ASE-2005-GotliebDB #constraints #generative #pointer #testing: Constraint-based test data generation in the presence of stack-directed pointers (AG, TD, BB), pp. 313–316.
CASE-2005-LeeP #analysis #constraints #graph: Steady state analysis of a timed event graph with time window constraints (TEL, SHP), pp. 404–409.
DAC-2005-ManiDO #algorithm #constraints #performance #statistics: An efficient algorithm for statistical minimization of total power under timing yield constraints (MM, AD, MO), pp. 309–314.
DAC-2005-XuNC #constraints #design #embedded #multi #optimisation: Multi-frequency wrapper design and optimization for embedded cores under average power constraints (QX, NN, KC), pp. 123–128.
DAC-2005-ZhaoZD #constraints #robust: Constraint-aware robustness insertion for optimal noise-tolerance enhancement in VLSI circuits (CZ, YZ, SD), pp. 190–195.
DATE-2005-AndreiSEPH #constraints #energy #scalability: Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints (AA, MTS, PE, ZP, BMAH), pp. 514–519.
DATE-2005-ChenKK #approach #constraints #layout #memory management #network #optimisation: A Constraint Network Based Approach to Memory Layout Optimization (GC, MTK, MK), pp. 1156–1161.
DATE-2005-IyerPC #constraints #learning #performance #theorem proving: Efficient Conflict-Based Learning in an RTL Circuit Constraint Solver (MKI, GP, KTC), pp. 666–671.
HT-2005-AtzenbeckN #constraints: Constraints in spatial structures (CA, PJN), pp. 63–65.
PODS-2005-SayrafiG #constraints #difference: Differential constraints (BS, DVG), pp. 348–357.
SIGMOD-2005-BohannonFFR #constraints #cost analysis #effectiveness #heuristic: A Cost-Based Model and Effective Heuristic for Repairing Constraints by Value Modification (PB, MF, WF, RR), pp. 143–154.
WRLA-2004-CirsteaFK05 #calculus #constraints: A rho-Calculus of Explicit Constraint Application (HC, GF, CK), pp. 51–67.
WRLA-2004-Lopez-FraguasRV05 #constraints #functional #logic programming #revisited: Constraint Functional Logic Programming Revisited (FJLF, MRA, RdVV), pp. 5–50.
FASE-2005-TaentzerR #constraints #graph #inheritance #modelling: Ensuring Structural Constraints in Graph-Based Models with Type Inheritance (GT, AR), pp. 64–79.
CSMR-2005-BublB #constraints #requirements: Tracing Cross-Cutting Requirements via Context-Based Constraints (FB, MB), pp. 80–90.
ICSM-2005-MilanovaR #analysis #constraints #precise: Annotated Inclusion Constraints for Precise Flow Analysis (AM, BGR), pp. 187–196.
SAS-2005-KodumalA #analysis #constraints #named #scalability #tool support: Banshee: A Scalable Constraint-Based Analysis Toolkit (JK, AA), pp. 218–234.
STOC-2005-VegaKKV #approximate #composition #constraints #problem: Tensor decomposition and approximation schemes for constraint satisfaction problems (WFdlV, MK, RK, SV), pp. 747–754.
ICALP-2005-DelzannoG #composition #constraints #process #theorem proving #verification: Compositional Verification of Asynchronous Processes via Constraint Solving (GD, MG), pp. 1239–1250.
CHI-2005-TollingerLMTVHP #constraints #development #modelling #multi #performance: Supporting efficient development of cognitive models at multiple skill levels: exploring recent advances in constraint-based modeling (IT, RLL, MM, PT, AHV, AH, LP), pp. 411–420.
SOFTVIS-2005-GhoniemCFJ #constraints #graph #programming #using #visualisation: Peeking in solver strategies using explanations visualization of dynamic graphs for constraint programming (MG, HC, JDF, NJ), pp. 27–36.
CAiSE-2005-CabotT #constraints #ocl: Computing the Relevant Instances That May Violate an OCL Constraint (JC, ET), pp. 48–62.
EDOC-2005-PoernomoJS #constraints #distributed #probability: Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model (IP, JJ, HWS), pp. 261–272.
ICEIS-v3-2005-SadiqOLS #constraints #flexibility #process #quality #workflow: Quality of Service in Flexible Workflows through Process Constraints (SWS, MEO, JYCL, WS), pp. 29–37.
ICEIS-v4-2005-DaniGP05a #constraints #design: Design of Continuous Call Market with Assignment Constraints (ARD, VPG, AKP), pp. 182–187.
CIKM-2005-ChuangC #constraints #memory management: Frequent pattern discovery with memory constraint (KTC, MSC), pp. 345–346.
KDD-2005-YanFB #constraints #industrial: Enhancing the lift under budget constraints: an application in the mutual fund industry (LY, MF, PB), pp. 509–515.
KDD-2005-YanZH #constraints #graph #mining #relational: Mining closed relational graphs with connectivity constraints (XY, XJZ, JH), pp. 324–333.
SEKE-2005-BenavidesTC #constraints #feature model #modelling #programming #using: Using Constraint Programming to Reason on Feature Models (DB, PT, ARC), pp. 677–682.
SEKE-2005-GuanG #constraints #using #web #web service: Dealing with Web Service QoS factors using Constraint Hierarchy (YG, AKG), pp. 578–583.
SEKE-2005-LiWMW #constraints #generative #testing #theorem proving: A Constraint Solver for Code-based Test Data Generation (JJL, WEW, XM, DMW), pp. 300–305.
MoDELS-2005-ForsterES #constraints #diagrams #modelling #process #quality: Activity Diagram Patterns for Modeling Quality Constraints in Business Processes (AF, GE, TS), pp. 2–16.
MoDELS-2005-GieseL #constraints #ocl: Simplifying Transformations of OCL Constraints (MG, DL), pp. 309–323.
MoDELS-2005-ForsterES #constraints #diagrams #modelling #process #quality: Activity Diagram Patterns for Modeling Quality Constraints in Business Processes (AF, GE, TS), pp. 2–16.
MoDELS-2005-GieseL #constraints #ocl: Simplifying Transformations of OCL Constraints (MG, DL), pp. 309–323.
OOPSLA-2005-JarviWL #constraints #object-oriented: Associated types and constraint propagation for mainstream object-oriented generics (JJ, JW, AL), pp. 1–19.
QAPL-2004-Lluch-LafuenteM05 #calculus #constraints: Quantitative ?-calculus and CTL Based on Constraint Semirings (ALL, UM), pp. 37–59.
LOPSTR-2005-Fages #automaton #constraints #logic: Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM (FF), pp. 1–5.
PPDP-2005-JagadeesanM #approach #constraints #declarative #programming: Timed constraint programming: a declarative approach to usage control (RJ, WM, CP, VAS), pp. 164–175.
PPDP-2005-SchrijversSD #abstract interpretation #constraints: Abstract interpretation for constraint handling rules (TS, PJS, GJD), pp. 218–229.
PADL-2005-Almendros-JimenezC #constraints #set: Solving Constraints on Sets of Spatial Objects (JMAJ, AC), pp. 158–173.
PADL-2005-BaileyS #constraints #satisfiability #set #using: Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization (JB, PJS), pp. 174–186.
SAC-2005-ChabertTN #consistency #constraints #problem: Box-set consistency for interval-based constraint problems (GC, GT, BN), pp. 1439–1443.
SAC-2005-Goualard #algorithm #constraints #on the #theorem proving: On considering an interval constraint solving algorithm as a free-steering nonlinear Gauss-Seidel procedure (FG), pp. 1434–1438.
SAC-2005-GoualardG #constraints #network: Controlled propagation in continuous numerical constraint networks (FG, LG), pp. 377–382.
SAC-2005-Hosobe #constraints #documentation #layout #linear #web: Solving linear and one-way constraints for web document layout (HH), pp. 1252–1253.
SAC-2005-LambertMS #constraints #using: Solving strategies using a hybridization model for local search and constraint propagation (TL, EM, FS), pp. 398–403.
SAC-2005-LawL #constraints #matrix #modelling #symmetry #using: Breaking value symmetries in matrix models using channeling constraints (YCL, JHML), pp. 371–376.
SAC-2005-OConnellOF #constraints #problem: Timid acquisition of constraint satisfaction problems (SO, BO, ECF), pp. 404–408.
SAT-J-2004-ArmandoCGM05 #constraints #difference #satisfiability: A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 16–29.
CADE-2005-Steel #api #constraints #deduction #modelling #security: Deduction with XOR Constraints in Security API Modelling (GS), pp. 322–336.
CSL-2005-ChenD #algorithm #consistency #constraints #game studies #quantifier: From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction (HC, VD), pp. 232–247.
CSL-2005-Tiwari #algebra #approach #constraints #satisfiability: An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints (AT), pp. 248–262.
ICLP-2005-BaseliceBG #constraints #integration #set #theorem proving #towards: Towards an Integration of Answer Set and Constraint Solving (SB, PAB, MG), pp. 52–66.
ICLP-2005-BortolussiW #concurrent #constraints #distributed #probability #programming language: A Distributed and Probabilistic Concurrent Constraint Programming Language (LB, HW), pp. 143–158.
ICLP-2005-CodishLS #constraints #termination #testing: Testing for Termination with Monotonicity Constraints (MC, VL, PJS), pp. 326–340.
ICLP-2005-CorinSE #analysis #constraints #protocol #security: PS-LTL for Constraint-Based Security Protocol Analysis (RC, AS, SE), pp. 439–440.
ICLP-2005-Fruhwirth #analysis #confluence #constraints #using: Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis (TWF), pp. 113–127.
ICLP-2005-Haemmerle #concurrent #constraints #linear #programming: SiLCC Is Linear Concurrent Constraint Programming (RH), pp. 448–449.
ICLP-2005-LambertCMRS #algorithm #constraints #search-based: Hybridization of Genetic Algorithms and Constraint Propagation for the BACP (TL, CC, EM, MCR, FS), pp. 421–423.
ICLP-2005-Langevine #constraints #named #programming: Gentra4cp: A Generic Trace Format for Constraint Programming (LL), pp. 433–434.
ICLP-2005-Maher #abduction #constraints #linear: Abduction of Linear Arithmetic Constraints (MJM), pp. 174–188.
ICLP-2005-Schrijvers #analysis #constraints #optimisation #summary: Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary (TS), pp. 435–436.
LICS-2005-Maher #abduction #constraints: Herbrand Constraint Abduction (MJM), pp. 397–406.
SAT-2005-DurairajK #constraints #dependence #performance #satisfiability: Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies (VD, PK), pp. 415–422.
SAT-2005-Southey #constraints #metric: Constraint Metrics for Local Search (FS), pp. 269–281.
WICSA-2004-LesaintP #architecture #aspect-oriented #configuration management #constraints #implementation #product line: Aspects and Constraints for Implementing Configurable Product-Line Architectures (DL, GP), pp. 135–144.
DAC-2004-ParthasarathyICW #constraints #performance #theorem proving: An efficient finite-domain constraint solver for circuits (GP, MKI, KTC, LCW), pp. 212–217.
DAC-2004-WangM #constraints #power management: Buffer sizing for clock power minimization subject to general skew constraints (KW, MMS), pp. 159–164.
DATE-v1-2004-HuM #architecture #communication #constraints #energy #realtime #scheduling: Energy-Aware Communication and Task Scheduling for Network-on-Chip Architectures under Real-Time Constraints (JH, RM), pp. 234–239.
SIGMOD-2004-GuoRLG #consistency #constraints: Support for Relaxed Currency and Consistency Constraints in MTCache (HG, PÅL, RR, JG), pp. 937–938.
SIGMOD-2004-YuP #constraints #integration #query #xml: Constraint-Based XML Query Rewriting For Data Integration (CY, LP), pp. 371–382.
VLDB-2004-XuJ #constraints #performance #personalisation: Efficient Constraint Processing for Highly Personalized Location Based Services (ZX, HAJ), pp. 1285–1288.
ESOP-2004-CarlssonB #algorithm #automaton #constraints #finite: From Constraints to Finite Automata to Filtering Algorithms (MC, NB), pp. 94–108.
FoSSaCS-2004-Demri #constraints #integer #ltl: LTL over Integer Periodicity Constraints: (Extended Abstract) (SD), pp. 121–135.
TACAS-2004-LingerS #analysis #constraints #ml #theorem proving #type inference: Binding-Time Analysis for MetaML via Type Inference and Constraint Solving (NL, TS), pp. 266–279.
TACAS-2004-SuW #analysis #constraints: A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings (ZS, DW), pp. 280–295.
ICSM-2004-BriandLYP #constraints #development #empirical #ocl #uml: A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development (LCB, YL, HDY, MDP), pp. 380–389.
PASTE-2004-Ezick #analysis #constraints #query: Resolving and applying constraint queries on context-sensitive analyses (JE), pp. 2–7.
PLDI-2004-EichenbergerWO #architecture #constraints: Vectorization for SIMD architectures with alignment constraints (AEE, PW, KO), pp. 82–93.
PLDI-2004-KodumalA #constraints #reachability #set: The set constraint/CFL reachability connection in practice (JK, AA), pp. 207–218.
SAS-2004-PayetM #constraints #logic programming #source code: Non-termination Inference for Constraint Logic Programs (ÉP, FM), pp. 377–392.
SAS-2004-SankaranarayananSM #analysis #constraints: Constraint-Based Linear-Relations Analysis (SS, HBS, ZM), pp. 53–68.
SAS-2004-SunBN #composition #constraints #data flow #object-oriented: Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language (QS, AB, DAN), pp. 84–99.
STOC-2004-Devanur #algorithm #constraints #equilibrium: The spending constraint model for market equilibrium: algorithmic, existence and uniqueness results (NRD), pp. 519–528.
ICALP-2004-DvorakKP #consistency #constraints #problem: Locally Consistent Constraint Satisfaction Problems: (Extended Abstract) (ZD, DK, OP), pp. 469–480.
ICALP-2004-Williams #algorithm #constraints: A New Algorithm for Optimal Constraint Satisfaction and Its Implications (RW), pp. 1227–1237.
SEFM-2004-ZhangXW #constraints #execution #generative #symbolic computation #testing #theorem proving #using: Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques (JZ, CX, XW), pp. 242–250.
ICGT-2004-EhrigEHP #constraints #graph: Constraints and Application Conditions: From Graphs to High-Level Structures (HE, KE, AH, KHP), pp. 287–303.
CHI-2004-VeraHML #approach #constraints #interactive #predict: A constraint satisfaction approach to predicting skilled interactive cognition (AHV, AH, MM, RLL), pp. 121–128.
ICEIS-v2-2004-HamzaY #constraints #mining #regular expression #using: Mining Sequential Patterns with Regular Expression Constraints Using Sequential Pattern Tree (MH, KM, MY), pp. 116–121.
ICEIS-v3-2004-HoggerK #constraints #enterprise: Constraint-Guided Enterprise Portals (CJH, FK), pp. 411–418.
ICEIS-v3-2004-XuZYT #constraints #xml: XML Data Constraint and XINCAML (JMX, YNZ, SXY, ZT), pp. 479–485.
ICEIS-v4-2004-KarduckS #constraints #named: Teambroker: Constraint Based Brokerage of Virtual Teams (AK, AS), pp. 146–153.
CIKM-2004-HoreHIM #constraints: Indexing text data under space constraints (BH, HH, BRI, SM), pp. 198–207.
ICML-2004-BilenkoBM #clustering #constraints #learning #metric: Integrating constraints and metric learning in semi-supervised clustering (MB, SB, RJM).
ICML-2004-RudarySP #adaptation #constraints #learning #reasoning: Adaptive cognitive orthotics: combining reinforcement learning and constraint-based temporal reasoning (MRR, SPS, MEP).
ICPR-v1-2004-ChumWM #constraints #estimation #geometry: Epipolar Geometry Estimation via RANSAC Benefits from the Oriented Epipolar Constraint (OC, TW, JM), pp. 112–115.
ICPR-v2-2004-NakagawaZO #constraints #formal method #online #recognition: A Formalization of On-line Handwritten Japanese Text Recognition free from Line Direction Constraint (MN, BZ, MO), pp. 359–362.
ICPR-v3-2004-CastelanH #constraints #fourier: Combining Data-Closeness and Fourier Domain Integrability Constraints in Shape-from-Shading (MC, ERH), pp. 115–118.
ICPR-v3-2004-RenS #constraints #sequence #video: Video Sequence Matching with Spatio-Temporal Constraints (WR, SS), pp. 834–837.
ICPR-v3-2004-UmedaGR #constraints #image #using: Registration of Range and Color Images Using Gradient Constraints and Range Intensity Images (KU, GG, MR), pp. 12–15.
ICPR-v4-2004-HabedB #approach #constraints #self: Camera Self-Calibration: A New Approach for Solving the Modulus Constraint (AH, BB), pp. 116–119.
KDD-2004-GadeWK #constraints #mining #performance: Efficient closed pattern mining in the presence of tough block constraints (KG, JW, GK), pp. 138–147.
KR-2004-CadoliM #automation #constraints #specification: Automated Reformulation of Specifications by Safe Delay of Constraints (MC, TM), pp. 388–398.
SEKE-2004-Flake #concept #constraints #ocl: Enhancing the Message Concept of the Object Constraint Language (SF), pp. 161–166.
UML-2004-CabotT #constraints: Determining the Structural Events That May Violate an Integrity Constraint (JC, ET), pp. 320–334.
ECOOP-2004-SutterTD #constraints #java #library #using: Customization of Java Library Classes Using Type Constraints and Profile Information (BDS, FT, JD), pp. 585–610.
LOPSTR-2004-Colon #constraints #imperative #source code #synthesis #theorem proving: Schema-Guided Synthesis of Imperative Programs by Constraint Solving (MC), pp. 166–181.
PDCL-2004-DemoenBHMOS #constraints: Herbrand Constraints in HAL (BD, MJGdlB, WH, KM, DO, PJS), pp. 499–538.
PDCL-2004-FioravantiPP #constraints #logic programming #source code: Transformation Rules for Locally Stratified Constraint Logic Programs (FF, AP, MP), pp. 291–339.
PPDP-2004-CamaraoFV #constraints #satisfiability: Constraint-set satisfiability for overloading (CC, LF, CV), pp. 67–77.
PPDP-2004-FlescaGZ #constraints: Active integrity constraints (SF, SG, EZ), pp. 98–107.
PPDP-2004-Lopez-FraguasRV #calculus #constraints #declarative #lazy evaluation #programming: A lazy narrowing calculus for declarative constraint programming (FJLF, MRA, RdVV), pp. 43–54.
SAC-2004-BistarelliFO #constraints #detection #modelling #problem #using: Modeling and detecting the cascade vulnerability problem using soft constraints (SB, SNF, BO), pp. 383–390.
SAC-2004-ChenKY #constraints #energy #scheduling: Profit-driven uniprocessor scheduling with energy and timing constraints (JJC, TWK, CLY), pp. 834–840.
SAC-2004-CombiOQ #approach #constraints #modelling #semistructured data #specification: Specifying temporal data models for semistructured data by a constraint-based approach (CC, BO, EQ), pp. 1103–1108.
SAC-2004-GuptaCH #constraints #linear: Experiments with UNA for solving linear constraints in real variables (NG, YC, MZH), pp. 1013–1020.
SAC-2004-Hamie #constraints #java #modelling #ocl: Translating the Object Constraint Language into the Java Modelling Language (AH), pp. 1531–1535.
SAC-2004-Hosobe #constraints: Hierarchical nonlinear constraint satisfaction (HH), pp. 16–20.
SAC-2004-Logozzo #approximate #constraints #semantics: Approximating module semantics with constraints (FL), pp. 1490–1495.
SAC-2004-MadirajuS #approach #constraints #database #mobile: A mobile agent approach for global database constraint checking (PM, RS), pp. 679–683.
SAC-2004-RamirezS #concurrent #constraints #distributed #logic programming #source code #using: Concurrent and distributed programming using constraint logic programs (RR, AES), pp. 508–509.
SAC-2004-WainerBB #constraints #flexibility #named #workflow: Tucupi: a flexible workflow system based on overridable constraints (JW, FdLB, PB), pp. 498–502.
ICSE-2004-Waewsawangwong #approach #architecture #component #constraints #self: A Constraint Architectural Description Approach to Self-Organising Component-Based Software Systems (PW), pp. 81–83.
CGO-2004-RastelloFG #constraints #optimisation #using: Optimizing Translation Out of SSA Using Renaming Constraints (FR, FdF, CG), pp. 265–278.
CSL-2004-RychlikowskiT #constraints #set: Set Constraints on Regular Terms (PR, TT), pp. 458–472.
ICLP-2004-BeldiceanuP #constraints: The period Constraint (NB, EP), pp. 329–342.
ICLP-2004-DuckBS #compilation #constraints: Compiling Ask Constraints (GJD, MJGdlB, PJS), pp. 105–119.
ICLP-2004-DuckSBH #constraints #semantics: The Refined Operational Semantics of Constraint Handling Rules (GJD, PJS, MJGdlB, CH), pp. 90–104.
ICLP-2004-MonfroySL #constraints #on the: On Hybridization of Local Search and Constraint Propagation (EM, FS, TL), pp. 299–313.
ICLP-2004-Neugebauer #concurrent #constraints #modelling #programming: Concurrent Constraint Programming and Tree-Based Acoustic Modelling (MN), pp. 467–468.
ICLP-2004-PetitG #constraints #probability #statistics #testing: Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing (MP, AG), pp. 471–472.
ICLP-2004-RamirezM #constraints #distributed #java #source code #verification: Constraint-Based Synchronization and Verification of Distributed Java Programs (RR, JM), pp. 473–474.
ICLP-2004-SchrijversW #constraints #execution: Constraint Handling Rules and Tabled Execution (TS, DSW), pp. 120–136.
IJCAR-2004-GilHSZ #algorithm #constraints #finite #order #performance #problem: Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract (ÀJG, MH, GS, BZ), pp. 244–258.
IJCAR-2004-RiazanovV #constraints #performance: Efficient Checking of Term Ordering Constraints (AR, AV), pp. 60–74.
IJCAR-2004-Weispfenning #constraints: Solving Constraints by Elimination Methods (VW), pp. 336–341.
IJCAR-2004-ZhangSM #constraints #data type #integer #recursion: Decision Procedures for Recursive Data Structures with Integer Constraints (TZ, HBS, ZM), pp. 152–167.
LICS-2004-Bulatov #constraints #graph #problem #relational: A Graph of a Relational Structure and Constraint Satisfaction Problems (AAB), pp. 448–457.
SAT-2004-ArmandoCGM #constraints #difference #satisfiability: A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 166–173.
SAT-2004-Connamacher #constraints #problem #random: A Random Constraint Satisfaction Problem That Seems Hard for DPLL (HSC), pp. 3–11.
VMCAI-2004-KuncakR #algebra #analysis #constraints: Boolean Algebra of Shape Analysis Constraints (VK, MCR), pp. 59–72.
ASE-2003-TurnerGWBHSR #consistency #constraints #diagrams #implementation #modelling #runtime #uml #visual notation: Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations (CJT, TCNG, CW, JB, DH, HDS, AGR), pp. 271–276.
DAC-2003-AtasuPI #architecture #automation #constraints: Automatic application-specific instruction-set extensions under microarchitectural constraints (KA, LP, PI), pp. 256–261.
DAC-2003-ChaiK #constraints #performance #pseudo #theorem proving: A fast pseudo-boolean constraint solver (DC, AK), pp. 830–835.
DAC-2003-ChenHBW #analysis #automation #constraints #logic: Automatic trace analysis for logic of constraints (XC, HH, FB, YW), pp. 460–465.
DAC-2003-HurCRPCTH #constraints #physics: Force directed mongrel with physical net constraints (SWH, TC, KR, YP, AC, VT, BH), pp. 214–219.
DAC-2003-SzymanekK #constraints #graph: Partial task assignment of task graphs under heterogeneous resource constraints (RS, KK), pp. 244–249.
DAC-2003-YuanAAP #constraints #functional #modelling #synthesis #verification: Constraint synthesis for environment modeling in functional verification (JY, KA, AA, CP), pp. 296–299.
DATE-2003-ChenHBW #automation #constraints #generative #monitoring #simulation: Automatic Generation of Simulation Monitors from Quantitative Constraint Formula (XC, HH, FB, YW), pp. 11174–11175.
DATE-2003-KodaseWS #constraints #embedded #realtime #runtime: Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints (SK, SW, KGS), pp. 20170–20175.
DocEng-2003-KuoWS #constraints #editing #xml: Handling syntactic constraints in a DTD-compliant XML editor (YSK, JW, NCS), pp. 222–224.
ICDAR-2003-Hurst #approach #constraints: A Constraint-based Approach to Table Structure Derivation (MH), pp. 911–915.
PODS-2003-GrahneT #constraints #query #using: Query containment and rewriting using views for regular path queries under constraints (GG, AT), pp. 111–122.
SIGMOD-2003-BenediktCFFR #constraints #integration: Capturing both Types and Constraints in Data Integration (MB, CYC, WF, JF, RR), pp. 277–288.
VLDB-2003-HaasB #algebra #automation #constraints #fuzzy #named #relational: BHUNT: Automatic Discovery of Fuzzy Algebraic Constraints in Relational Data (PB, PJH), pp. 668–679.
VLDB-2003-KoudasGGSV #approximate #constraints #optimisation #parametricity #performance #query: Efficient Approximation Of Optimization Queries Under Parametric Aggregation Constraints (SG, DG, NK, DS, MV), pp. 778–789.
FoSSaCS-2003-Lugiez #automaton #constraints #multi #similarity: Counting and Equality Constraints for Multitree Automata (DL), pp. 328–342.
TACAS-2003-BartzisB #bound #constraints #performance: Construction of Efficient BDDs for Bounded Arithmetic Constraints (CB, TB), pp. 394–408.
TACAS-2003-VaziriJ #constraints #theorem proving: Checking Properties of Heap-Manipulating Procedures with a Constraint Solver (MV, DJ), pp. 505–520.
CIAA-2003-HosoyaM #constraints: Boolean Operations for Attribute-Element Constraints (HH, MM), pp. 201–212.
FME-2003-BoyerS #constraints #protocol #synthesis #verification: Synthesis and Verification of Constraints in the PGM Protocol (MB, MS), pp. 264–281.
AGTIVE-2003-FishH #constraints #diagrams: Computing Reading Trees for Constraint Diagrams (AF, JH), pp. 260–274.
CAiSE-2003-EmburyS #constraints #information management: Analysing the Impact of Adding Integrity Constraints to Information Systems (SME, JS), pp. 175–192.
CAiSE-2003-RizziS #constraints #design: View Materialization vs. Indexing: Balancing Space Constraints in Data Warehouse Design (SR, ES), pp. 502–519.
ICEIS-v1-2003-BouchouALD #automaton #constraints #validation #xml: Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints (BB, MHFA, DL, DD), pp. 184–190.
ICEIS-v1-2003-GhozziRTZ #constraints #database #multi: Constraints and Multidimensional Databases (FG, FR, OT, GZ), pp. 104–111.
ICEIS-v1-2003-KaramEII #algorithm #constraints #maintenance: The Enhanced Greedy Interchange Algorithm for the Selection of Materialized Views Under a Maintenance Cost Constraint in Data Warehouses (OHK, MES, OI, RI), pp. 279–284.
ICEIS-v2-2003-Debenham #constraints #people #process: Agents for High-Level Process Management: The Right Activities, People and Resources to Satisfy Process Constraints (JKD), pp. 434–437.
ICEIS-v2-2003-SmirnovPLC #constraints #contract #protocol: Constraint-Based Contract Net Protocol (AVS, MP, TL, NC), pp. 549–556.
ICEIS-v3-2003-Ramos #constraints #diagrams #relational #uml: Deontic Constraints: From UML Class Diagram to Relational Model (PR0), pp. 424–432.
MLDM-2003-AntunesO #constraints #mining: Generalization of Pattern-Growth Methods for Sequential Pattern Mining with Gap Constraints (CA, ALO), pp. 239–251.
SEKE-2003-FlakeM #constraints #ocl #semantics: Semantics of State-Oriented Expressions in the Object Constraint Language (SF, WM), pp. 142–149.
OOPSLA-2003-TipKB #constraints #refactoring #using: Refactoring for generalization using type constraints (FT, AK, DB), pp. 13–26.
LOPSTR-2003-AbdennadherF #constraints #integration #optimisation #rule-based #theorem proving: Integration and Optimization of Rule-Based Constraint Solvers (SA, TWF), pp. 198–213.
LOPSTR-2003-ChristiansenM #approach #constraints #database: Simplification of Database Integrity Constraints Revisited: A Transformational Approach (HC, DM), pp. 178–197.
PPDP-2003-DuckSBH #constraints: Extending arbitrary solvers with constraint handling rules (GJD, PJS, MJGdlB, CH), pp. 79–90.
PPDP-2003-PaluDPR #constraints #finite #set: Integrating finite domain constraints and CLP with sets (ADP, AD, EP, GR), pp. 219–229.
PADL-2003-FernandezHS #combinator #constraints #functional #logic #problem: Solving Combinatorial Problems with a Constraint Functional Logic Language (AJF, MTHG, FSP), pp. 320–338.
PADL-2003-LiM #constraints #datalog #trust: DATALOG with Constraints: A Foundation for Trust Management Languages (NL, JCM), pp. 58–73.
SAC-2003-AptB #constraints #programming #rule-based: Schedulers for Rule-Based Constraint Programming (KRA, SB), pp. 14–21.
SAC-2003-AtluriAGA #constraints #multi #security #self: Self-Manifestation of Composite Multimedia Objects to Satisfy Security Constraints (VA, NRA, AG, IA), pp. 927–934.
SAC-2003-JiaPP #constraints #mining: Tough Constraint-Based Frequent Closed Itemsets Mining (LJ, RP, DP), pp. 416–420.
SAC-2003-MonfroyC #component #constraints #theorem proving: Basic Components for Constraint Solver Cooperations (EM, CC), pp. 367–374.
SAC-2003-ScerriMST #algorithm #case study #constraints #distributed #hardware #multi: Are Multiagent Algorithms Relevant for Real Hardware? A Case Study of Distributed Constraint Algorithms (PS, PJM, WMS, MT), pp. 38–44.
SAC-2003-Zoeteweij #constraints #coordination #distributed #theorem proving: Coordination-Based Distributed Constraint Solving in DICE (PZ), pp. 360–366.
CGO-2003-SmelyanskiyMDL #constraints #scheduling: Predicate-Aware Scheduling: A Technique for Reducing Resource Constraints (MS, SAM, ESD, HHSL), pp. 169–178.
CAV-2003-ColonSS #constraints #generative #invariant #linear #theorem proving #using: Linear Invariant Generation Using Non-linear Constraint Solving (MC, SS, HS), pp. 420–432.
CSL-2003-BodirskyN #constraints: Constraint Satisfaction with Countable Homogeneous Templates (MB, JN), pp. 44–57.
CSL-2003-BornerBJK #algorithm #complexity #constraints #quantifier: Quantified Constraints: Algorithms and Complexity (FB, AAB, PJ, AAK), pp. 58–70.
ICLP-2003-BackofenW #approach #constraints #modelling #predict: A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods (RB, SW), pp. 49–71.
ICLP-2003-GranvilliersM #composition #constraints #implementation #reduction: Implementing Constraint Propagation by Composition of Reductions (LG, EM), pp. 300–314.
ICLP-2003-Valencia #concurrent #constraints: Concurrency, Time, and Constraints (FDV), pp. 72–101.
ICLP-2003-Valencia03a #concurrent #constraints #decidability #ltl #programming: Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL (FDV), pp. 422–437.
LICS-2003-Bulatov #constraints #problem: Tractable conservative Constraint Satisfaction Problems (AAB), p. 321–?.
LICS-2003-Comon-LundhS #constraints #deduction #theorem proving: Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or (HCL, VS), p. 271–?.
CBSE-2003-JrH #architecture #component #constraints #specification: Specifying Architectural Constraints on Components (WDJ, CH), p. 5.
DAC-2002-IyengarCM #constraints #reduction #scheduling: Wrapper/TAM co-optimization, constraint-driven test scheduling, and tester data volume reduction for SOCs (VI, KC, EJM), pp. 685–690.
DAC-2002-MaH #constraints #towards: Towards global routing with RLC crosstalk constraints (JDZM, LH), pp. 669–672.
DAC-2002-PintoCS #communication #constraints #synthesis: Constraint-driven communication synthesis (AP, LPC, ALSV), pp. 783–788.
DAC-2002-TangW #constraints #performance: Floorplanning with alignment and performance constraints (XT, DFW), pp. 848–853.
DAC-2002-ZhongD #algorithm #constraints #multi #optimisation: Algorithms for simultaneous satisfaction of multiple constraints and objective optimization in a placement flow with application to congestion control (KZ, SD), pp. 854–859.
DATE-2002-FerrandiRS #constraints #functional #theorem proving #using #verification: Functional Verification for SystemC Descriptions Using Constraint Solving (FF, MR, DS), pp. 744–751.
DATE-2002-GrajcarG #constraints #multi #scheduling: Improved Constraints for Multiprocessor System Scheduling (MG, WG), p. 1096.
DATE-2002-HuangLWG #constraints: Maze Routing with Buffer Insertion under Transition Time Constraints (LDH, ML, DFW, YG), pp. 702–707.
PODS-2002-HurtadoM #constraints: OLAP Dimension Constraints (CAH, AOM), pp. 169–179.
VLDB-2002-SenkulKT #constraints #framework #logic #resource management #scheduling #workflow: A Logical Framework for Scheduling Workflows under Resource Allocation Constraints (PS, MK, IHT), pp. 694–705.
ESOP-2002-BistarelliMR #concurrent #constraints #programming: Soft Concurrent Constraint Programming (SB, UM, FR), pp. 53–67.
FASE-2002-Bubl #constraints: Introducing Context-Based Constraints (FB), pp. 249–263.
FoSSaCS-2002-BoerGM #concurrent #constraints #correctness #proving #source code: Proving Correctness of Timed Concurrent Constraint Programs (FSdB, MG, MCM), pp. 37–51.
TACAS-2002-BouquetLP #constraints #named #theorem proving: CLPS-B — A Constraint Solver for B (FB, BL, FP), pp. 188–204.
TACAS-2002-ChaH #constraints #distributed #execution #realtime #validation: Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems (HC, RH), pp. 83–97.
ASIA-PEPM-2002-KhooS #constraints: Output-constraint specialization (SCK, KS), pp. 106–116.
SAS-2002-CorinE #constraints #protocol #security #verification: An Improved Constraint-Based System for the Verification of Security Protocols (RC, SE), pp. 326–341.
STOC-2002-Molloy02a #constraints #modelling #problem #random: Models and thresholds for random constraint satisfaction problems (MM), pp. 209–217.
FLOPS-2002-Garcia-DiazN #constraints #quantifier: Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms (MGD, SN), pp. 103–118.
FLOPS-2002-Meer #algebra #consistency #constraints #on the #source code: On Consistency and Width Notions for Constraint Programs with Algebraic Constraints (KM), pp. 88–102.
CIAA-2002-BartzisB #automation #constraints #verification: Automata-Based Representations for Arithmetic Constraints in Automated Verification (CB, TB), pp. 282–288.
CIAA-2002-GranaAV #compilation #constraints #finite #transducer: Compilation of Constraint-Based Contextual Rules for Part-of-Speech Tagging into Finite State Transducers (JG, GA, JV), pp. 128–137.
ICALP-2002-Dalmau #constraints #nondeterminism #problem: Constraint Satisfaction Problems in Non-deterministic Logarithmic Space (VD), pp. 414–425.
ICALP-2002-HearnD #constraints #logic #nondeterminism #reduction: The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications (RAH, EDD), pp. 401–413.
ICALP-2002-LungoFNV #constraints #re-engineering: Discrete Tomography: Reconstruction under Periodicity Constraints (ADL, AF, MN, LV), pp. 38–56.
ICGT-2002-KochP #constraints #graph #policy: Describing Policies with Graph Constraints and Rules (MK, FPP), pp. 223–238.
CAiSE-2002-CaliCGL #constraints #integration: Data Integration under Integrity Constraints (AC, DC, GDG, ML), pp. 262–279.
CAiSE-2002-ZhuS #constraints #programming #scheduling: A Meeting Scheduling System Based on Open Constraint Programming (KQZ, AES), pp. 792–796.
EDOC-2002-KrishnakumarS #adaptation #constraints #network #ubiquitous: Constraint Based Network Adaptation for Ubiquitous Applications (KTK, MS), p. 258–?.
ICEIS-2002-AbadSRO #constraints #development #programming #reasoning: Semiqualitative Reasoning for Software Development Project by Constraint Programming (PJA, AJS, SR, JAO), pp. 319–324.
ICEIS-2002-Al-JumailyCM #constraints #execution #relational: An Execution Model for Preserving Cardinality Constraints in the Relational Model (HTAJ, DC, PM), pp. 819–822.
ICEIS-2002-Snoeck #constraints #modelling #process #sequence: Sequence Constraints in Business Modelling and Business Process Modelling (MS), pp. 683–690.
CIKM-2002-ChenDZ #constraints #named #validation #xml: XKvalidator: a constraint validator for XML (YC, SBD, YZ), pp. 446–452.
CIKM-2002-LeeMCC #constraints #relational #semantics #using #xml: NeT & CoT: translating relational schemas to XML schemas using semantic constraints (DL, MM, FC, WWC), pp. 282–291.
CIKM-2002-PeiHW #constraints #database #mining #scalability: Mining sequential patterns with constraints in large databases (JP, JH, WW), pp. 18–25.
ICML-2002-BianchettiRS #concept #constraints #learning #relational: Constraint-based Learning of Long Relational Concepts (JAB, CR, MS), pp. 35–42.
ICML-2002-KleinKM #clustering #constraints #information management: From Instance-level Constraints to Space-Level Constraints: Making the Most of Prior Knowledge in Data Clustering (DK, SDK, CDM), pp. 307–314.
ICPR-v1-2002-CarvalhoSDR #constraints #estimation #linear: Bayes Information Criterion for Tikhonov Regularization with Linear Constraints: Application to Spectral Data Estimation (PDC, AS, AD, BR), pp. 696–700.
ICPR-v1-2002-KanekoMM #agile #constraints #correlation #difference #image #using: Using Constraint Inequality on Estimated Correlation for Rapid Image Search (SK, TM, AM), pp. 87–90.
ICPR-v2-2002-HeydenH #constraints: Auto-Calibration via the Absolute Quadric and Scene Constraints (AH, DQH), pp. 631–634.
ICPR-v3-2002-ArmangueAS #constraints #difference #estimation #mobile: Differential Epipolar Constraint in Mobile Robot Egomotion Estimation (XA, HA, JS), pp. 599–602.
ICPR-v3-2002-SpiesB #constraints: Evaluating the Range Flow Motion Constraint (HS, JLB), p. 517–?.
ICPR-v3-2002-StefanoMMN #constraints: Dense Stereo Based on the Uniqueness Constraint (LdS, MM, SM, GN), pp. 657–661.
ICPR-v4-2002-MorencyD #constraints #using: Stereo Tracking Using ICP and Normal Flow Constraint (LPM, TD), p. 367–?.
KDD-2002-BucilaGKW #algorithm #constraints #named: DualMiner: a dual-pruning algorithm for itemsets with constraints (CB, JG, DK, WMW), pp. 42–51.
KDD-2002-Iyengar #constraints #privacy: Transforming data to satisfy privacy constraints (VSI), pp. 279–288.
KR-2002-Broxvall #constraints #infinity: Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints (MB), pp. 509–520.
SEKE-2002-SourrouilleC #constraints #modelling #uml: Constraint checking in UML modeling (JLS, GC), pp. 217–224.
UML-2002-FlakeM #constraints #ocl #realtime #uml: A UML Profile for Real-Time Constraints with the OCL (SF, WM), pp. 179–195.
OOPSLA-2002-MichelH #architecture #constraints: A constraint-based architecture for local search (LM, PVH), pp. 83–100.
LOPSTR-2002-AbdennadherR #constraints #logic programming #synthesis #theorem proving #using: Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming (SA, CR), pp. 32–47.
PPDP-2002-NielsenPV #concurrent #constraints #on the #power of #programming language: On the expressive power of temporal concurrent constraint programming languages (MN, CP, FDV), pp. 156–167.
PPDP-2002-OvertonSS #analysis #constraints: Constraint-based mode analysis of mercury (DO, ZS, PJS), pp. 109–120.
POPL-2002-SuANPT #constraints #first-order #type system: The first-order theory of subtyping constraints (ZS, AA, JN, TP, RT), pp. 203–216.
SAC-2002-BesnardL #constraints #design #identification #industrial #lessons learnt #optimisation #re-engineering #reuse: Lessons from industrial design for software engineering through constraints identification, solution space optimisation and reuse (DB, ATL), pp. 732–738.
SAC-2002-BistarelliFM #constraints: Soft constraint propagation and solving in CHRs (SB, TWF, MM), pp. 1–5.
CC-2002-MossenbockP #constraints #linear: Linear Scan Register Allocation in the Context of SSA Form and Register Constraints (HM, MP), pp. 229–246.
LCTES-SCOPES-2002-DudaniMZ #constraints #embedded #energy #feedback #realtime #scheduling: Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints (AD, FM, YZ), pp. 213–222.
LCTES-SCOPES-2002-NaikP #compilation #constraints: Compiling with code-size constraints (MN, JP), pp. 120–129.
CAV-2002-YonedaKM #analysis #automation #constraints: Automatic Derivation of Timing Constraints by Failure Analysis (TY, TK, CJM), pp. 195–208.
CSL-2002-BohlerHRV #constraints #equivalence #morphism: Equivalence and Isomorphism for Boolean Constraint Satisfaction (EB, EH, SR, HV), pp. 412–426.
CSL-2002-Goubault-Larrecq #constraints #higher-order #set: Higher-Order Positive Set Constraints (JGL), pp. 473–489.
ICLP-2002-BockmayrC #biology #concurrent #constraints #hybrid #programming #using: Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems (AB, AC), pp. 85–99.
ICLP-2002-BoigelotW #automaton #bibliography #constraints #finite #perspective #representation: Representing Arithmetic Constraints with Finite Automata: An Overview (BB, PW), pp. 1–19.
ICLP-2002-CharatonikMP #constraints #infinity #model checking: Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP (WC, SM, AP), pp. 115–129.
ICLP-2002-Christiansen #constraints #logic: Logical Grammars Based on Constraint Handling Rules (HC), p. 481.
ICLP-2002-Maher #constraints: Propagation Completeness of Reactive Constraints (MJM), pp. 148–162.
ICLP-2002-PemmasaniRR #constraints #logic programming #model checking #performance #realtime #using: Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints (GP, CRR, IVR), pp. 100–114.
ICLP-2002-Thielscher #constraints #finite #reasoning: Reasoning about Actions with CHRs and Finite Domain Constraints (MT), pp. 70–84.
RTA-2002-CharatonikT #constraints #set: Atomic Set Constraints with Projection (WC, JMT), pp. 311–325.
DAC-2001-CarballoD #collaboration #constraints #design #heuristic: Application of Constraint-Based Heuristics in Collaborative Design (JAC, SWD), pp. 395–400.
DAC-2001-DoboliV #constraints #design #synthesis: Integrated High-Level Synthesis and Power-Net Routing for Digital Design under Switching Noise Constraints (AD, RV), pp. 629–634.
DAC-2001-HalpinCS #constraints #physics #using: Timing Driven Placement using Physical Net Constraints (BH, CYRC, NS), pp. 780–783.
DAC-2001-LepakLH #constraints: Simultaneous Shield Insertion and Net Ordering under Explicit RLC Noise Constraint (KML, IL, LH), pp. 199–202.
DAC-2001-LiuCBK #constraints #embedded #power management #scheduling: Power-Aware Scheduling under Timing Constraints for Mission-Critical Embedded Systems (JL, PHC, NB, FJK), pp. 840–845.
DAC-2001-MaHDCCG #constraints: Floorplanning with Abutment Constraints and L-Shaped/T-Shaped Blocks based on Corner Block List (YM, XH, SD, YC, CKC, JG), pp. 770–775.
DATE-2001-Doboli #constraints #design #embedded #latency: Integrated hardware-software co-synthesis for design of embedded systems under power and latency constraints (AD), pp. 612–619.
DATE-2001-FeketeKT #constraints #precedence: Optimal FPGA module placement with temporal precedence constraints (SPF, EK, JT), pp. 658–667.
DATE-2001-PintoMEJ #constraints #scheduling: Constraint satisfaction for storage files with Fifos or stacks during scheduling (CAAP, BM, KvE, JAGJ), p. 824.
DATE-2001-SarkarK #constraints: Repeater block planning under simultaneous delay and transition time constraints (PS, CKK), pp. 540–545.
DocEng-2001-Zhou #authoring #constraints #documentation #interactive #library: Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library (NFZ), pp. 28–37.
ICDAR-2001-HoN #classification #constraints: Exploration of Contextual Constraints for Character Pre-Classification (TKH, GN), pp. 450–454.
PODS-2001-FanL #constraints #on the #xml: On XML Integrity Constraints in the Presence of DTDs (WF, LL).
ESOP-2001-ConchonP #calculus #constraints #type inference: JOIN(X): Constraint-Based Type Inference for the Join-Calculus (SC, FP), pp. 221–236.
ESOP-2001-SuA #constraints #similarity: Entailment with Conditional Equality Constraints (ZS, AA), pp. 170–189.
SCAM-2001-WeberSR #case study #constraints #detection #optimisation #security #using: A Case Study in Detecting Software Security Vulnerabilities Using Constraint Optimization (MW, VS, CR), pp. 3–13.
SAS-2001-BagnaraGHZ #analysis #constraints: Finite-Tree Analysis for Constraint Logic-Based Languages (RB, RG, PMH, EZ), pp. 165–184.
SAS-2001-GlynnSS #analysis #constraints #effectiveness #strict: Effective Strictness Analysis with HORN Constraints (KG, PJS, MS), pp. 73–92.
SAS-2001-LiuLS #constraints #grammarware: Solving Regular Tree Grammar Based Constraints (YAL, NL, SDS), pp. 213–233.
STOC-2001-BulatovKJ #complexity #constraints: The complexity of maximal constraint languages (AAB, AAK, PJ), pp. 667–674.
FLOPS-2001-LeachN #constraints #higher-order #logic programming #programming language: A Higher-Order Logic Programming Language with Constraints (JL, SN), pp. 108–122.
FLOPS-2001-Lux #constraints #linear: Adding Linear Constraints over Real Numbers to Curry (WL), pp. 185–200.
ICALP-2001-ComonCM #automaton #constraints #memory management #protocol #set: Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols (HC, VC, JM), pp. 682–693.
ICALP-2001-KorovinV #constraints #theorem proving: Knuth-Bendix Constraint Solving Is NP-Complete (KK, AV), pp. 979–992.
ICALP-2001-Woeginger #constraints #on the #precedence #scheduling: On the Approximability of Average Completion Time Scheduling under Precedence Constraints (GJW), pp. 887–897.
SVIS-2001-Faltin #algorithm #constraints #interactive #learning: Structure and Constraints in Interactive Exploratory Algorithm Learning (NF), pp. 213–226.
ICEIS-v1-2001-ReisM #constraints #multi #scheduling: Multi-Agent Dynamic Scheduling and Re-Scheduling with Global Temporal Constraints (JR, NJM), pp. 315–321.
ICEIS-v1-2001-Smirnov #concept #constraints #information management #network: Ontology-Drive Virtual Production Network Configuration: A Concept and Constraint-Object-Oriented Knowledge Management (AVS), pp. 345–352.
ICEIS-v1-2001-SuarezAGO #constraints #development #programming #reasoning: Qualitative Reasoning for Software Development Project by Constraint Programming (AJS, PJA, RMG, JAO), pp. 481–488.
SEKE-2001-CarpaniR #concept #constraints #multi: An Integrity Constraints Language for a Conceptual Multidimensional Data Model (FC, RR), pp. 220–227.
SEKE-2001-RamirezA #constraints #reasoning: Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships (JR, AdA), pp. 188–195.
UML-2001-SendallS #behaviour #concurrent #constraints #ocl #specification #uml #using: Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML (SS, AS), pp. 391–405.
ECOOP-2001-WangS #constraints #java #precise #type inference: Precise Constraint-Based Type Inference for Java (TW, SFS), pp. 99–117.
OOPSLA-2001-RountevMR #analysis #constraints #java #points-to #using: Points-To Analysis for Java using Annotated Constraints (AR, AM, BGR), pp. 43–55.
TOOLS-USA-2001-GueheneucA #constraints #design pattern #detection #fault #using: Using Design Patterns and Constraints to Automate the Detection and Correction of Inter-Class Design Defects (YGG, HAA), pp. 296–306.
PPDP-2001-AbdennadherR #confluence #constraints #rule-based #theorem proving #using: Using Confluence to Generate Rule-Based Constraint Solvers (SA, CR), pp. 127–135.
PPDP-2001-ChangJ #analysis #constraints #java: Granularity of Constraint-Based Analysis for Java (BMC, JWJ), pp. 94–102.
PADL-2001-BellaB #analysis #constraints #protocol #security: Soft Constraints for Security Protocol Analysis: Confidentiality (GB, SB), pp. 108–122.
PADL-2001-FlenerHK #compilation #constraints #programming: Compiling High-Level Type Constructors in Constraint Programming (PF, BH, ZK), pp. 229–244.
PADL-2001-MukhopadhyayP #constraints #database #modelling #similarity: Constraint Database Models Characterizing Timed Bisimilarity (SM, AP), pp. 245–258.
PADL-2001-RaffaetaF #constraints #logic programming: Spatio-temporal Annotated Constraint Logic Programming (AR, TWF), pp. 259–273.
RE-2001-SmithHE #constraints #editing #logic #requirements #source code #visual notation: Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs (MHS, GJH, KE), pp. 14–22.
SAC-2001-WahlsL #algorithm #concurrent #constraints #modelling #semantics #source code #specification: Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs (TW, GTL), pp. 567–575.
ESEC-FSE-2001-ChoiRH #abstraction #automation #constraints #model checking: Automatic abstraction for model checking software systems with interrelated numeric constraints (YC, SR, MPEH), pp. 164–174.
ESEC-FSE-2001-EdvardssonK #analysis #constraints #generative #testing #theorem proving: Analysis of the constraint solver in UNA based test data generation (JE, MK), pp. 237–245.
ICLP-2001-BandaJMNSH #constraints #theorem proving: Building Constraint Solvers with HAL (MJGdlB, DJ, KM, NN, PJS, CH), pp. 90–104.
ICLP-2001-BasuMRRV #bisimulation #constraints #logic programming #using: Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming (SB, MM, CRR, IVR, RMV), pp. 166–180.
ICLP-2001-BeldiceanuC #constraints #product line: Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family (NB, MC), pp. 59–73.
ICLP-2001-Colmerauer #approximate #constraints #multi: Solving the Multiplication Constraint in Several Approximation Spaces (AC), p. 1.
ICLP-2001-HolzbaurBJS #compilation #constraints #optimisation: Optimizing Compilation of Constraint Handling Rules (CH, MJGdlB, DJ, PJS), pp. 74–89.
ICLP-2001-Ueda #concurrent #constraints: A Close Look at Constraint-Based Concurrency (KU), p. 9.
LICS-2001-GodoyN #constraints #deduction #monad #on the: On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups (GG, RN), pp. 38–47.
RTA-2001-BodirskyEKN #constraints #reduction: β Reduction Constraints (MB, KE, AK, JN), pp. 31–46.
SAT-2001-HuntMS #complexity #constraints #probability #problem #quantifier: Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems (HBHI, MVM, RES), pp. 217–230.
TLCA-2001-CoppolaM #constraints #linear #logic #type system: Typing λ Terms in Elementary Logic with Linear Constraints (PC, SM), pp. 76–90.
ASE-2000-KhurshidJ #automation #constraints #design: Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer (SK, DJ), pp. 13–22.
DAC-2000-Chakrabarty #architecture #constraints #design: Design of system-on-a-chip test access architectures under place-and-route and power constraints (KC), pp. 432–437.
DAC-2000-HuangC #composition #constraints: Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques (CYH, KTC), pp. 118–123.
DAC-2000-NataleSB #constraints #scheduling: Task scheduling with RT constraints (MDN, ALSV, FB), pp. 483–488.
DAC-2000-PangBLC #constraints #representation #symmetry: Block placement with symmetry constraints based on the O-tree non-slicing representation (YP, FB, KL, CKC), pp. 464–467.
DAC-2000-QuP #constraints #using: Fingerprinting intellectual property using constraint-addition (GQ, MP), pp. 587–592.
DATE-2000-KruseSJSN #bound #constraints #data flow #graph #power management: Lower Bounds on the Power Consumption in Scheduled Data Flow Graphs with Resource Constraints (LK, ES, GJ, AS, WN), p. 737.
DATE-2000-LiuAW #constraints: Meeting Delay Constraints in DSM by Minimal Repeater Insertion (IML, AA, DFW), pp. 436–440.
DATE-2000-Lopez-VallejoGL #clustering #constraints: Constraint-Driven System Partitioning (MLLV, JG, JCL), pp. 411–416.
DATE-2000-PaulusKT #constraints #optimisation: Area Optimization of Analog Circuits Considering Matching Constraints (CP, UK, RT), p. 738.
HT-2000-RutledgeBOHG #constraints #generative: Generating presentation constraints from rhetorical structure (LR, BB, JvO, LH, JG), pp. 19–28.
PODS-2000-BenediktGLS #constraints #database #query #reachability: Reachability and Connectivity Queries in Constraint Databases (MB, MG, LL, LS), pp. 104–115.
PODS-2000-FanS #constraints #xml: Integrity Constraints for XML (WF, JS), pp. 23–34.
PODS-2000-GrossR #constraints #database #generative: Uniform Generation in Spatial Constraint Databases and Applications (DG, MdR), pp. 254–259.
PODS-2000-Kreutzer #constraints #database #fixpoint #linear #query: Fixed-Point Query Languages for Linear Constraint Databases (SK), pp. 116–125.
PODS-2000-Vardi #constraints #database #tutorial: Constraint Satisfaction and Database Theory: a Tutorial (MYV), pp. 76–85.
SIGMOD-2000-ReveszCKLLW #constraints #database: The MLPQ/GIS Constraint Database System (PZR, RC, PK, YL, YL, YW), p. 601.
VLDB-2000-CeriCW #constraints: Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award) (SC, RC, JW), pp. 254–262.
VLDB-2000-CowleyP #constraints #nondeterminism: Temporal Integrity Constraints with Indeterminacy (WC, DP), pp. 441–450.
VLDB-2000-WangHH #constraints #mining #using: Mining Frequent Itemsets Using Support Constraints (KW, YH, JH), pp. 43–52.
ESOP-2000-SeidlS #analysis #constraints #interprocedural #parallel #source code: Constraint-Based Inter-Procedural Analysis of Parallel Programs (HS, BS), pp. 351–365.
TACAS-2000-BharadwajS #automation #constraints #invariant #named #theorem proving: Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking (RB, SS), pp. 378–394.
TACAS-2000-Bultan #concurrent #constraints #evaluation #model checking: BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems (TB), pp. 441–455.
TACAS-2000-WolperB #automaton #constraints #linear #on the: On the Construction of Automata from Linear Arithmetic Constraints (PW, BB), pp. 1–19.
WCRE-J-1997-QuiliciWZ00 #approach #constraints: Program plan matching: experiments with a constraint-based approach (AQ, SW, YZ), pp. 285–302.
PLDI-2000-FahndrichRD #analysis #constraints #scalability #using: Scalable context-sensitive flow analysis using instantiation constraints (MF, JR, MD), pp. 253–263.
SAS-2000-Jackson #constraints #design #logic: Enforcing Design Constraints with Object Logic (DJ), pp. 1–21.
SAS-2000-Podelski #constraints #model checking #theorem proving: Model Checking as Constraint Solving (AP), pp. 22–37.
ICALP-2000-BulatovKJ #algebra #constraints #finite #problem: Constraint Satisfaction Problems and Finite Algebras (AAB, AAK, PJ), pp. 272–282.
ICALP-2000-Libkin #constraints #independence #quantifier: Variable Independence, Quantifier Elimination, and Constraint Representations (LL), pp. 260–271.
ICALP-2000-Mehlhorn #algorithm #constraints #graph #programming: Constraint Programming and Graph Algorithms (KM), pp. 571–575.
CHI-2000-Spencer #constraints #development #social: The streamlined cognitive walkthrough method, working around social constraints encountered in a software development company (RS), pp. 353–359.
CHI-2000-WangM #constraints #visual notation: The role of contextual haptic and visual constraints on object manipulation in virtual environments (YW, CLM), pp. 532–539.
EDOC-2000-YuraMY #constraints #specification: Specification of Constraints in Business Flow (SY, TM, SY), pp. 102–106.
CIKM-2000-Zaki #category theory #constraints #mining #sequence: Sequence Mining in Categorical Domains: Incorporating Constraints (MJZ), pp. 422–429.
ICML-2000-HuangSK #constraints #declarative #learning: Learning Declarative Control Rules for Constraint-BAsed Planning (YCH, BS, HAK), pp. 415–422.
ICML-2000-WagstaffC #clustering #constraints: Clustering with Instance-level Constraints (KW, CC), pp. 1103–1110.
ICPR-v1-2000-LhuillierQ #constraints #geometry #robust #using: Robust Dense Matching Using Local and Global Geometric Constraints (ML, LQ), pp. 1968–1972.
ICPR-v1-2000-LourakisTAO #3d #constraints #geometry #using: Using Geometric Constraints for Matching Disparate Stereo Views of 3D Scenes Containing Planes (MIAL, SVT, AAA, SCO), pp. 1419–1422.
ICPR-v1-2000-SeoH #constraints #orthogonal: Auto-Calibration from the Orthogonality Constraints (YS, AH), pp. 1067–1071.
ICPR-v1-2000-VogelhuberS #constraints #detection: Face Detection Based on Generic Local Descriptors and Spatial Constraints (VV, CS), pp. 5084–5087.
ICPR-v2-2000-Mariani #constraints #invariant #recognition: Local Invariants and Local Constraints for Face Recognition (RM), pp. 2949–2952.
ICPR-v3-2000-Verges-LlahiSC #algorithm #clustering #constraints #graph #image #segmentation: Color Image Segmentation Solving Hard-Constraints on Graph Partitioning Greedy Algorithms (JVL, AS, JC), pp. 3629–3632.
KDD-2000-GarofalakisHRS #algorithm #constraints #performance: Efficient algorithms for constructing decision trees with constraints (MNG, DH, RR, KS), pp. 335–339.
KDD-2000-PeiH #constraints #mining #question: Can we push more constraints into frequent pattern mining? (JP, JH), pp. 350–354.
KDD-2000-ZhangDR #constraints #dataset #scalability: Exploring constraints to efficiently mine emerging patterns from large high-dimensional datasets (XZ, GD, KR), pp. 310–314.
KR-2000-BisoRS #constraints #learning: Experimental Results on Learning Soft Constraints (AB, FR, AS), pp. 435–444.
KR-2000-Giunchiglia #concurrent #constraints #nondeterminism #satisfiability: Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism (EG), pp. 657–666.
KR-2000-VerberneHT #approximate #constraints #reasoning #using: Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation (AV, FvH, AtT), pp. 323–332.
KR-2000-Vidal #constraints #network: Controllability characterization and checking in Contingent Temporal Constraint Networks (TV), pp. 559–570.
UML-2000-BottoniKPT #consistency #constraints #ocl #visualisation: Consistency Checking and Visualization of OCL Constraints (PB, MK, FPP, GT), pp. 294–308.
UML-2000-Knapmann #constraints: Business-oriented Constraint Language (JK), pp. 47–61.
UML-2000-Knapmann00a #constraints #statistics: Statistical Constraints for EAI (JK), pp. 78–92.
UML-2000-Padawitz #constraints #diagrams #how #proving #state machine #theorem proving #uml: Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving (PP), pp. 162–177.
UML-2000-RichtersG #constraints #modelling #ocl #uml #validation: Validating UML Models and OCL Constraints (MR, MG), pp. 265–277.
TOOLS-EUROPE-2000-KleppeW00a #constraints #ocl: An Introduction to the Object Constraint Language (OCL) (AK, JW), p. 456.
TOOLS-USA-2000-VaziriJ #constraints #ocl #uml: Some Shortcomings of OCL, the Object Constraint Language of UML (MV, DJ), pp. 555–562.
LOPSTR-2000-FioravantiPP #automation #constraints #logic programming #source code: Automated strategies for specializing constraint logic programs (FF, AP, MP).
LOPSTR-J-2000-FioravantiPP #automation #constraints #logic programming #source code: Automated Strategies for Specializing Constraint Logic Programs (FF, AP, MP), pp. 125–146.
PPDP-2000-Fages #concurrent #constraints #linear #logic #programming: Concurrent constraint programming and linear logic (abstract) (FF), p. 44.
PPDP-2000-PelovB #constraints #logic programming: Extending constraint logic programming with open functions (NP, MB), pp. 235–244.
PPDP-2000-PierroW #abstract interpretation #concurrent #constraints #probability #programming #towards: Concurrent constraint programming: towards probabilistic abstract interpretation (ADP, HW), pp. 127–138.
PADL-2000-BistarelliCGR #consistency #constraints #programming: Labeling and Partial Local Consistency for Soft Constraint Programming (SB, PC, YG, FR), pp. 230–248.
PADL-2000-ChewHN #constraints #tool support: A Toolkit for Constraint-Based Inference Engines (TYC, MH, KBN), pp. 185–199.
PADL-2000-GuptaA #constraints #interface #named #source code #spreadsheet #visual notation: Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs (GG, SFA), pp. 308–323.
PADL-2000-Hickey #constraints #named #theorem proving: CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving (TJH), pp. 200–214.
PADL-2000-Schulte #combinator #concurrent #constraints #programming: Programming Deep Concurrent Constraint Combinators (CS), pp. 215–229.
POPL-2000-Hickey #constraints #theorem proving: Analytic Constraint Solving and Interval Arithmetic (TJH), pp. 338–351.
POPL-2000-SuFA #constraints #graph: Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs (ZS, MF, AA), pp. 81–95.
SAC-2000-Dowell #configuration management #constraints #network #performance: Optimal Configuration of a Command and Control Network: Balancing Performance and Reconfiguration Constraints (LJD), pp. 94–98.
SAC-2000-MarchioriS #algorithm #constraints #problem #random #search-based: A Genetic Local Search Algorithm for Random Binary Constraint Satisfaction Problems (EM, AGS), pp. 458–462.
SAC-2000-Monfroy #algorithm #constraints #coordination: A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation (EM), pp. 262–269.
FSE-2000-GodefroidJJL #automation #constraints #interactive #testing: Automated systematic testing for constraint-based interactive services (PG, LJJ, RJ, KL), pp. 40–49.
ICSE-2000-JacksonSS #alloy #constraints #named: Alcoa: the alloy constraint analyzer (DJ, IS, IS), pp. 730–733.
CAV-2000-BryantV #constraints #satisfiability #transitive: Boolean Satisfiability with Transitivity Constraints (REB, MNV), pp. 85–98.
CAV-2000-CassezL #constraints #hybrid #model checking: Model-Checking for Hybrid Systems by Quotienting and Constraints Solving (FC, FL), pp. 373–388.
CL-2000-AzevedoB #constraints #modelling #problem #set: Modelling Digital Circuits Problems with Set Constraints (FA, PB), pp. 414–428.
CL-2000-CuiW #constraints #logic programming: A System for Tabled Constraint Logic Programming (BC, DSW), pp. 478–492.
CL-2000-CurryWH #constraints #representation: Representing Trees with Constraints (BC, GAW, GH), pp. 315–325.
CL-2000-DebrayH #analysis #constraints #database #termination: Constraint-Based Termination Analysis for Cyclic Active Database Rules (SKD, TJH), pp. 1121–1136.
CL-2000-DekhtyarDD #complexity #constraints #on the: On Complexity of Updates through Integrity Constraints (MID, AJD, SD), pp. 867–881.
CL-2000-DuchierN #constraints #set: Dominance Constraints with Set Operators (DD, JN), pp. 326–341.
CL-2000-GilbertP #concurrent #constraints #process #programming: Concurrent Constraint Programming with Process Mobility (DRG, CP), pp. 463–477.
CL-2000-HahnleHS #constraints #finite #generative #proving #theorem proving: Moder Generation Theorem Proving with Finite Interval Constraints (RH, RH, YS), pp. 285–299.
CL-2000-HuiG #approach #constraints #finite: Developing Finite Domain Constraints — A Data Model Approach (KyH, PMDG), pp. 448–462.
CL-2000-Muller #constraints: Promoting Constraints to First-Class Status (TM), pp. 429–447.
CL-2000-NilssonL #constraints #logic programming #model checking: Constraint Logic Programming for Local and Symbolic Model-Checking (UN, JL), pp. 384–398.
CSL-2000-BenediktK #constraints #linear: Definability over Linear Constraints (MB, HJK), pp. 217–231.
ISSTA-2000-JacksonV #constraints #debugging #theorem proving: Finding bugs with a constraint solver (DJ, MV), pp. 14–25.
LICS-2000-CalvaneseGLV #constraints #query: View-Based Query Processing and Constraint Satisfaction (DC, GDG, ML, MYV), pp. 361–371.
RTA-2000-ErkN #constraints #parallel: Parallelism Constraints (KE, JN), pp. 110–126.
RTA-2000-LevyV #constraints #higher-order #linear #unification: Linear Second-Order Unification and Context Unification with Tree-Regular Constraints (JL, MV), pp. 156–171.
WICSA-1999-HirschIM #constraints #graph grammar #modelling #theorem proving: Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving (DH, PI, UM), pp. 127–144.
ASE-1999-EmersonB #constraints #development #specification #synthesis: Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications (TE, MHB), pp. 267–270.
ASE-1999-GoualardB #constraints #debugging #visualisation: A Visualization Tool for Constraint Program Debugging (FG, FB), p. 110–?.
ASE-1999-KyaruziK #architecture #component #constraints: Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties (JJK, JvK), pp. 235–242.
DAC-1999-AagaardJS #constraints #parametricity: Parametric Representations of Boolean Constraints (MA, RBJ, CJHS), pp. 402–407.
DAC-1999-BashfordL #constraints #fixpoint: Constraint Driven Code Selection for Fixed-Point DSPs (SB, RL), pp. 817–822.
DAC-1999-CarballoD #collaboration #constraints #design: Constraint Management for Collaborative Electronic Design (JAC, SWD), pp. 529–534.
DAC-1999-RoyBB #algorithm #constraints: An Approxmimate Algorithm for Delay-Constraint Technology Mapping (SR, KPB, PB), pp. 367–372.
DAC-1999-TabbaraBN #constraints #trade-off: Retiming for DSM with Area-Delay Trade-Offs and Delay Constraints (AT, RKB, ARN), pp. 725–730.
DAC-1999-TupuriKA #automation #constraints #functional #generative #testing #using: Test Generation for Gigahertz Processors Using an Automatic Functional Constraint Extractor (RST, AK, JAA), pp. 647–652.
DATE-1999-DhanwadaNV #constraints #synthesis #using: Hierarchical Constraint Transformation Using Directed Interval Search for Analog System Synthesis (NRD, ANA, RV), p. 328–?.
DATE-1999-Kuchcinski #constraints #finite #graph #scheduling #using: Integrated Resource Assignment and Scheduling of Task Graphs Using Finite Domain Constraints (KK), pp. 772–773.
DATE-1999-SchwenckerEGA #automation #constraints: Automating the Sizing of Analog CMOS Circuits by Consideration of Structural Constraints (RS, JE, HEG, KA), pp. 323–327.
DATE-1999-VercauterenSV #constraints #generative #hardware #interface #realtime #synthesis: Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints (SV, JvdS, DV), pp. 556–561.
PODS-1999-BenediktL #approximate #constraints #query: Exact and Approximate Aggregation in Constraint Query (MB, LL), pp. 102–113.
PODS-1999-BunemanFW #constraints #interactive: Interaction between Path and Type Constraints (PB, WF, SW), pp. 56–67.
SIGMOD-1999-BrodskySCE #constraints #database #object-oriented: The CCUBE Constraint Object-Oriented Database System (AB, VES, JC, PAE), pp. 577–579.
SIGMOD-1999-LakshmananNHP #constraints #optimisation #query #set: Optimization of Constrained Frequent Set Queries with 2-variable Constraints (LVSL, RTN, JH, AP), pp. 157–168.
VLDB-1999-DeutschPT #constraints #independence #optimisation #physics: Physical Data Independence, Constraints, and Optimization with Universal Plans (AD, LP, VT), pp. 459–470.
VLDB-1999-GarofalakisRS #constraints #mining #named #regular expression: SPIRIT: Sequential Pattern Mining with Regular Expression Constraints (MNG, RR, KS), pp. 223–234.
ESOP-1999-PodelskiCM #analysis #concurrent #constraints #logic programming #source code: Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs (AP, WC, MM), pp. 177–192.
FLOPS-1999-FernandezH #constraints #framework #theorem proving: An Interval Lattice-Based Constraint Solving Framework for Lattices (AJF, PMH), pp. 194–208.
DLT-1999-KlarlundDS #constraints #logic #named #parsing: Yakyak: parsing with logical side constraints (NK, ND, MIS), pp. 286–301.
FM-v2-1999-SmarandacheGG #calculus #constraints #realtime #validation: Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints (IMS, TG, PLG), pp. 1364–1383.
AGTIVE-1999-HoffmannLS #composition #constraints #geometry #graph transformation: Planning Geometric Constraint Decomposition via Optimal Graph Transformations (CMH, AL, MS), pp. 309–324.
CAiSE-1999-CalvaneseGL #constraints #query: Queries and Constraints on Semi-structured Data (DC, GDG, ML), pp. 434–438.
CAiSE-1999-EderPR #constraints #workflow: Time Constraints in Workflow Systems (JE, EP, MR), pp. 286–300.
ICEIS-1999-Serrano #constraints #semantics #specification: Marta Jacinto, João Paulo Cunha: Specifying Semantic Constraints for a Healthcare Scheduler (JAVS), pp. 517–524.
UML-1999-DemuthH #constraints #database #design #ocl #relational #uml #using: Using UML/OCL Constraints for Relational Database Design (BD, HH), pp. 598–613.
UML-1999-KentH #constraints #visual notation: Mixing Visual and Textual Constraint Languages (SK, JH), pp. 384–398.
UML-1999-TortBHW #constraints #interface #ocl: Correct Realization of Interface Constraints with OCL (FT, MB, RH, MW), pp. 399–415.
TOOLS-USA-1999-ColletR #constraints #ocl #performance #towards: Towards Efficient Support for Executing the Object Constraint Language (PC, RR), p. 399–?.
TOOLS-USA-1999-DanielsT #constraints #effectiveness #sequence #testing: Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints (FJD, KCT), pp. 74–83.
TOOLS-USA-1999-GilHK #constraints #diagrams #uml: Constraint Diagrams: A Step Beyond UML (JYG, JH, SK), pp. 453–463.
LOPSTR-1999-Fribourg #constraints #logic programming #model checking: Constraint Logic Programming Applied to Model Checking (LF), pp. 30–41.
LOPSTR-1999-PueblaBH #constraints #debugging #logic programming #source code: Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs (GP, FB, MVH), pp. 273–292.
PPDP-1999-Arenas-SanchezLR #constraints #functional #logic programming: Functional Plus Logic Programming with Built-In and Symbolic Constraints (PAS, FJLF, MRA), pp. 152–169.
PPDP-1999-HentenryckMPR #constraints #programming: Constraint Programming in OPL (PVH, LM, LP, JCR), pp. 98–116.
PPDP-1999-HolzbaurF #compilation #constraints #prolog: Compiling Constraint Handling Rules into Prolog with Attributed Variables (CH, TWF), pp. 117–133.
PPDP-1999-Ruiz-AndinoASR #constraints #execution #finite #modelling #parallel #programming: Parallel Execution Models for Constraint Programming over Finite Domains (ARA, LA, FS, JJR), pp. 134–151.
PADL-1999-CarlssonKA #constraints #resource management #scheduling: Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing (MC, PK, EÅ), pp. 335–349.
PADL-1999-GoltzM #constraints #logic programming #using: University Timetabling Using Constraint Logic Programming (HJG, DM), pp. 320–334.
PADL-1999-Lai #constraints #debugging #proving #using: Using Constraints in Local Proofs for CLP Debugging (CL), pp. 350–359.
POPL-1999-GuptaJP #concurrent #constraints #probability #process #source code: Stochastic Processes as Concurrent Constraint Programs (VG, RJ, PP), pp. 189–202.
POPL-1999-WandS #constraints: Constraint Systems for Useless Variable Elimination (MW, IS), pp. 291–302.
SAC-1999-Monfroy #constraints #using: Using “Weaker” Functions for Constraint Propagation Over Real Numbers (EM), pp. 553–559.
SAC-1999-MonfroyR #constraints #distributed: Chaotic Iteration for Distributed Constraint Propagation (EM, JHR), pp. 19–24.
ESEC-FSE-1999-Bokowski #constraints #java #named: CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java (BB), pp. 355–374.
CADE-1999-Nieuwenhuis #constraints #deduction: Invited Talk: Rewrite-based Deduction and Symbolic Constraints (RN), pp. 302–313.
CAV-1999-YangSBO #constraints #model checking #modelling #optimisation: Optimizing Symbolic Model Checking for Constraint-Rich Models (BY, RGS, REB, DRO), pp. 328–340.
CSL-1999-DelzannoEP #analysis #constraints #protocol: Constraint-Based Analysis of Broadcast Protocols (GD, JE, AP), pp. 50–66.
CSL-1999-GradelK #complexity #constraints #database: Descriptive Complexity Theory for Constraint Databases (EG, SK), pp. 67–81.
ICLP-1999-DemoenBHMS #constraints #theorem proving: Herbrand Constraint Solving in HAL (BD, MJGdlB, WH, KM, PJS), pp. 260–274.
ICLP-1999-DovierPPR #constraints: ACI1 Constraints (AD, CP, EP, GR), pp. 573–587.
ICLP-1999-FocacciML #constraints: Soving TSP with Time Windows with Constraints (FF, MM, AL), pp. 515–529.
ICLP-1999-Henz #constraints: Constraint-based Round Robin Tournament Planning (MH), pp. 545–557.
ICLP-1999-Muller #constraints #graph: Practical Investigation of Constraints with Graph Views (TM), p. 615.
ICLP-1999-Schulte #constraints #programming: Comparing Trailing and Copying for Constraint Programming (CS), pp. 275–289.
ICLP-1999-TickYM #constraints #problem: Finding Fair Allocations for the Coalition Problem with Constraints (ET, RHCY, MJM), pp. 530–544.
LICS-1999-NiehrenMT #constraints #set: Entailment of Atomic Set Constraints is PSPACE-Complete (JN, MM, JMT), pp. 285–294.
RTA-1999-NieuwenhuisR #constraints #order: Solved Forms for Path Ordering Constraints (RN, JMR), pp. 1–15.
ASE-1998-FlenerZH #constraints #logic programming #source code #synthesis: Schema-Guided Synthesis of Constraint Logic Programs (PF, HZ, BH), pp. 168–176.
DAC-1998-ArsintescuCMCK #constraints: General AC Constraint Transformation for Analog ICs (BGA, EC, EM, UC, WHK), pp. 38–43.
DAC-1998-VecianaJG #algorithm #constraints #performance #probability: Hierarchical Algorithms for Assessing Probabilistic Constraints on System Performance (GdV, MFJ, JHG), pp. 251–256.
DAC-1998-ZhouW #constraints: Global Routing with Crosstalk Constraints (HZ, DFW), pp. 374–377.
DATE-1998-ArsintescuO #constraints #layout: Constraints Space Management for the Layout of Analog IC’s (BGA, RHJMO), pp. 971–972.
DATE-1998-KassabCAK #analysis #constraints: Propagation of Last-Transition-Time Constraints in Gate-Level Timing Analysis (MK, EC, SA, THK), pp. 796–802.
DATE-1998-MesmanSTMJ #approach #constraints #pipes and filters: A Constraint Driven Approach to Loop Pipelining and Register Binding (BM, MTJS, AHT, JLvM, JAGJ), pp. 377–383.
PODS-1998-AgarwalAEFV #constraints #linear #performance: Efficient Searching with Linear Constraints (PKA, LA, JE, PGF, JSV), pp. 169–178.
PODS-1998-BenediktL #constraints #query: Safe Constraint Queries (MB, LL), pp. 99–108.
PODS-1998-BunemanFW #constraints #database: Path Constraints in Semistructured and Structured Databases (PB, WF, SW), pp. 129–138.
PODS-1998-CalvaneseGL #constraints #decidability #on the #query: On the Decidability of Query Containment under Constraints (DC, GDG, ML), pp. 149–158.
PODS-1998-KolaitisV #constraints: Conjunctive-Query Containment and Constraint Satisfaction (PGK, MYV), pp. 205–213.
ESOP-1998-FechtS #algorithm #constraints #difference #fixpoint #performance: Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems (CF, HS), pp. 90–104.
ESOP-1998-Smolka #concurrent #constraints #functional #programming: Concurrent Constraint Programming Based on Functional Programming (Extended Abstract) (GS), pp. 1–11.
WRLA-1998-BorovanskyC #constraints #process #theorem proving #using: Cooperation of constraint solvers: using the new process control facilities of ELAN (PB, CC), pp. 1–20.
PLDI-1998-FahndrichFSA #constraints #graph #online: Partial Online Cycle Elimination in Inclusion Constraint Graphs (MF, JSF, ZS, AA), pp. 85–96.
SAS-1998-PeraltaGS #analysis #constraints #imperative #logic programming #source code: Analysis of Imperative Programs through Analysis of Constraint Logic Programs (JCP, JPG, HS), pp. 246–261.
ICALP-1998-HengleinR #automaton #complexity #constraints #recursion #type system: Constraint Automata and the Complexity of Recursive Subtype Entailment (FH, JR), pp. 616–627.
ICALP-1998-Telle #constraints #independence #set: Independent Sets with Domination Constraints (MMH, JK, JAT), pp. 176–187.
ICALP-1998-VictorP #calculus #concurrent #constraints: Concurrent Constraints in the Fusion Calculus (BV, JP), pp. 455–469.
TAGT-1998-MunchSW #constraints #multi: Integrity Constraints in the Multi-paradigm Language PROGRES (MM, AS, AJW), pp. 338–351.
TAGT-1998-Rudolf #constraints #graph #pattern matching #performance: Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching (MR), pp. 238–251.
CIKM-1998-PapadiasMM #constraints #image #retrieval #similarity: Image Similarity Retrieval by Spatial Constraints (DP, NM, DM), pp. 289–296.
ICPR-1998-HeydenK #constraints #re-engineering #using: Reconstruction from affine cameras using closure constraints (AH, FK), pp. 47–50.
ICPR-1998-LengagneFM #3d #constraints #difference #using: Using differential constraints to generate a 3D face model from stereo (RL, PF, OM), pp. 637–639.
ICPR-1998-SchererAP #adaptation #constraints #integration #robust: Robust adaptive window matching by homogeneity constraint and integration of descriptions (SS, WA, AP), pp. 777–779.
KR-1998-BaiolettiMM #constraints #encoding #partial order: Encoding Planning Constraints into Partial Order Planners (MB, SM, AM), pp. 608–616.
KR-1998-Lukasiewicz #constraints #deduction #probability: Probabilistic Deduction with Conditional Constraints over Basic Events (TL), pp. 380–393.
UML-1998-HamieCHKM #constraints #ocl: Reflections on the Object Constraint Language (AH, FC, JH, SK, RM), pp. 162–172.
UML-1998-KleppeWC #constraints #metamodelling #ocl #uml: Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel (AK, JW, SC), pp. 148–161.
UML-1998-Ou #constraints #database #design #diagrams #object-oriented #on the #specification #uml #using: On Using UML Class Diagrams for Object-Oriented Database Design. Specification of Integrity Constraints (YO), pp. 173–188.
TOOLS-ASIA-1998-NiZ #automation #constraints #dynamic analysis #java #semantics: An Automatically Dynamic Checking Tool for Java Beans Semantic Constraints (BN, ZZ), pp. 164–172.
TOOLS-PACIFIC-1998-Noble98a #constraints: Objects and Constraints (JN), pp. 75–87.
TOOLS-USA-1998-Mitchell #analysis #constraints #contract #ocl #uml: Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.
ALP-PLILP-1998-AjiliL #constraints #linear: Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems (FA, HCRL), pp. 463–480.
ALP-PLILP-1998-Arenas-SanchezLR #constraints #functional #lazy evaluation #logic #multi: Embedding Multiset Constraints into a Lazy Functional Logic Language (PAS, FJLF, MRA), pp. 429–444.
ALP-PLILP-1998-LiptonM #constraints #encapsulation #logic programming: Encapsulating Data in Logic Programming via Categorial Constraints (JL, RM), pp. 391–410.
LOPSTR-1998-GabricGS #analysis #constraints #strict #theorem proving: Strictness Analysis as Finite-Domain Constraint Solving (TG, KG, HS), pp. 255–270.
LOPSTR-1998-HoarauM #compilation #constraints #logic programming #source code #termination: Inferring and Compiling Termination for Constraint Logic Programs (SH, FM), pp. 240–254.
SAC-1998-ArbabM #constraints #coordination #theorem proving #using: Using coordination for cooperative constraint solving (FA, EM), pp. 139–148.
SAC-1998-Kim #constraints #search-based: Riemann mapping based constraint handling for evolutionary search (DGK), pp. 379–385.
SAC-1998-LiII #algorithm #constraints #estimation #recursion: A recursive time estimation algorithm for program traces under resource constraints (DL, YI, NI), pp. 635–640.
CC-1998-NielsonN #analysis #constraints #logic: Flow Logics for Constraint Based Analysis (HRN, FN), pp. 109–127.
CADE-1998-BachmairGV #constraints #similarity: Elimination of Equality via Transformation with Ordering Constraints (LB, HG, AV), pp. 175–190.
CADE-1998-Peltier #constraints #equation: System Description: An Equational Constraints Solver (NP), pp. 119–123.
CAV-1998-KaufmannMP #constraints #design #model checking: Design Constraints in Symbolic Model Checking (MK, AM, CP), pp. 477–487.
CSL-1998-MarekPT #constraints #logic programming: Revision Programming = Logic Programming + Integrity Constraints (VWM, IP, MT), pp. 73–89.
CSL-1998-NarendranRV #constraints #theorem proving: RPO Constraint Solving Is in NP (PN, MR, RMV), pp. 385–398.
ISSTA-1998-BultanGL #approach #constraints #integer #verification: Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach (TB, RG, CL), pp. 113–123.
ISSTA-1998-GotliebBR #automation #constraints #generative #testing #theorem proving #using: Automatic Test Data Generation Using Constraint Solving Techniques (AG, BB, MR), pp. 53–62.
JICSLP-1998-AngelopoulosPW #algorithm #constraints #implementation #logic programming #random: Implementing Randomised Algorithms in Constraint Logic Programming (NA, ADP, HW), pp. 355–356.
JICSLP-1998-DevienneTT #constraints #set: Co-definite Set Constraints with Membership Expressions (PD, JMT, ST), pp. 25–39.
JICSLP-1998-Refalo98a #constraints #logic programming: Meta-linear Constraints in Constraint Logic Programming (PR), pp. 55–69.
JICSLP-1998-Zhou #algorithm #compilation #constraints: A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints (NFZ), pp. 70–84.
LICS-1998-FagesRS #concurrent #constraints #semantics #source code #verification: Phase Semantics and Verification of Concurrent Constraint Programs (FF, PR, SS), pp. 141–152.
LICS-1998-MullerNT #constraints #first-order: The First-Order Theory of Ordering Constraints over Feature Trees (MM, JN, RT), pp. 432–443.
RTA-1998-CharatonikP #constraints #set: Co-definite Set Constraints (WC, AP), pp. 211–225.
RTA-1998-MullerN #constraints #higher-order #logic #monad: Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic (MM, JN), pp. 196–210.
EDTC-1997-BeckmannH #constraints #in memory #logic programming #memory management #synthesis #using: Using constraint logic programming in memory synthesis for general purpose computers (RB, JH), p. 619.
EDTC-1997-DasdanMG #analysis #constraints #debugging #embedded #named: RATAN: A tool for rate analysis and rate constraint debugging for embedded systems (AD, AM, RKG), pp. 2–6.
EDTC-1997-GirodiasC #constraints #correlation #interface #logic programming #using #verification: Interface timing verification with delay correlation using constraint logic programming (PG, EC), pp. 12–19.
ICDAR-1997-YoungB #constraints #readability: Constraints on handwriting Korean characters to improve the machine readability (CBY, SYB), pp. 195–199.
PODS-1997-AbiteboulV #constraints #query: Regular Path Queries with Constraints (SA, VV), pp. 122–133.
PODS-1997-GoldsteinRSY #constraints #linear #query: Processing Queries By Linear Constraints (JG, RR, US, JBY), pp. 257–267.
PODS-1997-IbarraS #constraints #database #equivalence #linear #on the #query: On the Containment and Equivalence of Database Queries with Linear Constraints (OHI, JS), pp. 32–43.
CSMR-1997-Michael #constraints #evolution #using: Using evolution constraints to assess the failure-proneness of evolving software (CCM), pp. 48–53.
WCRE-1997-QuiliciWZ #approach #constraints: New Experiments with a Constraint-Based Approach to Program Plan Matching (AQ, SW, YZ), pp. 114–123.
PEPM-1997-MelskiR #constraints #context-free grammar #reachability #set: Interconveritibility of Set Constraints and Context-Free Language Reachability (DM, TWR), pp. 74–89.
SAS-1997-FahndrichA #constraints #program analysis #set #using: Program Analysis Using Mixed Term and Set Constraints (MF, AA), pp. 114–126.
STOC-1997-KhannaSW #classification #constraints #problem: A Complete Classification of the Approximability of Maximization Problems Derived from Boolean Constraint Satisfaction (SK, MS, DPW), pp. 11–20.
ICALP-1997-Apt #constraints: From Chaotic Iteration to Constraint Propagation (KRA), pp. 36–55.
ICALP-1997-Ruggieri #constraints #logic programming #source code #termination: Termination of Constraint Logic Programs (SR), pp. 838–848.
ICFP-1997-Pareja-FloresV #constraints #synthesis: Synthesis of Functions by Transformations and Constraints (CPF, JÁVI), p. 317.
HCI-CC-1997-AkoumianakisSS #constraints #design #elicitation #interface #people: Interface Design for Disabled People: Eliciting User-Centred Design Constraints (DA, CS, GS), pp. 437–440.
HCI-SEC-1997-HolstCG #analysis #constraints #interface: Transporting Honey Bears: A Cognitive Analysis of the Effects of Interface Manipulation Style on a Constraint-Based Planning Task (SJH, EFC, DJG), pp. 169–172.
CIKM-1997-DulleaS #analysis #constraints: An Analysis of Cardinality Constraints in Redundant Relationships (JD, IYS), pp. 270–277.
CIKM-1997-NakayamaYK #constraints #regular expression: I-Regular Expression: Regular Expression with Continuous Interval Constraints (KN, KY, SK), pp. 40–50.
KDD-1997-SrikantVA #constraints #mining: Mining Association Rules with Item Constraints (RS, QV, RA), pp. 67–73.
UML-1997-GogollaR #constraints #on the #query #uml: On Constraints and Queries in UML (MG, MR), pp. 109–121.
ECOOP-1997-BenzakenS #constraints #database #object-oriented #programming language: Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers (VB, XS), pp. 60–84.
OOPSLA-1997-Kent #constraints #diagrams #modelling #object-oriented #visualisation: Constraint Diagrams: Visualizing Assertions in Object-Oriented Models (SK), pp. 327–341.
TOOLS-ASIA-1997-PasalaR #collaboration #constraints #design pattern #flexibility #mobile #named: PolyConstraints: A Design Pattern for Flexible Collaboration in Heterogeneous Mobile Environments (AP, DJR), pp. 166–175.
ALP-1997-AbdennadherS #constraints #generative #quantifier: Model Generation with Existentially Quantified Variables and Constraints (SA, HS), pp. 256–272.
ALP-1997-CodishT #analysis #constraints #logic programming #semantics #source code #termination #using: A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints (MC, CT), pp. 31–45.
LOPSTR-1997-ChasseurD #constraints #logic programming: Logic Program Schemas, Constraints, and Semi-unification (EC, YD), pp. 69–89.
LOPSTR-1997-LafaveG #constraints #functional #logic programming #partial evaluation #source code: Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs (LL, JPG), pp. 168–188.
PLILP-1997-CarlssonOC #constraints #finite #theorem proving: An Open-Ended Finite Domain Constraint Solver (MC, GO, BC), pp. 191–206.
POPL-1997-SeidlS #constraints #deforestation #higher-order: Constraints to Stop Higher-Order Deforestation (HS, MHS), pp. 400–413.
SAC-1997-Mao #constraints #order #parallel #problem #scheduling: A parallel multi-operation scheduling problem with machine order constraints (WM), pp. 473–477.
SAC-1997-ShumskyWME #constraints #finite #first-order #generative #heuristic: Direct finite first-order model generation with negative constraint propagation heuristic (OS, RWW, WM, FE), pp. 25–29.
SOSP-1997-JonesRR #constraints #cpu #independence #performance #predict #process #scheduling: CPU Reservations and Time Constraints: Efficient, Predictable Scheduling of Independent Activities (MBJ, DR, MCR), pp. 198–211.
CADE-1997-HarlandP #constraints: Resource-Distribution via Boolean Constraint (Extended Abstract) (JH, DJP), pp. 222–236.
CADE-1997-NiehrenPR #constraints #finite #on the #similarity #unification: On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting (JN, MP, PR), pp. 34–48.
CAV-1997-ChanABN #constraints #model checking #theorem proving: Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints (WC, RJA, PB, DN), pp. 316–327.
CSL-1997-RuetF #commutative #concurrent #constraints #logic #programming: Concurrent Constraint Programming and Non-commutative Logic (PR, FF), pp. 406–423.
ICLP-1997-AjiliK #composition #constraints #framework #unification: A Modular Framework for the Combination of Unification and Built-In Constraints (FA, CK), pp. 331–345.
ICLP-1997-CaseauL #constraints: Solving Small TSPs with Constraints (YC, FL), pp. 316–330.
ICLP-1997-DecorteS #analysis #automation #constraints #logic programming #source code: Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs (SD, DDS), pp. 78–92.
ICLP-1997-DekhtyarD #constraints #recognition: Total Homeostaticity and Integrity Constraints Restorability Recognition (MID, AJD), pp. 241–255.
ICLP-1997-LammaMM #constraints #logic programming #reasoning: Reasoning on Constraints in Constraint Logic Programming (EL, MM, PM), p. 413.
ICLP-1997-MullerW #concurrent #constraints: Connecting Propagators with a Concurrent Constraint Language (TM, JW), p. 412.
ICLP-1997-Schulte #constraints #programming #visual notation: Oz Explorer: A Visual Constraint Programming Tool (CS), pp. 286–300.
ICLP-1997-Stuckey #constraints: Constraint Search Tree (PJS), pp. 301–315.
ICLP-1997-TsuchidaAIY #constraints #logic programming #using: Tree Drawing Using Constraint Logic Programming (KT, YA, TI, TY), p. 414.
ILPS-1997-JussienB #constraints #maintenance: Best-First Search for Property Maintenance in Reactive Constraint Systems (NJ, PB), pp. 339–353.
ILPS-1997-LeachNR #constraints #logic programming: Constraint Logic Programming with Hereditary Harrop Formulas (JL, SN, MRA), pp. 307–321.
ILPS-1997-MullerW #concurrent #constraints: Extending a Concurrent Constraint Language by Propagators (TM, JW), pp. 149–163.
ILPS-1997-Smolka #constraints #programming: Constraint Programming in Oz (Abstract) (GS), pp. 37–38.
LICS-1997-CharatonikP #constraints #set: Set Constraints with Intersection (WC, AP), pp. 362–372.
TLCA-1997-BonoB #constraints #λ-calculus: Matching Constraints for the λ Calculus of Objects (VB, MB), pp. 46–62.
DAC-1996-BasaranR #algorithm #constraints #performance: An O(n) Algorithm for Transistor Stacking with Performance Constraints (BB, RAR), pp. 221–226.
DAC-1996-Gupta #analysis #constraints #embedded #execution: Analysis of Operation Delay and Execution Rate Constraints for Embedded Systems (RKG), pp. 601–604.
PODS-1996-BenediktDLW #constraints #power of #query #relational: Relational Expressive Power of Constraint Query Languages (MB, GD, LL, LW), pp. 5–16.
PODS-1996-GrumbachS #constraints #database #towards: Towards Practical Constraint Databases (SG, JS), pp. 28–39.
SIGMOD-1996-RossSS #constraints #maintenance: Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time (KAR, DS, SS), pp. 447–458.
VLDB-1996-CochranePM #constraints #database #declarative #sql: Integrating Triggers and Declarative Constraints in SQL Database Sytems (RC, HP, NMM), pp. 567–578.
VLDB-1996-LeeL #constraints #database #deduction: Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases (SYL, TWL), pp. 495–505.
VLDB-1996-VermeerA #constraints #database: The Role of Integrity Constraints in Database Interoperation (MWWV, PMGA), pp. 425–435.
ESOP-1996-Seidl #constraints #deforestation #integer: Integer Constraints to Stop Deforestation (HS), pp. 326–340.
TACAS-1996-Rauzy #analysis #constraints #reduction #specification #using: Using the Constraint Language Toupie for “Software Cost Reduction” Specification Analysis (Abstract) (AR), p. 417.
TACAS-1996-SteffenMCBNR #constraints: A Constraint-Oriented Service Creation Environment (BS, TMS, AC, VB, RN, MR), pp. 418–421.
WPC-1996-QuiliciW #algorithm #constraints #framework #towards: Toward a Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms (AQ, SW), p. 55–?.
PLDI-1996-EichenbergerD #constraints #multi #pipes and filters #scheduling: A Reduced Multipipeline Machine Description that Preserves Scheduling Constraints (AEE, ESD), pp. 12–22.
SAS-1996-Aiken #constraints #program analysis: Constraint-Based Program Analysis (Abstract) (AA), p. 1.
SAS-1996-BoerGP #constraints #correctness #logic programming #proving #scheduling #source code: Proving Correctness of Constraint Logic Programs with Dynamic Scheduling (FSdB, MG, CP), pp. 83–97.
SAS-1996-KellyMSS #analysis #constraints #incremental #logic programming #source code: Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs (ADK, KM, HS, PJS), pp. 385–386.
SAS-1996-RehofM #constraints #finite: Tractable Constraints in Finite Semilattices (JR, TÆM), pp. 285–300.
SAS-1996-Snelting #constraints #metric #slicing #theorem proving #validation: Combining Slicing and Constraint Solving for Validation of Measurement Software (GS), pp. 332–348.
ICALP-1996-ChengK #axiom #constraints #set: A Complete Gentzen-Style Axiomatization for Set Constraints (AC, DK), pp. 134–145.
ICFP-1996-Pottier #constraints #type system: Simplifying Subtyping Constraints (FP), pp. 122–133.
CAiSE-1996-LammariLJC #constraints #normalisation #using: Deriving Normalized Is_a Hierarchies by Using Applicability Constraints (NL, RL, MJ, XC), pp. 562–580.
CIKM-1996-OussalahP #constraints: Integrating Constraints in Complex Objects (CO, VP), pp. 189–196.
ICPR-1996-FunayamaYIT #component #constraints: Facial component extraction by cooperative active nets with global constraints (RF, NY, HI, HT), pp. 300–304.
ICPR-1996-LanserZ #constraints #on the #recognition: On the use of topological constraints within object recognition tasks (SL, CZ), pp. 580–584.
ICPR-1996-PollefeysGO #constraints #self: The modulus constraint: a new constraint self-calibration (MP, LJVG, AO), pp. 349–353.
ICPR-1996-SchwenkM #constraints #distance #online #recognition: Constraint tangent distance for on-line character recognition (HS, MM), pp. 520–524.
ICPR-1996-ShioyamaJ #3d #constraints: Numerical 3-D shape inference from shading with new type of constraint (TS, WBJ), pp. 364–368.
ICPR-1996-Sinclair #constraints: The Euclidean hinge constraint in articulated motions (DS), pp. 707–711.
ICPR-1996-ThayerG #constraints #design #using: Designing stereo heads using task domain constraints (SMT, CSG), pp. 820–824.
ICPR-1996-TsurutaTA #constraints #image #re-engineering #using: Image reconstruction using high-level constraints (NT, RiT, MA), pp. 401–405.
KR-1996-JonssonG #constraints #reasoning: Procedural Reasoning in Constraint Satisfaction (AKJ, MLG), pp. 160–171.
KR-1996-KambhampatiY #constraints #on the #refinement: On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning (SK, XY), pp. 135–146.
KR-1996-Sandewall #constraints: Assessments of Ramification Methods that Use Static Domain Constraints (ES), pp. 99–110.
KR-1996-VogelT #constraints #inheritance #reasoning: Psychological Constraints on Plausible Default Inheritance Reasoning (CV, JT), pp. 608–619.
SEKE-1996-Gates #constraints #on the: On Defining a Class of Integrity Constraints (AQG), pp. 338–344.
OOPSLA-1996-KlarlundKS #constraints #design: Formal Design Constraints (NK, JK, MIS), pp. 370–383.
ALP-1996-Benhamou #constraints #theorem proving: Heterogeneous Constraint Solving (FB), pp. 62–76.
ALP-1996-BrimJGK #algebra #concurrent #constraints #process #programming: A Process Algebra for Synchronous Concurrent Constraint Programming (LB, JMJ, DRG, MK), pp. 165–178.
ALP-1996-FagesG #constraints #logic programming #semantics #source code: A Hierarchy of Semantics for Normal Constraint Logic Programs (FF, RG), pp. 77–91.
LOPSTR-1996-FribourgR #constraints #verification: Symbolic Verification with Gap-Order Constraints (LF, JR), pp. 20–37.
PLILP-1996-RoyMS #concurrent #constraints #performance #programming: Integrating Efficient Records into Concurrent Constraint Programming (PVR, MM, RS), pp. 438–453.
PLILP-1996-Scholz #concurrent #constraints #framework #functional #named #programming #user interface: PIDGETS — Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming (ES), pp. 363–377.
PLILP-1996-Schulte #constraints #programming #visual notation: Oz Explorer: A Visual Constraint Programming Tool (CS), pp. 477–478.
PLILP-1996-StuckeyT #constraints #logic programming #modelling #probability #theorem proving #using: Models for Using Stochastic Constraint Solvers in Constraint Logic Programming (PJS, VT), pp. 423–437.
POPL-1996-GovindarajanJM #constraints #logic #optimisation: Optimization and Relaxation in Constraint Logic Languages (KG, BJ, SM), pp. 91–103.
SAC-1996-LeeL #concurrent #constraints #incremental #query: Incremental querying in the concurrent CLP language IFD-Constraint Pandora (JHML, HfL), pp. 387–392.
SAC-1996-MonfroyRS #constraints #implementation: Implementing non-linear constraints with cooperative solvers (EM, MR, RS), pp. 63–72.
JICSLP-1996-FalaschiHW #analysis #concurrent #constraints #source code: Demand Transformation Analysis for Concurrent Constraint Programs (MF, PH, WHW), pp. 333–347.
JICSLP-1996-FordanGN #constraints #optimisation #problem #using: Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract) (AF, UG, AN), p. 537.
JICSLP-1996-Mesnard #constraints #logic programming #query #source code: Inferring Left-terminating Classes of Queries for Constraint Logic Programs (FM), pp. 7–21.
JICSLP-1996-Puget #constraints #programming: Constraint Programming (Abstract) (JFP), p. 3.
JICSLP-1996-WetzelKT #constraints #logic #named #programming: PROCALOG — Programming with Constraints and Abducibles in Logic (Poster Abstract) (GW, RAK, FT), p. 535.
LICS-1996-BenediktL #constraints #on the #query: On the Structure of Queries in Constraint Query Languages (MB, LL), pp. 25–34.
LICS-1996-McAllesterGWK #constraints #set: Tarskian Set Constraints (DAM, RG, CW, DK), pp. 138–147.
DAC-1995-BiekerM #constraints #generative #logic programming #self #using: Retargetable Self-Test Program Generation Using Constraint Logic Programming (UB, PM), pp. 605–611.
DAC-1995-PotkonjakS #constraints #named: Rephasing: A Transformation Technique for the Manipulation of Timing Constraints (MP, MBS), pp. 107–112.
KBSE-1995-BhansaliH #constraints #geometry #knowledge-based #synthesis: Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System (SB, TJH), pp. 11–18.
ICDAR-v1-1995-RoosliM #constraints #metric #quality: A high quality vectorization combining local quality measures and global constraints (MR, GM), pp. 243–248.
ICDAR-v2-1995-FutrelleN #analysis #constraints #diagrams #parsing #performance #using: Efficient analysis of complex diagrams using constraint-based parsing (RPF, NN), pp. 782–790.
ICDAR-v2-1995-KwonHKL #constraints: Contextual postprocessing of a Korean OCR system by linguistic constraints (HCK, HJH, MJK, SWL), pp. 557–562.
PODS-1995-BrodskyLLM #constraints: Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data (AB, CL, JLL, MJM), pp. 54–65.
PODS-1995-GrumbachS #constraints #database: Dense-Order Constraint Databases (SG, JS), pp. 66–77.
PODS-1995-Kanellakis #constraints #database #programming #tutorial: Constraint Programming and Database Languages: A Tutorial (PCK), pp. 46–53.
PODS-1995-Ross #constraints: Structural Totality and Constraint Stratification (KAR), pp. 184–195.
SIGMOD-1995-BrodskyK #constraints #query: The LyriC Language: Querying Constraint Objects (AB, YK), pp. 35–46.
SIGMOD-1995-SistlaW #constraints #database: Temporal Conditions and Integrity Constraints in Active Database Systems (APS, OW), pp. 269–280.
ESOP-J-1994-Andrews95 #constraints #implementation #logic programming: Foundational Issues in Implementing Constraint Logic Programming Systems (JHA), pp. 117–147.
TACAS-1995-LarsenSW #constraints #proving: A Constraint Oriented Proof Methodology Based on Modal Transition Systems (KGL, BS, CW), pp. 17–40.
PEPM-1995-RamakrishnanRS #analysis #constraints #framework #logic programming #source code #theorem proving: A Symbolic Constraint Solving Framework for Analysis of Logic Programs (CRR, IVR, RCS), pp. 12–23.
SAS-1995-WolperB #approach #constraints: An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) (PW, BB), pp. 21–32.
STOC-1995-KargerP #combinator #constraints #multi #optimisation #problem: Adding multiple cost constraints to combinatorial optimization problems, with applications to multicommodity flows (DRK, SAP), pp. 18–25.
FPCA-1995-CousotC #abstract interpretation #constraints #formal method #program analysis: Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation (PC, RC), pp. 170–181.
CHI-1995-Hershmann #constraints #design #user interface: The Effects of Practical Business Constraints on User Interface Design (DH), pp. 531–537.
CIKM-1995-HerzogS #constraints #execution #parallel: Parallel Execution of Integrity Constraint Checks (UH, RS), pp. 82–89.
CIKM-1995-LukasiewiczKKG #approach #constraints #database #nondeterminism #object-oriented #taxonomy: Taxonomic and Uncertain Integrity Constraints in Object-Oriented Databases — the TOP Approach (TL, WK, GK, UG), pp. 241–249.
SEKE-1995-GatesC #constraints #re-engineering: The Use of Integrity Constraints in Software Engineering (AQG, DEC), pp. 383–390.
SEKE-1995-OussalahP #constraints: Combining Constraints and Objects (MCO, VP), pp. 64–71.
LOPSTR-1995-Leuschel #constraints #deduction: Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints (ML), pp. 1–16.
PLILP-1995-ColussiMM #constraints #data flow #logic programming #semantics #source code: A Dataflow Semantics for Constraint Logic Programs (LC, EM, MM), pp. 431–448.
PLILP-1995-Marriott #constraints #multi #parsing #visual notation: Parsing Visual Languages with Constraint Multiset Grammars (KM), pp. 24–25.
PLILP-1995-SaglamG #approximate #constraints #logic programming #polymorphism #source code #using: Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions (HS, JPG), pp. 461–462.
PLILP-1995-TongL #concurrent #constraints #performance #programming: Performance of A Data-Parallel Concurrent Constraint Programming System (BMT, HfL), pp. 463–464.
POPL-1995-SaraswatJG #concurrent #constraints #programming: Default Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 272–285.
POPL-1995-SchauserCG #algorithm #clustering #constraints #source code #strict #thread: Separation Constraint Partitioning — A New Algorithm for Partitioning Non-strict Programs into Sequential Threads (KES, DEC, SCG), pp. 259–271.
FSE-1995-CheungK #analysis #composition #constraints #distributed #finite #reachability: Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints (SCC, JK), pp. 140–150.
ICSE-1995-BarghoutiK #constraints #monitoring #process #using: Using Event Contexts and Matching Constraints to Monitor Software Processes (NSB, BK), pp. 83–92.
ICSE-1995-ClarkeL #algebra #constraints #process #realtime #testing: Testing Real-Time Constraints in a Process Algebraic Setting (DC, IL), pp. 51–60.
LCT-RTS-1995-KoWH #analysis #constraints: Supporting User-Friendly Analysis of Timing Constraints (LK, DBW, MGH), pp. 99–107.
CAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #induction #rule-based #semantics: Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.
CAV-1995-Rauzy #calculus #constraints #μ-calculus: Toupie = μ-Calculus + Constraints (AR), pp. 114–126.
ICLP-1995-BurgSTY #constraints #equation #linear #logic programming: Linear Equation Solving for Constraint Logic Programming (JB, PJS, JCHT, RHCY), pp. 33–47.
ICLP-1995-CarlsonC #compilation #constraints #finite: Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.
ICLP-1995-ChiuL #constraints #linear #theorem proving #using: Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method (CKC, JHML), pp. 17–31.
ICLP-1995-CodognetR #constraints #programming: NMCC Programming: Constraint Enforcement and Retracting in CC Programming (PC, FR), pp. 417–431.
ICLP-1995-FagesFS #constraints #logic programming: A Reactive Constraint Logic Programming Scheme (FF, JF, TS), pp. 149–163.
ICLP-1995-Kahn #concurrent #constraints #named #programming: ToonTalk — Concurrent Constraint Programming for Kids (KMK), p. 3.
ICLP-1995-KakasM #abduction #constraints #logic programming: Integrating Abductive and Constraint Logic Programming (ACK, AM), pp. 399–413.
ICLP-1995-Moreno-Navarro #constraints #inheritance #logic programming #tuple: Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming (JJMN), p. 829.
ICLP-1995-PodelskiS #constraints #logic programming #semantics #source code: Operational Semantics of Constraint Logic Programs with Coroutining (AP, GS), pp. 449–463.
ICLP-1995-SahlinS #concurrent #constraints: An Analyzer for a Concurrent Constraint Language (DS, TS), p. 828.
ICLP-1995-ShiraiH #constraints #problem: Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP (YS, RH), pp. 249–263.
ICLP-1995-Simonis #constraints #logic programming: Applications of Constraint Logic Programming (HS), pp. 9–11.
ICLP-1995-Smolka #concurrent #constraints #named #programming: Oz: Concurrent Constraint Programming for Real (GS), p. 13.
ILPS-1995-BoerG #concurrent #constraints #modelling #programming #realtime: Modelling Real-Time in Concurrent Constraint Programming (FSdB, MG), pp. 528–542.
ILPS-1995-GovindarajanJM #constraints #logic: Relaxation in Constraint Logic Languages (KG, BJ, SM), p. 637.
ILPS-1995-JanssensBD #abstract interpretation #automaton #constraints #logic programming #source code: A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs (GJ, MB, VD), pp. 336–350.
ILPS-1995-LauO #approach #constraints #deduction #formal method #logic programming #source code #synthesis: A Formal Approach to Deductive Synthesis of Constraint Logic Programs (KKL, MO), pp. 543–557.
ILPS-1995-PugetL #constraints: Beyond the Glass Box: Constraints as Objects (JFP, ML), pp. 513–527.
ILPS-1995-Toman #bottom-up #constraints #datalog #top-down: Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.
LICS-1995-ComonNR #constraints #order #theorem proving: Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract) (HC, RN, AR), pp. 375–385.
RTA-1995-BaaderS #algebra #constraints #perspective #theorem proving: Combination of Constraint Solving Techniques: An Algebraic POint of View (FB, KUS), pp. 352–366.
RTA-1995-KirchnerM #constraints #prototype #using: Prototyping Completion with Constraints Using Computational Systems (HK, PEM), pp. 438–443.
RTA-1995-Nieuwenhuis #constraints #on the #proving: On Narrowing, Refutation Proofs and Constraints (RN), pp. 56–70.
EDAC-1994-YangMD #automaton #constraints #scheduling: Scheduling with Environmental Constraints based on Automata Representations (JCYY, GDM, MD), pp. 495–501.
PODS-1994-AlonsoAA #constraints #protocol: Reducing Recovery Constraints on Locking based Protocols (GA, DA, AEA), pp. 129–138.
PODS-1994-GuptaSUW #constraints: Constraint Checking with Partial Information (AG, YS, JDU, JW), pp. 45–55.
PODS-1994-Sohn #constraints #logic programming #source code: Constraints among Argument Sizes in Logic Programs (KS), pp. 68–74.
PODS-1994-StuckeyS #compilation #constraints #query: Compiling Query Constraints (PJS, SS), pp. 56–67.
ESOP-1994-Andrews #constraints #implementation #logic programming: Foundational Issues in Implementing Constraint Logic Programming Systems (JHA), pp. 74–88.
ESOP-1994-CorsiniR #constraints #logic programming #model checking: Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization (MMC, AR), pp. 180–194.
ESOP-1994-PierroP #constraints #logic #logic programming #semantics: A Logical Denotational Semantics for Constraint Logic Programming (ADP, CP), pp. 195–210.
SAS-1994-Agesen #constraints #morphism #parametricity #polymorphism #type inference: Constraint-Based Type Inference and Parametric Polymorphism (OA), pp. 78–100.
ICALP-1994-CaronCCDJ #constraints: Pumping, Cleaning and Symbolic Constraints Solving (ACC, HC, JLC, MD, FJ), pp. 436–449.
AdaEurope-1994-NunezP #constraints #development #lightweight #process: Development of a Lightweight Object-Based Software Process Model Under Pragmatic Constraints (FJN, RP), pp. 231–257.
ICML-1994-Sebag #algorithm #constraints #induction: A Constraint-based Induction Algorithm in FOL (MS), pp. 275–283.
KR-1994-BeekD #consistency #constraints: Constraint Tightness versus Global Consistency (PvB, RD), pp. 572–582.
KR-1994-Koubarakis #complexity #constraints #first-order: Complexity Results for First-Order Theories of Temporal Constraints (MK), pp. 379–390.
SEKE-1994-JacksonLP #automation #constraints #modelling #performance #specification #towards: Towards automatic building of performance models: Formal specification of performance constraints (KJ, AL, RP), pp. 148–155.
SEKE-1994-ZajicekB #constraints #design #interactive #interface #resource management #specification #visual notation: Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system (MZ, KWB), pp. 217–224.
ECOOP-1994-LopezFB #constraints: Constraints and Object Identity (GL, BNFB, AB), pp. 260–279.
OOPSLA-1994-LopezFB #constraints #imperative #implementation #programming language #virtual machine: Implementing Constraint Imperative Programming Languages: The Kaleidospace’93 Virtual Machine (GL, BNFB, AB), pp. 259–271.
TOOLS-EUROPE-1994-BaelenLS #analysis #constraints #design #object-oriented: Constraints in Object-Oriented Analysis and Design (SVB, JL, ES), pp. 185–199.
TOOLS-EUROPE-1994-SuppiahLJ #constraints #eiffel: Expressing and Processing Constraints in Eiffel (AS, TL, ACJ), pp. 337–347.
ALP-1994-Palamidessi #concurrent #constraints #programming: Concurrent Constraint Programming (CP), pp. 1–2.
PLILP-1994-Arenas-SanchezGL #constraints #lazy evaluation: Combining Lazy Narrowing with Disequality Constraints (PAS, AGL, FJLF), pp. 385–399.
PLILP-1994-CodognetD #constraints #performance #theorem proving: clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving (PC, DD), pp. 244–260.
PLILP-1994-FagesFS #constraints #logic programming #optimisation #relational: Handling Preferences in Constraint Logic Programming with Relational Optimization (FF, JF, TS), pp. 261–276.
PLILP-1994-Fruhwirth #constraints #logic programming #reasoning: Annotated Constraint Logic Programming Applied to Temporal Reasoning (TWF), pp. 230–243.
PLILP-1994-Grivas #compilation #constraints #functional #logic #symbolic computation #towards: Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems (GG), pp. 455–456.
PLILP-1994-Palamidessi #concurrent #constraints #programming: Concurrent Constraint Programming (CP), pp. 1–2.
PLILP-1994-ZffanellaGL #concurrent #constraints #programming: Abstracting Synchronization in Concurrent Constraint Programming (EZ, RG, GL), pp. 57–72.
POPL-1994-BoerGMP #concurrent #constraints #proving #source code: Proving Concurrent Constraint Programs Correct (FSdB, MG, EM, CP), pp. 98–108.
SAC-1994-GhazalO #constraints #query #source code #termination: Termination of programs in constraint query languages (AG, AMO), pp. 266–270.
SAC-1994-LeeL #concurrent #constraints #incremental #logic programming #named #nondeterminism #query #towards: IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming (JHML, HfL), pp. 405–409.
CC-1994-JanssensS #abstract interpretation #constraints #implementation #logic programming #on the #source code: On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs (GJ, WS), pp. 172–187.
CADE-1994-FribourgP #bottom-up #constraints #datalog #evaluation #source code: Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints (LF, MVP), pp. 311–325.
CADE-1994-NieuwenhuisR #constraints: AC-Superposition with Constraints: No AC-Unifiers Needed (RN, AR), pp. 545–559.
CADE-1994-Vigneron #commutative #constraints #deduction: Associative-Commutative Deduction with Constraints (LV), pp. 530–544.
ICLP-1994-BarklundDCL #constraints: Reflection through Constraint Satisfaction (JB, PD, SC, GAL), p. 742.
ICLP-1994-CarlsonCD #constraints #finite: Entailment of Finite Domain Constraints (BC, MC, DD), pp. 339–353.
ICLP-1994-Gervet #constraints #finite #named #set: Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables (CG), p. 733.
ICLP-1994-KirchnerR #algebra #constraints #theorem proving: Constraint Solving by Narrowing in Combined Algebraic Domains (HK, CR), pp. 617–631.
ILPS-1994-ChiuL #constraints #logic programming #theorem proving #towards: Towards Practical Interval Constraint Solving in Logic Programming (CKC, JHML), pp. 109–123.
ILPS-1994-Cras #constraints #logic programming #using: Using Constraint Logic Programming in Services: A Few Short Tales (YC), pp. 3–16.
ILPS-1994-Gervet #constraints #finite #logic programming #named #set: Conjunto: Constraint Logic Programming with Finite Set Domains (CG), pp. 339–358.
ILPS-1994-JourdanFRD #concurrent #constraints #modelling #parallel #programming #scheduling #using: Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming (JJ, FF, DR, AD), p. 678.
ILPS-1994-Lever #constraints #logic programming: Constraint Logic Programming for Planning (JML), p. 679.
ILPS-1994-MarriottS #approximate #constraints #interactive #linear: Approximating Interaction between Linear Arithmetic Constraints (KM, PJS), pp. 571–585.
ILPS-1994-MichaylovP #compilation #constraints #linear #logic programming #optimisation #source code: Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs (SM, BP), pp. 586–600.
ILPS-1994-Rajasekar #constraints #logic programming #string #theory and practice: Constraint Logic Programming on Strings: Theory and Applications (AR), p. 681.
ILPS-1994-Ross #constraints #using: A Syntactic Stratification Condition Using Constraints (KAR), pp. 76–90.
ILPS-1994-SchulteS #concurrent #constraints #encapsulation #higher-order #programming: Encapsulated Search for Higher-order Concurrent Constraint Programming (CS, GS), pp. 505–520.
ILPS-1994-TomanCR #constraints #datalog #integer: Datalog with Integer Periodicity Constraints (DT, JC, DSR), pp. 189–203.
LICS-1994-CharatonikP #constraints #set #similarity: Negative Set Constraints with Equality (WC, LP), pp. 128–136.
LICS-1994-SaraswatJG #concurrent #constraints #programming: Foundations of Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 71–80.
LICS-1994-Stefansson #constraints #set: Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete (KS), pp. 137–141.
DAC-1993-PanDL #constraints #graph #layout #reduction: Optimal Graph Constraint Reduction for Symbolic Layout Compaction (PP, SkD, CLL), pp. 401–406.
ICDAR-1993-Lambert #constraints: A projection reducing the constraint of direction (GL), pp. 557–560.
ICDAR-1993-PasternakN #adaptation #constraints #object-oriented #specification #using: Adaptable drawing interpretation using object-oriented and constraint-based graphic specification (BP, BN), pp. 359–364.
ICDAR-1993-Sinha #constraints #on the #recognition #using: On using syntactic constraints in text recognition (RMKS), pp. 858–861.
PODS-1993-ChomickiN #constraints #on the: On the Feasibility of Checking Temporal Integrity Constraints (JC, DN), pp. 202–213.
PODS-1993-KanellakisRVV #constraints #modelling: Indexing for Data Models with Constraints and Classes (PCK, SR, DEV, JSV), pp. 233–243.
SIGMOD-1993-GuptaW #constraints #database #distributed #verification: Local Verification of Global Integrity Constraints in Distributed Databases (AG, JW), pp. 49–58.
SIGMOD-1993-KleinU #constraints #transaction: Open DECdtm: Constraint Based Transaction Management (JK, FUI), pp. 430–433.
VLDB-1993-BrodskyJM #constraints #database #towards: Toward Practical Constraint Databases (AB, JJ, MJM), pp. 567–580.
VLDB-1993-IshikawaK #approach #constraints #database #multi #object-oriented: An Active Object-Oriented Database: A Multi-Paradigm Approach to Constraint Management (HI, KK), pp. 467–478.
VLDB-1993-Plexousakis #constraints #deduction #knowledge base #maintenance: Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases (DP), pp. 146–157.
CSM-1993-ChowdhuryM #automation #constraints #detection #maintenance: Facilitating Software Maintenance by Automated Detection of Constraint Violations (AC, SM), pp. 262–271.
STOC-1993-FederV #constraints #monad: Monotone monadic SNP and constraint satisfaction (TF, MYV), pp. 612–622.
STOC-1993-KollerM #constraints: Constructing small sample spaces satisfying given constraints (DK, NM), pp. 268–277.
ICALP-1993-CodishFMW #analysis #concurrent #constraints #logic programming #performance #source code: Efficient Analysis of Concurrent Constraint Logic Programs (MC, MF, KM, WHW), pp. 633–644.
ICALP-1993-Kirousis #constraints #parallel #performance: Fast Parallel Constraint Satisfaction (LMK), pp. 418–429.
FPCA-1993-AikenW #constraints #type inference: Type Inclusion Constraints and Type Inference (AA, ELW), pp. 31–41.
HCI-ACS-1993-Caldwell #constraints: Situational and Informational Constraints Affecting Communications with 1-1000 Second Transmission Delays (BSC), pp. 167–172.
HCI-ACS-1993-HowerRB #constraints #interactive: Constraint Processing in Human Computer Interaction with an Emphasis on Intelligent CAD (WH, MR, RB), pp. 243–248.
HCI-SHI-1993-GodbertPS #concept #constraints #interface #natural language #specification #using: Natural Language Interfaces: Specifying and Using Conceptual Constraints (EG, RP, PS), pp. 385–390.
HCI-SHI-1993-Graf #constraints #layout #multi #named: LAYLAB — A Constraint-Based Layout Manager for Multimedia Presentations (WG), pp. 446–451.
HCI-SHI-1993-Rankin #3d #agile #constraints #editing: Rapid 3-D Editing Through Hierarchical Constraints (JRR), pp. 403–408.
INTERCHI-1993-KarsentyWL #constraints #visual notation: Inferring graphical constraints with Rockit (SK, CW, JAL), p. 531.
CAiSE-1993-PuigjanerBA #constraints #design #embedded #estimation #performance #process #realtime: Estimation Process of Performance Constraints during the design of Real-Time & Embedded Systems (RP, AB, SA), pp. 629–648.
CIKM-1993-GuptaT #collaboration #constraints #database #distributed: Distributed Constraint Management for Collaborative Engineering Databases (AG, ST), pp. 655–664.
CIKM-1993-MontesiB #constraints #query #transaction: Queries, Constraints, Updates and Transactions Within a Logic-Based Language (DM, EB), pp. 500–506.
ICML-1993-Ellman #abstraction #approximate #clustering #constraints #synthesis: Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects (TE), pp. 104–111.
SEKE-1993-Maim #abduction #constraints #logic programming #source code #strict: Restricted Abduction in Constraint Logic Programs (EM), pp. 222–224.
TOOLS-PACIFIC-1993-Cheng #constraints #inheritance: Revisiting Inheritance of Synchronization Constraints (NC), pp. 439–447.
TOOLS-PACIFIC-1993-MenziesS #black box #constraints #framework #how: How to Edit “It”; or: A “Black-box” Constraint-Based Framework for User-Interaction with Arbitrary Structures (TM, RS), pp. 213–224.
TOOLS-USA-1993-RowleyC #constraints #database #detection #encapsulation #maintenance #named #object-oriented: Detectors: Encapsulating Constraint Maintenance in Object-Oriented Databases (MR, WWC), pp. 439–452.
LOPSTR-1993-Smith #algorithm #constraints #synthesis #towards: Towards the Synthesis of Constraint Propagation Algorithms (DRS), pp. 1–9.
PLILP-1993-CorsiniMRC #abstract interpretation #bottom-up #constraints #finite #performance #prolog #theorem proving: Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains (MMC, KM, AR, BLC), pp. 75–91.
PLILP-1993-JourdanS #constraints: The Versatility of Handling Disjunctions as Constraints (JJ, TS), pp. 60–74.
PLILP-1993-LimS #approach #constraints #logic programming #metaprogramming: A Conservative Approach to Meta-Programming in Constraint Logic Programming (PL, JS), pp. 44–59.
POPL-1993-MarriottS #constraints #logic programming #optimisation #order #refinement #source code: The 3 R’s of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering (KM, PJS), pp. 334–344.
RE-1993-KentMQ #constraints #fault #specification: Formally specifying temporal constraints and error recovery (SK, TSEM, WJQ), pp. 208–215.
FSE-1993-CheungK #analysis #composition #constraints #reachability: Enhancing Compositional Reachability Analysis with Context Constraints (SCC, JK), pp. 115–125.
CSL-1993-AikenKVW #complexity #constraints #set: The Complexity of Set Constraints (AA, DK, MYV, ELW), pp. 1–17.
CSL-1993-Kozen #aspect-oriented #constraints #logic #set: Logical Aspects of Set Constraints (DK), pp. 175–188.
ICLP-1993-BackerB #constraints #linear: A CLP Language Handling Disjunctions of Linear Constraints (BDB, HB), pp. 550–563.
ICLP-1993-BenhamouM #constraints #equation #logic programming #pseudo: Boolean Pseudo-equations in Constraint Logic Programming (FB, JLM), pp. 517–531.
ICLP-1993-CarlssonG #automation #constraints #using: Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques (MC, MG), pp. 647–665.
ICLP-1993-Contejean #constraints #incremental #linear: Solving Linear Diophantine Constraints Incrementally (EC), pp. 532–549.
ICLP-1993-DumortierJBC #analysis #constraints: Freeness Analysis in the Presence of Numerical Constraints (VD, GJ, MB, MC), pp. 100–115.
ICLP-1993-Fruhwirth #constraints: User-Defined Constraint Handling (TWF), pp. 837–838.
ICLP-1993-Hanus #analysis #constraints: Analysis of Nonlinear Constraints in CLP(R) (MH), pp. 83–99.
ICLP-1993-HarlandR #constraints #linear #recursion: Constraint Propagation for Linear Recursive Rules (JH, KR), pp. 683–699.
ICLP-1993-Imbert #constraints #linear: Variable Elimination for Generalized Linear Constraints (JLI), pp. 499–516.
ICLP-1993-KempS #analysis #constraints #optimisation #query: Analysis Based Constraint Query Optimization (DBK, PJS), pp. 666–682.
ICLP-1993-MantsivodaPW #constraints #memory management: Memory Management of Constraint in Flang (AM, VP, AW), pp. 633–646.
ICLP-1993-NerodeK #constraints #hybrid #logic programming: Hybrid Systems and Constraint Logic Programming (AN, WK), pp. 18–24.
ILPS-1993-AlpuenteFV #analysis #constraints #equation #incremental: Incremental Equational Constraint Analyses (MA, MF, GV), p. 657.
ILPS-1993-BandaHM #constraints #independence #logic programming #source code: Independence in Constraint Logic Programs (MJGdlB, MVH, KM), pp. 130–146.
ILPS-1993-BoerKPR #concurrent #constraints #programming: Non-monotonic Concurrent Constraint Programming (FSdB, JNK, CP, JJMMR), pp. 315–334.
ILPS-1993-CodognetD #constraints #theorem proving #using: Boolean Constraint Solving Using clp(FD) (PC, DD), pp. 525–539.
ILPS-1993-FribourgP #automaton #concurrent #constraints: Concurrent Constraint Automata (LF, MVP), p. 656.
ILPS-1993-Hui-Bon-Hoa #constraints: An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints (AHBH), p. 667.
ILPS-1993-NystromJ #concurrent #constraints #fixpoint #programming #semantics: Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations (SON, BJ), pp. 335–352.
ILPS-1993-PesantB #constraints #geometry #polynomial: Handling Quadratic Constraints through Geometry (GP, MB), p. 659.
ILPS-1993-Sidebottom #constraints #optimisation: Optimizing Constraint Processing in CLP(FD) (GS), p. 660.
ILPS-1993-TongL #concurrent #constraints #logic programming #parallel: Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers (BMT, HfL), pp. 388–402.
RTA-1993-CaronCD #automaton #constraints: Encompassment Properties and Automata with Constraints (ACC, JLC, MD), pp. 328–342.
RTA-1993-NiehrenPT #constraints #equation #finite: Equational and Membership Constraints for Finite Trees (JN, AP, RT), pp. 106–120.
RTA-1993-Plaisted #constraints #polynomial #termination #testing: Polynomial Time Termination and Constraint Satisfaction Tests (DAP), pp. 405–420.
DAC-1992-Boyer #constraints #graph #independence #process: Process Independent Constraint Graph Compaction (DGB), pp. 318–322.
DAC-1992-ChaudharyP #algorithm #constraints: A Near Optimal Algorithm for Technology Mapping Minimizing Area under Delay Constraints (KC, MP), pp. 492–498.
DAC-1992-HungP #constraints #design #multi #synthesis: High-Level Synthesis with Pin Constraints for Multiple-Chip Designs (YHH, ACP), pp. 231–234.
DAC-1992-LeeP #constraints #functional #generative #testing: Hierarchical Test Generation under Intensive Global Functional Constraints (JL, JHP), pp. 261–266.
DAC-1992-StollD #constraints #synthesis: High-Level Synthesis from VHDL with Exact Timing Constraints (AS, PD), pp. 188–193.
KBSE-1992-SetliffS #constraints #knowledge-based #synthesis: Knowledge-Based Constraint-Driven Software Synthesis (DES, TES), p. 5.
PODS-1992-Chomicki #constraints #realtime: Real-Time Integrity Constraints (JC), pp. 274–282.
PODS-1992-LevyS #constraints #datalog: Constraints and Redundancy in Datalog (AYL, YS), pp. 67–80.
PODS-1992-SrivastavaR #constraints: Pushing Constraint Selections (DS, RR), pp. 301–315.
SIGMOD-1992-Bigelow #constraints #implementation: Implementation of General Constraints in SIM (RB), p. 382.
PLDI-1992-HanxledenK #constraints #control flow #using: Relaxing SIMD Control Flow Constraints using Loop Transformations (RvH, KK), pp. 188–199.
STOC-1992-LinV #approximate #constraints: epsilon-Approximations with Minimum Packing Constraint Violation (Extended Abstract) (JHL, JSV), pp. 771–782.
WSA-1992-CodishFMW #analysis #concurrent #constraints #logic programming #performance #source code: Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs (MC, MF, KM, WHW), pp. 35–42.
ICALP-1992-Comon #constraints #term rewriting: Completion of Rewrite Systems with Membership Constraints (HC), pp. 392–403.
CHI-1992-Gleicher #constraints #named: Briar: A Constraint-Based Drawing Program (MG), pp. 661–662.
CHI-1992-Hill #constraints #paradigm #user interface #using: The abstraction-link-view paradigm: using constraints to connect user interfaces to applications (RDH), pp. 335–342.
CHI-1992-KurlanderF #constraints #interactive: Interactive Constraint-Based Search and Replace (DK, SF), pp. 609–618.
CHI-1992-MulliganDNPRR #constraints #design: Designing Usable Systems Under Real-World Constraints: A Practitioners Forum (RMM, MD, JN, SEP, DR, SER), pp. 149–152.
CSCW-1992-GalegherK #adaptation #collaboration #communication #constraints: Computer-Mediated Communication and Collaborative Writing: Media Influence and Adaptation to Communication Constraints (JG, REK), pp. 155–162.
CSCW-1992-SchwabHRA #collaboration #constraints #education: Collaboration and Constraint: Middle School Teaching Teams (RGS, SHL, SR, MA), pp. 241–248.
CAiSE-1992-Comyn-WattiauB #constraints #integration: Constraint Confrontation: An Important Step in View Integration (ICW, MB), pp. 507–523.
CAiSE-1992-HalpinM #automation #concept #constraints #validation: Automated Validation of Conceptual Schema Constraints (TAH, JIM), pp. 445–462.
CIKM-1992-FormicaM #constraints #database #object-oriented #representation: Integrity Constraints Representation in Object-Oriented Databases (AF, MM), pp. 69–85.
KR-1992-BollingerP #constraints #logic #order: An Order-Sorted Logic with Sort Literals and Disjointness Constraints (TB, UP), pp. 413–424.
KR-1992-Koubarakis #constraints #exclamation: Dense Time and Temporal Constraints with != (MK), pp. 24–35.
KR-1992-WeidaL #constraints #network #reasoning #recognition: Terminological Reasoning with Constraint Networks and an Application to Plan Recognition (RAW, DJL), pp. 282–293.
SEKE-1992-Berztiss #constraints: Operational Construction of Integrity Constraints (ATB), pp. 487–494.
SEKE-1992-Maim #constraints: Recognizing Objects from Constraints (EM), pp. 47–54.
SEKE-1992-SatoH #constraints: A Constraint Satisfaction System on the Entity and Relationship Model (MS, MH), pp. 503–510.
ECOOP-1992-Freeman-BensonB #constraints #object-oriented: Integrating Constraints with an Object-Oriented Language (BNFB, AB), pp. 268–286.
ECOOP-1992-Frolund #concurrent #constraints #inheritance #object-oriented #programming language: Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages (SF), pp. 185–196.
OOPSLA-1992-Horn #constraints #object-oriented #programming: Constraint Patterns As a Basis for Object-Oriented Programming (BH), pp. 218–233.
TOOLS-EUROPE-1992-CervoniR #constraints #design #named #object-oriented #problem #reuse: C/O: A Tool Reusing OO Design for Temporal Constraints Satisfaction Problems (LC, FR), pp. 79–85.
TOOLS-USA-1992-BorningF #constraints: Constraint-Based Languages and Systems (AB, BNFB), p. 266.
ALP-1992-Hong #constraints #logic programming: Non-linear Real Constraints in Constraint Logic Programming (HH), pp. 201–212.
ALP-1992-Lopez-Fraguas #constraints #functional #logic programming: A General Scheme for Constraint Functional Logic Programming (FJLF), pp. 213–227.
CADE-1992-Uribe #constraints #set #unification #using: Sorted Unification Using Set Constraints (TEU), pp. 163–177.
CAV-1992-ProbstL #automaton #behaviour #constraints #verification: Verifying Timed Behavior Automata with Nonbinary Delay Constraints (DKP, HFL), pp. 123–136.
JICSLP-1992-BoerP #algebra #concurrent #constraints #process #programming: A Process Algebra of Concurrent Constraint Programming (FSdB, CP), pp. 463–477.
JICSLP-1992-KirchnerR #algebra #algorithm #constraints #finite #theorem proving #unification: A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms (HK, CR), pp. 225–239.
JICSLP-1992-KuchenLMR #constraints #functional #implementation #lazy evaluation #logic: Implementing a Lazy Functional Logic Language with Disequality Constraints (HK, FJLF, JJMN, MRA), pp. 207–221.
LICS-1992-AikenW #constraints #set: Solving Systems of Set Constraints (Extended Abstract) (AA, ELW), pp. 329–340.
LICS-1992-Saraswat #constraints: The Category of Constraint Systems is Cartesian-Closed (VAS), pp. 341–345.
DAC-1991-DonzelleDHPS #approach #automation #constraints #design: A Constraint Based Approach to Automatic Design of Analog Cells (LOD, PFD, BH, JP, PS), pp. 506–509.
DAC-1991-DoukasL #constraints #named #verification: CLOVER: A Timing Constraints Verification System (DD, ASL), pp. 662–667.
DAC-1991-DuttL #assembly #constraints #generative #on the: On Minimal Closure Constraint Generation for Symbolic Cell Assembly (DD, CYL), pp. 736–739.
DAC-1991-Hafer #constraints #hardware #synthesis: Constraint improvements for MILP-based hardware synthesis (LJH), pp. 14–19.
DAC-1991-KucukcakarP #constraints #named: CHOP: A Constraint-Driven System-Level Partitioner (KK, ACP), pp. 514–519.
DAC-1991-Luk #constraints #generative #layout #performance #physics: A Fast Physical Constraint Generator for Timing Driven Layout (WKL), pp. 626–631.
DAC-1991-MogakiKSY #constraints #layout: A Layout Improvement Method Based on Constraint Propagation for Analog LSI’s (MM, NK, NS, YY), pp. 510–513.
DAC-1991-OgawaIMIST #constraints #design: Timing- and Constraint-Oriented Placement for Interconnected LSIs in Mainframe Design (YO, TI, YM, TI, YS, RT), pp. 253–258.
DAC-1991-SaldanhaVBS #constraints #encoding #framework: A Framework for Satisfying Input and Output Encoding Constraints (AS, TV, RKB, ALSV), pp. 170–175.
PODS-1991-BrodskyS #constraints #difference #logic programming #source code: Inference of Inequality Constraints in Logic Programs (AB, YS), pp. 227–240.
PODS-1991-HelmMO #constraints #database #optimisation #query: Constraint-Based Query Optimization for Spatial Databases (RH, KM, MO), pp. 181–191.
SIGMOD-1991-HouOD #constraints #database #evaluation #query #relational: Error-Constraint COUNT Query Evaluation in Relational Databases (WCH, GÖ, ED), pp. 278–287.
VLDB-1991-Su #constraints #migration: Dynamic Constraints and Object Migration (JS), pp. 233–242.
PEPM-1991-Smith #constraints #logic programming #partial evaluation #pattern matching #programming language: Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages (DAS), pp. 62–71.
PLDI-1991-JaffarMY #constraints: A Methodology for Managing Hard Constraints in CLP Systems (JJ, SM, RHCY), pp. 306–316.
WSA-1991-CodognetF #abstraction #constraints: Computations, Abstractions and Constraints (abstract) (PC, GF), pp. 70–71.
ICALP-1991-JungSS #algorithm #constraints #parallel #precedence #scheduling: A Parallel Algorithm for Two Processors Precedence Constraint Scheduling (HJ, MJS, PGS), pp. 417–428.
KR-1991-Freuder #constraints #problem: Completable Representations of Constraint Satisfaction Problems (ECF), pp. 186–195.
KR-1991-PagePF #constraints #logic: Generalizing Atoms in Constraint Logic (CDPJ, AMF), pp. 429–440.
KR-1991-Wellman #constraints #multi #simulation: Qualitative Simulation with Multivariate Constraints (MPW), pp. 547–557.
ML-1991-MillerL #constraints: A Constraint-Motivated Model of Lexical Acquisition (CSM, JEL), pp. 95–99.
ML-1991-RaedtBM #concept #constraints #interactive: Integrity Constraints and Interactive Concept-Learning (LDR, MB, BM), pp. 394–398.
ML-1991-WirthO #constraints: Constraints on Predicate Invention (RW, PO), pp. 457–461.
OOPSLA-1991-Wilk #constraints #named #object-oriented #theorem proving: Equate: An Object-Oriented Constraint Solver (MRW), pp. 286–298.
LOPSTR-1991-Schaeck #algorithm #constraints #framework #logic programming: Global Search Algorithms and the Constraint Logic Programming Framework (Extended Abstract) (SS), pp. 252–253.
PLILP-1991-AlpuenteF #algorithm #constraints #incremental: Narrowing as an Incremental Constraint Satisfaction Algorithm (MA, MF), pp. 111–122.
PLILP-1991-BrogiG #constraints #logic #process: Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes (AB, MG), pp. 407–418.
PLILP-1991-ErtlK #constraints #logic programming #scheduling #using: Optimal Instruction Scheduling using Constraint Logic Programming (MAE, AK), pp. 75–86.
PLILP-1991-HentenryckD #constraints #finite #logic programming #semantics: Operational Semantics of Constraint Logic Programming over Finite Domains (PVH, YD), pp. 395–406.
POPL-1991-SaraswatRP #concurrent #constraints #programming #semantics: Semantic Foundations of Concurrent Constraint Programming (VAS, MCR, PP), pp. 333–352.
ICLP-1991-ChabrierPL #constraints #logic programming #programming language: Applications of Constraints Logic Programming Languages (JJC, CP, BL), p. 944.
ICLP-1991-GabbrielliL #constraints #logic programming #modelling #source code: Modeling Answer Constraints in Constraint Logic Programs (MG, GL), pp. 238–252.
ICLP-1991-HentenryckD #constraints #logic #logic programming: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming (PVH, YD), pp. 745–759.
ICLP-1991-MontanariR #constraints #logic programming: Perfect Relaxation in Constraint Logic Programming (UM, FR), pp. 223–237.
ICLP-1991-Smith #constraints: Constraint Operations for CLP(FT) (DAS), pp. 760–774.
ISLP-1991-Brzoska #constraints #logic programming: Temporal Logic Programming and its Relation to Constraint Logic Programming (CB), pp. 661–677.
ISLP-1991-Caseau #abstract interpretation #constraints #order: Abstract Interpretation of Constraints on Order-Sorted Domains (YC), pp. 435–452.
ISLP-1991-MontanariR #concurrent #constraints #programming: True Concurrency in Concurrent Constraint Programming (UM, FR), pp. 694–713.
ISLP-1991-MozeticH #constraints #logic programming #modelling: Integrating Numerical and Qualitative Models within Constraint Logic Programming (IM, CH), pp. 678–693.
LICS-1991-Stuckey #constraints #logic programming: Constructive Negation for Constraint Logic Programming (PJS), pp. 328–339.
DAC-1990-ChoudhuryS #constraints #generative: Constraint Generation for Routing Analog Circuits (UC, ALSV), pp. 561–566.
DAC-1990-HwangHL #constraints #heuristic #scheduling: Optimum and Heuristic Data Path Scheduling Under Resource Constraints (CTH, YCH, YLL), pp. 65–70.
DAC-1990-KuM #constraints #scheduling: Relative Scheduling Under Timing Constraints (DCK, GDM), pp. 59–64.
DAC-1990-Onozawa #constraints #layout: Layout Compaction with Attractive and Repulsive Constraints (AO), pp. 369–374.
DAC-1990-TeraiTS #algorithm #assurance #constraints #design #layout: A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length Constraint (MT, KT, KS), pp. 96–102.
PODS-1990-Gelder #constraints #logic programming #source code: Deriving Constraints Among Argument Sizes in Logic Programs (AVG), pp. 47–60.
PODS-1990-HaritsaCL #constraints #on the #realtime: On Being Optimistic about Real-Time Constraints (JRH, MJC, ML), pp. 331–343.
PODS-1990-KanellakisKR #constraints #query: Constraint Query Languages (PCK, GMK, PZR), pp. 299–313.
PODS-1990-Lassez #constraints #query: Querying Constraints (JLL), pp. 288–298.
VLDB-1990-CeriW #constraints: Deriving Production Rules for Constraint Maintainance (SC, JW), pp. 566–577.
VLDB-1990-KorthSS #consistency #constraints #database #realtime: Triggered Real-Time Databases with Consistency Constraints (HFK, NS, AS), pp. 71–82.
ESOP-1990-SchreyePRB #constraints #implementation #logic programming #prolog: Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism (DDS, DP, JR, MB), pp. 106–117.
PLDI-1990-Jacobs #constraints #logic programming #type system: Type Declarations as Subtype Constraints in Logic Programming (DJ), pp. 165–173.
CHI-1990-BohringerP #algorithm #automation #constraints #graph #layout #using: Using constraints to achieve stability in automatic graph layout algorithms (KFB, FNP), pp. 43–51.
OOPSLA-ECOOP-1990-Freeman-Benson #constraints #imperative #named #programming: Kaleidoscope: Mixing Objects, Constraints and Imperative Programming (BNFB), pp. 77–88.
OOPSLA-ECOOP-1990-IshikawaTM #constraints #design #object-oriented #realtime: Object-Oriented Real-Time Language Design: Constructs for Timing Constraints (YI, HT, CWM), pp. 289–298.
OOPSLA-ECOOP-1990-KahnS #concurrent #constraints #programming: Actors as a Special Case of Concurrent Constraint Programming (KMK, VAS), pp. 57–66.
ALP-1990-GabbrielliL #concurrent #constraints #fixpoint #logic programming #semantics #source code: Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs (MG, GL), pp. 204–216.
PLILP-1990-Jaakola #algorithm #constraints #theorem proving: Modifying the Simplex Algorithm to a Constraint Solver (JJ), pp. 89–105.
PLILP-1990-LimS #constraints #logic programming: A Constraint Logic Programming Shell (PL, PJS), pp. 75–88.
POPL-1990-SaraswatR #concurrent #constraints #programming: Concurrent Constraint Programming (VAS, MCR), pp. 232–245.
CADE-1990-Burckert #constraints: A Resolution Principle for Clauses with Constraints (HJB), pp. 178–192.
CADE-1990-Peterson #constraints #reduction #set: Complete Sets of Reductions with Constraints (GEP), pp. 381–395.
CLP-1990-GriefahnL90 #constraints #database #deduction #top-down: Top-Down Integrity Constraint Checking for Deductive Databases (UG, SL), pp. 130–144.
CLP-1990-Hentenryck90 #constraints #incremental #logic programming: Incremental Constraint Satisfaction in Logic Programming (PVH), pp. 189–202.
CLP-1990-Saraswat90 #concurrent #constraints #paradigm #programming: The Paradigm of Concurrent Constraint Programming (VAS), pp. 777–778.
LICS-1990-HeintzeJ #constraints #set: A Decision Procedure for a Class of Set Constraints (Extended Abstract) (NH, JJ), pp. 42–51.
LICS-1990-LassezM #calculus #constraints: A Constraint Sequent Calculus (JLL, KM), pp. 52–61.
NACLP-1990-CoxMT #complexity #constraints #logic programming #programming language: Computational Complexity and Constraint Logic Programming Languages (JC, KM, CT), pp. 401–415.
NACLP-1990-Hentenryck #constraints #logic programming: Constraint Logic Programming: From Theory to Applications (PVH), p. 841.
NACLP-1990-JourdanV #constraints #logic programming #reasoning: Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry (JJ, REVP), pp. 154–172.
NACLP-1990-LimS #constraints #metaprogramming: Meta Programming as Constraint Programming (PL, PJS), pp. 416–430.
NACLP-1990-MarriottS #analysis #constraints #logic programming #source code: Analysis of Constraint Logic Programs (KM, HS), pp. 531–547.
NACLP-1990-OhwadaM #approach #consistency #constraints #design #interface #logic programming #maintenance: A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design (HO, FM), pp. 139–153.
NACLP-1990-SaraswatKL #constraints #distributed #named #programming #towards: Janus: A step towards distributed constraint programming (VAS, KMK, JL), pp. 431–446.
PODS-1989-BrodskyS #constraints #datalog #source code: Inference of Monotonicity Constraints in Datalog Programs (AB, YS), pp. 190–199.
SIGMOD-1989-HouOT #constraints #query #relational: Processing Aggregate Relational Queries with Hard Time Constraints (WCH, GÖ, BKT), pp. 68–77.
SIGMOD-1989-Troyer #constraints #database #scalability: RIDL*: A Tool for the Computer-Assisted Engineering of Large Databases in the Presence of Integrity Constraints (ODT), pp. 418–429.
VLDB-1989-Motro #constraints #query #relational #using: Using Integrity Constraints to Provide Intensional Answers to Relational Queries (AM), pp. 237–246.
CHI-1989-Zanden #constraints #specification #visual notation: Constraint grammars-a new model for specifying graphical applications (BTVZ), pp. 325–330.
KR-1989-DechterMP #constraints #network: Temporal Constraint Networks (RD, IM, JP), pp. 83–93.
KR-1989-Kasif #constraints #parallel #problem: Parallel Solutions to Constraint Satisfaction Problems (SK), pp. 180–188.
KR-1989-Koomen #constraints: Localizing Temporal Constraint Propagation (JAGMK), pp. 198–202.
KR-1989-RossiM #constraints #linear #network #using: Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation (FR, UM), pp. 394–399.
OOPSLA-1989-Freeman-Benson #constraints #smalltalk: A Module Mechanism for Constraints in Smalltalk (BNFB), pp. 389–396.
OOPSLA-1989-MaloneyBF #constraints #interface: Constraint Technology fur User-Interface Construction in ThingLab II (JM, AB, BNFB), pp. 381–388.
POPL-1989-Hickey #abstraction #constraints: CLP* and Constraint Abstraction (TJH), pp. 125–133.
NACLP-1989-GaifmanMS #behaviour #concurrent #constraints #logic programming #semantics #source code: Reactive Behaviour Semantics for Concurrent Constraint Logic Programs (HG, MJM, EYS), pp. 553–569.
NACLP-1989-KempRBM #constraints #database #deduction: Propagating Constraints in Recusive Deduction Databases (DBK, KR, IB, KM), pp. 981–998.
NACLP-1989-LassezHM #constraints #linear: Simplification and Elimination of Redundant Linear Arithmetic Constraints (JLL, TH, KM), pp. 37–51.
NACLP-1989-MaherS #constraints #logic programming #programming language #query: Expanding Query Power in Constraint Logic Programming Languages (MJM, PJS), pp. 20–36.
NACLP-1989-WilsonB #comparison #constraints #logic programming: Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison (MW, AB), pp. 3–19.
TAV-1989-OlenderO #constraints #named: Cesar: A Static Sequencing Constraint Analyzer (KMO, LJO), pp. 66–74.
DAC-1988-LyG #constraints #design #object-oriented: Constraint Propagation in an Object-Oriented IC Design Environment (TAL, EFG), pp. 628–633.
DAC-1988-Schiele #constraints #incremental: Compaction with Incremental Over-Constraint Resolution (WLS), pp. 390–395.
OOPSLA-1988-EpsteinL #constraints #smalltalk: A Smalltalk Window System Based on Constraints (DE, WRL), pp. 83–94.
OOPSLA-1988-SzekelyM #constraints #tool support #user interface #visual notation: A User Interface Toolkit Based on Graphical Objects and Constraints (PAS, BAM), pp. 36–45.
CADE-1988-DincbasHSAH #constraints #prolog: The CHIP System: Constraint Handling In Prolog (MD, PVH, HS, AA, AH), pp. 774–775.
CSL-1988-SudkampK #constraints #semantics: Enforcement of Integrity Constraints in a Semantic Data Model (NS, PK), pp. 313–328.
JICSCP-1988-DincbasSH88 #constraints #logic programming #problem: Solving a Cutting-Stock Problem in Constraint Logic Programming (MD, HS, PVH), pp. 42–58.
JICSCP-1988-FujitaOF88 #constraints #haskell #partial evaluation #source code: Partial Evaluation of GHC Programs Based on the UR-set with Constraints (HF, AO, KF), pp. 924–941.
DAC-1987-CarpenterH #constraints #generative #incremental: Generating Incremental VLSI Compaction Spacing Constraints (CWC, MH), pp. 291–297.
HT-1987-SmolenskyBFKL #constraints #hypermedia: Constraint-Based Hypertext for Argumentation (PS, BB, BF, RK, CHL), pp. 215–245.
PODS-1987-Delgrande #automation #constraints #generative #maintenance: Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints (JPD), pp. 190–196.
VLDB-1987-AbbodBN #constraints #database: Providing Time-Related Constraints for Conventional Database Systems (TA, KB, HN), pp. 167–175.
VLDB-1987-LenzeriniN #constraints #dependence #on the #satisfiability: On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata (ML, PN), pp. 147–154.
VLDB-1987-QianS #constraints #performance #validation: Integrity Constraint Reformulation for Efficient Validation (XQ, DRS), pp. 417–425.
HCI-CE-1987-Pavard #constraints #design: Design of a Graphic Dialogue Without Syntactic Constraints (BP), pp. 465–472.
OOPSLA-1987-BorningDFKW #constraints: Constraint Hierarchies (AB, RD, BNFB, AK, MW), pp. 48–60.
POPL-1987-JaffarL #constraints #logic programming: Constraint Logic Programming (JJ, JLL), pp. 111–119.
ESEC-1987-BelkhatirE #constraints #database: Software Management Constraints and Action Triggering in the Adele Program Database (NB, JE), pp. 44–54.
LICS-1987-Mendler #constraints #higher-order #recursion #λ-calculus: Recursive Types and Type Constraints in Second-Order λ Calculus (NPM), pp. 30–36.
SLP-1987-Wallace87 #constraints #database #deduction #implementation #performance: Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases (MW), pp. 253–263.
VLDB-1986-BryM #consistency #constraints #database #logic: Checking Consistency of Database Constraints: a Logical Basis (FB, RM), pp. 13–20.
VLDB-1986-QianW #constraints #knowledge-based #validation: Knowledge-based Integrity Constraint Validation (XQ, GW), pp. 3–12.
GG-1986-MontanariR #algorithm #constraints #network #performance: An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints (UM, FR), pp. 440–457.
CSCW-1986-Feldman #communication #constraints #email: Constraints on communication and electronic mail (MSF), pp. 73–90.
ICLP-1986-GoebelFP86 #approach #constraints #reasoning #using: Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning (RG, KF, DP), pp. 211–222.
PODS-1985-AbiteboulV #constraints #transaction: Transactions and Integrity Constraints (SA, VV), pp. 193–204.
SIGMOD-1985-Kung #constraints #database #on the #verification: On Verification of Database Temporal Constraints (DCK), pp. 169–179.
STOC-1985-CosmadakisK #constraints #database #equation: Equational Theories and Database Constraints (SSC, PCK), pp. 273–284.
POPL-1985-LamportS #alias #approach #constraints #named #type system: Constraints: A Uniform Approach to Aliasing and Typing (LL, FBS), pp. 205–216.
DAC-1984-LursinsapG #compilation #constraints: Cell compilation with constraints (CL, DG), pp. 103–108.
VLDB-1984-EhrichLG #constraints #database #semantics #specification: Specification, Semantics, and Enforcement of Dynamic Database Constraints (HDE, UWL, MG), pp. 301–308.
VLDB-1984-Morgenstern #automation #constraints #declarative #equation: Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement (MM), pp. 291–300.
VLDB-1984-Tan #constraints #dependence: A Less Costly Constraints Checking for Join Dependency (KPT), pp. 63–68.
STOC-1984-OrlitskyE #communication #constraints: Communication with Secrecy Constraints (AO, AEG), pp. 217–224.
ICALP-1984-AtzeniM #constraints #database #dependence #functional #null: Functional Dependencies and Disjunctive Existence Constraints in Database Relations with Null Values (PA, NMM), pp. 69–81.
DAC-1983-LiaoW #algorithm #constraints #layout: An algorithm to compact a VLSI symbolic layout with mixed constraints (YZL, CKW), pp. 107–112.
PODS-1983-Vianu #constraints #database #evolution: Dynamic Constraints and Database Evolution (VV), pp. 389–399.
ICALP-1983-EhrigWT #algebra #constraints #generative #specification: Algebraic Specifications with Generating Constraints (HE, EGW, JWT), pp. 188–202.
POPL-1982-HennessyG #code generation #constraints #pipes and filters: Code Generation and Reorganization in the Presence of Pipeline Constraints (JLH, TRG), pp. 120–127.
VLDB-1981-Goldstein #constraints #database #null #relational: Constraints on Null Values in Relational Databases (BSG), pp. 101–110.
DAC-1980-McWilliams #constraints #scalability #verification: Verification of timing constraints on large digital systems (TMM), pp. 139–147.
STOC-1980-Lloyd #constraints #scheduling: Critical Path Scheduling of Task Systems with Resource and Processor Constraints (Extended Abstract) (ELL), pp. 436–446.
CADE-1980-Furtek #constraints #distributed #formal method #realtime #specification #using #verification: Specification and Verification of Real-Time, Distributed Systems Using the Theory of Constraints (FCF), pp. 110–125.
VLDB-1979-Melo #constraints #monitoring: Monitoring Integrity Constraints in a CODASYL-Like DBMS (RNM), pp. 209–218.
DAC-1978-El-Ziq #automation #constraints #design #logic #network: Logic design automation of MOS combinational networks with fan-in, fan-out constraints (YMEZ), pp. 240–249.
POPL-1978-JoshiLY #constraints #programming language #semantics #syntax: Local Constraints in the Syntax and Semantics of Programming Languages (AKJ, LSL, KY), pp. 255–264.
SIGMOD-1975-Stonebraker #constraints #implementation #query: Implementation of Integrity Constraints and Views by Query Modification (MS), pp. 65–78.
SOSP-1975-AkkoyunluEH #constraints #design #network #trade-off: Some Constraints and Tradeoffs in the Design of Network Communications (EAA, KE, RVH), pp. 67–74.
SHARE-1965-Jacobs #constraints #geometry: Geometric constraint satisfaction for a computer/display system (MJJ).