Stem generic$ (all stems)

483 papers:

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-ShafiqueAHH #configuration management #latency

A low latency generic accuracy configurable adder (MS, WA, RH, JH), p. 6.

DATE-2015-GomonyGAAG #memory management #realtime #scalability

A generic, scalable and globally arbitrated memory tree for shared DRAM access in real-time systems (MDG, JG, BA, NCA, KGWG), pp. 193–198.

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

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

PLDI-2015-ZhangLSLM #flexibility #lightweight #object-oriented

Lightweight, flexible object-oriented generics (YZ, MCL, GS, BL, ACM), pp. 436–445.

ICEIS-v2-2015-BraunE #enterprise #framework #modelling

A Generic Framework for Modifying and Extending Enterprise Modeling Languages (RB, WE), pp. 277–286.

KDD-2015-LaptevAF #automation #detection #framework #scalability

Generic and Scalable Framework for Automated Time-series Anomaly Detection (NL, SA, IF), pp. 1939–1947.

ICSE-v1-2015-HuangLR #analysis #concurrent #named #predict

GPredict: Generic Predictive Concurrency Analysis (JH, QL, GR), pp. 847–857.

SPLC-2015-MartinezZBKT #approach #bottom-up #product line

Bottom-up adoption of software product lines: a generic and extensible approach (JM, TZ, TFB, JK, YLT), pp. 101–110.

ICLP-2015-AriasC #execution #interface #towards

Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract) (JA, MC).

ASE-2014-KuchtaCCC #automation #documentation #named #towards

Docovery: toward generic automatic document recovery (TK, CC, MC, MC), pp. 563–574.

HT-2014-GouritenMS #adaptation #crawling #scalability

Scalable, generic, and adaptive systems for focused crawling (GG, SM, PS), pp. 35–45.

SIGMOD-2014-ElmagarmidIOQ0Y #interactive #named

NADEEF/ER: generic and interactive entity resolution (AKE, IFI, MO, JAQR, NT, SY), pp. 1071–1074.

PEPM-2014-HanusS #analysis #composition #functional #logic programming #source code

A modular and generic analysis server system for functional logic programs (MH, FS), pp. 181–188.

FLOPS-2014-Magalhaes #multi #parametricity #programming

Generic Programming with Multiple Parameters (JPM), pp. 136–151.

CIAA-2014-EsparzaLS #equation #fixpoint #named

FPsolve: A Generic Solver for Fixpoint Equations over Semirings (JE, ML, MS), pp. 1–15.

ILC-2014-Strandh #lisp #performance

Fast Generic Dispatch for Common Lisp (RS), p. 89.

HILT-2014-BaggeH #algebra #api #specification #why

Specification of generic APIs, or: why algebraic may be better than pre/post (AHB, MH), pp. 71–80.

ICML-c1-2014-DonahueJVHZTD #named #recognition #visual notation

DeCAF: A Deep Convolutional Activation Feature for Generic Visual Recognition (JD, YJ, OV, JH, NZ, ET, TD), pp. 647–655.

ICPR-2014-BagheriGE #approach #classification #novel #subclass

Generic Subclass Ensemble: A Novel Approach to Ensemble Classification (MAB, QG, SE), pp. 1254–1259.

ICPR-2014-OtteSZ #algorithm #named #using

ANTSAC: A Generic RANSAC Variant Using Principles of Ant Colony Algorithms (SO, US, AZ), pp. 3558–3563.

OOPSLA-2014-AltidorS #java #refactoring

Refactoring Java generics by inferring wildcards, in practice (JA, YS), pp. 271–290.

PADL-2014-MagalhaesL #programming

Generic Generic Programming (JPM, AL), pp. 216–231.

POPL-2014-MillerHKS #authentication #data type

Authenticated data structures, generically (AM, MH, JK, ES), pp. 411–424.

SAC-2014-KatebFNMAT #framework #modelling #multi #optimisation #runtime

Generic cloud platform multi-objective optimization leveraging models@run.time (DEK, FF, GN, JAM, MA, YLT), pp. 343–350.

IJCAR-2014-GorinPSWW #algebra #hybrid #logic #named

Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (DG, DP, LS, FW, TW), pp. 396–402.

VMCAI-2014-Ferrara #abstract interpretation #analysis

Generic Combination of Heap and Value Analyses in Abstract Interpretation (PF), pp. 302–321.

DATE-2013-BrandonW #using

Support for dynamic issue width in VLIW processors using generic binaries (AB, SW), pp. 827–832.

DATE-2013-WilleGSKD #modelling #towards #verification

Towards a generic verification methodology for system models (RW, MG, MS, MK, RD), pp. 1193–1196.

ICDAR-2013-AhmedSLD #segmentation #using

A Generic Method for Stamp Segmentation Using Part-Based Features (SA, FS, ML, AD), pp. 708–712.

ICDAR-2013-BukhariSB #towards

Towards Generic Text-Line Extraction (SSB, FS, TMB), pp. 748–752.

VLDB-2013-FenderM #top-down

Counter Strike: Generic Top-Down Join Enumeration for Hypergraphs (PF, GM), pp. 1822–1833.

CSMR-2013-PolychniatisHJBV #dependence #detection

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

DLT-2013-FeliceN #algorithm #automaton

Brzozowski Algorithm Is Generically Super-Polynomial for Deterministic Automata (SDF, CN), pp. 179–190.

LATA-2013-BabaaliK #automaton #on the #product line

On the Construction of a Family of Automata That Are Generically Non-minimal (PB, CK), pp. 80–91.

ICEIS-v1-2013-YangSKHBCS #design #information management #towards

Toward the Design of a Generic Model of Interoperability for SIEC — SIEC: Eco-design Information System (MY, MS, KK, SH, OB, OC, FS), pp. 329–333.

ICEIS-v3-2013-LuxHH #approach #enterprise #flexibility #representation #towards

Towards Enterprise Management Systems — A Generic and Flexible Information Representation Approach (AL, JH, RH), pp. 251–257.

ICEIS-v3-2013-RamdoyalPDSLJ #metamodelling #resource management #workflow

A Generic Workflow Metamodel to Support Resource-aware Decision Making (RR, CP, MAD, GS, IL, JMJ), pp. 243–250.

CIKM-2013-NaeemWDL

A generic front-stage for semi-stream processing (MAN, GW, GD, CL), pp. 769–774.

ICML-c2-2013-UrvoyCFN

Generic Exploration and K-armed Voting Bandits (TU, FC, RF, SN), pp. 91–99.

ICML-c3-2013-Izbicki #algebra #approach #classification #online #parallel #performance

Algebraic classifiers: a generic approach to fast cross-validation, online training, and parallel training (MI), pp. 648–656.

KDIR-KMIS-2013-MorganK #ambiguity #approach #twitter

A Generic Open World Named Entity Disambiguation Approach for Tweets (MBM, MvK), pp. 267–276.

KEOD-2013-LinnenbergMCSF #automation #energy #evaluation #lightweight #named #ontology #performance

OntoENERGY — A Lightweight Ontology for Supporting Energy-efficiency Tasks — Enabling Generic Evaluation of Energy Efficiency in the Engineering Phase of Automated Manufacturing Plants (TL, AWM, LC, CS, AF), pp. 337–344.

ICMT-2013-KramerKSMKBJ #weaving

Achieving Practical Genericity in Model Weaving through Extensibility (MEK, JK, JRHS, BM, JK, OB, JMJ), pp. 108–124.

ICMT-2013-MannEF #framework #graph grammar #library #term rewriting

The Graph Grammar Library — A Generic Framework for Chemical Graph Rewrite Systems (MM, HE, CF), pp. 52–53.

MoDELS-2013-PretschnerHEG #assurance #fault #quality

A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.

MoDELS-2013-SteimannU

Generic Model Assist (FS, BU), pp. 18–34.

MoDELS-2013-PretschnerHEG #assurance #fault #quality

A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.

MoDELS-2013-SteimannU

Generic Model Assist (FS, BU), pp. 18–34.

OOPSLA-2013-HoppeH #comparison #developer #empirical #java

Do developers benefit from generic types?: an empirical comparison of generic and raw types in java (MH, SH), pp. 457–474.

RE-2013-DietrichA #interface #requirements

A mode-based pattern for feature requirements, and a generic feature interface (DD, JMA), pp. 82–91.

RE-2013-MussbacherK #requirements

A vision for generic concern-oriented requirements reusere@21 (GM, JK), pp. 238–249.

SAC-2013-AllaniGP #hybrid #named #protocol

Hyphen: a hybrid protocol for generic overlay construction in P2P environments (MA, BG, PP), pp. 423–430.

SAC-2013-FanYZ #architecture #framework #modelling #scalability

A generic framework for deriving architecture modeling methods for large-scale software-intensive systems (ZF, TY, LZ), pp. 1750–1757.

SAC-2013-Schefer-WenzlS #information management #policy

Generic support for RBAC break-glass policies in process-aware information systems (SSW, MS), pp. 1441–1446.

SAC-2013-TripletB #benchmark #biology #framework #metric #named

BenchDW: a generic framework for biological data warehouse benchmarking (TT, GB), pp. 1328–1334.

SLE-2013-ArusoaieLR #execution #framework #symbolic computation

A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.

LICS-2013-GoncharovS #hoare #logic

A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (SG, LS), pp. 273–282.

WICSA-ECSA-2012-HerzigAS #enterprise #framework #gamification

A Generic Platform for Enterprise Gamification (PH, MA, AS), pp. 219–223.

DAC-2012-ChajiJ #low cost

Generic low-cost characterization of Vth and mobility variations in LTPS TFTs for non-uniformity calibration of active-matrix OLED displays (GRC, JJ), pp. 182–187.

VLDB-2012-XuG #query

Manage and Query Generic Moving Objects in SECONDO (JX, RHG), pp. 2002–2005.

VLDB-2012-ZhuKA #effectiveness #framework #performance #retrieval #sequence

A Generic Framework for Efficient and Effective Subsequence Retrieval (HZ, GK, VA), pp. 1579–1590.

ESOP-2012-LeeOCY #first-order #framework #named

GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.

ICSM-2012-Song0XS #api #data access

Inferring the data access from the clients of generic APIs (HS, GH, YX, YS), pp. 388–397.

ICSM-2012-SuttonZ #c++ #library #testing

Testing C++ generic libraries (AS, MZ), pp. 36–45.

PLDI-2012-OliveiraSCLY #calculus #programming

The implicit calculus: a new foundation for generic programming (BCdSO, TS, WC, WL, KY), pp. 35–44.

IFM-2012-AndradeFLP #generative #java #testing

Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.

ICFP-2012-Axelsson #embedded #syntax

A generic abstract syntax model for embedded languages (EA), pp. 323–334.

IFL-2012-Magalhaes #optimisation #source code

Optimisation of Generic Programs Through Inlining (JPM), pp. 104–121.

CIKM-2012-BarbosaPG #algorithm #query

Generically extending anonymization algorithms to deal with successive queries (MB, AP, BG), pp. 1362–1371.

ICPR-2012-LiuCZZ

Fusion of low-and high-dimensional approaches by trackers sampling for generic human motion tracking (YL, JC, HZ, HZ), pp. 898–901.

ICPR-2012-PanZXQ #2d #category theory #detection

Improved generic categorical object detection fusing depth cue with 2D appearance and shape features (HP, YZ, SX, KQ), pp. 1467–1470.

KEOD-2012-GhezaielLA #concept #documentation #ontology

Ontology Enrichment based on Generic Basis of Association Rules for Conceptual Document Indexing (LBG, CCL, MBA), pp. 53–65.

KEOD-2012-MuellerHOZ #information management #requirements

Knowledge Engineering Requirements for Generic Diagnostic Systems (AM, IH, HO, SZ), pp. 184–189.

KR-2012-ThomazoBMR #algorithm #query #set

A Generic Querying Algorithm for Greedy Sets of Existential Rules (MT, JFB, MLM, SR).

SEKE-2012-CookN #aspect-oriented #concept #programming #towards

Towards More Generic Aspect-Oriented Programming: Rethinking the AOP Joinpoint Concept (JC, AN), pp. 154–157.

SEKE-2012-GrunwaldM #approach #named #owl #uml

umlTUowl — A Both Generic and Vendor-specific Approach for UML to OWL Transformation (AG, TM), pp. 730–736.

MoDELS-2012-KainzBK #approach #model transformation

A Generic Approach Simplifying Model-to-Model Transformation Chains (GK, CB, AK), pp. 579–594.

MoDELS-2012-KainzBK #approach #model transformation

A Generic Approach Simplifying Model-to-Model Transformation Chains (GK, CB, AK), pp. 579–594.

ICSE-2012-Westermann #developer #feedback #performance

A generic methodology to derive domain-specific performance feedback for developers (DW), pp. 1527–1530.

LDTA-2012-JongeV #refactoring

A language generic solution for name binding preservation in refactorings (MdJ, EV), p. 2.

LCTES-2012-SallenaveD #embedded #lightweight #static analysis

Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.

ICST-2012-ChittimalliS #framework #modelling #named #source code

GEMS: A Generic Model Based Source Code Instrumentation Framework (PKC, VS), pp. 909–914.

CBSE-2011-KoziolekR #component #framework #modelling #optimisation #quality #towards

Towards a generic quality optimisation framework for component-based system models (AK, RHR), pp. 103–108.

DAC-2011-DingGYP #detection #learning #named

AENEID: a generic lithography-friendly detailed router based on post-RET data learning and hotspot detection (DD, JRG, KY, DZP), pp. 795–800.

DocEng-2011-Vion-Dury #calculus #editing #xml

A generic calculus of XML editing deltas (JYVD), pp. 113–120.

HT-2011-WoenselCT #approach #on the fly

A generic approach for on-the-fly adding of context-aware features to existing websites (WVW, SC, ODT), pp. 143–152.

SIGMOD-2011-JinP #evaluation #performance #query

Efficient and generic evaluation of ranked queries (WJ, JMP), pp. 601–612.

VLDB-2011-BernsteinMR #years after

Generic Schema Matching, Ten Years Later (PAB, JM, ER), pp. 695–701.

ICSM-2011-TsantalisNS #difference #named

Webdiff: A generic differencing service for software artifacts (NT, NN, ES), pp. 586–589.

MSR-2011-ParninBM #how #java

Java generics adoption: how new features are introduced, championed, or ignored (CP, CB, ERMH), pp. 3–12.

MSR-2011-RaoK #case study #comparative #debugging #library #locality #modelling #retrieval

Retrieval from software libraries for bug localization: a comparative study of generic and composite text models (SR, ACK), pp. 43–52.

ICALP-v2-2011-BovaCV #comparison

Generic Expression Hardness Results for Primitive Positive Formula Comparison (SB, HC, MV), pp. 344–355.

IFL-2011-PerssonAS #embedded #monad

Generic Monadic Constructs for Embedded Languages (AP, EA, JS), pp. 85–99.

CIKM-2011-SarmaJB #debugging #information management #pipes and filters

Building a generic debugger for information extraction pipelines (ADS, AJ, PB), pp. 2229–2232.

ECMFA-2011-CombemaleGR #domain-specific language #semantics

A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics (BC, LG, VR), pp. 35–51.

ICMT-2011-CuadradoGL #model transformation #reuse

Generic Model Transformations: Write Once, Reuse Everywhere (JSC, EG, JdL), pp. 62–77.

ECOOP-2011-DietlEM #static analysis

Tunable Static Inference for Generic Universe Types (WD, MDE, PM), pp. 333–357.

OOPSLA-2011-InaI #type system

Gradual typing for generics (LI, AI), pp. 609–624.

TOOLS-EUROPE-2011-BrandPV #co-evolution

A Generic Solution for Syntax-Driven Model Co-evolution (MvdB, ZP, TV), pp. 36–51.

GPCE-J-2005-CaretteK11 #abstraction #monad #multi #programming

Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code (JC, OK), pp. 349–375.

GPCE-J-2005-SiekL11 #in the large #programming

A language for generic programming in the large (JGS, AL), pp. 423–465.

SAC-2011-KangR #automation #named #testing

FortressCheck: automatic testing for generic properties (SK, SR), pp. 1290–1296.

SAC-2011-SteigerHS #constraints #network #performance

An efficient generic network flow constraint (RS, WJvH, RS), pp. 893–900.

SLE-2011-TombelleVR #approach #modelling #reuse

Reusing Pattern Solutions in Modeling: A Generic Approach Based on a Role Language (CT, GV, ER), pp. 139–159.

ASE-2010-BruneliereCJM #framework #modelling #named #reverse engineering

MoDisco: a generic and extensible framework for model driven reverse engineering (HB, JC, FJ, FM), pp. 173–174.

ASE-2010-Xing #comparison #difference

Model comparison with GenericDiff (ZX), pp. 135–138.

DocEng-2010-Vion-Dury #calculus #difference #documentation #editing #towards #xml

Diffing, patching and merging XML documents: toward a generic calculus of editing deltas (JYVD), pp. 191–194.

VLDB-2011-LianC #correlation #framework #nondeterminism

A Generic Framework for Handling Uncertain Data with Local Correlations (XL, LC), pp. 12–21.

CSMR-2010-SanchezNCP #case study #java #refactoring

Refactoring Generics in JAVA: A Case Study on Extract Method (RMS, CLN, YC, FJP), pp. 212–221.

ICPC-2010-SuttonHM #c++ #identification #library

Identification of Idiom Usage in C++ Generic Libraries (AS, RH, JIM), pp. 160–169.

PEPM-2010-BoustaniH #java #source code

Corrective hints for type incorrect generic Java programs (NEB, JH), pp. 5–14.

PEPM-2010-Henglein #algebra #equivalence #lazy evaluation #optimisation #relational #using

Optimizing relational algebra operations using generic equivalence discriminators and lazy products (FH), pp. 73–82.

PEPM-2010-MagalhaesHJL #exclamation #optimisation

Optimizing generics is easy! (JPM, SH, JJ, AL), pp. 33–42.

SAS-2010-HofmannKS #coq #verification

Verifying a Local Generic Solver in Coq (MH, AK, HS), pp. 340–355.

IFL-2010-SieczkowskiBB #automation #automaton #coq #formal method #reduction #semantics

Automating Derivations of Abstract Machines from Reduction Semantics: — A Generic Formalization of Refocusing in Coq (FS, MB, DB), pp. 72–88.

AdaEurope-2010-Brosgol #ada #comparison #java

A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM (BMB), pp. 222–237.

SIGAda-2010-Moore #ada #parallel

Parallelism generics for Ada 2005 and beyond (BJM), pp. 41–52.

ICEIS-HCI-2010-KisilevichKR #framework #named

GEO-SPADE — A Generic Google Earth-based Framework for Analyzing and Exploring Spatio-temporal Data (SK, DAK, LR), pp. 13–20.

ICEIS-ISAS-2010-Looso

A Generic Method for Best Practice Reference Model Application (SL), pp. 149–158.

CIKM-2010-WimalasuriyaD #component #information management #ontology

Components for information extraction: ontology-based information extractors and generic platforms (DCW, DD), pp. 9–18.

ICPR-2010-NguyenFP #detection #towards

Towards a Generic Feature-Selection Measure for Intrusion Detection (HTN, KF, SP), pp. 1529–1532.

ICPR-2010-OkumuraTA #random #recognition #segmentation

Generic Object Recognition by Tree Conditional Random Field Based on Hierarchical Segmentation (TO, TT, YA), pp. 3025–3028.

MoDELS-v1-2010-LaraG #concept #metamodelling #mixin

Generic Meta-modelling with Concepts, Templates and Mixin Layers (JdL, EG), pp. 16–30.

MoDELS-v2-2010-ReimannSA #refactoring

Role-Based Generic Model Refactoring (JR, MS, UA), pp. 78–92.

ECOOP-2010-SvendsenBP #verification

Verifying Generics and Delegates (KS, LB, MJP), pp. 175–199.

OOPSLA-2010-ZibinPLAE #java

Ownership and immutability in generic Java (YZ, AP, PL, MA, MDE), pp. 598–617.

TOOLS-EUROPE-2010-ChristBEGL #approach #framework #metamodelling #specification

A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage (FC, JCB, GE, CG, ML), pp. 21–40.

GPCE-2010-WolfingerLJM #framework #plugin

Adding genericity to a plug-in framework (RW, ML, MJ, HM), pp. 93–102.

PPDP-2010-Jeltsch #combinator #static typing #type checking

Generic record combinators with static type checking (WJ), pp. 143–154.

SAC-2010-TangJ #c++ #concept #optimisation

Generic flow-sensitive optimizing transformations in C++ with concepts (XT, JJ), pp. 2111–2118.

LDTA-2010-GiorgettiMTK #case study #java #source code #specification

Specifying generic Java programs: two case studies (AG, CM, ET, OK), p. 8.

SLE-2010-PirkelbauerDS #c++ #evolution

Support for the Evolution of C++ Generic Functions (PP, DD, BS), pp. 123–142.

LICS-2010-JohannSV #algebra

A Generic Operational Metatheory for Algebraic Effects (PJ, AS, JV), pp. 209–218.

WICSA-ECSA-2009-AschauerDP #architecture #modelling #multi #towards

Towards a generic architecture for multi-level modeling (TA, GD, WP), pp. 121–130.

DATE-2009-DemangelFDCW #architecture

A generic architecture of CCSDS Low Density Parity Check decoder for near-earth applications (FD, NF, ND, FC, CW), pp. 1242–1245.

DATE-2009-LiuX09a #framework #reduction

A generic framework for scan capture power reduction in fixed-length symbol-based test compression environment (XL, QX), pp. 1494–1499.

DATE-2009-SahuBP #concurrent #estimation #framework #multi #performance #thread

A generic platform for estimation of multi-threaded program performance on heterogeneous multiprocessors (AS, MB, PRP), pp. 1018–1023.

HT-2009-BraP #adaptation #framework #hypermedia

Dynamic and adaptive hypertext: generic frameworks, approaches and techniques (PDB, MP), pp. 387–388.

ICDAR-2009-ChouaibVCT #documentation #feature model

Generic Feature Selection and Document Processing (HC, NV, FC, ST), pp. 356–360.

ICDAR-2009-NavonBO #approach #scalability

A Generic Form Processing Approach for Large Variant Templates (YN, EB, BO), pp. 311–315.

CSEET-2009-FeldtHL #evaluation #re-engineering #towards

Generic Skills in Software Engineering Master Thesis Projects: Towards Rubric-Based Evaluation (RF, MH, FL), pp. 12–15.

PEPM-2009-BoustaniH #error message #fault #java

Improving type error messages for generic java (NEB, JH), pp. 131–140.

STOC-2009-KleinbergPT #game studies #learning #multi

Multiplicative updates outperform generic no-regret learning in congestion games: extended abstract (RK, GP, ÉT), pp. 533–542.

SEFM-2009-Ferrara #java #named #parallel #source code #thread

Checkmate: A Generic Static Analyzer of Java Multithreaded Programs (PF), pp. 169–178.

ICFP-2009-YakushevHLJ #data type #fixpoint #programming #recursion

Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.

GT-VMT-2009-WestK #editing #framework #graph transformation #haskell #visualisation

A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell (SW, WK), pp. 171–188.

HCI-AUII-2009-MugelliniKPCD #framework #interactive

Generic Framework for Transforming Everyday Objects into Interactive Surfaces (EM, OAK, SP, SC, HCD), pp. 473–482.

ECIR-2009-ParamitaTS #image

Generic and Spatial Approaches to Image Search Results Diversification (MLP, JT, MS), pp. 603–610.

KEOD-2009-Essert-VillardBS #approach #multi #semantics #towards

Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery (CEV, CB, PS), pp. 443–446.

SIGIR-2009-NovakBZ #image #retrieval #similarity

Generic similarity search engine demonstrated by an image retrieval application (DN, MB, PZ), p. 840.

MoDELS-2009-MohaMBJ #refactoring

Generic Model Refactorings (NM, VM, OB, JMJ), pp. 628–643.

MoDELS-2009-MohaMBJ #refactoring

Generic Model Refactorings (NM, VM, OB, JMJ), pp. 628–643.

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

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

GPCE-2009-WillcockLQ #analysis #reuse

Reusable, generic program analyses and transformations (JW, AL, DJQ), pp. 5–14.

SAC-2009-SilvaSC #library #reasoning #testing #user interface

A generic library for GUI reasoning and testing (JCS, JS, JCC), pp. 121–128.

RTA-2009-BaudetCD #named

YAPA: A Generic Tool for Computing Intruder Knowledge (MB, VC, SD), pp. 148–163.

TAP-2009-AyraultHP #development

Development of a Generic Voter under FoCal (PA, TH, FP), pp. 10–26.

ASE-2008-AndersenL

Generic Patch Inference (JA, JLL), pp. 337–346.

ASE-2008-FalleriHN #approach #normalisation

A Generic Approach for Class Model Normalization (JRF, MH, CN), pp. 431–434.

DATE-2008-BadelGIMVGL #design #difference #standard

A Generic Standard Cell Design Methodology for Differential Circuit Styles (SB, EG, OI, APM, PV, FKG, YL), pp. 843–848.

DATE-2008-LiNBPC #architecture #multi

Generic Multi-Phase Software-Pipelined Partial-FFT on Instruction-Level-Parallel Architectures and SDR Baseband Applications (ML, DN, BB, LVdP, FC), pp. 598–603.

DRR-2008-LemaitreCC #documentation #recognition

A generic method for structure recognition of handwritten mail documents (AL, JC, BC), p. 68150.

PODS-2008-LiuPRY #algorithm #problem

A generic flow algorithm for shared filter ordering problems (ZL, SP, AR, HY), pp. 79–88.

ITiCSE-2008-AmelungFR #flexibility #towards #web #web service

Towards generic and flexible web services for e-assessment (MA, PF, DFR), pp. 219–224.

FASE-2008-MossakowskiSG #logic #reasoning

A Generic Complete Dynamic Logic for Reasoning About Purity and Effects (TM, LS, SG), pp. 199–214.

PEPM-2008-JancuraP #framework #ide #integration #programming language

Generic framework for integration of programming languages into netbeans ide (JJ, DP), pp. 123–124.

AFP-2008-JeuringLMY08 #haskell #library #programming

Libraries for Generic Programming in Haskell (JJ, SL, JPM, ARY), pp. 165–229.

ICFP-2008-Henglein #linear #sorting

Generic discrimination: sorting and paritioning unshared data in linear time (FH), pp. 91–102.

ICFP-2008-MorihataMT #framework #query #recursion

Write it recursively: a generic framework for optimal path queries (AM, KM, MT), pp. 169–178.

IFL-2008-LijnseP #automation #data type #database #programming #relational #using

Between Types and Tables — Using Generic Programming for Automated Mapping between Data Types and Relational Databases (BL, RP), pp. 272–290.

ICEIS-HCI-2008-AkoumianakisMKV #component #interactive #visual notation

Generic Strategies for Manipulating Graphical Interaction Objects: Augmenting, Expanding and Integrating Components (DA, GM, DK, GV), pp. 21–29.

ICPR-2008-ChinGT #2d #detection #image

Exact integral images at generic angles for 2D barcode detection (TJC, HG, NMT), pp. 1–4.

ICPR-2008-YarlagaddaOM #3d #classification #distance

Lie group distance based generic 3-d vehicle classification (PY, ÖCÖ, JLM), pp. 1–4.

ICPR-2008-ZaidiS #algorithm #detection

Confidence rated boosting algorithm for generic object detection (NAZ, DS), pp. 1–4.

SEKE-2008-HudertLW #framework

Negotiating Service Levels — A Generic Negotiation Framework for WS Agreement (SH, HL, GW), pp. 587–592.

ECMDA-FA-2008-HovsepyanBBJ #composition #reuse

Generic Reusable Concern Compositions (AH, SVB, YB, WJ), pp. 231–245.

OOPSLA-2008-MoorsPO

Generics of a higher kind (AM, FP, MO), pp. 423–438.

OOPSLA-2008-OliveiraWG #component #reuse #type safety #visitor

The visitor pattern as a reusable, generic, type-safe component (BCdSO, MW, JG), pp. 439–456.

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.

PADL-2008-FernandezFFGM #developer #ml #programming #tool support

A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers (MFF, KF, JNF, MG, YM), pp. 133–149.

SAC-2008-AbreuGZG #automation #fault #invariant #locality #using

Automatic software fault localization using generic program invariants (RA, AG, PZ, AJCvG), pp. 712–717.

SAC-2008-BeckerRHST #xml

A generic XML language for characterising objects to support digital preservation (CB, AR, VH, JS, MT), pp. 402–406.

SAC-2008-CimadamoreV #java #prolog #type inference

Integrating Java and Prolog through generic methods and type inference (MC, MV), pp. 198–205.

SAC-2008-LeeKRG #framework #mobile

A generic mobile agent framework for ambient intelligence (YCL, ESK, SR, BG), pp. 1866–1871.

SLE-2008-Brand #modelling

Model-Driven Engineering Meets Generic Language Technology (MvdB), pp. 8–15.

LICS-2008-GacekMN #recursion

Combining Generic Judgments with Recursive Definitions (AG, DM, GN), pp. 33–44.

ECSA-2007-WaignierMD #architecture #framework #named

FIESTA: A Generic Framework for Integrating New Functionalities into Software Architectures (GW, AFLM, LD), pp. 76–91.

ASE-2007-WeaverKFA #composition #programming

Modular and generic programming with interpreterlib (PW, GK, NF, PA), pp. 473–476.

CASE-2007-HuangSCJ #development #framework

Development of a Generic Virtual Metrology Framework (HCH, YCS, FTC, JMJ), pp. 282–287.

DRR-2007-Giannetti #architecture #authoring #xml

Generic architecture for professional authoring environments to export XML-based formats (FG).

VLDB-2007-CasatiCDS #process

A Generic solution for Warehousing Business Process Data (FC, MC, UD, NS), pp. 1128–1137.

VLDB-2007-KenscheQLL #model management #named

GeRoMeSuite: A System for Holistic Generic Model Management (DK, CQ, XL, YL), pp. 1322–1325.

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.

TACAS-2007-BouajjaniJS #framework #infinity #network #process #reasoning

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes (AB, YJ, MS), pp. 690–705.

ICFP-2007-HageHM #analysis

A generic usage analysis with subeffect qualifiers (JH, SH, AM), pp. 235–246.

AGTIVE-2007-DrewesHJME #graph transformation

Shaped Generic Graph Transformation (FD, BH, DJ, MM, NVE), pp. 201–216.

AGTIVE-2007-MaierM #algorithm #editing #layout #metamodelling #modelling

A Generic Layout Algorithm for Meta-model Based Editors (SM, MM), pp. 66–81.

GT-VMT-2007-HorvathVV #graph

Generic Search Plans for Matching Advanced Graph Patterns (ÁH, GV, DV).

HCI-IDU-2007-BuurS #design #interactive #towards

Towards Generic Interaction Styles for Product Design (JB, MAS), pp. 30–39.

HCI-MIE-2007-HouGB #adaptation #design #development #framework

Development of a Generic Design Framework for Intelligent Adaptive Systems (MH, MSG, SB), pp. 313–320.

AdaEurope-2007-BarbariaHP #component #design #distributed #performance

Design and Performance of a Generic Consensus Component for Critical Distributed Applications (KB, JH, LP), pp. 208–220.

SIGAda-2007-PukiteL #design #logic #simulation #using

Generic discrete event simulations using DEGAS: application to logic design and digital signal processing (PP, LL), pp. 27–40.

CAiSE-2007-QuixKL #model merging

Generic Schema Merging (CQ, DK, XL), pp. 127–141.

ICEIS-EIS-2007-ErfurthRSHS #concept #development #domain-specific language #modelling #representation

Concepts of Model Driven Software Development in Practice — Generic Model Representation and DSL Interpretation (CE, WR, CS, DH, SS), pp. 278–286.

ICEIS-EIS-2007-HoggerL #framework #modelling

Generic Business Modelling Framework (CJH, ML), pp. 422–427.

MLDM-2007-TanN #data mining #mining #privacy #probability #re-engineering

Generic Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining (VYFT, SKN), pp. 76–90.

SIGIR-2007-KumaranK #framework

A generic framework for machine transliteration (AK, TK), pp. 721–722.

ECOOP-2007-DietlDM

Generic Universe Types (WD, SD, PM), pp. 28–53.

OOPSLA-2007-ChenR #framework #named #performance #runtime #verification

Mop: an efficient and generic runtime verification framework (FC, GR), pp. 569–588.

SAC-2007-SasitornC #component

Deriving components from genericity (JS, RC), pp. 1109–1116.

ESEC-FSE-2007-ZibinPAAKE #java #using

Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.

ICSE-2007-GrundyH #diagrams #sketching #visual notation

Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool (JCG, JGH), pp. 282–291.

ATEM-2007-FleureyBFG #approach #automation #composition

A Generic Approach for Automatic Model Composition (FF, BB, RBF, SG), pp. 7–15.

ICLP-2007-GebserS #programming #set

Generic Tableaux for Answer Set Programming (MG, TS), pp. 119–133.

ISSTA-2007-ClauseLO #analysis #framework #named

Dytan: a generic dynamic taint analysis framework (JAC, WL, AO), pp. 196–206.

CBSE-2006-BayEO #component

Generic Component Lookup (TGB, PTE, MO), pp. 182–197.

DAC-2006-KlingaufGBPB #modelling #named #transaction

GreenBus: a generic interconnect fabric for transaction level modelling (WK, RG, OB, PP, MB), pp. 905–910.

SIGMOD-2006-ZieglerKSDB #detection #ontology #similarity #tool support

Generic similarity detection in ontologies with the SOQA-SimPack toolkit (PZ, CK, CS, KRD, AB), pp. 751–753.

ESOP-2006-Fruja #dot-net #runtime #type safety

Type Safety of Generics for the .NET Common Language Runtime (NGF), pp. 325–341.

ICSM-2006-ZalewskiS #impact analysis #library

Change Impact Analysis for Generic Libraries (MZ, SS), pp. 35–44.

PEPM-2006-ErwigFP #fortran #programming

Generic programming in Fortran (ME, ZF, BP), pp. 130–139.

PLDI-2006-JarviGWLS #algorithm #c++ #challenge #programming

Algorithm specialization in generic programming: challenges of constrained generics in C++ (JJ, DG, JW, AL, JGS), pp. 272–282.

ICALP-v2-2006-PhanST #hybrid

Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability (DHP, RSN, DT), pp. 264–275.

IFL-2006-JanssonJCEKMOV #testing

Testing Properties of Generic Functions (PJ, JJ, LC, GE, JK, SM, MO, KV), pp. 217–234.

IFL-2006-TrojahnerGS #array #on the #optimisation #source code #using

On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.

ICPR-v1-2006-BernierB #detection #multi

Generic Detection of Multi-Part Objects (JFB, RB), pp. 840–843.

ICPR-v1-2006-CayouetteC #realtime

Generic Real-Time Tracking Method on Semi-Dynamic Scenes (FC, JRC), pp. 711–714.

ICPR-v1-2006-DhuaC #multi #recognition

Hierarchical, Generic to Specific Multi-class Object Recognition (AD, FC), pp. 783–788.

ICPR-v1-2006-Lhuillier #effectiveness #fault #using

Effective and Generic Structure from Motion using Angular Error (ML), pp. 67–70.

ICPR-v2-2006-MaceA #documentation #online

A Generic Method for Eager Interpretation of On-Line Handwritten Structured Documents (SM, ÉA), pp. 1106–1109.

ICPR-v3-2006-DuongPBV #behaviour #exponential #markov #modelling #product line #recognition

Human Behavior Recognition with Generic Exponential Family Duration Modeling in the Hidden Semi-Markov Model (TVD, DQP, HHB, SV), pp. 202–207.

ICPR-v4-2006-FusseneggerOP #locality #segmentation #using

Object localization/segmentation using generic shape priors (MF, AO, AP), pp. 41–44.

ECMDA-FA-2006-BoronatOGRC #algebra #eclipse #framework #modelling #ocl #query #specification

An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework (AB, JO, AG, IR, JÁC), pp. 316–330.

MoDELS-2006-TombelleV #modelling

Dynamic and Generic Manipulation of Models: From Introspection to Scripting (CT, GV), pp. 395–409.

MoDELS-2006-TombelleV #modelling

Dynamic and Generic Manipulation of Models: From Introspection to Scripting (CT, GV), pp. 395–409.

ECOOP-2006-EmirKRY #c# #constraints

Variance and Generalized Constraints for C^# Generics (BE, AK, CVR, DY), pp. 279–303.

OOPSLA-2006-GregorJSSRL #c++ #concept #named #programming

Concepts: linguistic support for generic programming in C++ (DG, JJ, JGS, BS, GDR, AL), pp. 291–310.

OOPSLA-2006-PotaninNCB #java

Generic ownership for generic Java (AP, JN, DC, RB), pp. 311–324.

GPCE-2006-DenneyF #algorithm #automation #certification #safety

A generic annotation inference algorithm for the safety certification of automatically generated code (ED, BF), pp. 121–130.

PADL-2006-SoaresRF #prolog

Generic Cut Actions for External Prolog Predicates (TS, RR, MF), pp. 16–30.

PADL-2006-Volder #declarative #named

JQuery: A Generic Code Browser with a Declarative Configuration Language (KDV), pp. 88–102.

SAC-2006-BernsteinK #ontology #retrieval #similarity #towards #using

Imprecise RDQL: towards generic retrieval in ontologies using similarity joins (AB, CK), pp. 1684–1689.

SAC-2006-SasitornC #java #performance #virtual machine

Efficient first-class generics on stock Java virtual machines (JS, RC), pp. 1621–1628.

HPDC-2006-LuCG #framework #xml

Building a Generic SOAP Framework over Binary XML (WL, KC, DG), pp. 195–204.

ASE-2005-MehraGH #approach #collaboration #design #diagrams #difference

A generic approach to supporting diagram differencing and merging for collaborative design (AM, JCG, JGH), pp. 204–213.

DAC-2005-AdirABPS #approach #architecture #testing #verification

A generic micro-architectural test plan approach for microprocessor verification (AA, HA, EB, OP, KS), pp. 769–774.

DATE-2005-ReshadiD #generative #modelling #performance #pipes and filters

Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation (MR, NDD), pp. 786–791.

HT-2005-BurgerGG #concept #multi

Smart content factory: assisting search for digital objects by generic linking concepts to multimedia content (TB, EG, GG), pp. 286–287.

ICDAR-2005-Aradhye

A Generic Method for Determining the Up/Down Orientation of Text in Roman and Non-roman Scripts (HBA), pp. 187–191.

ICDAR-2005-ChevalierPGL #2d #approach #recognition

A generic 2D approach of handwriting recognition (SC, FJP, EG, ML), pp. 489–493.

SIGMOD-2005-HuXL #framework #monitoring #query

A Generic Framework for Monitoring Continuous Spatial Queries over Moving Objects (HH, JX, DLL), pp. 479–490.

TACAS-2005-IsobeR #csp #proving #refinement #theorem proving

A Generic Theorem Prover of CSP Refinement (YI, MR), pp. 108–123.

CSMR-2005-Al-EkramK #analysis #framework #representation #xml

An XML-Based Framework for Language Neutral Program Representation and Generic Analysis (RAE, KK), pp. 42–51.

PLDI-2005-SiekL #programming

Essential language support for generic programming (JGS, AL), pp. 73–84.

SAS-2005-Muller-OlmS #analysis #framework #interprocedural

A Generic Framework for Interprocedural Analysis of Numerical Properties (MMO, HS), pp. 235–250.

CEFP-2005-PlasmeijerA #editing #web

Generic Editors for the World Wide Web (RP, PA), pp. 1–34.

ICFP-2005-LammelJ #scrap your boilerplate

Scrap your boilerplate with class: extensible generic functions (RL, SLPJ), pp. 204–215.

IFL-2005-GrelckSS #analysis #array #source code

A Binding Scope Analysis for Generic Programs on Arrays (CG, SBS, AVS), pp. 212–230.

ICEIS-v4-2005-TosicZ #fault tolerance

Generic Fault-Tolerant Layer Supporting Publish/Subscribe Messaging (MT, ABZ), pp. 111–118.

SEKE-2005-BasitRJ #empirical #unification #using

An Empirical Study on Limits of Clone Unification Using Generics (HAB, DCR, SJ), pp. 109–114.

SEKE-2005-BeydounGLH #metamodelling #multi #towards #validation

Towards Method Engineering for Multi-Agent Systems: A preliminary validation of a Generic MAS Metamodel (GB, CGP, GL, BHS), pp. 51–56.

SIGIR-2005-CuiKC #modelling

Generic soft pattern models for definitional question answering (HC, MYK, TSC), pp. 384–391.

ECMDA-FA-2005-BoronatCR #automation #framework #model management #traceability

Automatic Support for Traceability in a Generic Model Management Framework (AB, JÁC, IR), pp. 316–330.

ECOOP-2005-FuhrerTKDK #java #library #refactoring

Efficiently Refactoring Java Applications to Use Generic Libraries (RMF, FT, AK, JD, MK), pp. 71–96.

OOPSLA-2005-JarviWL #constraints #object-oriented

Associated types and constraint propagation for mainstream object-oriented generics (JJ, JW, AL), pp. 1–19.

GPCE-2005-CaretteK #abstraction #monad #multi #programming

Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code (JC, OK), pp. 256–274.

GPCE-2005-JunJ #framework #generative #maintenance

Applying a Generative Technique for Enhanced Genericity and Maintainability on the J2EE Platform (YJ, SJ), pp. 237–255.

GPCE-2005-SiekL #library #requirements #scalability

Language Requirements for Large-Scale Generic Libraries (JGS, AL), pp. 405–421.

GPCE-2005-YaoZC #aspect-oriented #c++ #framework #programming

AOP++: A Generic Aspect-Oriented Programming Framework in C++ (ZY, QZ, GC), pp. 94–108.

PADL-2005-AlimarineS #optimisation

Improved Fusion for Optimizing Generics (AA, SS), pp. 203–218.

SAC-2005-MongaS #mobile

A generic serializer for mobile devices (MM, AS), pp. 981–985.

SAC-2005-SpohnG #network #problem #set #using

A solution for the location problem in arbitrary computer networks using generic dominating sets (MAS, JJGLA), pp. 739–743.

LDTA-2005-BrandCOV #debugging #framework #named #tool support

TIDE: A Generic Debugging Framework — Tool Demonstration (MvdB, BC, PAO, JJV), pp. 161–165.

CC-2005-Padovani #c++ #compilation #using

Compilation of Generic Regular Path Expressions Using C++ Class Templates (LP), pp. 27–42.

ICLP-2005-Langevine #constraints #named #programming

Gentra4cp: A Generic Trace Format for Constraint Programming (LL), pp. 433–434.

ICLP-2005-PueblaAH #analysis #framework #logic programming #source code

A Generic Framework for the Analysis and Specialization of Logic Programs (GP, EA, MVH), pp. 407–409.

TLCA-2005-PowerT

Binding Signatures for Generic Contexts (JP, MT), pp. 308–323.

DATE-DF-2004-MoignePC #realtime #simulation

A Generic RTOS Model for Real-time Systems Simulation with SystemC (RLM, OP, JPC), pp. 82–87.

ITiCSE-2004-BlumensteinGNM #analysis #automation #game studies

An experimental analysis of GAME: a generic automated marking environment (MB, SG, AN, VM), pp. 67–71.

IWPC-2004-Tadonki #reverse engineering

Universal Report: A Generic Reverse Engineering Tool (CT), pp. 266–267.

AFP-2004-AchtenEPW04 #agile #interactive #named #prototype #tool support #type safety

GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (PA, MCJDvE, RP, AvW), pp. 210–244.

ICFP-2004-Hinze

Generics for the masses (RH), pp. 236–243.

IFL-2004-SchreurP

Dynamic Construction of Generic Functions (RWS, MJP), pp. 160–176.

CAiSE-2004-RalyteRD #towards

Towards a Meta-tool for Change-Centric Method Engineering: A Typology of Generic Operators (JR, CR, RD), pp. 202–218.

ICPR-v1-2004-KannalaB #lens

A Generic Camera Calibration Method for Fish-Eye Lenses (JK, SSB), pp. 10–13.

UML-2004-VarroP #model transformation

Generic and Meta-transformations for Model Transformation Engineering (DV, AP), pp. 290–304.

OOPSLA-2004-DincklageD #java

Converting Java classes to use generics (DvD, AD), pp. 1–14.

OOPSLA-2004-DonovanKTE #java #library #source code

Converting java programs to use generic libraries (AD, AK, MST, MDE), pp. 15–34.

GPCE-2004-LohmannBS #aspect-oriented #generative #programming

Generic Advice: On the Combination of AOP with Generative Programming in AspectC++ (DL, GB, OS), pp. 55–74.

PDCL-2004-PueblaCHBBMS #analysis #composition #framework #source code

A Generic Framework for Context-Sensitive Analysis of Modular Programs (GP, JC, MVH, FB, MJGdlB, KM, PJS), pp. 233–260.

PADL-2004-AchtenEP #composition #user interface #visual notation

Compositional Model-Views with Generic Graphical User Interfaces (PA, MCJDvE, MJP), pp. 39–55.

PADL-2004-CorreasGCCH #implementation #persistent

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) (JC, JMG, MC, DC, MVH), pp. 104–119.

PADL-2004-ErwigF #fortran #generative #parametricity

Parametric Fortran — A Program Generator for Customized Generic Fortran Extensions (ME, ZF), pp. 209–223.

POPL-2004-Fiore #morphism #polynomial #recursion

Isomorphisms of generic recursive polynomial types (MPF), pp. 77–88.

POPL-2004-YuKS #dot-net #formal method #runtime

Formalization of generics for the .NET common language runtime (DY, AK, DS), pp. 39–51.

SAC-2004-PreinfalkM #automation #framework #problem #scheduling

Automatic construction of drama school timetables based on a generic evolutionary framework for allocation and scheduling problems (OP, HAM), pp. 996–1000.

ICSE-2004-Francois #architecture #data type #distributed #hybrid #parallel

A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams (ARJF), pp. 367–376.

LDTA-2004-Tavernier #automaton #named #tool support #user interface #visual notation

Calife: A Generic Graphical User Interface for Automata Tools (BT), pp. 169–172.

CSL-2004-Miller #quantifier

Bindings, Mobility of Bindings, and the “generic judgments”-Quantifier: An Abstract (DM), p. 24.

IJCAR-2004-BartheCT #formal method #random

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model (GB, JC, ST), pp. 385–399.

IJCAR-2004-MaricJ #framework #named

argo-lib: A Generic Platform for Decision Procedures (FM, PJ), pp. 213–217.

ICDAR-2003-CouasnonL #documentation #recognition

A Generic Recognition System for Making Archives Documents accessible to Publi (BC, IL), pp. 228–232.

ICDAR-2003-RagotA #classification #fuzzy #hybrid #modelling #online #recognition

A Generic Hybrid Classifier Based on Hierarchical Fuzzy Modeling: Experiments on On-Line Handwritten Character Recognition (NR, ÉA), pp. 963–967.

SIGMOD-2003-MelnikRB #framework #model management #named #programming

Rondo: A Programming Platform for Generic Model Management (SM, ER, PAB), pp. 193–204.

FoSSaCS-2003-AbramskyJ #game studies #morphism #polymorphism #semantics

A Game Semantics for Generic Polymorphism (SA, RJ), pp. 1–22.

FoSSaCS-2003-BergerHY #π-calculus

Genericity and the π-Calculus (MB, KH, NY), pp. 103–119.

TACAS-2003-Mateescu #equation #on the fly

A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems (RM), pp. 81–96.

ICFP-2003-LohCJ #haskell

Dependency-style generic Haskell (AL, DC, JJ), pp. 141–152.

IFL-2003-AchtenD #user interface #visual notation

Generic Graphical User Interfaces (PA, MCJDvE, RP), pp. 152–167.

AdaEurope-2003-Patinno-MartinezJR #fault tolerance #transaction

Transactions and Groups as Generic Building Blocks for Software Fault Tolerance (MPM, RJP, ABR), pp. 208–219.

CAiSE-2003-RalyteDR #towards

Towards a Generic Model for Situational Method Engineering (JR, RD, CR), pp. 95–110.

ICEIS-v3-2003-ChimarisP #component #framework #implementation

Implementing a Generic Component-Based Framework for Tele-Control Applications (AC, GAP), pp. 51–58.

ICEIS-v4-2003-BouzidP #mobile

Agent-Based Generic Services and Their Application for the Mobile Workforce (MB, JP), pp. 161–166.

SEKE-2003-Schobel-Theuer #on the

On Variants of Genericity (TST), pp. 359–365.

OOPSLA-2003-AllenBC #approach

A first-class approach to genericity (EEA, JB, RC), pp. 96–114.

OOPSLA-2003-GarciaJLSW #case study #comparative #programming

A comparative study of language support for generic programming (RG, JJ, AL, JGS, JW), pp. 115–134.

POPL-2003-BouajjaniET #approach #concurrent #source code #static analysis

A generic approach to the static analysis of concurrent programs with procedures (AB, JE, TT), pp. 62–73.

ICLP-2003-CorreasGCGH #persistent

A Generic Persistence Model for (C)LP Systems (JC, JMG, MC, DCG, MVH), pp. 481–482.

ICLP-2003-Smaus #equation #first-order #question #semantics

Is There an Optimal Generic Semantics for First-Order Equations? (JGS), pp. 438–450.

LICS-2003-MillerT #proving

A Proof Theory for Generic Judgments: An extended abstract (DM, AFT), pp. 118–127.

VLDB-2002-DittrichSTW #algorithm

Progressive Merge Join: A Generic and Non-blocking Sort-based Join Algorithm (JPD, BS, DST, PW), pp. 299–310.

VLDB-2002-ManegoldBK #cost analysis #database #memory management #modelling

Generic Database Cost Models for Hierarchical Memory Systems (SM, PAB, MLK), pp. 191–202.

FASE-2002-EhrigOBKP #component #framework #modelling

A Generic Component Framework for System Modeling (HE, FO, BB, MK, MP), pp. 33–48.

FoSSaCS-2002-JancarKMS #automaton #bound #proving

Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds (PJ, AK, FM, ZS), pp. 172–186.

CSMR-2002-RaysideK #algorithm #graph #problem #program analysis #reachability

A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis (DR, KK), pp. 67–76.

PASTE-2002-Fiskio-LasseterY #equation #graph #programming

Flow equations as a generic programming tool for manipulation of attributed graphs (JHEFL, MY), pp. 69–76.

CIAA-J-2000-Mohri02 #algorithm #transducer

Generic e-Removal and Input e-Normalization Algorithms for Weighted Transducers (MM), pp. 129–143.

IFL-2002-AchtenAP

When Generic Functions Use Dynamic Values (PA, AA, MJP), pp. 17–33.

IFL-2002-KoopmanATP #automation #named #testing

Gast: Generic Automated Software Testing (PWMK, AA, JT, MJP), pp. 84–100.

SIGAda-2002-NevilleS #algorithm #search-based

Developing a generic genetic algorithm (MN, AS), pp. 45–52.

CAiSE-2002-DahchourPZ

A Generic Role Model for Dynamic Objects (MD, AP, EZ), pp. 643–658.

CAiSE-2002-Olive #concept #modelling #representation

Representation of Generic Relationship Types in Conceptual Modeling (AO), pp. 675–691.

CAiSE-2002-PrakashB #modelling

Generic Models for Engineering Methods of Diverse Domains (NP, MPSB), pp. 612–625.

ICEIS-2002-Olive #concept #modelling

Specific Relationship Types in Conceptual Modeling: The Cases of Generic and with Common Participants (AO), p. 9.

KR-2002-EiterFST #approach #knowledge-based

A Generic Approach for Knowledge-Based Information-Site Selection (TE, MF, GS, HT), pp. 459–469.

SIGIR-2002-Zha #clustering #summary #using

Generic summarization and keyphrase extraction using mutual reinforcement principle and sentence clustering (HZ), pp. 113–120.

LOPSTR-2002-Berghammer #set

A Generic Program for Minimal Subsets with Applications (RB), pp. 144–157.

LOPSTR-2002-Martin-MateosAHR #framework #verification

Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers (FJMM, JAA, MJH, JLRR), pp. 182–198.

PPDP-2002-BlancE

A generic operator over discrete time intervals (JB, RE), pp. 145–155.

PADL-2002-LammelV #combinator #traversal

Typed Combinators for Generic Traversal (RL, JV), pp. 137–154.

PADL-2002-ShenSNS #eclipse #interface #programming language

A High-Level Generic Interface to External Programming Languages for ECLiPSe (KS, JS, SN, JS), pp. 262–279.

ICSE-2002-JandlRSG #corba #enterprise #integration

Enterprise application integration by means of a generic CORBA LDAP gateway (MJ, WR, AS, KMG), p. 711.

LCTES-SCOPES-2002-KastnerW #assembly #control flow #re-engineering

Generic control flow reconstruction from assembly code (DK, SW), pp. 46–55.

DATE-2001-StuikysZDM #component

Two approaches for developing generic components in VHDL (VS, GZ, RD, GM), p. 800.

ICDAR-2001-Couasnon #automation #documentation #generative #named #recognition

DMOS: A Generic Document Recognition Method, Application to an Automatic Generator of Musical Scores, Mathematical Formulae and Table Structures Recognition Systems (BC), pp. 215–220.

ICDAR-2001-CouasnonP #documentation #evaluation #recognition

A Real-World Evaluation of a Generic Document Recognition Method Applied to a Military Form of the 19th Century (BC, LP), pp. 779–783.

ICDAR-2001-GongL #summary

Creating Generic Text Summaries (YG, XL), pp. 903–907.

VLDB-2001-BerckenS #evaluation

An Evaluation of Generic Bulk Loading Techniques (JVdB, BS), pp. 461–470.

VLDB-2001-MadhavanBR

Generic Schema Matching with Cupid (JM, PAB, ER), pp. 49–58.

IWPC-2001-Favre #named

GSEE: A Generic Software Exploration Environment (JMF), pp. 233–244.

PLDI-2001-KennedyS #design #dot-net #implementation #runtime

Design and Implementation of Generics for the .NET Common Language Runtime (AK, DS), pp. 1–12.

ICFP-2001-Chuang #parametricity #validation

Generic Validation of Structural Content with Parametric Modules (TRC), pp. 98–109.

ICFP-2001-Sheard #unification

Generic Unification via Two-Level Types and Parameterized Modules (TS), pp. 86–97.

IFL-2001-AlimarineP #programming

A Generic Programming Extension for Clean (AA, MJP), pp. 168–185.

SVIS-2001-BaskenN #algorithm #geometry #interactive #named #visualisation

GeoWin — A Generic Tool for Interactive Visualization of Geometric Algorithms (MB, SN), pp. 88–100.

AdaEurope-2001-Gaudel #approach #specification #testing

Testing from Formal Specifications, a Generic Approach (MCG), pp. 35–48.

CAiSE-2001-EcksteinAN #development #information management #reuse

Increasing Reusability in Information Systems Development by Applying Generic Methods (SE, PA, KN), pp. 251–266.

ICEIS-v1-2001-FerreiraS #architecture #named #personalisation

MySDI: A Generic Architecture to Develop SDI Personalised Services (JF, ARdS), pp. 262–270.

SIGIR-2001-GongL #analysis #semantics #summary #using

Generic Text Summarization Using Relevance Measure and Latent Semantic Analysis (YG, XL), pp. 19–25.

SIGIR-2001-MoensB #documentation #segmentation #topic

Generic Topic Segmentation of Document Texts (MFM, RDB), pp. 418–419.

SIGIR-2001-SakaiJ #information retrieval #summary

Generic Summaries for Indexing in Information Retrieval (TS, KSJ), pp. 190–198.

TOOLS-EUROPE-2001-ThorupT #object-oriented #programming language

Genericity in Object-Oriented Programming Languages (KKT, MT), pp. 180–181.

GCSE-2001-Nicolet #framework #statistics #visitor

Generic Visitor Framework Computing Statistical Estimators (JDN), pp. 92–105.

POPL-2001-IgarashiK #type system #π-calculus

A generic type system for the π-calculus (AI, NK), pp. 128–141.

CSL-2001-Schweikardt #database #order

The Natural Order-Generic Collapse for ω-Representable Databases over the Rational and the Real Ordered Group (NS), pp. 130–144.

IJCAR-2001-CerroFGHLM #logic #proving

Lotrec : The Generic Tableau Prover for Modal and Description Logics (LFdC, DF, OG, AH, DL, FM), pp. 453–458.

DATE-2000-GuerrierG #architecture

A Generic Architecture for On-Chip Packet-Switched Interconnections (PG, AG), pp. 250–256.

ITiCSE-2000-RosbottomCF #learning #online

A generic model for on-line learning (JR, JC, DF), pp. 108–111.

TACAS-2000-Aspinall #development #proving

Proof General: A Generic Tool for Proof Development (DA0), pp. 38–42.

WRLA-2000-LeuckerN #framework #logic #tool support #verification

Rewriting Logic as a Framework for Generic Verification Tools (ML, TN), pp. 121–137.

WRLA-2000-Stehr #calculus #named

CINNI — A Generic Calculus of Explicit Substitutions and its Application to λ-, ς- and pi- Calculi (MOS), pp. 70–92.

CIAA-2000-Mohri #algorithm #automaton

Generic epsilon -Removal Algorithm for Weighted Automata (MM), pp. 230–242.

ICALP-2000-Konig #mobile #process #type system

Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System (BK0), pp. 403–414.

ICFP-2000-SasanoHTO #algorithm #linear #problem

Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems (IS, ZH, MT, MO), pp. 137–149.

IFL-2000-ArtsN #erlang #implementation #verification

Verifying Generic Erlang Client-Server Implementations (TA, TN), pp. 37–52.

ICPR-v1-2000-BilodeauB #2d #3d #image #modelling

Generic Modeling of 3D Objects from Single 2D Images (GAB, RB), pp. 1770–1773.

ICPR-v1-2000-ChabbiP #image

A Generic Relaxation Technique for Hierarchic Stereo Chain Matching of Uncalibrated Images (HC, SP), pp. 1746–1749.

ICPR-v1-2000-MedioniF #3d #recognition

3-D Structures for Generic Object Recognition (GGM, ARJF), pp. 1030–1037.

ICPR-v1-2000-RomdhaniPG #scalability

A Generic Face Appearance Model of Shape and Texture under Very Large Pose Variations from Profile to Profile Views (SR, AP, SG), pp. 5060–5063.

ICPR-v1-2000-VogelhuberS #constraints #detection

Face Detection Based on Generic Local Descriptors and Spatial Constraints (VV, CS), pp. 5084–5087.

ICPR-v3-2000-GaoQL #classification #fuzzy

Fuzzy Classification of Generic Edge Features (QG, DQ, SL), pp. 3672–3675.

ICPR-v3-2000-LeiHR #detection #image #low level

Detecting Generic Low-Level Features in Images (BJL, EAH, MJTR), pp. 3979–3982.

ICPR-v3-2000-WangB #detection #energy #modelling #segmentation

Detection and Segmentation of Generic Shapes Based on Vectorial Affine Modeling of Energy in Eigenspace (ZW, JBA), pp. 3983–3987.

ICPR-v4-2000-GeraudFD #algorithm #image #pattern matching #pattern recognition #recognition

Obtaining Genericity for Image Processing and Pattern Recognition Algorithms (TG, YF, ADL), pp. 4816–4819.

ICPR-v4-2000-IskeRMS #behaviour #learning #navigation

A Bootstrapping Method for Autonomous and in Site Learning of Generic Navigation Behavior (BI, UR, KM, JS), pp. 4656–4659.

ECOOP-2000-BuchiW

Generic Wrappers (MB, WW), pp. 201–225.

TOOLS-PACIFIC-2000-BaumB #component #reuse

Generic Components to Foster Reuse (LB, MB), pp. 266–277.

TOOLS-PACIFIC-2000-SkevoulisJ #detection #fault #invariant #java #runtime #source code #static analysis

Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs (SS, XJ), pp. 36–44.

TOOLS-USA-2000-HeberleLNZ #type system

Weak Subtyping and Genericity (AH, WL, RN, WZ), pp. 149–158.

GCSE-2000-Becker #component #paradigm

Generic Components: A Symbiosis of Paradigms (MB), pp. 100–113.

POPL-2000-Hinze #approach #functional #programming

A New Approach to Generic Functional Programming (RH), pp. 119–132.

OSDI-2000-LowellCC

Exploring Failure Transparency and the Limits of Generic Recovery (DEL, SC, PMC), pp. 289–304.

SIGMOD-1999-RundensteinerCLCZNJLW #named

SERF: ODMG-Based Generic Re-structuring Facility (EAR, KTC, ML, LC, XZ, CN, JJ, SDL, SW), pp. 568–570.

VLDB-1999-DarmontS #named #random #simulation

VOODB: A Generic Discrete-Event Random Simulation Model To Evaluate the Performances of OODBs (JD, MS), pp. 254–265.

PEPM-1999-PueblaHG #abstract interpretation #framework #integration #partial evaluation

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework (GP, MVH, JPG), pp. 75–84.

FM-v2-1999-PolackS #development #using

Systems Development Using Z Generics (FP, SS), pp. 1048–1067.

ICFP-1999-WallaceR #combinator #haskell #question #type system #xml

Haskell and XML: Generic Combinators or Type-Based Translation? (MW, CR), pp. 148–159.

ECOOP-1999-ThorupT

Unifying Genericity — Combining the Benefits of Virtual Types and Parameterized Classes (KKT, MT), pp. 186–204.

OOPSLA-1999-LeeSL #component #graph #library

The Generic Graph Component Library (LQL, JGS, AL), pp. 399–414.

TOOLS-ASIA-1999-CrespoRM #automation

Obtaining Generic Classes Automatically through a Parameterization Operator: A Focus on Constrained Genericity (YC, JJR, JMMC), pp. 166–176.

SAC-1999-SegarraA #file system #mobile #named #using

MFS: A Mobile File System Using Generic System Services (MTS, FA), pp. 419–420.

ICLP-1999-JahierD #approach #monitoring

A Generic Approach to Monitor Program Executions (EJ, MD), pp. 139–153.

DAC-1998-EisenmannJ

Generic Global Placement and Floorplanning (HE, FMJ), pp. 269–274.

ITiCSE-1998-Clear #collaboration #communication #database #education

A generic collaborative database — part of a strategy to internationalise the curriculum and develop teamwork and communication capabilities (poster) (AGC), p. 274.

ESOP-1998-Thiemann #framework

A Generic Framework for Specialization (Abridged Version) (PT), pp. 267–281.

CSMR-1998-GhannouchiGK #approach #reverse engineering

A Generic Approach for Data Reverse Engineering Taking into Account Application Doamin Knowledge (SAG, HHBG, FK), pp. 21–28.

IWPC-1998-Kamp #approach #comprehension #multi #repository #tool support

Managing a Multi-File, Multi-Language Software Repository for Program Comprehension Tools 3/4 A Generic Approach (MK), pp. 64–71.

AFP-1998-BackhouseJJM98 #programming

Generic Programming: An Introduction (RCB, PJ, JJ, LGLTM), pp. 28–115.

AFP-1998-MoorS98 #program transformation

Generic Program Transformation (OdM, GS), pp. 116–149.

SIGAda-1998-HoffmanNS #ada #testing

Testing Generic Ada Packages with APE (DH, JN, PAS), pp. 255–262.

ICPR-1998-PinzA #reasoning #recognition

Qualitative spatial reasoning to infer the camera position in generic object recognition (AP, JPA), pp. 770–773.

OOPSLA-1998-BrachaOSW #java #programming language

Making the Future Safe for the Past: Adding Genericity to the Java Programming Language (GB, MO, DS, PW), pp. 183–200.

OOPSLA-1998-CartwrightS #java #programming language #runtime

Compatible Genericity with Run-Time Types for the Java Programming Language (RC, GLSJ), pp. 201–215.

ISMM-1998-NishanovS #garbage collection #library

Garbage Collection in Generic Libraries (GVN, SS), pp. 86–96.

JICSLP-1998-FagesP #type system

A Generic Type System for CLP(chi) (FF, MP), pp. 353–354.

HT-1997-ChiuB #hypermedia

A Generic Dynamic-Mapping Wrapper for Open Hypertext System Support of Analytical Applications (CMC, MB), pp. 218–219.

ICDAR-1997-BayerM

A Generic System for Processing Invoices (TB, HMS), pp. 740–744.

VLDB-1997-BerckenSW #approach #multi

A Generic Approach to Bulk Loading Multidimensional Index Structures (JVdB, BS, PW), pp. 406–415.

WPC-1997-KloschWTs #component #comprehension #state machine

Facilitating Program Comprehension via Generic Components for State Machines (RK, JW, GT, HCG), pp. 118–127.

CHI-1997-CalvaryCN #architecture #design

From Single-User Architectural Design to PAC*: a Generic Software Architecture Model for CSCW (GC, JC, LN), pp. 242–249.

HCI-CC-1997-JoynerSS #evaluation

The Context of Co-operative Working-Generic Issues, and all Evaluation of Some Software for Co-operative Working in a Manufacturing Engineering Engineering Environment (SMJ, CES, MAS), pp. 297–300.

ECOOP-1997-Thorup #java

Genericity in Java with Virtual Types (KKT), pp. 444–471.

SAC-1997-LinXY #analysis #parallel #performance #problem

Performance analysis for parallel solutions to generic search problems (WML, WX, BY), pp. 422–430.

ESEC-FSE-1997-JahnkeSZ #database #fuzzy #reasoning #relational #reverse engineering

Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database Applications (JHJ, WS, AZ), pp. 193–210.

ASF+SDF-1997-Moonen #analysis #architecture #data flow #reverse engineering

A generic architecture for data flow analysis to support reverse engineering (LM), p. 10.

HT-1996-LewisDGHW #navigation

Media-based Navigation with Generic Links (PHL, HCD, SG, WH, RW), pp. 215–223.

PODS-1996-BeeriMT #on the #parametricity

On Genericity and Parametricity (CB, TM, PTS), pp. 104–116.

TACAS-1996-AyariB #deduction #development

Generic System Support for Deductive Program Development (AA, DAB), pp. 313–328.

ICRE-1996-RollandP #modelling #process #using

Using Generic Method Chunks to Generate Process Models Fragments (CR, VP), pp. 173–181.

ICSE-1996-HoekHW #configuration management #distributed #peer-to-peer #repository

A Generic, Peer-to-Peer Repository for Distributed Configuration Management (AvdH, DH, ALW), pp. 308–317.

HPCA-1996-ParkA #concurrent #independence

A Topology-Independent Generic Methodology for Deadlock-Free Wormhole Routing (HP, DPA), pp. 191–200.

JICSLP-1996-Kolbe #3d #image #modelling #recognition

Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract) (THK), p. 533.

ICDAR-v1-1995-AkindeleB #documentation #modelling #using

Construction of generic models of document structures using inference of tree grammars (OTA, AB), pp. 206–209.

ICDAR-v2-1995-AzoklyI #documentation #layout #segmentation

A language for document generic layout description and its use for segmentation into regions (AA, RI), pp. 1123–1126.

WCRE-1995-JarzabekK #design #reverse engineering

Design of a Generic Reverse Engineering Assistant Tool (SJ, TPK), pp. 61–70.

CHI-1995-NigayC #challenge #framework #multimodal

A Generic Platform for Addressing the Multimodal Challenge (LN, JC), pp. 98–105.

TRI-Ada-1995-LevyM #education #programming #reuse

Teaching Programming for Reuse: Generics for Educators (SPL, JWM), pp. 105–117.

OOPSLA-1995-SaneC #composition #object-oriented #state machine #subclass

Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity (AS, RHC), pp. 17–32.

PLILP-1995-Moor #process

A Generic Program for Sequential Decision Processes (OdM), pp. 1–23.

POPL-1995-DuboisRW #morphism #polymorphism

Generic Polymorphism (CD, FR, PW), pp. 118–129.

ESEC-1995-HeiselSZ #architecture #development #formal method #tool support

Tool Support for Formal Software Development: A Generic Architecture (MH, TS, DZ), pp. 272–293.

ICLP-1995-HeintzeJ #algorithm #analysis

A Generic Algorithm for CLP Analysis (NH, JJ), pp. 49–63.

RTA-1995-Kuper #proving #reduction

Proving the Genericity Lemma by Leftmost Reduction is Simple (JK), pp. 271–278.

EDAC-1994-SchneiderKK #verification

Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path (KS, TK, RK), pp. 648–652.

CHI-1994-NardiJ94a

User preferences for task-specific vs. generic application software (BAN, JAJ), pp. 392–398.

CAiSE-1994-MorenoRS #approach

A Generic Approach to Support a Way-of-Working Definition (MM, CR, CS), pp. 367–379.

OOPSLA-1994-Seidewitz #inheritance #self #using

Genericity versus Inheritance Reconsidered: Self-Reference Using Generics (ES), pp. 153–163.

POPL-1994-HatcliffD #continuation

A Generic Account of Continuation-Passing Styles (JH, OD), pp. 458–471.

KBSE-1993-JohnsonNB #design #interactive

Interactive Elaboration of Generic Designs (WLJ, KN, RB), p. 16.

SEKE-1993-LinCH #information management #network

A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software (CYIL, CCC, CSH), pp. 235–238.

SEKE-1993-MineauGM #clustering #concept #induction #modelling

Induction of Generic Data Models by Conceptual Clustering (GWM, RG, RM), pp. 554–564.

OOPSLA-1993-CahillBHS #distributed #persistent #programming #runtime

The Amadeus GRT — Generic Runtime Support for Distributed Persistent Programming (VC, SB, CH, GS), pp. 144–161.

TOOLS-USA-1993-ParrottW #approach #development #object-oriented

Media Language: An Object-Oriented Approach to Generic Application Development (CP, PW), pp. 173–191.

FSE-1993-BalzerN #process

Mechanisms for Generic Process Support (RB, KN), pp. 21–32.

CSL-1993-OngR #calculus #normalisation

A Generic Strong Normalization Argument: Application to the Calculus of Constructions (CHLO, ER), pp. 261–279.

WSA-1992-CharlierH #abstract interpretation #design #framework #on the

On the Design of Generic Abstract Interpretation Frameworks (BLC, PVH), pp. 229–246.

CAiSE-1992-Brough #automation #framework

Methods for CASE: A Generic Framework (MB), pp. 524–545.

SEKE-1992-SatoMI #refinement #using

Program Refinement Using Generic Object (YS, YM, TI), pp. 18–25.

TOOLS-EUROPE-1992-SyvertsenLL #design

A Generic Object Model for Engineering Design (TGS, FML, ML), pp. 157–166.

PLILP-1992-EnglebertCRH #abstract interpretation #algorithm #evaluation #optimisation #prolog

Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation (VE, BLC, DR, PVH), pp. 310–325.

STOC-1991-AbiteboulV #complexity

Generic Computation and Its Complexity (SA, VV), pp. 209–219.

OOPSLA-1991-Guimaraes #experience #inheritance #multi #tool support #user interface

Building Generic User Interface Tools: an Experience with Multiple Inheritance (NG), pp. 89–96.

CAV-1991-LangevinC #state machine

Comparing Generic State Machines (ML, EC), pp. 466–476.

ICLP-1991-CharlierMH #abstract interpretation #algorithm #analysis #complexity

A Generic Abstract Interpretation Algorithm and its Complexity Analysis (BLC, KM, PVH), pp. 64–78.

DAC-1990-SaabR #effectiveness #evolution #heuristic #layout #performance #probability #problem

Stochastic Evolution: a Fast Effective Heuristic for Some Generic Layout Problems (YS, VBR), pp. 26–31.

ICALP-1990-Malecki #polymorphism

Generic Terms Having No Polymorphic Types (SM), pp. 46–59.

CAiSE-1989-RouilleBC #specification

A Generic Model for Dialog Specification (LR, PB, AC).

ICSE-1989-Potts #design #representation

A Generic Model for Representing Design Methods (CP), pp. 217–226.

SOSP-1989-AbrossimovR #kernel #memory management #operating system

Generic Virtual Memory Management for Operating System Kernels (VA, MR, MS), pp. 123–136.

ESOP-1988-BertDEDDSW #functional #logic #named #programming language

LPG: A Generic, Logic and Functional Programming Language (DB, PD, RE, OD, DD, PYS, FW), pp. 376–377.

HCI-CE-1987-BylanderCJ #tool support

The Generic Task Toolset (TB, BC, JRJ), pp. 507–514.

ECOOP-1987-Horn #consistency #inheritance

Conformance, Genericity, Inheritance and Enhancement (CH), pp. 223–233.

DAC-1986-Solworth #compilation #named

GENERIC: a silicon compiler support language (JAS), pp. 524–530.

ESOP-1986-BertE #design #functional #implementation #logic #programming language

Design and Implementation of a Generic, Logic and Functional Programming Language (DB, RE), pp. 119–132.

OOPSLA-1986-Meyer #inheritance

Genericity versus Inheritance (BM), pp. 391–405.

SCC-1984-Bray #ada

Sharing code among instances of Ada generics (GB), pp. 276–284.

ICALP-1984-Ambos-Spies #set

P-Generic Sets (KAS), pp. 58–68.

ILPC-1984-GoguenM84 #logic programming #similarity

Equality, Types, Modules and Generics for Logic Programming (JAG, JM), pp. 115–125.

PS-1981-KapurMS #named

Tecton: A Language for Manipulating Generic Objects (DK, DRM, AAS), pp. 402–414.

SDCG-1980-Reynolds #category theory #design #using

Using category theory to design implicit conversions and generic operators (JCR), pp. 211–258.

POPL-1977-Lang #call-by #evaluation #semantics

Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures (BL), pp. 227–237.

DIPL-1976-DemersDTW #data type #encapsulation

Encapsulated data types and generic (AJD, JED, RTT, JHW), pp. 171–214.