BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (77)
program (64)
framework (51)
system (36)
approach (33)

Stem generic$ (all stems)

483 papers:

DACDAC-2015-PetersWPKD #constraints #modelling #representation #uml
A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.
DACDAC-2015-ShafiqueAHH #configuration management #latency
A low latency generic accuracy configurable adder (MS, WA, RH, JH), p. 6.
DATEDATE-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.
SANERSANER-2015-CaiS15a #analysis #dependence #fine-grained #named
TRACERJD: Generic trace-based dynamic dependence analysis with fine-grained logging (HC, RAS), pp. 489–493.
PLDIPLDI-2015-ZhangLSLM #flexibility #lightweight #object-oriented
Lightweight, flexible object-oriented generics (YZ, MCL, GS, BL, ACM), pp. 436–445.
ICEISICEIS-v2-2015-BraunE #enterprise #framework #modelling
A Generic Framework for Modifying and Extending Enterprise Modeling Languages (RB, WE), pp. 277–286.
KDDKDD-2015-LaptevAF #automation #detection #framework #scalability
Generic and Scalable Framework for Automated Time-series Anomaly Detection (NL, SA, IF), pp. 1939–1947.
ICSEICSE-v1-2015-HuangLR #analysis #concurrent #named #predict
GPredict: Generic Predictive Concurrency Analysis (JH, QL, GR), pp. 847–857.
SPLCSPLC-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.
ICLPICLP-2015-AriasC #execution #interface #towards
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract) (JA, MC).
ASEASE-2014-KuchtaCCC #automation #documentation #named #towards
Docovery: toward generic automatic document recovery (TK, CC, MC, MC), pp. 563–574.
HTHT-2014-GouritenMS #adaptation #crawling #scalability
Scalable, generic, and adaptive systems for focused crawling (GG, SM, PS), pp. 35–45.
SIGMODSIGMOD-2014-ElmagarmidIOQ0Y #interactive #named
NADEEF/ER: generic and interactive entity resolution (AKE, IFI, MO, JAQR, NT, SY), pp. 1071–1074.
PEPMPEPM-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.
FLOPSFLOPS-2014-Magalhaes #multi #parametricity #programming
Generic Programming with Multiple Parameters (JPM), pp. 136–151.
CIAACIAA-2014-EsparzaLS #equation #fixpoint #named
FPsolve: A Generic Solver for Fixpoint Equations over Semirings (JE, ML, MS), pp. 1–15.
LISPILC-2014-Strandh #lisp #performance
Fast Generic Dispatch for Common Lisp (RS), p. 89.
HILTHILT-2014-BaggeH #algebra #api #specification #why
Specification of generic APIs, or: why algebraic may be better than pre/post (AHB, MH), pp. 71–80.
ICMLICML-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.
ICPRICPR-2014-BagheriGE #approach #classification #novel #subclass
Generic Subclass Ensemble: A Novel Approach to Ensemble Classification (MAB, QG, SE), pp. 1254–1259.
ICPRICPR-2014-OtteSZ #algorithm #named #using
ANTSAC: A Generic RANSAC Variant Using Principles of Ant Colony Algorithms (SO, US, AZ), pp. 3558–3563.
OOPSLAOOPSLA-2014-AltidorS #java #refactoring
Refactoring Java generics by inferring wildcards, in practice (JA, YS), pp. 271–290.
PADLPADL-2014-MagalhaesL #programming
Generic Generic Programming (JPM, AL), pp. 216–231.
POPLPOPL-2014-MillerHKS #authentication #data type
Authenticated data structures, generically (AM, MH, JK, ES), pp. 411–424.
SACSAC-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.
IJCARIJCAR-2014-GorinPSWW #algebra #hybrid #logic #named
Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (DG, DP, LS, FW, TW), pp. 396–402.
VMCAIVMCAI-2014-Ferrara #abstract interpretation #analysis
Generic Combination of Heap and Value Analyses in Abstract Interpretation (PF), pp. 302–321.
DATEDATE-2013-BrandonW #using
Support for dynamic issue width in VLIW processors using generic binaries (AB, SW), pp. 827–832.
DATEDATE-2013-WilleGSKD #modelling #towards #verification
Towards a generic verification methodology for system models (RW, MG, MS, MK, RD), pp. 1193–1196.
ICDARICDAR-2013-AhmedSLD #segmentation #using
A Generic Method for Stamp Segmentation Using Part-Based Features (SA, FS, ML, AD), pp. 708–712.
ICDARICDAR-2013-BukhariSB #towards
Towards Generic Text-Line Extraction (SSB, FS, TMB), pp. 748–752.
VLDBVLDB-2013-FenderM #top-down
Counter Strike: Generic Top-Down Join Enumeration for Hypergraphs (PF, GM), pp. 1822–1833.
CSMRCSMR-2013-PolychniatisHJBV #dependence #detection
Detecting Cross-Language Dependencies Generically (TP, JH, SJ, EB, JV), pp. 349–352.
DLTDLT-2013-FeliceN #algorithm #automaton
Brzozowski Algorithm Is Generically Super-Polynomial for Deterministic Automata (SDF, CN), pp. 179–190.
LATALATA-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2013-NaeemWDL
A generic front-stage for semi-stream processing (MAN, GW, GD, CL), pp. 769–774.
ICMLICML-c2-2013-UrvoyCFN
Generic Exploration and K-armed Voting Bandits (TU, FC, RF, SN), pp. 91–99.
ICMLICML-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.
KDIRKDIR-KMIS-2013-MorganK #ambiguity #approach #twitter
A Generic Open World Named Entity Disambiguation Approach for Tweets (MBM, MvK), pp. 267–276.
KEODKEOD-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.
ICMTICMT-2013-KramerKSMKBJ #weaving
Achieving Practical Genericity in Model Weaving through Extensibility (MEK, JK, JRHS, BM, JK, OB, JMJ), pp. 108–124.
ICMTICMT-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.
MODELSMoDELS-2013-PretschnerHEG #assurance #fault #quality
A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.
MODELSMoDELS-2013-SteimannU
Generic Model Assist (FS, BU), pp. 18–34.
MODELSMoDELS-2013-PretschnerHEG #assurance #fault #quality
A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.
MODELSMoDELS-2013-SteimannU
Generic Model Assist (FS, BU), pp. 18–34.
OOPSLAOOPSLA-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.
RERE-2013-DietrichA #interface #requirements
A mode-based pattern for feature requirements, and a generic feature interface (DD, JMA), pp. 82–91.
RERE-2013-MussbacherK #requirements
A vision for generic concern-oriented requirements reusere@21 (GM, JK), pp. 238–249.
SACSAC-2013-AllaniGP #hybrid #named #protocol
Hyphen: a hybrid protocol for generic overlay construction in P2P environments (MA, BG, PP), pp. 423–430.
SACSAC-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.
SACSAC-2013-Schefer-WenzlS #information management #policy
Generic support for RBAC break-glass policies in process-aware information systems (SSW, MS), pp. 1441–1446.
SACSAC-2013-TripletB #benchmark #biology #framework #metric #named
BenchDW: a generic framework for biological data warehouse benchmarking (TT, GB), pp. 1328–1334.
SLESLE-2013-ArusoaieLR #execution #framework #symbolic computation
A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.
LICSLICS-2013-GoncharovS #hoare #logic
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (SG, LS), pp. 273–282.
WICSA-ECSAWICSA-ECSA-2012-HerzigAS #enterprise #framework #gamification
A Generic Platform for Enterprise Gamification (PH, MA, AS), pp. 219–223.
DACDAC-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.
VLDBVLDB-2012-XuG #query
Manage and Query Generic Moving Objects in SECONDO (JX, RHG), pp. 2002–2005.
VLDBVLDB-2012-ZhuKA #effectiveness #framework #performance #retrieval #sequence
A Generic Framework for Efficient and Effective Subsequence Retrieval (HZ, GK, VA), pp. 1579–1590.
ESOPESOP-2012-LeeOCY #first-order #framework #named
GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.
ICSMEICSM-2012-Song0XS #api #data access
Inferring the data access from the clients of generic APIs (HS, GH, YX, YS), pp. 388–397.
ICSMEICSM-2012-SuttonZ #c++ #library #testing
Testing C++ generic libraries (AS, MZ), pp. 36–45.
PLDIPLDI-2012-OliveiraSCLY #calculus #programming
The implicit calculus: a new foundation for generic programming (BCdSO, TS, WC, WL, KY), pp. 35–44.
IFMIFM-2012-AndradeFLP #generative #java #testing
Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
ICFPICFP-2012-Axelsson #embedded #syntax
A generic abstract syntax model for embedded languages (EA), pp. 323–334.
IFLIFL-2012-Magalhaes #optimisation #source code
Optimisation of Generic Programs Through Inlining (JPM), pp. 104–121.
CIKMCIKM-2012-BarbosaPG #algorithm #query
Generically extending anonymization algorithms to deal with successive queries (MB, AP, BG), pp. 1362–1371.
ICPRICPR-2012-LiuCZZ
Fusion of low-and high-dimensional approaches by trackers sampling for generic human motion tracking (YL, JC, HZ, HZ), pp. 898–901.
ICPRICPR-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.
KEODKEOD-2012-GhezaielLA #concept #documentation #ontology
Ontology Enrichment based on Generic Basis of Association Rules for Conceptual Document Indexing (LBG, CCL, MBA), pp. 53–65.
KEODKEOD-2012-MuellerHOZ #information management #requirements
Knowledge Engineering Requirements for Generic Diagnostic Systems (AM, IH, HO, SZ), pp. 184–189.
KRKR-2012-ThomazoBMR #algorithm #query #set
A Generic Querying Algorithm for Greedy Sets of Existential Rules (MT, JFB, MLM, SR).
SEKESEKE-2012-CookN #aspect-oriented #concept #programming #towards
Towards More Generic Aspect-Oriented Programming: Rethinking the AOP Joinpoint Concept (JC, AN), pp. 154–157.
SEKESEKE-2012-GrunwaldM #approach #named #owl #uml
umlTUowl — A Both Generic and Vendor-specific Approach for UML to OWL Transformation (AG, TM), pp. 730–736.
MODELSMoDELS-2012-KainzBK #approach #model transformation
A Generic Approach Simplifying Model-to-Model Transformation Chains (GK, CB, AK), pp. 579–594.
MODELSMoDELS-2012-KainzBK #approach #model transformation
A Generic Approach Simplifying Model-to-Model Transformation Chains (GK, CB, AK), pp. 579–594.
ICSEICSE-2012-Westermann #developer #feedback #performance
A generic methodology to derive domain-specific performance feedback for developers (DW), pp. 1527–1530.
LDTALDTA-2012-JongeV #refactoring
A language generic solution for name binding preservation in refactorings (MdJ, EV), p. 2.
LCTESLCTES-2012-SallenaveD #embedded #lightweight #static analysis
Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.
ICSTICST-2012-ChittimalliS #framework #modelling #named #source code
GEMS: A Generic Model Based Source Code Instrumentation Framework (PKC, VS), pp. 909–914.
CBSECBSE-2011-KoziolekR #component #framework #modelling #optimisation #quality #towards
Towards a generic quality optimisation framework for component-based system models (AK, RHR), pp. 103–108.
DACDAC-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.
DocEngDocEng-2011-Vion-Dury #calculus #editing #xml
A generic calculus of XML editing deltas (JYVD), pp. 113–120.
HTHT-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.
SIGMODSIGMOD-2011-JinP #evaluation #performance #query
Efficient and generic evaluation of ranked queries (WJ, JMP), pp. 601–612.
VLDBVLDB-2011-BernsteinMR #years after
Generic Schema Matching, Ten Years Later (PAB, JM, ER), pp. 695–701.
ICSMEICSM-2011-TsantalisNS #difference #named
Webdiff: A generic differencing service for software artifacts (NT, NN, ES), pp. 586–589.
MSRMSR-2011-ParninBM #how #java
Java generics adoption: how new features are introduced, championed, or ignored (CP, CB, ERMH), pp. 3–12.
MSRMSR-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.
ICALPICALP-v2-2011-BovaCV #comparison
Generic Expression Hardness Results for Primitive Positive Formula Comparison (SB, HC, MV), pp. 344–355.
IFLIFL-2011-PerssonAS #embedded #monad
Generic Monadic Constructs for Embedded Languages (AP, EA, JS), pp. 85–99.
CIKMCIKM-2011-SarmaJB #debugging #information management #pipes and filters
Building a generic debugger for information extraction pipelines (ADS, AJ, PB), pp. 2229–2232.
ECMFAECMFA-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.
ICMTICMT-2011-CuadradoGL #model transformation #reuse
Generic Model Transformations: Write Once, Reuse Everywhere (JSC, EG, JdL), pp. 62–77.
ECOOPECOOP-2011-DietlEM #static analysis
Tunable Static Inference for Generic Universe Types (WD, MDE, PM), pp. 333–357.
OOPSLAOOPSLA-2011-InaI #type system
Gradual typing for generics (LI, AI), pp. 609–624.
TOOLSTOOLS-EUROPE-2011-BrandPV #co-evolution
A Generic Solution for Syntax-Driven Model Co-evolution (MvdB, ZP, TV), pp. 36–51.
GPCEGPCE-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.
GPCEGPCE-J-2005-SiekL11 #in the large #programming
A language for generic programming in the large (JGS, AL), pp. 423–465.
SACSAC-2011-KangR #automation #named #testing
FortressCheck: automatic testing for generic properties (SK, SR), pp. 1290–1296.
SACSAC-2011-SteigerHS #constraints #network #performance
An efficient generic network flow constraint (RS, WJvH, RS), pp. 893–900.
SLESLE-2011-TombelleVR #approach #modelling #reuse
Reusing Pattern Solutions in Modeling: A Generic Approach Based on a Role Language (CT, GV, ER), pp. 139–159.
ASEASE-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.
ASEASE-2010-Xing #comparison #difference
Model comparison with GenericDiff (ZX), pp. 135–138.
DocEngDocEng-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.
VLDBVLDB-2011-LianC #correlation #framework #nondeterminism
A Generic Framework for Handling Uncertain Data with Local Correlations (XL, LC), pp. 12–21.
CSMRCSMR-2010-SanchezNCP #case study #java #refactoring
Refactoring Generics in JAVA: A Case Study on Extract Method (RMS, CLN, YC, FJP), pp. 212–221.
ICPCICPC-2010-SuttonHM #c++ #identification #library
Identification of Idiom Usage in C++ Generic Libraries (AS, RH, JIM), pp. 160–169.
PEPMPEPM-2010-BoustaniH #java #source code
Corrective hints for type incorrect generic Java programs (NEB, JH), pp. 5–14.
PEPMPEPM-2010-Henglein #algebra #equivalence #lazy evaluation #optimisation #relational #using
Optimizing relational algebra operations using generic equivalence discriminators and lazy products (FH), pp. 73–82.
PEPMPEPM-2010-MagalhaesHJL #exclamation #optimisation
Optimizing generics is easy! (JPM, SH, JJ, AL), pp. 33–42.
SASSAS-2010-HofmannKS #coq #verification
Verifying a Local Generic Solver in Coq (MH, AK, HS), pp. 340–355.
IFLIFL-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.
AdaEuropeAdaEurope-2010-Brosgol #ada #comparison #java
A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM (BMB), pp. 222–237.
AdaSIGAda-2010-Moore #ada #parallel
Parallelism generics for Ada 2005 and beyond (BJM), pp. 41–52.
ICEISICEIS-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.
ICEISICEIS-ISAS-2010-Looso
A Generic Method for Best Practice Reference Model Application (SL), pp. 149–158.
CIKMCIKM-2010-WimalasuriyaD #component #information management #ontology
Components for information extraction: ontology-based information extractors and generic platforms (DCW, DD), pp. 9–18.
ICPRICPR-2010-NguyenFP #detection #towards
Towards a Generic Feature-Selection Measure for Intrusion Detection (HTN, KF, SP), pp. 1529–1532.
ICPRICPR-2010-OkumuraTA #random #recognition #segmentation
Generic Object Recognition by Tree Conditional Random Field Based on Hierarchical Segmentation (TO, TT, YA), pp. 3025–3028.
MODELSMoDELS-v1-2010-LaraG #concept #metamodelling #mixin
Generic Meta-modelling with Concepts, Templates and Mixin Layers (JdL, EG), pp. 16–30.
MODELSMoDELS-v2-2010-ReimannSA #refactoring
Role-Based Generic Model Refactoring (JR, MS, UA), pp. 78–92.
ECOOPECOOP-2010-SvendsenBP #verification
Verifying Generics and Delegates (KS, LB, MJP), pp. 175–199.
OOPSLAOOPSLA-2010-ZibinPLAE #java
Ownership and immutability in generic Java (YZ, AP, PL, MA, MDE), pp. 598–617.
TOOLSTOOLS-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.
GPCEGPCE-2010-WolfingerLJM #framework #plugin
Adding genericity to a plug-in framework (RW, ML, MJ, HM), pp. 93–102.
PPDPPPDP-2010-Jeltsch #combinator #static typing #type checking
Generic record combinators with static type checking (WJ), pp. 143–154.
SACSAC-2010-TangJ #c++ #concept #optimisation
Generic flow-sensitive optimizing transformations in C++ with concepts (XT, JJ), pp. 2111–2118.
LDTALDTA-2010-GiorgettiMTK #case study #java #source code #specification
Specifying generic Java programs: two case studies (AG, CM, ET, OK), p. 8.
SLESLE-2010-PirkelbauerDS #c++ #evolution
Support for the Evolution of C++ Generic Functions (PP, DD, BS), pp. 123–142.
LICSLICS-2010-JohannSV #algebra
A Generic Operational Metatheory for Algebraic Effects (PJ, AS, JV), pp. 209–218.
WICSA-ECSAWICSA-ECSA-2009-AschauerDP #architecture #modelling #multi #towards
Towards a generic architecture for multi-level modeling (TA, GD, WP), pp. 121–130.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
HTHT-2009-BraP #adaptation #framework #hypermedia
Dynamic and adaptive hypertext: generic frameworks, approaches and techniques (PDB, MP), pp. 387–388.
ICDARICDAR-2009-ChouaibVCT #documentation #feature model
Generic Feature Selection and Document Processing (HC, NV, FC, ST), pp. 356–360.
ICDARICDAR-2009-NavonBO #approach #scalability
A Generic Form Processing Approach for Large Variant Templates (YN, EB, BO), pp. 311–315.
CSEETCSEET-2009-FeldtHL #evaluation #re-engineering #towards
Generic Skills in Software Engineering Master Thesis Projects: Towards Rubric-Based Evaluation (RF, MH, FL), pp. 12–15.
PEPMPEPM-2009-BoustaniH #error message #fault #java
Improving type error messages for generic java (NEB, JH), pp. 131–140.
STOCSTOC-2009-KleinbergPT #game studies #learning #multi
Multiplicative updates outperform generic no-regret learning in congestion games: extended abstract (RK, GP, ÉT), pp. 533–542.
SEFMSEFM-2009-Ferrara #java #named #parallel #source code #thread
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs (PF), pp. 169–178.
ICFPICFP-2009-YakushevHLJ #data type #fixpoint #programming #recursion
Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.
GT-VMTGT-VMT-2009-WestK #editing #framework #graph transformation #haskell #visualisation
A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell (SW, WK), pp. 171–188.
HCIHCI-AUII-2009-MugelliniKPCD #framework #interactive
Generic Framework for Transforming Everyday Objects into Interactive Surfaces (EM, OAK, SP, SC, HCD), pp. 473–482.
ECIRECIR-2009-ParamitaTS #image
Generic and Spatial Approaches to Image Search Results Diversification (MLP, JT, MS), pp. 603–610.
KEODKEOD-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.
SIGIRSIGIR-2009-NovakBZ #image #retrieval #similarity
Generic similarity search engine demonstrated by an image retrieval application (DN, MB, PZ), p. 840.
MODELSMoDELS-2009-MohaMBJ #refactoring
Generic Model Refactorings (NM, VM, OB, JMJ), pp. 628–643.
MODELSMoDELS-2009-MohaMBJ #refactoring
Generic Model Refactorings (NM, VM, OB, JMJ), pp. 628–643.
OOPSLAOOPSLA-2009-TsafrirWBS #dependence #performance #source code
Minimizing dependencies within generic classes for faster and smaller programs (DT, RWW, DFB, BS), pp. 425–444.
GPCEGPCE-2009-WillcockLQ #analysis #reuse
Reusable, generic program analyses and transformations (JW, AL, DJQ), pp. 5–14.
SACSAC-2009-SilvaSC #library #reasoning #testing #user interface
A generic library for GUI reasoning and testing (JCS, JS, JCC), pp. 121–128.
RTARTA-2009-BaudetCD #named
YAPA: A Generic Tool for Computing Intruder Knowledge (MB, VC, SD), pp. 148–163.
TAPTAP-2009-AyraultHP #development
Development of a Generic Voter under FoCal (PA, TH, FP), pp. 10–26.
ASEASE-2008-AndersenL
Generic Patch Inference (JA, JLL), pp. 337–346.
ASEASE-2008-FalleriHN #approach #normalisation
A Generic Approach for Class Model Normalization (JRF, MH, CN), pp. 431–434.
DATEDATE-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.
DATEDATE-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.
DRRDRR-2008-LemaitreCC #documentation #recognition
A generic method for structure recognition of handwritten mail documents (AL, JC, BC), p. 68150.
PODSPODS-2008-LiuPRY #algorithm #problem
A generic flow algorithm for shared filter ordering problems (ZL, SP, AR, HY), pp. 79–88.
ITiCSEITiCSE-2008-AmelungFR #flexibility #towards #web #web service
Towards generic and flexible web services for e-assessment (MA, PF, DFR), pp. 219–224.
FASEFASE-2008-MossakowskiSG #logic #reasoning
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects (TM, LS, SG), pp. 199–214.
PEPMPEPM-2008-JancuraP #framework #ide #integration #programming language
Generic framework for integration of programming languages into netbeans ide (JJ, DP), pp. 123–124.
AFPAFP-2008-JeuringLMY08 #haskell #library #programming
Libraries for Generic Programming in Haskell (JJ, SL, JPM, ARY), pp. 165–229.
ICFPICFP-2008-Henglein #linear #sorting
Generic discrimination: sorting and paritioning unshared data in linear time (FH), pp. 91–102.
ICFPICFP-2008-MorihataMT #framework #query #recursion
Write it recursively: a generic framework for optimal path queries (AM, KM, MT), pp. 169–178.
IFLIFL-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.
ICEISICEIS-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.
ICPRICPR-2008-ChinGT #2d #detection #image
Exact integral images at generic angles for 2D barcode detection (TJC, HG, NMT), pp. 1–4.
ICPRICPR-2008-YarlagaddaOM #3d #classification #distance
Lie group distance based generic 3-d vehicle classification (PY, ÖCÖ, JLM), pp. 1–4.
ICPRICPR-2008-ZaidiS #algorithm #detection
Confidence rated boosting algorithm for generic object detection (NAZ, DS), pp. 1–4.
SEKESEKE-2008-HudertLW #framework
Negotiating Service Levels — A Generic Negotiation Framework for WS Agreement (SH, HL, GW), pp. 587–592.
ECMFAECMDA-FA-2008-HovsepyanBBJ #composition #reuse
Generic Reusable Concern Compositions (AH, SVB, YB, WJ), pp. 231–245.
OOPSLAOOPSLA-2008-MoorsPO
Generics of a higher kind (AM, FP, MO), pp. 423–438.
OOPSLAOOPSLA-2008-OliveiraWG #component #reuse #type safety #visitor
The visitor pattern as a reusable, generic, type-safe component (BCdSO, MW, JG), pp. 439–456.
GPCEGPCE-2008-ZhangAN #constraints #optimisation #theorem proving
From generic to specific: off-line optimization for a general constraint solver (YZ, TA, FN), pp. 45–54.
PADLPADL-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.
SACSAC-2008-AbreuGZG #automation #fault #invariant #locality #using
Automatic software fault localization using generic program invariants (RA, AG, PZ, AJCvG), pp. 712–717.
SACSAC-2008-BeckerRHST #xml
A generic XML language for characterising objects to support digital preservation (CB, AR, VH, JS, MT), pp. 402–406.
SACSAC-2008-CimadamoreV #java #prolog #type inference
Integrating Java and Prolog through generic methods and type inference (MC, MV), pp. 198–205.
SACSAC-2008-LeeKRG #framework #mobile
A generic mobile agent framework for ambient intelligence (YCL, ESK, SR, BG), pp. 1866–1871.
SLESLE-2008-Brand #modelling
Model-Driven Engineering Meets Generic Language Technology (MvdB), pp. 8–15.
LICSLICS-2008-GacekMN #recursion
Combining Generic Judgments with Recursive Definitions (AG, DM, GN), pp. 33–44.
ECSAECSA-2007-WaignierMD #architecture #framework #named
FIESTA: A Generic Framework for Integrating New Functionalities into Software Architectures (GW, AFLM, LD), pp. 76–91.
ASEASE-2007-WeaverKFA #composition #programming
Modular and generic programming with interpreterlib (PW, GK, NF, PA), pp. 473–476.
CASECASE-2007-HuangSCJ #development #framework
Development of a Generic Virtual Metrology Framework (HCH, YCS, FTC, JMJ), pp. 282–287.
DRRDRR-2007-Giannetti #architecture #authoring #xml
Generic architecture for professional authoring environments to export XML-based formats (FG).
VLDBVLDB-2007-CasatiCDS #process
A Generic solution for Warehousing Business Process Data (FC, MC, UD, NS), pp. 1128–1137.
VLDBVLDB-2007-KenscheQLL #model management #named
GeRoMeSuite: A System for Holistic Generic Model Management (DK, CQ, XL, YL), pp. 1322–1325.
WRLAWRLA-J-2004-Lopez-FraguasRV07 #constraints #functional #logic programming
A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.
TACASTACAS-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.
ICFPICFP-2007-HageHM #analysis
A generic usage analysis with subeffect qualifiers (JH, SH, AM), pp. 235–246.
AGTIVEAGTIVE-2007-DrewesHJME #graph transformation
Shaped Generic Graph Transformation (FD, BH, DJ, MM, NVE), pp. 201–216.
AGTIVEAGTIVE-2007-MaierM #algorithm #editing #layout #metamodelling #modelling
A Generic Layout Algorithm for Meta-model Based Editors (SM, MM), pp. 66–81.
GT-VMTGT-VMT-2007-HorvathVV #graph
Generic Search Plans for Matching Advanced Graph Patterns (ÁH, GV, DV).
HCIHCI-IDU-2007-BuurS #design #interactive #towards
Towards Generic Interaction Styles for Product Design (JB, MAS), pp. 30–39.
HCIHCI-MIE-2007-HouGB #adaptation #design #development #framework
Development of a Generic Design Framework for Intelligent Adaptive Systems (MH, MSG, SB), pp. 313–320.
AdaEuropeAdaEurope-2007-BarbariaHP #component #design #distributed #performance
Design and Performance of a Generic Consensus Component for Critical Distributed Applications (KB, JH, LP), pp. 208–220.
AdaSIGAda-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.
CAiSECAiSE-2007-QuixKL #model merging
Generic Schema Merging (CQ, DK, XL), pp. 127–141.
ICEISICEIS-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.
ICEISICEIS-EIS-2007-HoggerL #framework #modelling
Generic Business Modelling Framework (CJH, ML), pp. 422–427.
MLDMMLDM-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.
SIGIRSIGIR-2007-KumaranK #framework
A generic framework for machine transliteration (AK, TK), pp. 721–722.
ECOOPECOOP-2007-DietlDM
Generic Universe Types (WD, SD, PM), pp. 28–53.
OOPSLAOOPSLA-2007-ChenR #framework #named #performance #runtime #verification
Mop: an efficient and generic runtime verification framework (FC, GR), pp. 569–588.
SACSAC-2007-SasitornC #component
Deriving components from genericity (JS, RC), pp. 1109–1116.
ESEC-FSEESEC-FSE-2007-ZibinPAAKE #java #using
Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.
ICSEICSE-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.
ATEMATEM-2007-FleureyBFG #approach #automation #composition
A Generic Approach for Automatic Model Composition (FF, BB, RBF, SG), pp. 7–15.
ICLPICLP-2007-GebserS #programming #set
Generic Tableaux for Answer Set Programming (MG, TS), pp. 119–133.
ISSTAISSTA-2007-ClauseLO #analysis #framework #named
Dytan: a generic dynamic taint analysis framework (JAC, WL, AO), pp. 196–206.
CBSECBSE-2006-BayEO #component
Generic Component Lookup (TGB, PTE, MO), pp. 182–197.
DACDAC-2006-KlingaufGBPB #modelling #named #transaction
GreenBus: a generic interconnect fabric for transaction level modelling (WK, RG, OB, PP, MB), pp. 905–910.
SIGMODSIGMOD-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.
ESOPESOP-2006-Fruja #dot-net #runtime #type safety
Type Safety of Generics for the .NET Common Language Runtime (NGF), pp. 325–341.
ICSMEICSM-2006-ZalewskiS #impact analysis #library
Change Impact Analysis for Generic Libraries (MZ, SS), pp. 35–44.
PEPMPEPM-2006-ErwigFP #fortran #programming
Generic programming in Fortran (ME, ZF, BP), pp. 130–139.
PLDIPLDI-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.
ICALPICALP-v2-2006-PhanST #hybrid
Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability (DHP, RSN, DT), pp. 264–275.
IFLIFL-2006-JanssonJCEKMOV #testing
Testing Properties of Generic Functions (PJ, JJ, LC, GE, JK, SM, MO, KV), pp. 217–234.
IFLIFL-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.
ICPRICPR-v1-2006-BernierB #detection #multi
Generic Detection of Multi-Part Objects (JFB, RB), pp. 840–843.
ICPRICPR-v1-2006-CayouetteC #realtime
Generic Real-Time Tracking Method on Semi-Dynamic Scenes (FC, JRC), pp. 711–714.
ICPRICPR-v1-2006-DhuaC #multi #recognition
Hierarchical, Generic to Specific Multi-class Object Recognition (AD, FC), pp. 783–788.
ICPRICPR-v1-2006-Lhuillier #effectiveness #fault #using
Effective and Generic Structure from Motion using Angular Error (ML), pp. 67–70.
ICPRICPR-v2-2006-MaceA #documentation #online
A Generic Method for Eager Interpretation of On-Line Handwritten Structured Documents (SM, ÉA), pp. 1106–1109.
ICPRICPR-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.
ICPRICPR-v4-2006-FusseneggerOP #locality #segmentation #using
Object localization/segmentation using generic shape priors (MF, AO, AP), pp. 41–44.
ECMFAECMDA-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.
MODELSMoDELS-2006-TombelleV #modelling
Dynamic and Generic Manipulation of Models: From Introspection to Scripting (CT, GV), pp. 395–409.
MODELSMoDELS-2006-TombelleV #modelling
Dynamic and Generic Manipulation of Models: From Introspection to Scripting (CT, GV), pp. 395–409.
ECOOPECOOP-2006-EmirKRY #c# #constraints
Variance and Generalized Constraints for C# Generics (BE, AK, CVR, DY), pp. 279–303.
OOPSLAOOPSLA-2006-GregorJSSRL #c++ #concept #named #programming
Concepts: linguistic support for generic programming in C++ (DG, JJ, JGS, BS, GDR, AL), pp. 291–310.
OOPSLAOOPSLA-2006-PotaninNCB #java
Generic ownership for generic Java (AP, JN, DC, RB), pp. 311–324.
GPCEGPCE-2006-DenneyF #algorithm #automation #certification #safety
A generic annotation inference algorithm for the safety certification of automatically generated code (ED, BF), pp. 121–130.
PADLPADL-2006-SoaresRF #prolog
Generic Cut Actions for External Prolog Predicates (TS, RR, MF), pp. 16–30.
PADLPADL-2006-Volder #declarative #named
JQuery: A Generic Code Browser with a Declarative Configuration Language (KDV), pp. 88–102.
SACSAC-2006-BernsteinK #ontology #retrieval #similarity #towards #using
Imprecise RDQL: towards generic retrieval in ontologies using similarity joins (AB, CK), pp. 1684–1689.
SACSAC-2006-SasitornC #java #performance #virtual machine
Efficient first-class generics on stock Java virtual machines (JS, RC), pp. 1621–1628.
HPDCHPDC-2006-LuCG #framework #xml
Building a Generic SOAP Framework over Binary XML (WL, KC, DG), pp. 195–204.
ASEASE-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.
DACDAC-2005-AdirABPS #approach #architecture #testing #verification
A generic micro-architectural test plan approach for microprocessor verification (AA, HA, EB, OP, KS), pp. 769–774.
DATEDATE-2005-ReshadiD #generative #modelling #performance #pipes and filters
Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation (MR, NDD), pp. 786–791.
HTHT-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.
ICDARICDAR-2005-Aradhye
A Generic Method for Determining the Up/Down Orientation of Text in Roman and Non-roman Scripts (HBA), pp. 187–191.
ICDARICDAR-2005-ChevalierPGL #2d #approach #recognition
A generic 2D approach of handwriting recognition (SC, FJP, EG, ML), pp. 489–493.
SIGMODSIGMOD-2005-HuXL #framework #monitoring #query
A Generic Framework for Monitoring Continuous Spatial Queries over Moving Objects (HH, JX, DLL), pp. 479–490.
TACASTACAS-2005-IsobeR #csp #proving #refinement #theorem proving
A Generic Theorem Prover of CSP Refinement (YI, MR), pp. 108–123.
CSMRCSMR-2005-Al-EkramK #analysis #framework #representation #xml
An XML-Based Framework for Language Neutral Program Representation and Generic Analysis (RAE, KK), pp. 42–51.
PLDIPLDI-2005-SiekL #programming
Essential language support for generic programming (JGS, AL), pp. 73–84.
SASSAS-2005-Muller-OlmS #analysis #framework #interprocedural
A Generic Framework for Interprocedural Analysis of Numerical Properties (MMO, HS), pp. 235–250.
CEFPCEFP-2005-PlasmeijerA #editing #web
Generic Editors for the World Wide Web (RP, PA), pp. 1–34.
ICFPICFP-2005-LammelJ #scrap your boilerplate
Scrap your boilerplate with class: extensible generic functions (RL, SLPJ), pp. 204–215.
IFLIFL-2005-GrelckSS #analysis #array #source code
A Binding Scope Analysis for Generic Programs on Arrays (CG, SBS, AVS), pp. 212–230.
ICEISICEIS-v4-2005-TosicZ #fault tolerance
Generic Fault-Tolerant Layer Supporting Publish/Subscribe Messaging (MT, ABZ), pp. 111–118.
SEKESEKE-2005-BasitRJ #empirical #unification #using
An Empirical Study on Limits of Clone Unification Using Generics (HAB, DCR, SJ), pp. 109–114.
SEKESEKE-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.
SIGIRSIGIR-2005-CuiKC #modelling
Generic soft pattern models for definitional question answering (HC, MYK, TSC), pp. 384–391.
ECMFAECMDA-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.
ECOOPECOOP-2005-FuhrerTKDK #java #library #refactoring
Efficiently Refactoring Java Applications to Use Generic Libraries (RMF, FT, AK, JD, MK), pp. 71–96.
OOPSLAOOPSLA-2005-JarviWL #constraints #object-oriented
Associated types and constraint propagation for mainstream object-oriented generics (JJ, JW, AL), pp. 1–19.
GPCEGPCE-2005-CaretteK #abstraction #monad #multi #programming
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code (JC, OK), pp. 256–274.
GPCEGPCE-2005-JunJ #framework #generative #maintenance
Applying a Generative Technique for Enhanced Genericity and Maintainability on the J2EE Platform (YJ, SJ), pp. 237–255.
GPCEGPCE-2005-SiekL #library #requirements #scalability
Language Requirements for Large-Scale Generic Libraries (JGS, AL), pp. 405–421.
GPCEGPCE-2005-YaoZC #aspect-oriented #c++ #framework #programming
AOP++: A Generic Aspect-Oriented Programming Framework in C++ (ZY, QZ, GC), pp. 94–108.
PADLPADL-2005-AlimarineS #optimisation
Improved Fusion for Optimizing Generics (AA, SS), pp. 203–218.
SACSAC-2005-MongaS #mobile
A generic serializer for mobile devices (MM, AS), pp. 981–985.
SACSAC-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.
LDTALDTA-2005-BrandCOV #debugging #framework #named #tool support
TIDE: A Generic Debugging Framework — Tool Demonstration (MvdB, BC, PAO, JJV), pp. 161–165.
CCCC-2005-Padovani #c++ #compilation #using
Compilation of Generic Regular Path Expressions Using C++ Class Templates (LP), pp. 27–42.
ICLPICLP-2005-Langevine #constraints #named #programming
Gentra4cp: A Generic Trace Format for Constraint Programming (LL), pp. 433–434.
ICLPICLP-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.
TLCATLCA-2005-PowerT
Binding Signatures for Generic Contexts (JP, MT), pp. 308–323.
DATEDATE-DF-2004-MoignePC #realtime #simulation
A Generic RTOS Model for Real-time Systems Simulation with SystemC (RLM, OP, JPC), pp. 82–87.
ITiCSEITiCSE-2004-BlumensteinGNM #analysis #automation #game studies
An experimental analysis of GAME: a generic automated marking environment (MB, SG, AN, VM), pp. 67–71.
IWPCIWPC-2004-Tadonki #reverse engineering
Universal Report: A Generic Reverse Engineering Tool (CT), pp. 266–267.
AFPAFP-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.
ICFPICFP-2004-Hinze
Generics for the masses (RH), pp. 236–243.
IFLIFL-2004-SchreurP
Dynamic Construction of Generic Functions (RWS, MJP), pp. 160–176.
CAiSECAiSE-2004-RalyteRD #towards
Towards a Meta-tool for Change-Centric Method Engineering: A Typology of Generic Operators (JR, CR, RD), pp. 202–218.
ICPRICPR-v1-2004-KannalaB #lens
A Generic Camera Calibration Method for Fish-Eye Lenses (JK, SSB), pp. 10–13.
UMLUML-2004-VarroP #model transformation
Generic and Meta-transformations for Model Transformation Engineering (DV, AP), pp. 290–304.
OOPSLAOOPSLA-2004-DincklageD #java
Converting Java classes to use generics (DvD, AD), pp. 1–14.
OOPSLAOOPSLA-2004-DonovanKTE #java #library #source code
Converting java programs to use generic libraries (AD, AK, MST, MDE), pp. 15–34.
GPCEGPCE-2004-LohmannBS #aspect-oriented #generative #programming
Generic Advice: On the Combination of AOP with Generative Programming in AspectC++ (DL, GB, OS), pp. 55–74.
LOPSTRPDCL-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.
PADLPADL-2004-AchtenEP #composition #user interface #visual notation
Compositional Model-Views with Generic Graphical User Interfaces (PA, MCJDvE, MJP), pp. 39–55.
PADLPADL-2004-CorreasGCCH #implementation #persistent
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) (JC, JMG, MC, DC, MVH), pp. 104–119.
PADLPADL-2004-ErwigF #fortran #generative #parametricity
Parametric Fortran — A Program Generator for Customized Generic Fortran Extensions (ME, ZF), pp. 209–223.
POPLPOPL-2004-Fiore #morphism #polynomial #recursion
Isomorphisms of generic recursive polynomial types (MPF), pp. 77–88.
POPLPOPL-2004-YuKS #dot-net #formal method #runtime
Formalization of generics for the .NET common language runtime (DY, AK, DS), pp. 39–51.
SACSAC-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.
ICSEICSE-2004-Francois #architecture #data type #distributed #hybrid #parallel
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams (ARJF), pp. 367–376.
LDTALDTA-2004-Tavernier #automaton #named #tool support #user interface #visual notation
Calife: A Generic Graphical User Interface for Automata Tools (BT), pp. 169–172.
CSLCSL-2004-Miller #quantifier
Bindings, Mobility of Bindings, and the “generic judgments”-Quantifier: An Abstract (DM), p. 24.
IJCARIJCAR-2004-BartheCT #formal method #random
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model (GB, JC, ST), pp. 385–399.
IJCARIJCAR-2004-MaricJ #framework #named
argo-lib: A Generic Platform for Decision Procedures (FM, PJ), pp. 213–217.
ICDARICDAR-2003-CouasnonL #documentation #recognition
A Generic Recognition System for Making Archives Documents accessible to Publi (BC, IL), pp. 228–232.
ICDARICDAR-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.
SIGMODSIGMOD-2003-MelnikRB #framework #model management #named #programming
Rondo: A Programming Platform for Generic Model Management (SM, ER, PAB), pp. 193–204.
FoSSaCSFoSSaCS-2003-AbramskyJ #game studies #morphism #polymorphism #semantics
A Game Semantics for Generic Polymorphism (SA, RJ), pp. 1–22.
FoSSaCSFoSSaCS-2003-BergerHY #π-calculus
Genericity and the π-Calculus (MB, KH, NY), pp. 103–119.
TACASTACAS-2003-Mateescu #equation #on the fly
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems (RM), pp. 81–96.
ICFPICFP-2003-LohCJ #haskell
Dependency-style generic Haskell (AL, DC, JJ), pp. 141–152.
IFLIFL-2003-AchtenD #user interface #visual notation
Generic Graphical User Interfaces (PA, MCJDvE, RP), pp. 152–167.
AdaEuropeAdaEurope-2003-Patinno-MartinezJR #fault tolerance #transaction
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance (MPM, RJP, ABR), pp. 208–219.
CAiSECAiSE-2003-RalyteDR #towards
Towards a Generic Model for Situational Method Engineering (JR, RD, CR), pp. 95–110.
ICEISICEIS-v3-2003-ChimarisP #component #framework #implementation
Implementing a Generic Component-Based Framework for Tele-Control Applications (AC, GAP), pp. 51–58.
ICEISICEIS-v4-2003-BouzidP #mobile
Agent-Based Generic Services and Their Application for the Mobile Workforce (MB, JP), pp. 161–166.
SEKESEKE-2003-Schobel-Theuer #on the
On Variants of Genericity (TST), pp. 359–365.
OOPSLAOOPSLA-2003-AllenBC #approach
A first-class approach to genericity (EEA, JB, RC), pp. 96–114.
OOPSLAOOPSLA-2003-GarciaJLSW #case study #comparative #programming
A comparative study of language support for generic programming (RG, JJ, AL, JGS, JW), pp. 115–134.
POPLPOPL-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.
ICLPICLP-2003-CorreasGCGH #persistent
A Generic Persistence Model for (C)LP Systems (JC, JMG, MC, DCG, MVH), pp. 481–482.
ICLPICLP-2003-Smaus #equation #first-order #question #semantics
Is There an Optimal Generic Semantics for First-Order Equations? (JGS), pp. 438–450.
LICSLICS-2003-MillerT #proving
A Proof Theory for Generic Judgments: An extended abstract (DM, AFT), pp. 118–127.
VLDBVLDB-2002-DittrichSTW #algorithm
Progressive Merge Join: A Generic and Non-blocking Sort-based Join Algorithm (JPD, BS, DST, PW), pp. 299–310.
VLDBVLDB-2002-ManegoldBK #cost analysis #database #memory management #modelling
Generic Database Cost Models for Hierarchical Memory Systems (SM, PAB, MLK), pp. 191–202.
FASEFASE-2002-EhrigOBKP #component #framework #modelling
A Generic Component Framework for System Modeling (HE, FO, BB, MK, MP), pp. 33–48.
FoSSaCSFoSSaCS-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.
CSMRCSMR-2002-RaysideK #algorithm #graph #problem #program analysis #reachability
A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis (DR, KK), pp. 67–76.
PASTEPASTE-2002-Fiskio-LasseterY #equation #graph #programming
Flow equations as a generic programming tool for manipulation of attributed graphs (JHEFL, MY), pp. 69–76.
CIAACIAA-J-2000-Mohri02 #algorithm #transducer
Generic e-Removal and Input e-Normalization Algorithms for Weighted Transducers (MM), pp. 129–143.
IFLIFL-2002-AchtenAP
When Generic Functions Use Dynamic Values (PA, AA, MJP), pp. 17–33.
IFLIFL-2002-KoopmanATP #automation #named #testing
Gast: Generic Automated Software Testing (PWMK, AA, JT, MJP), pp. 84–100.
AdaSIGAda-2002-NevilleS #algorithm #search-based
Developing a generic genetic algorithm (MN, AS), pp. 45–52.
CAiSECAiSE-2002-DahchourPZ
A Generic Role Model for Dynamic Objects (MD, AP, EZ), pp. 643–658.
CAiSECAiSE-2002-Olive #concept #modelling #representation
Representation of Generic Relationship Types in Conceptual Modeling (AO), pp. 675–691.
CAiSECAiSE-2002-PrakashB #modelling
Generic Models for Engineering Methods of Diverse Domains (NP, MPSB), pp. 612–625.
ICEISICEIS-2002-Olive #concept #modelling
Specific Relationship Types in Conceptual Modeling: The Cases of Generic and with Common Participants (AO), p. 9.
KRKR-2002-EiterFST #approach #knowledge-based
A Generic Approach for Knowledge-Based Information-Site Selection (TE, MF, GS, HT), pp. 459–469.
SIGIRSIGIR-2002-Zha #clustering #summary #using
Generic summarization and keyphrase extraction using mutual reinforcement principle and sentence clustering (HZ), pp. 113–120.
LOPSTRLOPSTR-2002-Berghammer #set
A Generic Program for Minimal Subsets with Applications (RB), pp. 144–157.
LOPSTRLOPSTR-2002-Martin-MateosAHR #framework #verification
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers (FJMM, JAA, MJH, JLRR), pp. 182–198.
PPDPPPDP-2002-BlancE
A generic operator over discrete time intervals (JB, RE), pp. 145–155.
PADLPADL-2002-LammelV #combinator #traversal
Typed Combinators for Generic Traversal (RL, JV), pp. 137–154.
PADLPADL-2002-ShenSNS #eclipse #interface #programming language
A High-Level Generic Interface to External Programming Languages for ECLiPSe (KS, JS, SN, JS), pp. 262–279.
ICSEICSE-2002-JandlRSG #corba #enterprise #integration
Enterprise application integration by means of a generic CORBA LDAP gateway (MJ, WR, AS, KMG), p. 711.
LCTESLCTES-SCOPES-2002-KastnerW #assembly #control flow #re-engineering
Generic control flow reconstruction from assembly code (DK, SW), pp. 46–55.
DATEDATE-2001-StuikysZDM #component
Two approaches for developing generic components in VHDL (VS, GZ, RD, GM), p. 800.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-2001-GongL #summary
Creating Generic Text Summaries (YG, XL), pp. 903–907.
VLDBVLDB-2001-BerckenS #evaluation
An Evaluation of Generic Bulk Loading Techniques (JVdB, BS), pp. 461–470.
VLDBVLDB-2001-MadhavanBR
Generic Schema Matching with Cupid (JM, PAB, ER), pp. 49–58.
IWPCIWPC-2001-Favre #named
GSEE: A Generic Software Exploration Environment (JMF), pp. 233–244.
PLDIPLDI-2001-KennedyS #design #dot-net #implementation #runtime
Design and Implementation of Generics for the .NET Common Language Runtime (AK, DS), pp. 1–12.
ICFPICFP-2001-Chuang #parametricity #validation
Generic Validation of Structural Content with Parametric Modules (TRC), pp. 98–109.
ICFPICFP-2001-Sheard #unification
Generic Unification via Two-Level Types and Parameterized Modules (TS), pp. 86–97.
IFLIFL-2001-AlimarineP #programming
A Generic Programming Extension for Clean (AA, MJP), pp. 168–185.
VISSOFTSVIS-2001-BaskenN #algorithm #geometry #interactive #named #visualisation
GeoWin — A Generic Tool for Interactive Visualization of Geometric Algorithms (MB, SN), pp. 88–100.
AdaEuropeAdaEurope-2001-Gaudel #approach #specification #testing
Testing from Formal Specifications, a Generic Approach (MCG), pp. 35–48.
CAiSECAiSE-2001-EcksteinAN #development #information management #reuse
Increasing Reusability in Information Systems Development by Applying Generic Methods (SE, PA, KN), pp. 251–266.
ICEISICEIS-v1-2001-FerreiraS #architecture #named #personalisation
MySDI: A Generic Architecture to Develop SDI Personalised Services (JF, ARdS), pp. 262–270.
SIGIRSIGIR-2001-GongL #analysis #semantics #summary #using
Generic Text Summarization Using Relevance Measure and Latent Semantic Analysis (YG, XL), pp. 19–25.
SIGIRSIGIR-2001-MoensB #documentation #segmentation #topic
Generic Topic Segmentation of Document Texts (MFM, RDB), pp. 418–419.
SIGIRSIGIR-2001-SakaiJ #information retrieval #summary
Generic Summaries for Indexing in Information Retrieval (TS, KSJ), pp. 190–198.
TOOLSTOOLS-EUROPE-2001-ThorupT #object-oriented #programming language
Genericity in Object-Oriented Programming Languages (KKT, MT), pp. 180–181.
GPCEGCSE-2001-Nicolet #framework #statistics #visitor
Generic Visitor Framework Computing Statistical Estimators (JDN), pp. 92–105.
POPLPOPL-2001-IgarashiK #type system #π-calculus
A generic type system for the π-calculus (AI, NK), pp. 128–141.
CSLCSL-2001-Schweikardt #database #order
The Natural Order-Generic Collapse for ω-Representable Databases over the Rational and the Real Ordered Group (NS), pp. 130–144.
IJCARIJCAR-2001-CerroFGHLM #logic #proving
Lotrec : The Generic Tableau Prover for Modal and Description Logics (LFdC, DF, OG, AH, DL, FM), pp. 453–458.
DATEDATE-2000-GuerrierG #architecture
A Generic Architecture for On-Chip Packet-Switched Interconnections (PG, AG), pp. 250–256.
ITiCSEITiCSE-2000-RosbottomCF #learning #online
A generic model for on-line learning (JR, JC, DF), pp. 108–111.
TACASTACAS-2000-Aspinall #development #proving
Proof General: A Generic Tool for Proof Development (DA0), pp. 38–42.
WRLAWRLA-2000-LeuckerN #framework #logic #tool support #verification
Rewriting Logic as a Framework for Generic Verification Tools (ML, TN), pp. 121–137.
WRLAWRLA-2000-Stehr #calculus #named
CINNI — A Generic Calculus of Explicit Substitutions and its Application to λ-, ς- and pi- Calculi (MOS), pp. 70–92.
CIAACIAA-2000-Mohri #algorithm #automaton
Generic epsilon -Removal Algorithm for Weighted Automata (MM), pp. 230–242.
ICALPICALP-2000-Konig #mobile #process #type system
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System (BK0), pp. 403–414.
ICFPICFP-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.
IFLIFL-2000-ArtsN #erlang #implementation #verification
Verifying Generic Erlang Client-Server Implementations (TA, TN), pp. 37–52.
ICPRICPR-v1-2000-BilodeauB #2d #3d #image #modelling
Generic Modeling of 3D Objects from Single 2D Images (GAB, RB), pp. 1770–1773.
ICPRICPR-v1-2000-ChabbiP #image
A Generic Relaxation Technique for Hierarchic Stereo Chain Matching of Uncalibrated Images (HC, SP), pp. 1746–1749.
ICPRICPR-v1-2000-MedioniF #3d #recognition
3-D Structures for Generic Object Recognition (GGM, ARJF), pp. 1030–1037.
ICPRICPR-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.
ICPRICPR-v1-2000-VogelhuberS #constraints #detection
Face Detection Based on Generic Local Descriptors and Spatial Constraints (VV, CS), pp. 5084–5087.
ICPRICPR-v3-2000-GaoQL #classification #fuzzy
Fuzzy Classification of Generic Edge Features (QG, DQ, SL), pp. 3672–3675.
ICPRICPR-v3-2000-LeiHR #detection #image #low level
Detecting Generic Low-Level Features in Images (BJL, EAH, MJTR), pp. 3979–3982.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ECOOPECOOP-2000-BuchiW
Generic Wrappers (MB, WW), pp. 201–225.
TOOLSTOOLS-PACIFIC-2000-BaumB #component #reuse
Generic Components to Foster Reuse (LB, MB), pp. 266–277.
TOOLSTOOLS-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.
TOOLSTOOLS-USA-2000-HeberleLNZ #type system
Weak Subtyping and Genericity (AH, WL, RN, WZ), pp. 149–158.
GPCEGCSE-2000-Becker #component #paradigm
Generic Components: A Symbiosis of Paradigms (MB), pp. 100–113.
POPLPOPL-2000-Hinze #approach #functional #programming
A New Approach to Generic Functional Programming (RH), pp. 119–132.
OSDIOSDI-2000-LowellCC
Exploring Failure Transparency and the Limits of Generic Recovery (DEL, SC, PMC), pp. 289–304.
SIGMODSIGMOD-1999-RundensteinerCLCZNJLW #named
SERF: ODMG-Based Generic Re-structuring Facility (EAR, KTC, ML, LC, XZ, CN, JJ, SDL, SW), pp. 568–570.
VLDBVLDB-1999-DarmontS #named #random #simulation
VOODB: A Generic Discrete-Event Random Simulation Model To Evaluate the Performances of OODBs (JD, MS), pp. 254–265.
PEPMPEPM-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.
FMFM-v2-1999-PolackS #development #using
Systems Development Using Z Generics (FP, SS), pp. 1048–1067.
ICFPICFP-1999-WallaceR #combinator #haskell #question #type system #xml
Haskell and XML: Generic Combinators or Type-Based Translation? (MW, CR), pp. 148–159.
ECOOPECOOP-1999-ThorupT
Unifying Genericity — Combining the Benefits of Virtual Types and Parameterized Classes (KKT, MT), pp. 186–204.
OOPSLAOOPSLA-1999-LeeSL #component #graph #library
The Generic Graph Component Library (LQL, JGS, AL), pp. 399–414.
TOOLSTOOLS-ASIA-1999-CrespoRM #automation
Obtaining Generic Classes Automatically through a Parameterization Operator: A Focus on Constrained Genericity (YC, JJR, JMMC), pp. 166–176.
SACSAC-1999-SegarraA #file system #mobile #named #using
MFS: A Mobile File System Using Generic System Services (MTS, FA), pp. 419–420.
ICLPICLP-1999-JahierD #approach #monitoring
A Generic Approach to Monitor Program Executions (EJ, MD), pp. 139–153.
DACDAC-1998-EisenmannJ
Generic Global Placement and Floorplanning (HE, FMJ), pp. 269–274.
ITiCSEITiCSE-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.
ESOPESOP-1998-Thiemann #framework
A Generic Framework for Specialization (Abridged Version) (PT), pp. 267–281.
CSMRCSMR-1998-GhannouchiGK #approach #reverse engineering
A Generic Approach for Data Reverse Engineering Taking into Account Application Doamin Knowledge (SAG, HHBG, FK), pp. 21–28.
IWPCIWPC-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.
AFPAFP-1998-BackhouseJJM98 #programming
Generic Programming: An Introduction (RCB, PJ, JJ, LGLTM), pp. 28–115.
AFPAFP-1998-MoorS98 #program transformation
Generic Program Transformation (OdM, GS), pp. 116–149.
AdaSIGAda-1998-HoffmanNS #ada #testing
Testing Generic Ada Packages with APE (DH, JN, PAS), pp. 255–262.
ICPRICPR-1998-PinzA #reasoning #recognition
Qualitative spatial reasoning to infer the camera position in generic object recognition (AP, JPA), pp. 770–773.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-1998-CartwrightS #java #programming language #runtime
Compatible Genericity with Run-Time Types for the Java Programming Language (RC, GLSJ), pp. 201–215.
ISMMISMM-1998-NishanovS #garbage collection #library
Garbage Collection in Generic Libraries (GVN, SS), pp. 86–96.
ICLPJICSLP-1998-FagesP #type system
A Generic Type System for CLP(chi) (FF, MP), pp. 353–354.
HTHT-1997-ChiuB #hypermedia
A Generic Dynamic-Mapping Wrapper for Open Hypertext System Support of Analytical Applications (CMC, MB), pp. 218–219.
ICDARICDAR-1997-BayerM
A Generic System for Processing Invoices (TB, HMS), pp. 740–744.
VLDBVLDB-1997-BerckenSW #approach #multi
A Generic Approach to Bulk Loading Multidimensional Index Structures (JVdB, BS, PW), pp. 406–415.
WPCWPC-1997-KloschWTs #component #comprehension #state machine
Facilitating Program Comprehension via Generic Components for State Machines (RK, JW, GT, HCG), pp. 118–127.
CHICHI-1997-CalvaryCN #architecture #design
From Single-User Architectural Design to PAC*: a Generic Software Architecture Model for CSCW (GC, JC, LN), pp. 242–249.
HCIHCI-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.
ECOOPECOOP-1997-Thorup #java
Genericity in Java with Virtual Types (KKT), pp. 444–471.
SACSAC-1997-LinXY #analysis #parallel #performance #problem
Performance analysis for parallel solutions to generic search problems (WML, WX, BY), pp. 422–430.
ESECESEC-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+SDFASF+SDF-1997-Moonen #analysis #architecture #data flow #reverse engineering
A generic architecture for data flow analysis to support reverse engineering (LM), p. 10.
HTHT-1996-LewisDGHW #navigation
Media-based Navigation with Generic Links (PHL, HCD, SG, WH, RW), pp. 215–223.
PODSPODS-1996-BeeriMT #on the #parametricity
On Genericity and Parametricity (CB, TM, PTS), pp. 104–116.
TACASTACAS-1996-AyariB #deduction #development
Generic System Support for Deductive Program Development (AA, DAB), pp. 313–328.
REICRE-1996-RollandP #modelling #process #using
Using Generic Method Chunks to Generate Process Models Fragments (CR, VP), pp. 173–181.
ICSEICSE-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.
HPCAHPCA-1996-ParkA #concurrent #independence
A Topology-Independent Generic Methodology for Deadlock-Free Wormhole Routing (HP, DPA), pp. 191–200.
ICLPJICSLP-1996-Kolbe #3d #image #modelling #recognition
Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract) (THK), p. 533.
ICDARICDAR-v1-1995-AkindeleB #documentation #modelling #using
Construction of generic models of document structures using inference of tree grammars (OTA, AB), pp. 206–209.
ICDARICDAR-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.
WCREWCRE-1995-JarzabekK #design #reverse engineering
Design of a Generic Reverse Engineering Assistant Tool (SJ, TPK), pp. 61–70.
CHICHI-1995-NigayC #challenge #framework #multimodal
A Generic Platform for Addressing the Multimodal Challenge (LN, JC), pp. 98–105.
AdaTRI-Ada-1995-LevyM #education #programming #reuse
Teaching Programming for Reuse: Generics for Educators (SPL, JWM), pp. 105–117.
OOPSLAOOPSLA-1995-SaneC #composition #object-oriented #state machine #subclass
Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity (AS, RHC), pp. 17–32.
PPDPPLILP-1995-Moor #process
A Generic Program for Sequential Decision Processes (OdM), pp. 1–23.
POPLPOPL-1995-DuboisRW #morphism #polymorphism
Generic Polymorphism (CD, FR, PW), pp. 118–129.
ESECESEC-1995-HeiselSZ #architecture #development #formal method #tool support
Tool Support for Formal Software Development: A Generic Architecture (MH, TS, DZ), pp. 272–293.
ICLPICLP-1995-HeintzeJ #algorithm #analysis
A Generic Algorithm for CLP Analysis (NH, JJ), pp. 49–63.
RTARTA-1995-Kuper #proving #reduction
Proving the Genericity Lemma by Leftmost Reduction is Simple (JK), pp. 271–278.
DATEEDAC-1994-SchneiderKK #verification
Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path (KS, TK, RK), pp. 648–652.
CHICHI-1994-NardiJ94a
User preferences for task-specific vs. generic application software (BAN, JAJ), pp. 392–398.
CAiSECAiSE-1994-MorenoRS #approach
A Generic Approach to Support a Way-of-Working Definition (MM, CR, CS), pp. 367–379.
OOPSLAOOPSLA-1994-Seidewitz #inheritance #self #using
Genericity versus Inheritance Reconsidered: Self-Reference Using Generics (ES), pp. 153–163.
POPLPOPL-1994-HatcliffD #continuation
A Generic Account of Continuation-Passing Styles (JH, OD), pp. 458–471.
ASEKBSE-1993-JohnsonNB #design #interactive
Interactive Elaboration of Generic Designs (WLJ, KN, RB), p. 16.
SEKESEKE-1993-LinCH #information management #network
A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software (CYIL, CCC, CSH), pp. 235–238.
SEKESEKE-1993-MineauGM #clustering #concept #induction #modelling
Induction of Generic Data Models by Conceptual Clustering (GWM, RG, RM), pp. 554–564.
OOPSLAOOPSLA-1993-CahillBHS #distributed #persistent #programming #runtime
The Amadeus GRT — Generic Runtime Support for Distributed Persistent Programming (VC, SB, CH, GS), pp. 144–161.
TOOLSTOOLS-USA-1993-ParrottW #approach #development #object-oriented
Media Language: An Object-Oriented Approach to Generic Application Development (CP, PW), pp. 173–191.
FSEFSE-1993-BalzerN #process
Mechanisms for Generic Process Support (RB, KN), pp. 21–32.
CSLCSL-1993-OngR #calculus #normalisation
A Generic Strong Normalization Argument: Application to the Calculus of Constructions (CHLO, ER), pp. 261–279.
SASWSA-1992-CharlierH #abstract interpretation #design #framework #on the
On the Design of Generic Abstract Interpretation Frameworks (BLC, PVH), pp. 229–246.
CAiSECAiSE-1992-Brough #automation #framework
Methods for CASE: A Generic Framework (MB), pp. 524–545.
SEKESEKE-1992-SatoMI #refinement #using
Program Refinement Using Generic Object (YS, YM, TI), pp. 18–25.
TOOLSTOOLS-EUROPE-1992-SyvertsenLL #design
A Generic Object Model for Engineering Design (TGS, FML, ML), pp. 157–166.
PPDPPLILP-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.
STOCSTOC-1991-AbiteboulV #complexity
Generic Computation and Its Complexity (SA, VV), pp. 209–219.
OOPSLAOOPSLA-1991-Guimaraes #experience #inheritance #multi #tool support #user interface
Building Generic User Interface Tools: an Experience with Multiple Inheritance (NG), pp. 89–96.
CAVCAV-1991-LangevinC #state machine
Comparing Generic State Machines (ML, EC), pp. 466–476.
ICLPICLP-1991-CharlierMH #abstract interpretation #algorithm #analysis #complexity
A Generic Abstract Interpretation Algorithm and its Complexity Analysis (BLC, KM, PVH), pp. 64–78.
DACDAC-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.
ICALPICALP-1990-Malecki #polymorphism
Generic Terms Having No Polymorphic Types (SM), pp. 46–59.
CAiSECAiSE-1989-RouilleBC #specification
A Generic Model for Dialog Specification (LR, PB, AC).
ICSEICSE-1989-Potts #design #representation
A Generic Model for Representing Design Methods (CP), pp. 217–226.
SOSPSOSP-1989-AbrossimovR #kernel #memory management #operating system
Generic Virtual Memory Management for Operating System Kernels (VA, MR, MS), pp. 123–136.
ESOPESOP-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.
HCIHCI-CE-1987-BylanderCJ #tool support
The Generic Task Toolset (TB, BC, JRJ), pp. 507–514.
ECOOPECOOP-1987-Horn #consistency #inheritance
Conformance, Genericity, Inheritance and Enhancement (CH), pp. 223–233.
DACDAC-1986-Solworth #compilation #named
GENERIC: a silicon compiler support language (JAS), pp. 524–530.
ESOPESOP-1986-BertE #design #functional #implementation #logic #programming language
Design and Implementation of a Generic, Logic and Functional Programming Language (DB, RE), pp. 119–132.
OOPSLAOOPSLA-1986-Meyer #inheritance
Genericity versus Inheritance (BM), pp. 391–405.
PLDISCC-1984-Bray #ada
Sharing code among instances of Ada generics (GB), pp. 276–284.
ICALPICALP-1984-Ambos-Spies #set
P-Generic Sets (KAS), pp. 58–68.
ICLPILPC-1984-GoguenM84 #logic programming #similarity
Equality, Types, Modules and Generics for Logic Programming (JAG, JM), pp. 115–125.
FMPS-1981-KapurMS #named
Tecton: A Language for Manipulating Generic Objects (DK, DRM, AAS), pp. 402–414.
CCSDCG-1980-Reynolds #category theory #design #using
Using category theory to design implicit conversions and generic operators (JCR), pp. 211–258.
POPLPOPL-1977-Lang #call-by #evaluation #semantics
Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures (BL), pp. 227–237.
AdaDIPL-1976-DemersDTW #data type #encapsulation
Encapsulated data types and generic (AJD, JED, RTT, JHW), pp. 171–214.

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