Stem parameteris$ (all stems)

17 papers:

ICALP-v2-2014-CeroneGY

Parameterised Linearisability (AC, AG, HY), pp. 98–109.

CBSE-2013-YusufS #design pattern #fault tolerance

Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings (IIY, HWS), pp. 121–130.

GRAPHITE-2012-KantP #equation #game studies #performance

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games (GK, JvdP), pp. 50–65.

QoSA-ISARCS-2011-PeakeS #contract #modelling #trade-off

Systematic simplicity-accuracy tradeoffs in parameterised contract models (IDP, HWS), pp. 95–104.

FoSSaCS-2010-YoshidaDBH #multi

Parameterised Multiparty Session Types (NY, PMD, AB, RH), pp. 128–145.

TACAS-2009-OrzanWW #equation #static analysis

Static Analysis Techniques for Parameterised Boolean Equation Systems (SO, WW, TACW), pp. 230–245.

CSL-2009-Kreutzer #higher-order #logic #monad #on the

On the Parameterised Intractability of Monadic Second-Order Logic (SK), pp. 348–363.

ECIR-2007-CornacchiaV

A Parameterised Search System (RC, APdV), pp. 4–15.

ICPR-v4-2004-KarlssonEA #invariant #modelling #statistics

Parameterisation Invariant Statistical Shape Models (JK, AE, KÅ), pp. 23–26.

CBSE-2002-SchmidtR #adaptation #contract #synthesis

Parameterised Contracts and Adapter Synthesis (HWS, RR), p. 6.

ASE-1998-Dimitrakos #algebra #diagrams #specification

Parameterising (Algebraic) Specifications on Diagrams (TD), pp. 221–224.

ICPR-1998-DayP #learning #modelling

A projection filter for use with parameterised learning models (MJSD, JSP), pp. 867–869.

TOOLS-PACIFIC-1997-EveredKMS #java #named

Genja — A New Proposal for Parameterised Types in Java (ME, JLK, GM, AS), pp. 181–195.

ALP-1997-Steggles #algebra #higher-order #specification

Parameterised Higher-Order Algebraic Specifications (LJS), pp. 76–98.

HPDC-1995-AbramsonSGH #distributed #named #simulation #using

Nimrod: A Tool for Performing Parameterised Simulations Using Distributed Workstations (DA, RS, JG, BH), pp. 112–121.

SIGIR-1992-MoffatZ

Parameterised Compression for Sparse Bitmaps (AM, JZ), pp. 274–285.

ICALP-1982-SannellaW #implementation #specification

Implementation of Parameterised Specifications (Extended Abstract) (DS, MW), pp. 473–488.