Stem parametr$ (all stems)

293 papers:

ICSME-2015-KimBD #design pattern #java #parametricity #refactoring

Scripting parametric refactorings in Java to retrofit design patterns (JK, DSB, DD), pp. 211–220.

ICALP-v2-2015-BenesBLS #automaton #parametricity

Language Emptiness of Continuous-Time Parametric Timed Automata (NB, PB, KGL, JS), pp. 69–81.

ICML-2015-WeissN #alias #learning

Learning Parametric-Output HMMs with Two Aliased States (RW, BN), pp. 635–644.

SIGIR-2015-RenR #parametricity #process

Summarizing Contrastive Themes via Hierarchical Non-Parametric Processes (ZR, MdR), pp. 93–102.

SIGIR-2015-YangKML #modelling #parametricity #sentiment #topic

Parametric and Non-parametric User-aware Sentiment Topic Models (ZY, AK, AM, SL), pp. 413–422.

CC-2015-DarteI #approximate #optimisation #parametricity

Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes (AD, AI), pp. 151–170.

TLCA-2015-Redmond #parametricity #polynomial #λ-calculus

Polynomial Time in the Parametric λ Calculus (BFR), pp. 288–301.

CASE-2014-ChuLSO #analysis #contract #flexibility #linear #parametricity #programming #using

Flexibility analysis on a supply chain contract using a parametric Linear Programming model (CC, EEL, XS, DO), pp. 704–709.

CASE-2014-LiuK #communication #nondeterminism #parametricity

Passivity-based teleoperation system for robots with parametric uncertainty and communication delay (YCL, MHK), pp. 271–276.

CASE-2014-LiuKCY #functional #modelling #monitoring #parametricity

Model-driven parametric monitoring of high-dimensional nonlinear functional profiles (GL, CK, YC, HY), pp. 722–727.

VLDB-2015-TrummerK14 #multi #optimisation #parametricity #query

Multi-Objective Parametric Query Optimization (IT, CK), pp. 221–232.

ICFP-2014-ChenE #analysis #parametricity #product line #type system

Type-based parametric analysis of program families (SC, ME), pp. 39–51.

IFL-2014-DomoszlaiLP14a #bidirectional #lens #parametricity

Parametric lenses: change notification for bidirectional lenses (LD, BL, RP), p. 9.

HIMI-DE-2014-JingLCYH #case study #design #framework #parametricity #representation

Design Knowledge Framework Based on Parametric Representation — A Case Study of Cockpit Form Style Design (JJ, QL, WC, YY, TH), pp. 332–341.

CAiSE-2014-RizziG #generative #named #parametricity

CubeLoad: A Parametric Generator of Realistic OLAP Workloads (SR, EG), pp. 610–624.

ICML-c1-2014-SoufianiPX #modelling #parametricity #ranking

Computing Parametric Ranking Models via Rank-Breaking (HAS, DCP, LX), pp. 360–368.

ICPR-2014-BruneauPO #algorithm #automation #clustering #heuristic

A Heuristic for the Automatic Parametrization of the Spectral Clustering Algorithm (PB, OP, BO), pp. 1313–1318.

ICPR-2014-ChamroukhiBG #clustering #parametricity

Bayesian Non-parametric Parsimonious Gaussian Mixture for Clustering (FC, MB, HG), pp. 1460–1465.

ICPR-2014-ChironGM #behaviour #parametricity #using

Discovering Emergent Behaviors from Tracks Using Hierarchical Non-parametric Bayesian Methods (GC, PGK, MM), pp. 2185–2190.

ICPR-2014-LiuZC #identification #learning #metric #multi #parametricity

Parametric Local Multi-modal Metric Learning for Person Re-identification (KL, ZCZ, AC), pp. 2578–2583.

ICPR-2014-ScheltenR #estimation #image #kernel #locality #parametricity

Localized Image Blur Removal through Non-parametric Kernel Estimation (KS, SR), pp. 702–707.

KDD-2014-BuntineM #modelling #parametricity #topic

Experiments with non-parametric topic models (WLB, SM), pp. 881–890.

KDD-2014-ChenN #detection #graph #parametricity #social #social media #statistics

Non-parametric scan statistics for event detection and forecasting in heterogeneous social media graphs (FC, DBN), pp. 1166–1175.

KDIR-2014-MohammadiMBRA #classification #graph #parametricity

A Noise Resilient and Non-parametric Graph-based Classifier (MM, SAM, EB, BR, AA), pp. 170–175.

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

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

MLDM-2014-LarinSKKHC #classification #parametricity #representation #using

Parametric Representation of Objects in Color Space Using One-Class Classifiers (AL, OS, AK, SYK, SCH, BHC), pp. 300–314.

SIGIR-2014-EfronLHV #estimation #feedback #parametricity #twitter

Temporal feedback for tweet search with non-parametric density estimation (ME, JL, JH, APdV), pp. 33–42.

PPDP-2014-MehnerSSV #functional #parametricity #proving #theorem

Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.

POPL-2014-Atkey #parametricity #theorem

From parametricity to conservation laws, via Noether’s theorem (RA), pp. 491–502.

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

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

POPL-2014-BrotherstonV #parametricity

Parametric completeness for separation theories (JB, JV), pp. 453–464.

POPL-2014-Katsumata #monad #parametricity #semantics

Parametric effect monads and semantics of effect systems (SyK), pp. 633–646.

SAC-2014-CalvoOFR #distributed #multi #parametricity

Parametric investigation of a distributed strategy for multiple agents systems applied to cooperative tasks (RC, JdO, MF, RAR), pp. 207–212.

LCTES-2014-BebelisFG #data flow #framework #manycore #parametricity

A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.

CAV-2014-CoxCS #abstraction #library #named #parametricity #reuse #set

QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers (AC, BYEC, SS), pp. 866–873.

CAV-2014-SanchezS #concurrent #data type #named #verification

LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes (AS, CS), pp. 620–627.

VMCAI-2014-FaymonvilleFP #logic #monitoring #parametricity

Monitoring Parametric Temporal Logic (PF, BF, DP), pp. 357–375.

ASE-2013-MeredithR #parametricity #performance #runtime #string #verification

Efficient parametric runtime verification with deterministic string rewriting (POM, GR), pp. 70–80.

ASE-2013-RegerBR #approach #mining #parametricity #specification

A pattern-based approach to parametric specification mining (GR, HB, DER), pp. 658–663.

CASE-2013-ChaouiS #adaptation #nondeterminism #parametricity

Adaptive friction compensation of flexible-joint manipulators with parametric uncertainties (HC, PS), pp. 300–305.

ESOP-2013-CairesPPT #behaviour #communication #morphism #parametricity #polymorphism

Behavioral Polymorphism and Parametricity in Session-Based Communication (LC, JAP, FP, BT), pp. 330–349.

FoSSaCS-2013-BauerHK #higher-order #monad #on the #parametricity

On Monadic Parametricity of Second-Order Functionals (AB, MH, AK), pp. 225–240.

FoSSaCS-2013-KarandikarS #complexity #parametricity #problem #recursion

The Parametric Ordinal-Recursive Complexity of Post Embedding Problems (PK, SS), pp. 273–288.

PLDI-2013-ZhangNY #abstraction #analysis #data flow #parametricity

Finding optimum abstractions in parametric dataflow analysis (XZ, MN, HY), pp. 365–376.

CHI-2013-SkoGM #human-computer #online #parametricity

Non-parametric decision trees and online HCI (TS, HJG, MAM), pp. 2103–2106.

ICML-c3-2013-KontorovichNW #learning #on the

On learning parametric-output HMMs (AK, BN, RW), pp. 702–710.

OOPSLA-2013-UrecheTO #morphism #named #parametricity #polymorphism #trade-off

Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations (VU, CT, MO), pp. 73–92.

CADE-2013-Sofronie-Stokkermans #generative #hybrid #parametricity #reasoning #verification

Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems (VSS), pp. 360–376.

CSL-2013-KrishnaswamiD #calculus #parametricity #relational

Internalizing Relational Parametricity in the Extensional Calculus of Constructions (NRK, DD), pp. 432–451.

DATE-2012-FradetGP #data flow #named #parametricity

SPDF: A schedulable parametric data-flow MoC (PF, AG, PP), pp. 769–774.

DATE-2012-VatajeluF #evaluation #parametricity #performance #reliability

Efficiency evaluation of parametric failure mitigation techniques for reliable SRAM operation (EIV, JF), pp. 1343–1348.

FoSSaCS-2012-GollerHOW #automaton #model checking #parametricity

Branching-Time Model Checking of Parametric One-Counter Automata (SG, CH, JO, JW), pp. 406–420.

SAS-2012-HoweK #analysis #parametricity #using

Polyhedral Analysis Using Parametric Objectives (JMH, AK), pp. 41–57.

SAS-2012-SanchezSSC #generative #invariant #self #using

Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.

ICPR-2012-PohKA #approach #authentication #parametricity

A discriminative parametric approach to video-based score-level fusion for biometric authentication (NP, JK, FMA), pp. 2335–2338.

ICPR-2012-StrucZP #normalisation #parametricity #verification

Non-parametric score normalization for biometric verification systems (VS, JZG, NP), pp. 2395–2399.

ICPR-2012-UchidaTS #effectiveness #estimation #image #parametricity #retrieval

An alternative to IDF: Effective scoring for accurate image retrieval with non-parametric density ratio estimation (YU, KT, SS), pp. 1285–1288.

SEKE-2012-BouchenebB #parametricity #verification #workflow

Parametric Verification of TimeWorkflow Nets (HB, KB), pp. 375–380.

ICSE-2012-JinMLR #framework #monitoring #named #parametricity #performance #runtime

JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.

LDTA-2012-Zaytsev #grammar recovery #parametricity

Notation-parametric grammar recovery (VZ), p. 9.

CSL-2012-Atkey #parametricity #relational

Relational Parametricity for Higher Kinds (RA), pp. 46–61.

CSL-2012-KellerL #parametricity

Parametricity in an Impredicative Sort (CK, ML), pp. 381–395.

ICTSS-2012-YangHF #embedded #logic #parametricity #query

Querying Parametric Temporal Logic Properties on Embedded Systems (HY, BH, GEF), pp. 136–151.

LICS-2012-BernardyM #parametricity

A Computational Interpretation of Parametricity (JPB, GM), pp. 135–144.

DATE-2011-AitkenYF #correlation #modelling #parametricity

Correlating models and silicon for improved parametric yield (RA, GY, DF), pp. 1159–1163.

DATE-2011-DrmanacSWWA #multi #optimisation #parametricity #predict #testing

Multidimensional parametric test set optimization of wafer probe data for predicting in field failures and setting tighter test limits (DGD, NS, LW, LCW, MSA), pp. 794–799.

DATE-2011-LangeWK #configuration management #memory management #multi

MARC II: A parametrized speculative multi-ported memory subsystem for reconfigurable computers (HL, TW, AK), pp. 1352–1357.

FoSSaCS-2011-BernardyL #parametricity #type system

Realizability and Parametricity in Pure Type Systems (JPB, ML), pp. 108–122.

PLDI-2011-JinMGR #garbage collection #monitoring #parametricity

Garbage collection for monitoring parametric properties (DJ, POM, DG, GR), pp. 415–424.

ICFP-2011-CastagnaX #morphism #parametricity #polymorphism #type system

Set-theoretic foundation of parametric polymorphism and subtyping (GC, ZX), pp. 94–106.

ICFP-2011-GesbertGL #logic #morphism #parametricity #polymorphism #semantics #type system

Parametric polymorphism and semantic subtyping: the logical connection (NG, PG, NL), pp. 107–116.

DHM-2011-SixiangCIL #3d #analysis #modelling #parametricity

3D Parametric Body Model Based on Chinese Female Anhtropometric Analysis (PS, CKC, WHI, AL), pp. 22–29.

CIKM-2011-LuLYYH #classification #modelling #parametricity

Coarse-to-fine classification via parametric and nonparametric models for computer-aided diagnosis (ML, LL, XY, SY, HH), pp. 2509–2512.

ICML-2011-HuWC #coordination #kernel #learning #named #parametricity #scalability #using

BCDNPKL: Scalable Non-Parametric Kernel Learning Using Block Coordinate Descent (EH, BW, SC), pp. 209–216.

MLDM-2011-ChenER #mining #parametricity #using

Mining Spatial Trajectories Using Non-parametric Density Functions (CSC, CFE, NJR), pp. 496–510.

OOPSLA-2011-AllenHKLRCS #composition #inheritance #morphism #multi #parametricity #polymorphism #type checking

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance (EEA, JH, SK, VL, SR, DC, GLSJ), pp. 973–992.

POPL-2011-CousotCL #analysis #array #automation #parametricity #scalability #segmentation

A parametric segmentation functor for fully automatic and scalable array content analysis (PC, RC, FL), pp. 105–118.

ICSE-2011-LeeCR #mining #parametricity #specification

Mining parametric specifications (CL, FC, GR), pp. 591–600.

SPLC-2011-GhezziS #approach #model checking #non-functional #parametricity #performance #product line #towards #using #verification

Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking (CG, AMS), pp. 170–174.

LCTES-2011-AlthausAN #analysis #parametricity #performance #precise

Precise and efficient parametric path analysis (EA, SA, RN), pp. 141–150.

CAV-2011-BaeM #ltl #model checking #parametricity

State/Event-Based LTL Model Checking under Parametric Generalized Fairness (KB, JM), pp. 132–148.

LICS-2011-BarrasJSW #decidability #first-order #higher-order #named #type system

CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory (BB, JPJ, PYS, QW), pp. 143–151.

QoSA-2010-HappeWSK #modelling #parametricity #performance #statistics

Statistical Inference of Software Performance Models for Parametric Performance Completions (JH, DW, KS, LK), pp. 20–35.

DAC-2010-BeeceXVZL #parametricity

Transistor sizing of custom high-performance digital circuits with parametric yield considerations (DKB, JX, CV, VZ, YL), pp. 781–786.

DAC-2010-GongYSKRH #constraints #estimation #named #parametricity #performance

QuickYield: an efficient global-search based parametric yield estimation with performance constraints (FG, HY, YS, DK, JR, LH), pp. 392–397.

DAC-2010-LefteriuM #generative #modelling #parametricity

Generating parametric models from tabulated data (SL, JM), pp. 679–682.

DAC-2010-OzdemirPDMLC #3d #architecture #parametricity

Quantifying and coping with parametric variations in 3D-stacked microarchitectures (SO, YP, AD, GM, GHL, ANC), pp. 144–149.

DAC-2010-SilvaPS #analysis #modelling #parametricity

Speedpath analysis under parametric timing models (LGeS, JRP, LMS), pp. 268–273.

DocEng-2010-HassanHH #generative #parametricity

Next generation typeface representations: revisiting parametric fonts (TH, CH, RDH), pp. 181–184.

ICALP-v2-2010-GollerHOW #automaton #model checking #parametricity

Model Checking Succinct and Parametric One-Counter Automata (SG, CH, JO, JW), pp. 575–586.

LATA-2010-GiampaoloTN #logic #metric #parametricity

Parametric Metric Interval Temporal Logic (BDG, SLT, MN), pp. 249–260.

IFM-2010-FaberIJS #automation #parametricity #specification #verification

Automatic Verification of Parametric Specifications with Complex Topologies (JF, CI, SJ, VSS), pp. 152–167.

ICFP-2010-BernardyJP #dependent type #parametricity

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

ICPR-2010-Feschet #analysis #composition #geometry #multi #parametricity

Multiscale Analysis from 1D Parametric Geometric Decomposition of Shapes (FF), pp. 2102–2105.

ICPR-2010-Hillenbrand #3d #parametricity

Non-parametric 3D Shape Warping (UH), pp. 2656–2659.

ICPR-2010-WuJW #adaptation #parametricity

Adaptive Diffusion Flow for Parametric Active Contours (YW, YJ, YW), pp. 2788–2791.

SEKE-2010-Rodriguez-SoriaCMM #bibliography #estimation #modelling #parametricity #process

A Review of Parametric Effort Estimation Models for the Software Project Planning Process (PRS, JJCG, JAGdM, BMH), pp. 135–140.

TOOLS-EUROPE-2010-MadsenE #parametricity

Revisiting Parametric Types and Virtual Classes (ABM, EE), pp. 233–252.

SAC-2010-FunfzigTA #constraints #parametricity #using

Haptic manipulation of rational parametric planar cubics using shape constraints (CF, PT, GA), pp. 1253–1257.

ISMM-2010-AlbertGG #garbage collection #memory management #parametricity #requirements

Parametric inference of memory requirements for garbage collected languages (EA, SG, MGZ), pp. 121–130.

CAV-2010-HahnHWZ #markov #model checking #modelling #named #parametricity

PARAM: A Model Checker for Parametric Markov Models (EMH, HH, BW, LZ), pp. 660–664.

IJCAR-2010-Sofronie-Stokkermans #parametricity #reasoning #verification

Hierarchical Reasoning for the Verification of Parametric Systems (VSS), pp. 171–187.

ASE-2009-ChenMJR #independence #monitoring #parametricity #performance

Efficient Formalism-Independent Monitoring of Parametric Properties (FC, POM, DJ, GR), pp. 383–394.

DAC-2009-MutluLMC #analysis #approach #parametricity

A parametric approach for handling local variation effects in timing analysis (AAM, JL, RM, MC), pp. 126–129.

DAC-2009-WangYLP #analysis #parametricity

SRAM parametric failure analysis (JW, SY, XL, LTP), pp. 496–501.

DATE-2009-Jara-BerrocalG #architecture #communication #composition #configuration management #named #parametricity #scalability

SCORES: A scalable and parametric streams-based communication architecture for modular reconfigurable systems (AJB, AGR), pp. 268–273.

DATE-2009-RedaN #metric #modelling #novel #parametricity #process

Analyzing the impact of process variations on parametric measurements: Novel models and applications (SR, SRN), pp. 375–380.

DATE-2009-VillenaCIS #modelling #on the #parametricity #performance #reduction

On the efficient reduction of complete EM based parametric models (JFV, GC, DI, LMS), pp. 1172–1177.

ESOP-2009-CraciunCHQ #parametricity

An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.

FoSSaCS-2009-BirkedalST #morphism #parametricity #polymorphism #recursion #semantics

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (LB, KS, JT), pp. 456–470.

TACAS-2009-ChenR #monitoring #parametricity #slicing

Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.

TACAS-2009-LimeRST #model checking #named #parametricity #petri net

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches (DL, OHR, CS, LMT), pp. 54–57.

ICFP-2009-NeisDR #parametricity

Non-parametric parametricity (GN, DD, AR), pp. 135–148.

ICEIS-J-2009-MuellerTZ #architecture #multi #scalability

A Scalable Parametric-RBAC Architecture for the Propagation of a Multi-modality, Multi-resource Informatics System (RM, VAT, GQZ), pp. 114–124.

ICML-2009-ZhuangTH #kernel #learning #named #parametricity

SimpleNPKL: simple non-parametric kernel learning (JZ, IWT, SCHH), pp. 1273–1280.

SAC-2009-BriggsA #algebra #constraints #parametricity #specification

Algebraic specification techniques for parametric types with logic-based constraints (DB, SA), pp. 1890–1897.

ISMM-2009-UnnikrishnanS #analysis #functional #parametricity #source code

Parametric heap usage analysis for functional programs (LU, SDS), pp. 139–148.

TLCA-2009-Atkey #for free #parametricity #representation #syntax #using

Syntax for Free: Representing Syntax with Binding Using Parametricity (RA), pp. 35–49.

TLCA-2009-StengerV #fault #haskell #parametricity #semantics

Parametricity for Haskell with Imprecise Error Semantics (FS, JV), pp. 294–308.

CBSE-2008-KuperbergKR #behaviour #black box #component #modelling #parametricity #performance #predict #using

Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models (MK, KK, RHR), pp. 48–63.

ASE-2008-MeredithJCR #monitoring #parametricity #performance

Efficient Monitoring of Parametric Context-Free Patterns (POM, DJ, FC, GR), pp. 148–157.

ASE-2008-SchumannGPMB #analysis #parametricity #scalability #simulation #tool support

Tool Support for Parametric Analysis of Large Software Simulation Systems (JS, KGB, CSP, TM, TB), pp. 497–498.

DAC-2008-ImaiSNM #analysis #framework #parametricity #statistics

Non-parametric statistical static timing analysis: an SSTA framework for arbitrary distribution (MI, TS, NN, KM), pp. 698–701.

DATE-2008-GhamarianGBS #analysis #data flow #graph #parametricity #throughput

Parametric Throughput Analysis of Synchronous Data Flow Graphs (AHG, MG, TB, SS), pp. 116–121.

DATE-2008-StratigopoulosTM #estimation #parametricity

A General Method to Evaluate RF BIST Techniques Based on Non-parametric Density Estimation (HGDS, JT, SM), pp. 68–73.

SIGMOD-2008-BrunoN #design #optimisation #parametricity #physics #query

Configuration-parametric query optimization for physical design tuning (NB, RVN), pp. 941–952.

ESOP-2008-MatthewsA #exclamation #morphism #parametricity #polymorphism #runtime #theorem

Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (JM, AA), pp. 16–31.

ICFP-2008-Chlipala #higher-order #parametricity #semantics #syntax

Parametric higher-order abstract syntax for mechanized semantics (AC), pp. 143–156.

ICML-2008-KerstingD #parametricity #policy #relational

Non-parametric policy gradients: a unified treatment of propositional and relational domains (KK, KD), pp. 456–463.

ICPR-2008-BellaviaTV #detection #parametricity

A non-parametric scale-based corner detector (FB, DT, CV), pp. 1–4.

ICPR-2008-UlgesB #parametricity #segmentation

Segmentation by combining parametric optical flow with a color model (AU, TMB), pp. 1–4.

MoDELS-2008-Rauhut #3d #design #idea #modelling #parametricity

3D Parametric Models for Aeroplanes — From Idea to Design (PR), p. 295.

MoDELS-2008-Rauhut #3d #design #idea #modelling #parametricity

3D Parametric Models for Aeroplanes — From Idea to Design (PR), p. 295.

SAC-2008-CostaNFC #analysis #assessment #parametricity

Parametric cepstral analysis for pathological voice assessment (SCC, BGAN, JMF, SC), pp. 1410–1414.

LDTA-2007-KlintKV08 #ide #parametricity

Language Parametric Module Management for IDEs (PK, ATK, JJV), pp. 3–19.

SLE-2008-BastenK #fact extraction #named #parametricity #source code

DeFacto: Language-Parametric Fact Extraction from Source Code (BB, PK), pp. 265–284.

ISMM-2008-BrabermanFGY #memory management #parametricity #predict #requirements

Parametric prediction of heap memory requirements (VAB, FJF, DG, SY), pp. 141–150.

LICS-2008-LassenL #bisimulation #morphism #normalisation #parametricity #polymorphism

Typed Normal Form Bisimulation for Parametric Polymorphism (SBL, PBL), pp. 341–352.

DAC-2007-LiP #correlation #multi #parametricity #performance

Efficient Parametric Yield Extraction for Multiple Correlated Non-Normal Performance Distributions of Analog/RF Circuits (XL, LTP), pp. 928–933.

ICDAR-2007-PapavassiliouSKC #parametricity #verification

A Parametric Spectral-Based Method for Verification of Text in Videos (VP, TS, VK, GC), pp. 879–883.

FoSSaCS-2007-BirkedalY #logic #parametricity #relational

Relational Parametricity and Separation Logic (LB, HY), pp. 93–107.

TACAS-2007-KrsticGGT #parametricity #satisfiability

Combined Satisfiability Modulo Parametric Theories (SK, AG, JG, CT), pp. 602–617.

WCRE-2007-SinhaRK #model inference #parametricity #process

Parametric Process Model Inference (SS, GR, RK), pp. 21–30.

ICALP-2007-BozzelliT #automaton #bound #parametricity #problem

Decision Problems for Lower/Upper Bound Parametric Timed Automata (LB, SLT), pp. 925–936.

HCI-IPT-2007-NayaCAC #2d #editing #geometry #interface #named #parametricity #sketching

ParSketch: A Sketch-Based Interface for a 2D Parametric Geometry Editor (FN, MC, NA, PC), pp. 115–124.

KDD-2007-ChopraTLCL #parametricity

Discovering the hidden structure of house prices with a non-parametric latent manifold model (SC, TT, JL, AC, YL), pp. 173–182.

KDD-2007-SatoN #documentation #information management #multi #parametricity #topic #using

Knowledge discovery of multiple-topic document using parametric mixture model with dirichlet prior (IS, HN), pp. 590–598.

SEKE-2007-FiondellaG #modelling #parametricity #reliability

Adequacy of Composite Parametric Software Reliability Models (LF, SSG), pp. 643–648.

POPL-2007-CalcagnoGZ #logic #parametricity

Context logic as modal logic: completeness and parametric inexpressivity (CC, PG, UZ), pp. 123–134.

LCTES-2007-CoffmanHMW #analysis #parametricity

Generalizing parametric timing analysis (JC, CAH, FM, DBW), pp. 152–154.

CAV-2007-BogudlovLRS #analysis #parametricity

Revamping TVLA: Making Parametric Shape Analysis Competitive (IB, TLA, TWR, MS), pp. 221–225.

CAV-2007-ChenR #parametricity #slicing

Parametric and Sliced Causality (FC, GR), pp. 240–253.

LICS-2007-MogelbergS #parametricity #relational

Relational Parametricity for Computational Effects (REM, AS), pp. 346–355.

VLDB-2006-SubramaniamPPKG #detection #modelling #online #parametricity #using

Online Outlier Detection in Sensor Data Using Non-Parametric Models (SS, TP, DP, VK, DG), pp. 187–198.

SAS-2006-ChenR #dependence #parametricity

Parametric and Termination-Sensitive Control Dependence (FC, GR), pp. 387–404.

ICALP-v2-2006-BozgaIL #automaton #parametricity

Flat Parametric Counter Automata (MB, RI, YL), pp. 577–588.

ICALP-v2-2006-Mogelberg #formal method #modelling #morphism #parametricity #polymorphism

Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism (REM), pp. 372–383.

ICPR-v1-2006-TakahashiMIMM #multi #parametricity #recognition

Planning of Multiple Camera Arrangement for Object Recognition in Parametric Eigenspace (TT, OM, II, YM, HM), pp. 603–606.

ICPR-v2-2006-JinM #learning #parametricity #recognition

A Non-Parametric HMM Learning Method for Shape Dynamics with Application to Human Motion Recognition (NJ, FM), pp. 29–32.

ICPR-v2-2006-LahdenojaALP #parametricity #symmetry

A Shape-Preserving Non-parametric Symmetry Transform (OL, EA, ML, AP), pp. 373–377.

ICPR-v2-2006-TarelB #detection #kernel #parametricity

Object Predetection Based on Kernel Parametric Distribution Fitting (JPT, SB), pp. 808–811.

ICPR-v3-2006-HanD #array #clustering #modelling #parametricity

Semi-Parametric Model-Based Clustering for DNA Microarray Data (BH, LSD), pp. 324–327.

OOPSLA-2006-ChinCKP #approach #parametricity

A flow-based approach for variant parametric types (WNC, FC, SCK, CP), pp. 273–290.

DAC-2005-SrivastavaSASBD #correlation #estimation #parametricity #performance #power management

Accurate and efficient gate-level parametric yield estimation considering correlated variations in leakage power and performance (AS, SS, KA, DS, DB, SWD), pp. 535–540.

DAC-2005-WuZN #approach #estimation #parametricity

A non-parametric approach for dynamic range estimation of nonlinear systems (BW, JZ, FNN), pp. 841–844.

DATE-2005-LiLLPN #modelling #order #parametricity #performance #reduction #using #variability

Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction (PL, FL, XL, LTP, SRN), pp. 958–963.

FASE-2005-ReussnerHH #component #contract #graph grammar #modelling #parametricity

Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars (RHR, JH, AH), pp. 80–95.

OOPSLA-2005-OanceaW #architecture #component #morphism #parametricity #polymorphism

Parametric polymorphism for software component architectures (CEO, SMW), pp. 147–166.

POPL-2005-HosoyaFC #morphism #parametricity #polymorphism #xml

Parametric polymorphism for XML (HH, AF, GC), pp. 50–62.

SAC-2005-McPhersonMO #clustering #graph #parametricity #social

Discovering parametric clusters in social small-world graphs (JM, KLM, MO), pp. 1231–1238.

SAC-2005-RimassaV #comprehension #java #parametricity #strict

Understanding access restriction of variant parametric types and Java wildcards (GR, MV), pp. 1390–1397.

CC-2005-VerdoolaegeBBC #case study #experience #integer #parametricity

Experiences with Enumeration of Integer Projections of Parametric Polytopes (SV, KB, MB, FC), pp. 91–105.

LICS-2005-Hasegawa #parametricity #relational

Relational Parametricity and Control (MH), pp. 72–81.

LICS-2005-MelliesV #framework #parametricity #polymorphism #recursion

Recursive Polymorphic Types and Parametricity in an Operational Framework (PAM, JV), pp. 82–91.

LICS-2005-WashburnW #data flow #parametricity #using

Generalizing Parametricity Using Information-flow (GW, SW), pp. 62–71.

VMCAI-2005-BurckhardtAM #composition #implementation #parametricity #refinement #safety #verification

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (SB, RA, MMKM), pp. 130–145.

VMCAI-2005-Cousot #abstraction #parametricity #programming #proving #termination

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming (PC), pp. 1–24.

DAC-2004-RaoDBS #estimation #parametricity #variability

Parametric yield estimation considering leakage variability (RRR, AD, DB, DS), pp. 442–447.

DAC-2004-WangHL #linear #nondeterminism #parametricity

A linear fractional transform (LFT) based model for interconnect parametric uncertainty (JMW, OH, JL), pp. 375–380.

TACAS-2004-BeauquierCP #automation #first-order #logic #parametricity #protocol #state machine #verification

Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic (DB, TC, EP), pp. 372–387.

PLDI-2004-LiuRYSH #parametricity #query

Parametric regular path queries (YAL, TR, FY, SDS, NH), pp. 219–230.

PLDI-2004-WangL #adaptation #analysis #parametricity

Parametric analysis for adaptive computation offloading (CW, ZL), pp. 119–130.

CIAA-2004-Tischler #automaton #finite #parametricity

Parametric Weighted Finite Automata for Figure Drawing (GT), pp. 259–268.

SEFM-2004-LanotteMT #decidability #parametricity #probability #security

Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security (RL, AMS, AT), pp. 114–121.

ICFP-2004-TseZ #dependence #parametricity

Translating dependency into parametricity (ST, SZ), pp. 115–125.

KDD-2004-LiuYM #algorithm #classification #parametricity #performance

The IOC algorithm: efficient many-class non-parametric classification for high-dimensional data (TL, KY, AWM), pp. 629–634.

PADL-2004-ErwigF #fortran #generative #parametricity

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

ICSE-2004-Kang #analysis #approximate #embedded #parametricity #realtime

Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.

CAV-2004-Wang #analysis #hybrid #linear #parametricity #safety

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.

LICS-2004-DunphyR #parametricity

Parametric Limits (BPD, USR), pp. 242–251.

DAC-2003-JessKNOV #parametricity #predict #statistics

Statistical timing for parametric yield prediction of digital integrated circuits (JAGJ, KK, SRN, RHJMO, CV), pp. 932–937.

DATE-2003-AkgulM #generative #named

PARLAK: Parametrized Lock Cache Generator (BSA, VJMI), pp. 11138–11139.

DRR-2003-Fan #bound #parametricity

Text extraction via an edge-bounded averaging and a parametric character model (JF), pp. 8–19.

VLDB-2003-HulgeriS #cost analysis #named #optimisation #parametricity #query

AniPQO: Almost Non-intrusive Parametric Query Optimization for Nonlinear Cost Functions (AH, SS), pp. 766–777.

VLDB-2003-KoudasGGSV #approximate #constraints #optimisation #parametricity #performance #query

Efficient Approximation Of Optimization Queries Under Parametric Aggregation Constraints (SG, DG, NK, DS, MV), pp. 778–789.

ICFP-2003-WashburnW #encoding #higher-order #morphism #parametricity #polymorphism #syntax

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.

TLCA-2003-Hannay #abstraction #parametricity #relational

Abstraction Barrier-Observing Relational Parametricity (JEH), pp. 135–152.

DATE-2002-AcarNP #framework #parametricity #simulation

A Linear-Centric Simulation Framework for Parametric Fluctuations (EA, SRN, LTP), pp. 568–575.

DATE-2002-GinesPRSM #behaviour #design #modelling #parametricity #reuse

A Mixed-Signal Design Reuse Methodology Based on Parametric Behavioural Models with Non-Ideal Effects (AJG, EJP, AR, RS, NMM), pp. 310–314.

VLDB-2002-HulgeriS #cost analysis #linear #optimisation #parametricity #query

Parametric Query Optimization for Linear and Piecewise Linear Cost Functions (AH, SS), pp. 167–178.

ICPR-v1-2002-LiuCR #adaptation #estimation #parametricity #using

Accurate Dense Optical Flow Estimation Using Adaptive Structure Tensors and a Parametric Model (HL, RC, AR), pp. 291–294.

ICPR-v1-2002-Mignotte #multi #parametricity

Bayesian Rendering with Non-Parametric Multiscale Prior Model (MM), pp. 247–251.

ICPR-v2-2002-SaalbachHR #representation

Representing Object Manifolds by Parametrized SOMs (AS, GH, HJR), pp. 184–187.

ICPR-v2-2002-ZollerHB #clustering #parametricity #segmentation

Combined Color And Texture Segmentation by Parametric Distributional Clustering (TZ, LH, JMB), pp. 627–630.

ICPR-v3-2002-Smeraldi #detection #named #parametricity

Ranklets: Orientation Selective Non-Parametric Features Applied to Face Detection (FS), pp. 379–382.

KDD-2002-UedaS #category theory #detection #modelling #multi #parametricity #using

Single-shot detection of multiple categories of text using parametric mixture models (NU, KS), pp. 626–631.

ECOOP-2002-IgarashiV #on the #parametricity #type system

On Variance-Based Subtyping for Parametric Types (AI, MV), pp. 441–469.

SAC-2002-ZhangS #algorithm #implementation #parametricity #performance

An efficient implementation of parametric line and polygon clipping algorithm (MZ, CLS), pp. 796–800.

ICLP-2002-CoqueryF #morphism #named #parametricity #polymorphism #type system

TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP (EC, FF), p. 480.

TACAS-2001-HuneRSV #automaton #linear #model checking #parametricity

Linear Parametric Model Checking of Timed Automata (TH, JR, MS, FWV), pp. 189–203.

SCAM-2001-ByersK #morphism #parametricity #polymorphism #slicing

Static Slicing and Parametric Polymorphism (DB, MK), pp. 181–186.

SAS-2001-BouajjaniCLS #automaton #parametricity

Analyzing Fair Parametric Extended Automata (AB, ACA, YL, MS), pp. 335–355.

SAS-2001-WangY #optimisation #parametricity #realtime

Parametric Optimization of Open Real-Time Systems (FW, HCY), pp. 299–318.

STOC-2001-Tokuyama #multi #optimisation #parametricity #problem

Minimax parametric optimization problems and multi-dimensional parametric searching (TT), pp. 75–83.

ICFP-2001-Chuang #parametricity #validation

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

SAC-2001-Viroli #implementation #java #morphism #parametricity #performance #polymorphism

Parametric polymorphism in Java: an efficient implementation for parametric methods (MV), pp. 610–619.

LCTES-OM-2001-VivancosHMW #analysis #parametricity

Parametric Timing Analysis (EV, CAH, FM, DBW), pp. 88–93.

DATE-2000-SaabHK #fault #generative #parametricity #simulation

Parametric Fault Simulation and Test Vector Generation (KS, NBH, BK), pp. 650–656.

ICPR-v1-2000-Farneback #estimation #modelling #parametricity #performance #using

Fast and Accurate Motion Estimation Using Orientation Tensors and Parametric Motion Models (GF), pp. 1135–1139.

ICPR-v2-2000-GoodeG #classification #parametricity

Semi-Parametric Signal Classification (AJG, RHG), pp. 2622–2625.

ICPR-v3-2000-DekeyserBPP #2d #image #parametricity #sequence

Super-Resolution from Noisy Image Sequences Exploiting a 2D Parametric Motion Model (FD, PB, PP, ÉP), pp. 3354–3357.

ICPR-v3-2000-HuLML #parametricity #representation

Region Based Parametric Motion Representation (CH, YL, SM, HL), pp. 3869–3872.

ICPR-v3-2000-TongW #approximate #image #nearest neighbour

Approximate Nearest Neighbor Search for Fractal Image Compression Based on a New Affine Transform Parametrization (CT, MW), pp. 3223–3227.

KR-2000-Jamil #inheritance #logic #parametricity

A Logic Based Language for Parametric Inheritance (HMJ), pp. 611–622.

OOPSLA-2000-ViroliN #approach #java #morphism #parametricity #polymorphism

Parametric polymorphism in Java: an approach to translation based on reflective features (MV, AN), pp. 146–165.

CAV-2000-AnnichiniAB #parametricity #reasoning

Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems (AA, EA, AB), pp. 419–434.

DAC-1999-AagaardJS #constraints #parametricity

Parametric Representations of Boolean Constraints (MA, RBJ, CJHS), pp. 402–407.

DAC-1999-HarjaniV #fault #parametricity

Digital Aetection of Analog Parametric Faults in SC Filters (RH, BV), pp. 772–777.

DATE-1999-CherubalC #fault #functional #parametricity #using

Parametric Fault Diagnosis for Analog Systems Using Functional Mapping (SC, AC), p. 195–?.

DATE-1999-NiggemeyerR #parametricity #self

Parametric Built-In Self-Test of VLSI Systems (DN, MR), p. 376–?.

VLDB-1999-KonigW #estimation #parametricity #query

Combining Histograms and Parametric Curve Fitting for Feedback-Driven Query Result-size Estimation (ACK, GW), pp. 423–434.

ICALP-1999-AlurTEP #logic #parametricity

Parametric Temporal Logic for “Model Measuring” (RA, KE, SLT, DP), pp. 159–168.

FM-v1-1999-Pavlovic #first-order #parametricity #semantics #specification

Semantics of First Order Parametric Specifications (DP), pp. 155–172.

ICFP-1999-Crary #parametricity #proving

A Simple Proof Technique for Certain Parametricity Results (KC), pp. 82–89.

ICML-1999-ThrunLF #learning #markov #modelling #monte carlo #parametricity #probability #process

Monte Carlo Hidden Markov Models: Learning Non-Parametric Models of Partially Observable Stochastic Processes (ST, JL, DF), pp. 415–424.

ICML-1999-ZhouB #algorithm #approach #hybrid #learning #memory management #parametricity #requirements

A Hybrid Lazy-Eager Approach to Reducing the Computation and Memory Requirements of Local Parametric Learning Algorithms (YZ, CEB), p. 503–?.

POPL-1999-SagivRW #analysis #logic #parametricity

Parametric Shape Analysis via 3-Valued Logic (SS, TWR, RW), pp. 105–118.

CAV-1999-BerardF #automation #consistency #parametricity #protocol #realtime #verification

Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol (BB, LF), pp. 96–107.

LICS-1999-EmersonT #parametricity #reasoning

Parametric Quantitative Temporal Reasoning (EAE, RJT), pp. 336–343.

DATE-1998-LindermeirVG #design #detection #fault #metric #parametricity

Analog Test Design with IDD Measurements for the Detection of Parametric and Catastrophic Faults (WML, TJV, HEG), pp. 822–827.

VLDB-1998-Ganguly #algorithm #analysis #design #optimisation #parametricity #query

Design and Analysis of Parametric Query Optimization Algorithms (SG), pp. 228–238.

ICML-1998-FriedmanGL #classification #network #parametricity

Bayesian Network Classification with Continuous Attributes: Getting the Best of Both Discretization and Parametric Fitting (NF, MG, TJL), pp. 179–187.

ICPR-1998-Etoh #estimation #parametricity #representation

Promotion of block matching: parametric representation for motion estimation (ME), pp. 282–285.

ICPR-1998-MelzerKZ #approach #detection #modelling #parametricity #using

Stroke detection of brush strokes in portrait miniatures using a semi-parametric and a model based approach (TM, PK, EZ), pp. 474–476.

OOPSLA-1998-SolorzanoA #java #morphism #parametricity #polymorphism

Parametric Polymorphism for Java: A Reflective Solution (JS, SA), pp. 216–225.

EDTC-1997-LangDG #automation #design #modelling #parametricity #top-down

Automatic transfer of parametric FEM models into CAD-layout formats for top-down design of microsystems (ML, DD, MG), pp. 200–204.

ALP-1997-Almendros-JimenezG #lazy evaluation #order #parametricity

Lazy Narrowing with Parametric Order Sorted Types (JMAJ, AGL), pp. 159–173.

POPL-1997-Kennedy #parametricity #relational

Relational Parametricity and Units of Measure (AK), pp. 442–455.

CAV-1997-Sistla #automaton #invariant #linear #network #using #verification

Parametrized Verification of Linear Networks Using Automata as Invariants (APS), pp. 412–423.

TLCA-1997-Takeuti #axiom #parametricity

An Axiomatic System of Parametricity (IT), pp. 354–372.

DAC-1996-LiM #adaptation #linear #modelling #parametricity #using

Computing Parametric Yield Adaptively Using Local Linear Models (ML, LSM), pp. 831–836.

PODS-1996-BeeriMT #on the #parametricity

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

ESOP-1996-LaunchburyP #parametricity

Parametricity and Unboxing with Unpointed Types (JL, RP), pp. 204–218.

STOC-1996-McCormick #algorithm #parametricity #performance #scheduling

Fast Algorithms for Parametric Scheduling Come from Extensions to Parametric Maximum Flow (STM), pp. 319–328.

ICPR-1996-YuenM

An investigation of the nature of parametrization for the Hough transform (SYY, CHM), pp. 537–541.

PLILP-1996-LouvetR #morphism #parametricity #polymorphism #prolog

Parametric Polymorphism for Typed Prolog and λ-Prolog (PL, OR), pp. 47–61.

STOC-1995-Eppstein #bound #geometry #optimisation #parametricity

Geometric lower bounds for parametric matroid optimization (DE), pp. 662–671.

ECOOP-1995-Agesen #algorithm #morphism #parametricity #polymorphism #precise #type inference

The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism (OA), pp. 2–26.

OOPSLA-1995-DayGLM #morphism #parametricity #polymorphism #type system

Subtypes vs. Where Clauses: Constraining Parametric Polymorphism (MD, RG, BL, ACM), pp. 156–168.

POPL-1995-FieldRT #parametricity #slicing

Parametric Program Slicing (JF, GR, FT), pp. 379–392.

TLCA-1995-BellucciAC #morphism #parametricity #polymorphism

A Model for Formal Parametric Polymorphism: A PER Interpretation for System R (RB, MA, PLC), pp. 32–46.

ESOP-1994-OHearnR #morphism #parametricity #polymorphism

Fully Abstract Translations and Parametric Polymorphism (PWO, JGR), pp. 454–468.

SAS-1994-Agesen #constraints #morphism #parametricity #polymorphism #type inference

Constraint-Based Type Inference and Parametric Polymorphism (OA), pp. 78–100.

LICS-1994-PlotkinAC #parametricity #type system

Subtyping and Parametricity (GDP, MA, LC), pp. 310–319.

LICS-1994-RobinsonR #graph #morphism #parametricity #polymorphism #reflexive

Reflexive Graphs and Parametric Polymorphism (EPR, GR), pp. 364–371.

STOC-1993-AlurHV #parametricity #realtime #reasoning

Parametric real-time reasoning (RA, TAH, MYV), pp. 592–601.

ICALP-1993-InverardiPY #bisimulation #parametricity

Extended Transition Systems for Parametric Bisimulation (PI, CP, DY), pp. 558–569.

CIKM-1993-ChengGN #database #parametricity

Object Identity and Dimension Alignment in Parametric Databases (TSC, SKG, SSN), pp. 615–624.

POPL-1993-AbadiCC #morphism #parametricity #polymorphism

Formal Parametric Polymorphism (MA, LC, PLC), pp. 157–170.

POPL-1993-Aponte #parametricity #type system

Extending Record Typing to Type Parametric Modules with Sharing (MVA), pp. 465–478.

POPL-1993-OHearnT #parametricity #relational

Relational Parametricity and Local Variables (PWO, RDT), pp. 171–184.

POPL-1993-Reynolds #logic #morphism #parametricity #polymorphism #tutorial

An Introduction to Logical Relations and Parametric Polymorphism — Tutorial (JCR), pp. 155–156.

SAC-1993-Sabharwal #approach #parametricity

An Intelligent Approach to Discrete Sampling of Parametric Curves (CLS), pp. 397–401.

SAC-1993-Tracz #programming

Parametrized Programming in LILEANNA (WT), pp. 77–86.

CAV-1993-GuptaF #induction #parametricity #representation #using

Parametric Circuit Representation Using Inductive Boolean Functions (AG, ALF), pp. 15–28.

TLCA-1993-PlotkinA #logic #morphism #parametricity #polymorphism

A Logic for Parametric Polymorphism (GDP, MA), pp. 361–375.

VLDB-1992-IoannidisNSS #optimisation #parametricity #query

Parametric Query Optimization (YEI, RTN, KS, TKS), pp. 103–114.

STOC-1992-AgarwalM #parametricity

Ray Shooting and Parametric Search (PKA, JM), pp. 517–526.

ICALP-1992-MontanariY #approach #parametricity

A Parametric Approach to Localities (UM, DY), pp. 617–628.

LFP-1992-ChenHO #parametricity

Parametric Type Classes (KC, PH, MO), pp. 170–181.

POPL-1992-Ma #parametricity #type system

Parametricity as Subtyping (QM), pp. 281–292.

LICS-1992-FreydRR #parametricity

Functorial Parametricity (PJF, EPR, GR), pp. 444–452.

WSA-1991-ColbyL #implementation #partial evaluation

An Implementation of Parametrized Partial Evaluation (CC, PL), pp. 82–89.

FPCA-1991-Mairson #parametricity #proving

Outline of a Proof Theory of Parametricity (HGM), pp. 313–327.

OOPSLA-1989-OhoriB #parametricity #static typing #type inference

Static Type Inference for Parametric Classes (AO, PB), pp. 445–456.

ESOP-1988-Kaes #parametricity #polymorphism #programming language

Parametric Overloading in Polymorphic Programming Languages (SK), pp. 131–144.

LICS-1988-FreydGSS #parametricity #polymorphism #semantics #λ-calculus

Semantic Parametricity in Polymorphic λ Calculus (PJF, JYG, AS, PJS), pp. 274–279.

DAC-1985-OgiharaSM #automation #generative #named #parametricity #testing

PATEGE: an automatic DC parametric test generation system for series gated ECL circuits (TO, SS, SM), pp. 212–218.

DAC-1984-KrieteN #design #metaprogramming #parametricity

A VLSI design methodology based on parametric macro cells (RAK, RKN), pp. 686–688.

DAC-1982-Asano #parametricity

Parametric pattern router (TA), pp. 411–417.

DAC-1982-Kalay #bound #modelling #multi #parametricity

Modeling polyhedral solids bounded by multi-curved parametric surfaces (YEK), pp. 501–507.

ICALP-1982-BergstraK #algebra #data type #parametricity #specification

Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.

DAC-1979-Lichten #design #parametricity #scalability

A partial solution to fitting large parametric surfaces in computer-aided design systems (LL), pp. 222–228.