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:
system (98)
languag (79)
model (76)
base (67)
program (46)

Stem extens$ (all stems)

732 papers:

WICSAWICSA-2015-CoutoTCL #abstract syntax tree #architecture #migration #syntax
Migrating to an Extensible Architecture for Abstract Syntax Trees (LDC, PWVTJ, JWC, KL), pp. 145–154.
DACDAC-2015-DaviHPSKSAJ #named
HAFIX: hardware-assisted flow integrity extension (LD, MH, DP, ARS, PK, DS, OA, YJ), p. 6.
DATEDATE-2015-AzarkhishRLB #memory management #performance
High performance AXI-4.0 based interconnect for extensible smart memory cubes (EA, DR, IL, LB), pp. 1317–1322.
DATEDATE-2015-LeeLMHP #monitoring #named #security
Extrax: security extension to extract cache resident information for snoop-based external monitors (JL, YL, HM, IH, YP), pp. 151–156.
DocEngDocEng-2015-VernicaV #adaptation #framework #layout #named #synthesis #web
AERO: An Extensible Framework for Adaptive Web Layout Synthesis (RV, NDV), pp. 187–190.
VLDBVLDB-2015-EldawyMJ #pipes and filters #visualisation
A Demonstration of HadoopViz: An Extensible MapReduce System for Visualizing Big Spatial Data (AE, MFM, CJ), pp. 1896–1907.
VLDBVLDB-2015-SongZC0 #similarity
Enriching Data Imputation with Extensive Similarity Neighbors (SS, AZ, LC, JW), pp. 1286–1297.
ESOPESOP-2015-CalzavaraBCS #detection #fine-grained
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions (SC, MB, SC, ES), pp. 510–534.
SANERSANER-2015-ZekanST #web
Protecting web applications via Unicode extension (BZ, MS, VT), pp. 419–428.
SEFMSEFM-2015-DawC #diagrams #process #semantics #uml
An Extensible Operational Semantics for UML Activity Diagrams (ZD, RC), pp. 360–368.
ICFPICFP-2015-Blanchette0T #perspective #proving #recursion
Foundational extensible corecursion: a proof assistant perspective (JCB, AP, DT), pp. 192–204.
CHICHI-2015-KatoM #assessment #interface #named
ExtensionSticker: A Proposal for a Striped Pattern Sticker to Extend Touch Interfaces and its Assessment (KK, HM), pp. 1851–1854.
CSCWCSCW-2015-FreitasD #collaboration #framework #tool support
The Group Context Framework: An Extensible Toolkit for Opportunistic Grouping and Collaboration (AAdF, AKD), pp. 1602–1611.
HCIDUXU-UI-2015-VegaAF #design #interface #named
Hairware: Designing Conductive Hair Extensions for Seamless Interfaces (KV, RA, HF), pp. 696–704.
HCISCSM-2015-KinclNPS #analysis #independence #sentiment
Language-Independent Sentiment Analysis with Surrounding Context Extension (TK, MN, JP, PS), pp. 158–168.
AdaEuropeAdaEurope-2015-PavleticVRKK #debugging #framework
Extensible Debugger Framework for Extensible Languages (DP, MV, SAR, BK, TK), pp. 33–49.
ICEISICEIS-v3-2015-SaidCAB #adaptation #modelling #named #process #using
BPMN4V — An Extension of BPMN for Modelling Adaptive Processes using Versions (IBS, MAC, EA, RB), pp. 258–267.
ICEISICEIS-v3-2015-ThabetGG #analysis #mining #petri net #process
Petri Net Model Cost Extension based on Process Mining — Cost Data Description and Analysis (DT, SAG, HHBG), pp. 268–275.
ICMLICML-2015-HeinrichLS #game studies #self
Fictitious Self-Play in Extensive-Form Games (JH, ML, DS), pp. 805–813.
KDDKDD-2015-ShenGD #effectiveness #online
Effective Audience Extension in Online Advertising (JS, SCG, AD), pp. 2099–2108.
RecSysRecSys-2015-KoukiFFEG #flexibility #framework #hybrid #named #probability #recommendation
HyPER: A Flexible and Extensible Probabilistic Framework for Hybrid Recommender Systems (PK, SF, JRF, ME, LG), pp. 99–106.
SEKESEKE-2015-XiangQB #flexibility #java #runtime #verification
Flexible and Extensible Runtime Verification for Java (CX, ZQ, WB), pp. 595–600.
ECMFAECMFA-2015-BruneliereGDKHB #lightweight #metamodelling #modelling #on the #tool support
On Lightweight Metamodel Extension to Support Modeling Tools Agility (HB, JG, PD, DEK, RH, RB, JC), pp. 62–74.
ECOOPECOOP-2015-BiboudisPFS #algebra #pipes and filters
Streams a la carte: Extensible Pipelines with Object Algebras (AB, NP, GF, YS), pp. 591–613.
OOPSLAOOPSLA-2015-VoelterDKE #c #case study #embedded #using
Using C language extensions for developing embedded software: a case study (MV, AvD, BK, SE), pp. 655–674.
SACSAC-2015-DihegoSO #component
Constructive extensibility of trustworthy component-based systems (JD, AS, MVMO), pp. 1808–1814.
SACSAC-2015-MoralesNSA #named #requirements #specification
TRiStar: an i* extension for teleo-reactive systems requirements specifications (JMM, EN, PS, DA), pp. 283–288.
ICSEICSE-v2-2015-ShepherdDP #how #re-engineering #research
How and When to Transfer Software Engineering Research via Extensions (DCS, KD, LLP), pp. 239–240.
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.
SPLCSPLC-2015-MazoMRST #named #product line
VariaMos: an extensible tool for engineering (dynamic) product lines (RM, JCMF, LR, CS, GT), pp. 374–379.
CCCC-2015-AckermannRMS #java #optimisation #runtime
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.
CCCC-2015-SherwanyZN #compilation #library #refactoring #scala
A Refactoring Library for Scala Compiler Extensions (AS, NZ, NN), pp. 31–48.
HPCAHPCA-2015-HayesPUCV #algorithm #architecture #novel #sorting
VSR sort: A novel vectorised sorting algorithm & architecture extensions for future microprocessors (TH, OP, OSÜ, AC, MV), pp. 26–38.
CAVCAV-2015-BansalR0BW
Deciding Local Theory Extensions via E-matching (KB, AR, TK, CWB, TW), pp. 87–105.
CAVCAV-2015-Leslie-HurdCF #verification
Verifying Linearizability of Intel® Software Guard Extensions (RLH, DC, MF), pp. 144–160.
LICSLICS-2015-Edalat #calculus #difference
Extensions of Domain Maps in Differential and Integral Calculus (AE), pp. 426–437.
CASECASE-2014-MaiorR #distributed #internet #self
A self-governing, decentralized, extensible Internet of Things to share electrical power efficiently (HAM, SR), pp. 37–43.
DATEDATE-2014-KamalGAP #approximate #performance #using
Improving efficiency of extensible processors by using approximate custom instructions (MK, AG, AAK, MP), pp. 1–4.
SIGMODSIGMOD-2014-TranNST #approach #clustering #named
JECB: a join-extension, code-based approach to OLTP data partitioning (KQT, JFN, BS, DT), pp. 39–50.
VLDBVLDB-2014-Jiang0OTW #big data #named #scalability
epiC: an Extensible and Scalable System for Processing Big Data (DJ, GC, BCO, KLT, SW), pp. 541–552.
TFPIETFPIE-2014-IshiiA #debugging
Report on a User Test and Extension of a Type Debugger for Novice Programmers (YI, KA), pp. 1–18.
PLDIPLDI-2014-HanxledenDMSMAMO #named #safety
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.
PLDIPLDI-2014-KuperTTN #parallel
Taming the parallel effect zoo: extensible deterministic parallelism with LVish (LK, AT, STH, RRN), p. 2.
STOCSTOC-2014-Rothvoss #complexity #exponential
The matching polytope has exponential extension complexity (TR), pp. 263–272.
HILTHILT-2014-AhmadLBZD #behaviour #cyber-physical #hybrid #interactive #modelling
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.
HILTHILT-2014-SzaboVKRS #development #embedded #named
mbeddr: extensible languages for embedded software development (TS, MV, BK, DR, BS), pp. 13–16.
HILTHILT-2014-TaftMPM #ada #parallel #programming
Safe parallel programming in ada with language extensions (STT, BM, LMP, SM), pp. 87–96.
CAiSECAiSE-2014-PikaWFHLA #behaviour #framework #using
An Extensible Framework for Analysing Resource Behaviour Using Event Logs (AP, MTW, CJF, AHMtH, ML, WMPvdA), pp. 564–579.
EDOCEDOC-2014-FlorezSV #analysis #approach #automation #enterprise #modelling
Extensible Model-Based Approach for Supporting Automatic Enterprise Analysis (HF, MES, JV), pp. 32–41.
ICEISICEIS-v1-2014-AdamB #database #framework
External Database Extension Framework (AA, WB), pp. 249–255.
ICEISICEIS-v2-2014-OliveiraG #architecture #empirical #metric #product line #validation
Empirical Validation of Product-line Architecture Extensibility Metrics (EAOJ, IMdSG), pp. 111–118.
ICEISICEIS-v3-2014-OussenaEK #architecture #enterprise #formal method #framework #metamodelling #validation
Formalization of Validation Extension Metamodel for Enterprise Architecture Frameworks (SO, JE, PK), pp. 427–434.
ICEISICEIS-v3-2014-ThabetGG #mining #petri net #process #towards
Towards Business Process Model Extension with Cost Perspective Based on Process Mining — Petri Net Model Case (DT, SAG, HHBG), pp. 335–342.
ICPRICPR-2014-AggarwalM #algorithm #metric #multi #random
Extension of Sparse Randomized Kaczmarz Algorithm for Multiple Measurement Vectors (HKA, AM), pp. 1014–1019.
ICPRICPR-2014-HegenbartU #adaptation
An Orientation-Adaptive Extension to Scale-Adaptive Local Binary Patterns (SH, AU), pp. 1120–1125.
ICPRICPR-2014-SaleemBS #image #robust #symmetry
A Gradient Extension of Center Symmetric Local Binary Patterns for Robust RGB-NIR Image Matching (SS, AB, RS), pp. 815–820.
ICPRICPR-2014-ScottEMFA #pattern matching #scalability
GPU-Based PostgreSQL Extensions for Scalable High-Throughput Pattern Matching (GJS, ME, KM, ZF, DTA), pp. 1880–1885.
KDIRKDIR-2014-HasnaMDP #recommendation #sentiment
Sentiment Polarity Extension for Context-Sensitive Recommender Systems (OLH, FCM, MD, RP), pp. 126–137.
RecSysRecSys-2014-LoniS #library #named #recommendation
WrapRec: an easy extension of recommender system libraries (BL, AS), pp. 377–378.
SEKESEKE-2014-OliveiraMGND #framework #source code #testing
An Extensible Framework to Implement Test Oracle for Non-Testable Programs (RAPO, AMM, VNG, FLSN, MED), pp. 199–204.
ECMFAECMFA-2014-DouBB #named #ocl
OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL (WD, DB, LCB), pp. 51–66.
ECOOPECOOP-2014-KarimDG #framework #legacy
Retargetting Legacy Browser Extensions to Modern Extension Frameworks (RK, MD, VG), pp. 463–488.
GPCEGPCE-2014-GousetiPS #algebra #implementation
Extensible language implementation with object algebras (short paper) (MG, CP, TvdS), pp. 25–28.
GPCEGPCE-2014-HessGP #automation #interface
Automatic locality-friendly interface extension of numerical functions (BH, TRG, MP), pp. 83–92.
PADLPADL-2014-KrijnenSV #named #towards
Expand: Towards an Extensible Pandoc System (JK, SDS, MV), pp. 200–215.
SACSAC-2014-OliveiraNWB #approach #kernel #named
Ianus: secure and holistic coexistence with kernel extensions — a immune system-inspired approach (DO, JN, NW, MB), pp. 1672–1679.
SACSAC-2014-ReisIB #syntax
Defining the syntax of extensible languages (LVdSR, VODI, RdSB), pp. 1570–1576.
CGOCGO-2014-VenkatSHS #code generation
Non-affine Extensions to Polyhedral Code Generation (AV, MS, MWH, MMS), p. 185.
HPCAHPCA-2014-KarnagelDRLLSL #database #in memory #performance #transaction
Improving in-memory database index performance with Intel® Transactional Synchronization Extensions (TK, RD, RR, KL, TL, BS, WL), pp. 476–487.
LCTESLCTES-2014-ChaudharyFT #compilation #named #specification
em-SPADE: a compiler extension for checking rules extracted from processor specifications (SC, SF, LT), pp. 105–114.
OSDIOSDI-2014-ZhangSAAGKL #deployment #mobile
Customizable and Extensible Deployment for Mobile/Cloud Applications (IZ, AS, DVA, IA, SDG, AK, HML), pp. 97–112.
ISSTAISSTA-2014-LeAGG #haskell #mutation testing #named #source code #testing
MuCheck: an extensible tool for mutation testing of haskell programs (DL, MAA, RG, AG), pp. 429–432.
LICSLICS-CSL-2014-LazicS #branch
Non-elementary complexities for branching VASS, MELL, and extensions (RL, SS), p. 10.
ICSTSAT-2014-Gableske #framework #satisfiability
An Ising Model Inspired Extension of the Product-Based MP Framework for SAT (OG), pp. 367–383.
ICSTSAT-2014-LarrazORR #constraints #polynomial
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions (DL, AO, ERC, AR), pp. 333–350.
ECSAECSA-2013-HeseniusG #interactive #multimodal #mvc #named
MVIC — An MVC Extension for Interactive, Multimodal Applications (MH, VG), pp. 324–327.
ECSAECSA-2013-MairH #architecture #towards
Towards Extensive Software Architecture Erosion Repairs (MM, SH), pp. 299–306.
DACDAC-2013-KinsmanKN #generative #sequence #validation
Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
DATEDATE-2013-DasKV #multi
Reliability-driven task mapping for lifetime extension of networks-on-chip based multiprocessor systems (AD, AK, BV), pp. 689–694.
DATEDATE-2013-HanxledenMADFMMO #concurrent
Sequentially constructive concurrency: a conservative extension of the synchronous model of computation (RvH, MM, JA, BD, IF, CM, SM, OO), pp. 581–586.
DATEDATE-2013-Hara-AzumiFKT #process
Instruction-set extension under process variation and aging effects (YHA, FF, SK, MBT), pp. 182–187.
DATEDATE-2013-JaninBCDEGLT #design
Designing tightly-coupled extension units for the STxP70 processor (YJ, VB, HC, TD, CE, OAG, VL, TT), pp. 1052–1053.
DATEDATE-2013-ZhuDNZ #finite #implementation #robust #state machine
Robust and extensible task implementations of synchronous finite state machines (QZ, PD, MDN, HZ), pp. 1319–1324.
DocEngDocEng-2013-Lumley #documentation #functional
Functional, extensible, svg-based variable documents (JWL), pp. 131–140.
SIGMODSIGMOD-2013-GeorgiadisKGPTM #algorithm #data type #detection #framework #state of the art
Continuous outlier detection in data streams: an extensible framework and state-of-the-art algorithms (DG, MK, AG, ANP, KT, YM), pp. 1061–1064.
VLDBVLDB-2014-DifallahPCC13 #benchmark #database #metric #named #relational
OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases (DED, AP, CC, PCM), pp. 277–288.
FASEFASE-2013-LasseterC #design pattern #invariant #runtime
Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks (JL, JC), pp. 163–178.
ICPCICPC-2013-AlyCM #comprehension #towards
Building extensions for applications: Towards the understanding of extension possibilities (MA, AC, MM), pp. 182–191.
ICPCICPC-2013-UddinRS #clone detection #detection #named #performance #scalability
SimCad: An extensible and faster clone detection tool for large scale software systems (MSU, CKR, KAS), pp. 236–238.
SCAMSCAM-2013-Balachandran #bibliography #component #named
Fix-it: An extensible code auto-fix component in Review Bot (VB), pp. 167–172.
WCREWCRE-2013-MemonBNR #user interface
The first decade of GUI ripping: Extensions, applications, and broader impacts (AMM, IB, BNN, BR), pp. 11–20.
PEPMPEPM-2013-MartinezVP #compilation #exclamation #haskell #performance
Just do it while compiling!: fast extensible records in haskell (BM, MV, AP), pp. 77–86.
ICALPICALP-v1-2013-AvisT #combinator #complexity #on the
On the Extension Complexity of Combinatorial Polytopes (DA, HRT), pp. 57–68.
ICFPICFP-2013-Chlipala #generative #hoare #logic #metaprogramming #verification
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier (AC), pp. 391–402.
ICFPICFP-2013-LorenzenE #automation #composition #verification
Modular and automated type-soundness verification for language extensions (FL, SE), pp. 331–342.
GT-VMTGT-VMT-2013-Giese #behaviour #graph transformation #probability
Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).
HCIHCI-AS-2013-CarvalhoLCAMCAL #mobile #process #re-engineering
Software Engineering in Telehealth, an Extension of Sana Mobile Applied to the Process of a Routine Hospital (AVdC, CJPdL, EJRC, PHCA, PAdSeSM, GRdC, FRLdA, GVCL), pp. 3–12.
HCIHIMI-HSM-2013-ChunJHJSLCJ #natural language #using
Pathway Construction and Extension Using Natural Language Processing (HWC, SJJ, MNH, CHJ, SKS, SL, SPC, HJ), pp. 32–38.
EDOCEDOC-2013-AlyCEM #interface #multi #named
XPoints: Extension Interfaces for Multilayered Applications (MA, AC, SE, MM), pp. 237–246.
EDOCEDOC-2013-AtkinsonGF #enterprise #modelling
Modeling Language Extension in the Enterprise Systems Domain (CA, RG, MF), pp. 49–58.
ICEISICEIS-J-2013-CarneiroN13a #multi #named #towards #visualisation
SourceMiner: Towards an Extensible Multi-perspective Software Visualization Environment (GdFC, MGdMN), pp. 242–263.
ICEISICEIS-v2-2013-OliveiraS #aspect-oriented #modelling #requirements #using
Modeling Aspects in Requirements using SysML Extensions (KSdO, MdSS), pp. 126–133.
CIKMCIKM-2013-ChristenV #flexibility #generative
Flexible and extensible generation and corruption of personal data (PC, DV), pp. 1165–1168.
KDIRKDIR-KMIS-2013-NcirE #clustering #on the #question
On the Extension of k-Means for Overlapping Clustering — Average or Sum of Clusters’ Representatives? (CEBN, NE), pp. 208–213.
SIGIRSIGIR-2013-KarkaliPV #realtime #recommendation
Match the news: a firefox extension for real-time news recommendation (MK, DP, MV), pp. 1117–1118.
SIGIRSIGIR-2013-PanzeriP #flexibility #named #xml #xquery
Flex-BaseX: an XML engine with a flexible extension of Xquery full-text (EP, GP), pp. 1083–1084.
ICMTICMT-2013-KramerKSMKBJ #weaving
Achieving Practical Genericity in Model Weaving through Extensibility (MEK, JK, JRHS, BM, JK, OB, JMJ), pp. 108–124.
OOPSLAOOPSLA-2013-MillerHBO #combinator #generative #object-oriented #performance
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization (HM, PH, EB, MO), pp. 183–202.
GPCEGPCE-2013-ErdwegR #framework
A framework for extensible languages (SE, FR), pp. 3–12.
PPDPPPDP-2013-CaballeroST #constraints #finite #programming
Finite type extensions in constraint programming (RC, PJS, ATF), pp. 217–227.
PPDPPPDP-2013-ODonnell #array #functional #parallel
Extensible sparse functional arrays with circuit parallelism (JTO), pp. 133–144.
PADLPADL-2013-DreyMHC #debugging
Reversible Language Extensions and Their Application in Debugging (ZD, JFM, MVH, MC), pp. 206–221.
POPLPOPL-2013-RompfSABJLJOO #compilation #data type #optimisation #source code #staging
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging (TR, AKS, NA, KJB, VJ, HL, MJ, KO, MO), pp. 497–510.
SACSAC-2013-BraunMS #network
Service-centric networking extensions (TB, AM, VAS), pp. 583–590.
SACSAC-2013-LaurentBG #debugging #modelling #uml
Executing and debugging UML models: an fUML extension (YL, RB, MPG), pp. 1095–1102.
SACSAC-2013-MoriguchiW #interactive #reuse #source code
An interactive extension mechanism for reusing verified programs (SM, TW), pp. 1236–1243.
ESEC-FSEESEC-FSE-2013-DuboisBWH #middleware #mobile #named #peer-to-peer #resource management
ShAir: extensible middleware for mobile peer-to-peer resource sharing (DJD, YB, KW, HH), pp. 687–690.
LDTALDTA-J-2009-AndersenBC #algebra #composition
Banana Algebra: Compositional syntactic language extension (JA, CB, DRC), pp. 1845–1870.
LDTALDTA-J-2009-SoderbergEHM #abstract syntax tree #analysis #syntax
Extensible intraprocedural flow analysis at the abstract syntax tree level (ES, TE, GH, EM), pp. 1809–1827.
CADECADE-2013-BenderPS #logic
System Description: E-KRHyper 1.4 — Extensions for Unique Names and Description Logic (MB, BP, CS), pp. 126–134.
CADECADE-2013-Comon-LundhCS #deduction
Tractable Inference Systems: An Extension with a Deducibility Predicate (HCL, VC, GS), pp. 91–108.
CADECADE-2013-MouraP
Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals (LMdM, GOP), pp. 178–192.
ICLPICLP-J-2013-MazuranSZ #datalog #declarative #horn clause
A declarative extension of horn clauses, and its significance for datalog and its applications (MM, ES, CZ), pp. 609–623.
ASEASE-2012-LiT #api #automation #erlang #migration #refactoring #source code
Automated API migration in a user-extensible refactoring tool for Erlang programs (HL, SJT), pp. 294–297.
CASECASE-2012-LeeB #execution #framework #lifecycle #simulation #using
Executable simulation lifecycle management framework using extensible and interoperable simulation language (HL, AB), pp. 237–242.
DATEDATE-2012-JovicYMELA #hybrid #simulation
Hybrid simulation for extensible processor cores (JJ, SY, LGM, JFE, RL, GA), pp. 288–291.
DATEDATE-2012-KamalASP #approach #architecture #process
An architecture-level approach for mitigating the impact of process variations on extensible processors (MK, AAK, SS, MP), pp. 467–472.
DATEDATE-2012-Sun #automation #embedded #functional #generative #modelling
Automatic generation of functional models for embedded processor extensions (FS), pp. 304–307.
SCAMSCAM-2012-AftandilianSPK #compilation #java #program analysis #tool support #using
Building Useful Program Analysis Tools Using an Extensible Java Compiler (EA, RS, SP, SK), pp. 14–23.
DLTDLT-J-2011-DiekertM12 #infinity #word
Group Extensions over Infinite Words (VD, AGM), pp. 1001–1020.
CIAACIAA-2012-AllauzenR #automaton #library #transducer
A Pushdown Transducer Extension for the OpenFst Library (CA, MR), pp. 66–77.
LATALATA-2012-BilleGK
Longest Common Extensions via Fingerprinting (PB, ILG, JK), pp. 119–130.
SEFMSEFM-2012-MatichukM #automation #proving #specification
Extensible Specifications for Automatic Re-use of Specifications and Proofs (DM, TCM), pp. 333–341.
CIKMCIKM-2012-SunG #learning
Active learning for relation type extension with local and global data views (AS, RG), pp. 1105–1112.
ICMLICML-2012-LanctotGBB #game studies #learning
No-Regret Learning in Extensive-Form Games with Imperfect Recall (ML, RGG, NB, MB), p. 135.
KDIRKDIR-2012-HaanR #detection
Detecting Temporally Related Arithmetical Patterns — An Extension of Complex Event Processing (RdH, MR), pp. 329–332.
KMISKMIS-2012-LiuAACT #behaviour #modelling
Modeling Dynamic Behavior of Business Organisations — Extension of BPM with Norms (KL, MAR, ARA, LC, JT), pp. 196–201.
KRKR-2012-MorettiT #ranking #set #using
Ranking Sets of Possibly Interacting Objects Using Shapley Extensions (SM, AT).
SEKESEKE-2012-RiveroC #usability #using #web
Using the Results from a Systematic Mapping Extension to Define a Usability Inspection Method for Web Applications (LR, TC), pp. 582–587.
SIGIRSIGIR-2012-ChuklinS #how #query
How query extensions reflect search result abandonments (AC, PS), pp. 1087–1088.
TOOLSTOOLS-EUROPE-J-2011-LangerWWC12 #approach #emf #lightweight #modelling
EMF Profiles: A Lightweight Extension Approach for EMF Models (PL, KW, MW, JC), pp. 1–29.
ECOOPECOOP-2012-KarimDGS #analysis #framework
An Analysis of the Mozilla Jetpack Extension Framework (RK, MD, VG, CcS), pp. 333–355.
ECOOPECOOP-2012-OliveiraC #algebra
Extensibility for the Masses — Practical Extensibility with Object Algebras (BCdSO, WRC), pp. 2–27.
ECOOPECOOP-2012-ReichenbachSI #java #named #parallel #programming
PQL: A Purely-Declarative Java Extension for Parallel Programming (CR, YS, NI), pp. 53–78.
ECOOPECOOP-2012-RobbesRT #evolution #question
Extensions during Software Evolution: Do Objects Meet Their Promise? (RR, DR, ÉT), pp. 28–52.
OnwardOnward-2012-Heinlein #composition #named #programming language #static typing
MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.
GPCEGPCE-2012-RafkindF #algebra #named
Honu: syntactic extension for algebraic notation through enforestation (JR, MF), pp. 122–131.
PPDPPPDP-2012-SchrijversTD #named
Tor: extensible search with hookable disjunction (TS, MT, BD), pp. 103–114.
POPLPOPL-2012-StampoulisS #proving
Static and user-extensible proof checking (AS, ZS), pp. 273–284.
FSEFSE-2012-ShepherdDRF #code search #framework #named
Sando: an extensible local code search framework (DS, KD, BR, TF), p. 15.
SPLCSPLC-2012-BartholdtB #product line
Scope extension of an existing product line (JB, DB), pp. 275–282.
CGOCGO-2012-MurrayF #automation #compilation #set
Compiling for automatically generated instruction set extensions (ACM, BF), pp. 13–22.
IJCARIJCAR-2012-BobotCCIMMM #integer #linear
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic (FB, SC, EC, MI, AM, AM, GM), pp. 67–81.
ASEASE-2011-JustSK #analysis #compilation #java #mutation testing #named #performance
MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler (RJ, FS, GMK), pp. 612–615.
DACDAC-2011-SchneiderGCBEP #on the #quantifier
On the quantification of sustainability and extensibility of FlexRay schedules (RS, DG, SC, UDB, PE, ZP), pp. 375–380.
DATEDATE-2011-AhmedSBH #configuration management #multi #named #runtime
mRTS: Run-time system for reconfigurable processors with multi-grained instruction-set extensions (WA, MS, LB, JH), pp. 1554–1559.
DATEDATE-2011-KamalAP
Timing variation-aware custom instruction extension technique (MK, AAK, MP), pp. 1517–1520.
DATEDATE-2011-ZhaoK #component #distributed
An extension to SystemC-A to support mixed-technology systems with distributed components (CZ, TJK), pp. 1278–1284.
HTHT-2011-SmitsB #adaptation #hypermedia #named
GALE: a highly extensible adaptive hypermedia engine (DS, PDB), pp. 63–72.
CSMRCSMR-2011-FreyH #architecture #constraints #detection #legacy #migration
An Extensible Architecture for Detecting Violations of a Cloud Environment’s Constraints during Legacy Software System Migration (SF, WH), pp. 269–278.
WCREWCRE-2011-SajnaniNL #architecture #towards
Application Architecture Discovery — Towards Domain-driven, Easily-Extensible Code Structure (HS, RN, CVL), pp. 401–405.
PLDIPLDI-2011-PrabhuGZJA #commutative #parallel #programming #set
Commutative set: a language extension for implicit parallel programming (PP, SG, YZ, NPJ, DIA), pp. 1–11.
DLTDLT-2011-DiekertM #infinity #problem #word
Solving Word Problems in Group Extensions over Infinite Words (VD, AGM), pp. 192–203.
ICFPICFP-2011-ChyzakD #generative #ml #runtime #using #web
Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.
HCIDHM-2011-GuenzkoferEBB #modelling
Joint Torque Modeling of Knee Extension and Flexion (FG, FE, HB, KB), pp. 79–88.
HCIDUXU-v1-2011-RitterE #segmentation #using
An Extensible Tool for the Annotation of Videos Using Segmentation and Tracking (MR, ME), pp. 295–304.
AdaEuropeAdaEurope-2011-ChouteauR #design #implementation #multi
Design and Implementation of a Ravenscar Extension for Multiprocessors (FC, JFR), pp. 31–45.
EDOCEDOC-2011-AzevedoASQG #motivation #ontology #semantics
An Ontology-Based Semantics for the Motivation Extension to ArchiMate (CLBA, JPAA, MvS, DACQ, GG), pp. 25–34.
ICEISICEIS-v3-2011-TahamtanOTH #named
BPEL-TIME — WS-BPEL Time Management Extension (AT, CO, AMT, AH), pp. 34–45.
SEKESEKE-2011-FerreiraS #behaviour #case study
Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns (DdAF, ARdS), pp. 740–745.
BXBX-2011-Kindler #concept #graph grammar #implementation
Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios (EK), p. 60.
MODELSMoDELS-2011-CuccuruGT
Defining MARTE’s VSL as an Extension of Alf (AC, SG, FT), pp. 699–713.
MODELSMoDELS-2011-IzukuraYOSKX #approach #development #modelling #using
Applying a Model-Based Approach to IT Systems Development Using SysML Extension (SI, KY, TO, HS, DK, JX), pp. 563–577.
MODELSMoDELS-2011-CuccuruGT
Defining MARTE’s VSL as an Extension of Alf (AC, SG, FT), pp. 699–713.
MODELSMoDELS-2011-IzukuraYOSKX #approach #development #modelling #using
Applying a Model-Based Approach to IT Systems Development Using SysML Extension (SI, KY, TO, HS, DK, JX), pp. 563–577.
OnwardOnward-2011-MistreeCCLG #named
Emerson: accessible scripting for applications in an extensible virtual world (BFTM, BC, ECP, PL, DG), pp. 77–90.
OOPSLAOOPSLA-2011-AustinDF
Virtual values for language extension (THA, TD, CF), pp. 921–938.
OOPSLAOOPSLA-2011-ErdwegRKO #named
SugarJ: library-based syntactic language extensibility (SE, TR, CK, KO), pp. 391–406.
OOPSLAOOPSLA-2011-VerwaestBLN #flexibility #lightweight
Flexible object layouts: enabling lightweight language extensions by intercepting slot access (TV, CB, ML, ON), pp. 959–972.
TOOLSTOOLS-EUROPE-2011-KuhlmannHG #modelling #ocl #satisfiability #validation
Extensive Validation of OCL Models by Integrating SAT Solving into USE (MK, LH, MG), pp. 290–306.
LOPSTRLOPSTR-2011-MoralesHH #composition #logic
Modular Extensions for Modular (Logic) Languages (JFM, MVH, RH), pp. 139–154.
SACSAC-2011-KasemGI #axiom
Origami axioms and circle extension (AK, FG, TI), pp. 1106–1111.
LDTALDTA-2011-DominguezP #algebra
Exploiting algebra/coalgebra duality for program fusion extensions (FD, AP), p. 6.
CGOCGO-2011-HundtRTV #architecture #named
MAO — An extensible micro-architectural optimizer (RH, ER, MT, NV), pp. 1–10.
SOSPSOSP-2011-ErlingssonPPB #clustering #distributed #kernel #named
Fay: extensible distributed tracing from kernels to clusters (ÚE, MP, SP, MB), pp. 311–326.
SOSPSOSP-2011-MickensD #execution #named #robust #web
Atlantis: robust, extensible execution environments for web applications (JWM, MD), pp. 217–231.
CADECADE-2011-Claessen #automation #first-order #logic #reasoning
The Anatomy of Equinox — An Extensible Automated Reasoning Tool for First-Order Logic and Beyond — (Talk Abstract) (KC), pp. 1–3.
ICLPICLP-2011-Brik #programming #set
Extensions of Answer Set Programming (AB), pp. 261–267.
RTARTA-2011-Rose #combinator #named #reduction
CRSX — Combinatory Reduction Systems with Extensions (KHR), pp. 81–90.
VMCAIVMCAI-2011-BrilloutKRW #quantifier
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (AB, DK, PR, TW), pp. 88–102.
ECSAECSA-2010-RuscioMMPP #architecture #framework #named
ByADL: An MDE Framework for Building Extensible Architecture Description Languages (DDR, IM, HM, PP, AP), pp. 527–531.
ASEASE-2010-BiegelD #api #clone detection #detection #flexibility #implementation #named
JCCD: a flexible and extensible API for implementing custom code clone detectors (BB, SD), pp. 167–168.
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.
SIGMODSIGMOD-2010-LevandoskiMKK #evaluation
A demonstration of FlexPref: extensible preference evaluation inside the DBMS engine (JJL, MFM, MEK, VRK), pp. 1247–1250.
VLDBVLDB-2010-CanimMBRL #database
SSD Bufferpool Extensions for Database Systems (MC, GAM, BB, KAR, CAL), pp. 1435–1446.
ICSMEICSM-2010-LiQJW #automation #generative #graph #testing
Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph (BL, DQ, SJ, DW), pp. 1–10.
ICSMEICSM-2010-Perin #assessment #named #smalltalk
MooseJEE: A moose extension to enable the assessment of JEAs (FP), pp. 1–4.
MSRMSR-2010-DAmbrosLR #comparison #debugging #predict
An extensive comparison of bug prediction approaches (MD, ML, RR), pp. 31–41.
WCREWCRE-2010-BiegelD #clone detection #configuration management #detection
Highly Configurable and Extensible Code Clone Detection (BB, SD), pp. 237–241.
WCREWCRE-2010-GreilerGD #comprehension #perspective #plugin #testing
Understanding Plug-in Test Suites from an Extensibility Perspective (MG, HGG, AvD), pp. 67–76.
PLDIPLDI-2010-TatlockL #compilation
Bringing extensibility to verified compilers (ZT, SL), pp. 111–121.
STOCSTOC-2010-LeightonM
Extensions and limits to vertex sparsification (FTL, AM), pp. 47–56.
LATALATA-2010-KasprzikK #learning #string #using
String Extension Learning Using Lattices (AK, TK), pp. 380–391.
SEFMSEFM-2010-HussainL #ml #named #runtime #specification
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties (FH, GTL), pp. 63–72.
AdaEuropeAdaEurope-2010-HongHBB #ada #named #programming #type system
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 (GH, KH, BB, JB), pp. 208–221.
CAiSECAiSE-2010-GrossniklausLSN #adaptation #data transformation #metamodelling
Dynamic Metamodel Extension Modules to Support Adaptive Data Management (MG, SL, AdS, MCN), pp. 363–377.
ICPRICPR-2010-LewandowskiRMN #reduction
Temporal Extension of Laplacian Eigenmaps for Unsupervised Dimensionality Reduction of Time Series (ML, JMdR, DM, JCN), pp. 161–164.
ICPRICPR-2010-QiuPVLL #performance #recognition #representation #robust
A Fast Extension for Sparse Representation on Robust Face Recognition (HQ, DSP, SV, WL, JHL), pp. 1023–1027.
KDIRKDIR-2010-LieglGSH #automation #detection #sentiment #taxonomy
Dictionary Extension for Improving Automated Sentiment Detection (JL, SG, AS, AHH), pp. 404–407.
KDIRKDIR-2010-ZakourSMM #constraints
Time Constraints Extension on Frequent Sequential Patterns (ABZ, MS, SM, MM), pp. 281–287.
KEODKEOD-2010-AbouenourBR #on the
On the Extension of Arabic Wordnet Named Entities and Its Impact on Question / Answering (LA, KB, PR), pp. 424–429.
KEODKEOD-2010-CruanesGR #automation #development #ontology
Proposal of a Methodological and Technological Development for Automatic Ontology Extension (JC, RMG, MTRF), pp. 471–475.
SEKESEKE-2010-BaratK #approach #code generation #configuration management #development #modelling
Developing configurable extensible code generators for model-driven development approach (SB, VK), pp. 577–582.
SEKESEKE-2010-SubburajU #design #specification
Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language (VHS, JEU), pp. 668–671.
SEKESEKE-2010-Wang10a
Temporal Filter: A Temporal Extension to Wireshark Display Filter (Short Paper) (SW), pp. 421–424.
ECMFAECMFA-2010-EllnerADJKP #behaviour #modelling #named
eSPEM — A SPEM Extension for Enactable Behavior Modeling (RE, SAH, JD, MJ, DK, MP), pp. 116–131.
SACSAC-2010-RajgarhiaG #file system #performance
Performance and extension of user space file systems (AR, AG), pp. 206–213.
SACSAC-2010-RyuLYS #clustering #file system
Flash-aware cluster allocation method based on filename extension for FAT file system (SR, CL, SY, SS), pp. 502–509.
ICSEICSE-2010-BangPEMKRP #collaboration #framework #modelling #named
CoDesign: a highly extensible collaborative software modeling framework (JYB, DP, GE, NM, NNK, GMR, SP), pp. 243–246.
LDTALDTA-J-2007-WykBGK #attribute grammar #named
Silver: An extensible attribute grammar system (EVW, DB, JG, LK), pp. 39–54.
LDTALDTA-2009-AndersenB10 #algebra
Syntactic Language Extension via an Algebra of Languages and Transformations (JA, CB), pp. 19–35.
SLESLE-2010-HerrmannsdoerferVW #co-evolution #evolution #metamodelling #modelling
An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models (MH, SV, GW), pp. 163–182.
CCCC-2010-NaeemLR #algorithm
Practical Extensions to the IFDS Algorithm (NAN, OL, JR), pp. 124–144.
OSDIOSDI-2010-PopaERS #network #rule-based
Building Extensible Networks with Rule-Based Forwarding (LP, NE, SR, IS), pp. 379–392.
CAVCAV-2010-FerranteMNPS #model checking
A NuSMV Extension for Graded-CTL Model Checking (AF, MM, MN, MP, FS), pp. 670–673.
CSLCSL-2010-SternagelT #dependence #proving #termination
Signature Extensions Preserve Termination — An Alternative Proof via Dependency Pairs (CS, RT), pp. 514–528.
IJCARIJCAR-2010-Kazakov #axiom #logic
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ (YK), pp. 472–486.
IJCARIJCAR-2010-MagkaKH #data type #logic
Tractable Extensions of the Description Logic EL with Numerical Datatypes (DM, YK, IH), pp. 61–75.
LICSLICS-2010-BojanczykL #automaton #xpath
An Extension of Data Automata that Captures XPath (MB, SL), pp. 243–252.
CASECASE-2009-PattanaikC #approach #ecosystem
Services innovation — digital ecosystem approach to dissemination and co-creation of knowledge for Indian Agriculture Extension Services (DP, JC), pp. 65–70.
DACDAC-2009-KluterBIC #automation #set
Way Stealing: cache-assisted automatic instruction set extensions (TK, PB, PI, EC), pp. 31–36.
DACDAC-2009-WalravensVD #analysis #modelling #named #performance
ActivaSC: a highly efficient and non-intrusive extension for activity-based analysis of SystemC models (CW, YV, WD), pp. 172–177.
DATEDATE-2009-ChangBM #design #using
Customizing IP cores for system-on-chip designs using extensive external don’t-cares (KHC, VB, ILM), pp. 582–585.
DATEDATE-2009-GaluzziTMB #algorithm #automation
Algorithms for the automatic extension of an instruction-set (CG, DT, RM, KB), pp. 548–553.
DATEDATE-2009-MadlenerMH #named #performance
SC-DEVS: An efficient SystemC extension for the DEVS model of computation (FM, HGM, SAH), pp. 1518–1523.
DATEDATE-2009-MarongiuB #memory management #performance
Efficient OpenMP support and extensions for MPSoCs with explicitly managed memory hierarchy (AM, LB), pp. 809–814.
DocEngDocEng-2009-Lumley #automation #diagrams #xml
Automated extensible XML tree diagrams (JWL), pp. 123–126.
ICDARICDAR-2009-WangC #bound #detection #documentation #image
Logo Detection in Document Images Based on Boundary Extension of Feature Rectangles (HW, YC), pp. 1335–1339.
SIGMODSIGMOD-2009-McSherry #data analysis #framework #privacy #query
Privacy integrated queries: an extensible platform for privacy-preserving data analysis (FM), pp. 19–30.
SIGMODSIGMOD-2009-WaasH #query
Parallelizing extensible query optimizers (FMW, JMH), pp. 871–878.
DLTDLT-2009-CzeizlerCKS #pseudo #word
An Extension of the Lyndon Schützenberger Result to Pseudoperiodic Words (EC, EC, LK, SS), pp. 183–194.
LATALATA-2009-AbdullaDB #comparison #petri net
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (PAA, GD, LVB), pp. 71–82.
CAiSECAiSE-2009-UbayashiONY #aspect-oriented #modelling
An Extensible Aspect-Oriented Modeling Environment (NU, GO, KN, JY), pp. 17–31.
ICEISICEIS-DISI-2009-TapucuAJU #database #ontology
An Extension of Ontology based Databases to Handle Preferences (DT, YAA, SJ, MOÜ), pp. 208–213.
ICEISICEIS-ISAS-2009-OhmoriK #approach #development #enterprise #invariant
Enterprise System Development with Invariant Preserving — A Mathematical Approach by the Homotopy Lifting and Extension Properties (KO, TLK), pp. 116–123.
ICEISICEIS-J-2009-AliPTD #data flow #distributed #framework #named #semistructured data #xquery
DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources (MIA, RP, HLT, SD), pp. 172–183.
ICEISICEIS-J-2009-MullerKEHZ #as a service #enterprise #multitenancy
Customizing Enterprise Software as a Service Applications: Back-End Extension in a Multi-tenancy Environment (JM, JK, SE, MH, AZ), pp. 66–77.
KDIRKDIR-2009-Chmielewski #3d #concept #interactive #interface #metadata
Building Extensible 3D Interaction Metadata with Interaction Interface Concept (JC), pp. 160–167.
KMISKMIS-2009-SaxenaDDW #named #scalability #web
Tarantula — A Scalable and Extensible Web Spider (AS, KD, SKD, IW), pp. 167–172.
SEKESEKE-2009-Al-SharifJ #architecture #debugging #multi
A Multi-agent Debugging Extension Architecture (ZAS, CLJ), pp. 194–199.
ECMFAECMDA-FA-2009-SodenE #ocl #revisited
Temporal Extensions of OCL Revisited (MS, HE), pp. 190–205.
MODELSMoDELS-2009-Chimiak-Opoka #constraints #ocl
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MODELSMoDELS-2009-Chimiak-Opoka #constraints #ocl
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
ECOOPECOOP-2009-EugsterJ #correlation #java #named
EventJava: An Extension of Java for Event Correlation (PTE, KRJ), pp. 570–594.
OOPSLAOOPSLA-2009-BloomFNORSVW #concurrent #named #robust #virtual machine
Thorn: robust, concurrent, extensible scripting on the JVM (BB, JF, NN, , GR, RS, JV, TW), pp. 117–136.
TOOLSTOOLS-EUROPE-2009-CaronCMV #adaptation #component #framework #functional
A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers (OC, BC, AM, GV), pp. 215–230.
TOOLSTOOLS-EUROPE-2009-SanchezJVD #modelling #process
Extensibility in Model-Based Business Process Engines (MES, CJ, JV, DD), pp. 157–174.
SACSAC-2009-AhulloLAA #network #simulation
An extensible simulation tool for overlay networks and services (JPA, PGL, MSA, MAA), pp. 2072–2076.
SACSAC-2009-Al-SharifJ #debugging
An extensible source-level debugger (ZAS, CJ), pp. 543–544.
SACSAC-2009-LombardiP #kernel #linux #named #security #virtual machine
KvmSec: a security extension for Linux kernel virtual machines (FL, RDP), pp. 2029–2034.
ICSEICSE-2009-GousiosS #framework #monitoring #quality
Alitheia Core: An extensible software quality monitoring platform (GG, DS), pp. 579–582.
SLESLE-2009-Bagge
Yet Another Language Extension Scheme (AHB), pp. 123–132.
CCCC-2009-MyreenSG #compilation
Extensible Proof-Producing Compilation (MOM, KS, MJCG), pp. 2–16.
CADECADE-2009-NicoliniRR
Combinable Extensions of Abelian Groups (EN, CR, MR), pp. 51–66.
CADECADE-2009-Sofronie-Stokkermans #locality
Locality Results for Certain Extensions of Theories with Bridging Functions (VSS), pp. 67–83.
CAVCAV-2009-JoshiNPS #concurrent #framework #named #source code #testing
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs (PJ, MN, CSP, KS), pp. 675–681.
CSLCSL-2009-Rabinovich #decidability #problem
Decidable Extensions of Church’s Problem (AR), pp. 424–439.
VMCAIVMCAI-2009-Maier
Deciding Extensions of the Theories of Vectors and Bags (PM), pp. 245–259.
ASEASE-2008-UbayashiONYT #named #uml
AspectM: UML-Based Extensible AOM Language (NU, GO, KN, JY, TT), pp. 501–502.
DACDAC-2008-LuSHWX #effectiveness #multi #optimisation
Customizing computation accelerators for extensible multi-issue processors with effective optimization techniques (YSL, LS, LH, ZW, NX), pp. 197–200.
DACDAC-2008-Trihy #challenge #library
Addressing library creation challenges from recent Liberty extensions (RT), pp. 474–479.
DATEDATE-2008-BauerSKH #embedded #runtime #set
Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set (LB, MS, SK, JH), pp. 752–757.
DATEDATE-2008-WolinskiK #automation #configuration management
Automatic Selection of Application-Specific Reconfigurable Processor Extensions (CW, KK), pp. 1214–1219.
DATEDATE-2008-WuCSC #architecture #multi #set
Instruction Set Extension Exploration in Multiple-Issue Architecture (IWW, ZYC, JJJS, CPC), pp. 764–769.
SIGMODSIGMOD-2008-BlakeleyRKPHK #database #dot-net #programmable #sql
.NET database programmability and extensibility in microsoft SQL server (JAB, VR, IK, AP, MH, CK), pp. 1087–1098.
ITiCSEITiCSE-2008-SalterD #logic #multi #scalability #using
Using DLSim 3: a scalable, extensible, multi-level logic simulator (RMS, JLD), p. 315.
MSRMSR-2008-HataMK #precise #using
An extension of fault-prone filtering using precise training and a dynamic threshold (HH, OM, TK), pp. 89–98.
SCAMSCAM-2008-ClarkSW #java
Beyond Annotations: A Proposal for Extensible Java (XJ) (TC, PS, JSW), pp. 229–238.
PEPMPEPM-2008-VolanschiR #tool support
Unparsed patterns: easy user-extensibility of program manipulation tools (NV, CR), pp. 111–121.
STOCSTOC-2008-ManokaranNRS #metric #multi
Sdp gaps and ugc hardness for multiway cut, 0-extension, and metric labeling (RM, JN, PR, RS), pp. 11–20.
IFLIFL-2008-Jaskelioff #library #monad #named
Monatron: An Extensible Monad Transformer Library (MJ), pp. 233–248.
SOFTVISSOFTVIS-2008-AnslowNMB #3d #using #visualisation #web
Web software visualization using extensible 3D (X3D) graphics (CA, JN, SM, RB), pp. 213–214.
ICEISICEIS-DISI-2008-PapastefanatosVSAPV #automation #database #evolution
Language Extensions for the Automation of Database Schema Evolution (GP, PV, AS, KA, FP, YV), pp. 74–81.
ICEISICEIS-ISAS2-2008-FranciscoMMMP #modelling #process #semantics
Methodological Extensions for Semantic Business Process Modeling (DdFM, IM, JM, HM, NP), pp. 410–415.
CIKMCIKM-2008-KimC #multi #sql
SQL extension for exploring multiple tables (SJK, JJC), pp. 1331–1332.
CIKMCIKM-2008-KimPAG #clustering #documentation
An extension of PLSA for document clustering (YMK, JFP, MRA, PG), pp. 1345–1346.
ICMLICML-2008-BowlingJBS #evaluation #game studies
Strategy evaluation in extensive games with importance sampling (MHB, MJ, NB, DS), pp. 72–79.
ICPRICPR-2008-SteinbisVH
New extensions of the 3-simplex for exterior orientation (JMS, TV, WAH), pp. 1–5.
KRKR-2008-LianW #reduction
Computing Default Extensions by Reductions on OR (EHL, AW), pp. 496–506.
SEKESEKE-2008-QayyumO #architecture #dot-net
.NET Extensions to the p-architecture Description Languages (ZQ, FO), pp. 244–249.
SIGIRSIGIR-2008-AlonsoT
Structuring collections with Scatter/Gather extensions (OA, JT), pp. 697–698.
SIGIRSIGIR-2008-DamianiMP #flexibility #query #xml #xpath
A flexible extension of XPath to improve XML querying (ED, SM, GP), pp. 849–850.
ECOOPECOOP-2008-BruckerW #modelling #object-oriented
Extensible Universes for Object-Oriented Data Models (ADB, BW), pp. 438–462.
ECOOPECOOP-2008-ChinM #interactive #state machine
An Extensible State Machine Pattern for Interactive Applications (BC, TDM), pp. 566–591.
OOPSLAOOPSLA-2008-SchaferEM #java
Sound and extensible renaming for java (MS, TE, OdM), pp. 277–294.
POPLPOPL-2008-AlaviGG #encoding
Extensible encoding of type hierarchies (HSA, SG, RG), pp. 349–358.
SACSAC-2008-NishizawaC #java #refinement
A small extension to Java for class refinement (MN, SC), pp. 160–165.
SACSAC-2008-ShiguemoriVS #approach #network #retrieval
Atmospheric temperature retrieval from satellite data: new non-extensive artificial neural network approach (EHS, HFdCV, JDSdS), pp. 1688–1692.
FSEFSE-2008-DagenaisO #automation #framework
Automatically locating framework extension examples (BD, HO), pp. 203–213.
ICSEICSE-2008-GveroGL #java
State extensions for java pathfinder (TG, MG, SL, Md, DM, SK), pp. 863–866.
LDTALDTA-2007-WykBGK08 #attribute grammar #named
Silver: an Extensible Attribute Grammar System (EVW, DB, JG, LK), pp. 103–116.
ASPLOSASPLOS-2008-CoxBCKK #compilation #programming
Xoc, an extension-oriented compiler for systems programming (RC, TB, ATC, MFK, EK), pp. 244–254.
LICSLICS-2008-Duris #theorem
Hypergraph Acyclicity and Extension Preservation Theorems (DD), pp. 418–427.
FATESTestCom-FATES-2008-MerayoNR #named
THOTL: A Timed Extension of HOTL (MGM, MN, IR), pp. 86–102.
DACDAC-2007-BhattacharyaRS #process
Language Extensions to SystemC: Process Control Constructs (BB, JR, SS), pp. 35–38.
DATEDATE-2007-AtasuDMLOD #constraints #optimisation
Optimizing instruction-set extensible processors under data bandwidth constraints (KA, RGD, OM, WL, CCÖ, GD), pp. 588–593.
DATEDATE-2007-BonziniP #automation #polynomial #set
Polynomial-time subgraph enumeration for automated instruction set extension (PB, LP), pp. 1331–1336.
DATEDATE-2007-NooriMMIG #adaptation #generative #interactive #multi
Interactive presentation: Generating and executing multi-exit custom instructions for an adaptive extensible processor (HN, FM, KM, KI, MG), pp. 325–330.
DocEngDocEng-2007-ThompsonKS #declarative #xml
Declarative extensions of XML languages (SJT, PRK, PS), pp. 89–91.
SIGMODSIGMOD-2007-GuptaYDGS #data-driven #personalisation #web
User-centric personalized extensibility for data-driven web applications (NG, FY, AJD, JG, JS), pp. 1125–1127.
WRLAWRLA-J-2004-CervesatoS07 #dependent type #logic #representation #specification
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (IC, MOS), pp. 3–35.
FASEFASE-2007-GaoHW #flexibility #modelling
Flexible and Extensible Notations for Modeling Languages (JG, MPEH, EVW), pp. 102–116.
TACASTACAS-2007-AnandPV #execution #java #named #symbolic computation
JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.
DLTDLT-2007-EsparzaKL
An Extension of Newton’s Method to ω-Continuous Semirings (JE, SK, ML), pp. 157–168.
ICFPICFP-2007-SymeNM #lightweight #pattern matching
Extensible pattern matching via a lightweight language extension (DS, GN, JM), pp. 29–40.
LISPILC-2007-HiraishiYY #c #experience #implementation
Experience with SC: transformation-based implementation of various extensions to C (TH, MY, TY), p. 20.
LISPILC-2007-RepenningI #lisp
X-expressions in XMLisp: S-expressions and extensible markup language unite (AR, AI), p. 23.
LISPILC-2007-Rhodes #lisp #sequence
User-extensible sequences in common Lisp (CR), p. 13.
HCIHCI-AS-2007-ZhangZCMM #automation #named
HOPE: Extensible System for Automatic & Periodic Diagnosis of Offshore Software Project (XZ, LZ, MC, SM, RM), pp. 807–815.
HCIHIMI-MTT-2007-IshizuGNI #ontology #set
Rough Ontology: Extension of Ontologies by Rough Sets (SI, AG, YN, YI), pp. 456–462.
AdaEuropeAdaEurope-2007-SinghoffP #ada #empirical #library #towards
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar (FS, AP), pp. 180–191.
CAiSECAiSE-2007-EnglebertH #automation #tool support #towards
Towards More Extensible MetaCASE Tools (VE, PH), pp. 454–468.
ICEISICEIS-DISI-2007-FerreiraP #enterprise #information management #metadata #repository
Extensible metadata repository for information systems and enterprise applications (RF, JMP), pp. 344–350.
ICEISICEIS-DISI-2007-TraversD #graph #optimisation #perspective #xquery
An extensible rule transformation model for XQuery optimization — rules pattern for XQuery tree graph view (NT, TTDN), pp. 351–358.
ICEISICEIS-SAIC-2007-Gerlicher #approach #aspect-oriented #collaboration #framework #integration #multi #realtime
Transparent Extension of Single-User Applications to Multi-User Real-Time Collaborative Systems — An Aspect Oriented Approach to Framework Integration (ARSG), pp. 327–334.
ICMLICML-2007-NguyenG #algorithm #sequence
Comparisons of sequence labeling algorithms and extensions (NN, YG), pp. 681–688.
SIGIRSIGIR-2007-HofmannS #automation
Automatic extension of non-english wordnets (KH, EFTKS), pp. 833–834.
ECMFAECMDA-FA-2007-BarberoJGB #approach
A Practical Approach to Model Extension (MB, FJ, JG, JB), pp. 32–42.
MODELSMoDELS-2007-CuccuruMTG #semantics #uml
Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.
MODELSMoDELS-2007-CuccuruMTG #semantics #uml
Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.
ECOOPECOOP-2007-WykKBS #attribute grammar #grammarware #java
Attribute Grammar-Based Language Extensions for Java (EVW, LK, DB, AS), pp. 575–599.
OOPSLAOOPSLA-2007-BiermanMT #c# #formal method
Lost in translation: formalizing proposed extensions to c# (GMB, EM, MT), pp. 479–498.
OOPSLAOOPSLA-2007-EkmanH #compilation #jastadd #java
The jastadd extensible java compiler (TE, GH), pp. 1–18.
OOPSLAOOPSLA-2007-IgarashiV #scalability
Variant path types for scalable extensibility (AI, MV), pp. 113–132.
OOPSLAOOPSLA-2007-KojarskiL #aspect-oriented #multi #named
Awesome: an aspect co-weaving system for composing multiple aspect-oriented extensions (SK, DHL), pp. 515–534.
GPCEGPCE-2007-WykS #parsing
Context-aware scanning for parsing extensible languages (EVW, AS), pp. 63–72.
SACSAC-2007-DjelloulDF #constraints #finite #first-order #infinity #prolog #theorem proving #towards #unification #using
Toward a first-order extension of Prolog’s unification using CHR: a CHR first-order constraint solver over finite or infinite trees (KD, TBHD, TWF), pp. 58–64.
SACSAC-2007-UbayashiN #feature model #modelling
Context-aware feature-oriented modeling with an aspect extension of VDM (NU, SN), pp. 1269–1274.
GTTSEGTTSE-2007-WykM #analysis #composition #java
Adding Dimension Analysis to Java as a Composable Language Extension (EVW, YM), pp. 442–456.
ICSEICSE-2007-LeclercqOQS #architecture #tool support
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset (ML, AEÖ, VQ, JBS), pp. 209–219.
LDTALDTA-J-2003-BrabrandS #parsing
The metafront system: Safe and extensible parsing and transformation (CB, MIS), pp. 2–20.
LDTALDTA-J-2003-Wyk #aspect-oriented #composition #implementation #programming
Implementing aspect-oriented programming constructs as modular language extensions (EVW), pp. 38–61.
LCTESLCTES-2007-BennettMFT #automation #embedded #set #text-to-text
Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems (RVB, ACM, BF, NPT), pp. 83–92.
CADECADE-2007-LutzW #lightweight #logic
Conservative Extensions in the Lightweight Description Logic EL (CL, FW), pp. 84–99.
ICLPICLP-2007-Weert #implementation
Extension and Implementation of CHR (PVW), pp. 466–468.
CASECASE-2006-LiLWC #automation #component #equation #generative #graph #linear #using
Automatic Generation of Component-level Dynamic Equations Using Extensible Element Linear Graph Method (YL, ZL, HW, YC), pp. 118–123.
DACDAC-2006-JayaseelanLM
Exploiting forwarding to improve data bandwidth of instruction-set extensions (RJ, HL, TM), pp. 43–48.
DACDAC-2006-WangDC #approach #named #scheduling #tool support
ExtensiveSlackBalance: an approach to make front-end tools aware of clock skew scheduling (KW, LD, XC), pp. 951–954.
DATEDATE-2006-LeupersKKP #configuration management #design #embedded #set #synthesis
A design flow for configurable embedded processors based on optimized instruction set extension synthesis (RL, KK, SK, MP), pp. 581–586.
SIGMODSIGMOD-2006-PapaemmanouilACJY #optimisation
Extensible optimization in overlay dissemination trees (OP, YA, , JJ, YY), pp. 611–622.
SIGMODSIGMOD-2006-PapaemmanouilACJY06a #named
XPORT: extensible profile-driven overlay routing trees (OP, YA, , JJ, YY), pp. 769–771.
ITiCSEITiCSE-2006-PatersonHN #design pattern #ide
A design patterns extension for the BlueJ IDE (JHP, JH, MN), pp. 280–284.
CSMRCSMR-2006-EichbergGMMS #framework #named
QScope: an Open, Extensible Framework for Measuring Software Projects (ME, DG, MM, LM, TS), pp. 113–122.
ICPCICPC-2006-MoiseWHH #reverse engineering #scripting language
Reverse Engineering Scripting Language Extensions (DLM, KW, HJH, DH), pp. 295–306.
ICSMEICSM-2006-StreinLLL #metamodelling #program analysis
An Extensible Meta-Model for Program Analysis (DS, RL, JL, WL), pp. 380–390.
SCAMSCAM-2006-NogueraP #java #named #programming #validation
AVal: an Extensible Attribute-Oriented Programming Validator for Java (CN, RP), pp. 175–183.
SCAMSCAM-2006-WykKBJSR #c #compilation #composition #framework #java #tool support
Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C (EVW, LK, DB, EJ, AS, PR), p. 161.
PLDIPLDI-2006-Grimm #composition #syntax
Better extensibility through modular syntax (RG), pp. 38–51.
STOCSTOC-2006-KarloffKMR #distance #metric #on the
On earthmover distance, metric labeling, and 0-extension (HJK, SK, AM, YR), pp. 547–556.
ICALPICALP-v2-2006-LohreyS
Theories of HNN-Extensions and Amalgamated Products (ML, GS), pp. 504–515.
ICALPICALP-v2-2006-Vergnaud #verification
New Extensions of Pairing-Based Signatures into Universal Designated Verifier Signatures (DV), pp. 58–69.
SEFMSEFM-2006-RaniseZ #formal method
A Theory of Singly-Linked Lists and its Extensible Decision Procedure (SR, CGZ), pp. 206–215.
ICFPICFP-2006-BlumeAC #programming
Extensible programming with first-class cases (MB, UAA, WC), pp. 239–250.
ICEISICEIS-J-2006-CalegariC06a #editing #fuzzy #ontology #towards
Towards a Fuzzy Ontology Definition and a Fuzzy Extension of an Ontology Editor (SC, DC), pp. 147–158.
CIKMCIKM-2006-BaiTWLZ #data type
A data stream language and system designed for power and extensibility (YB, HT, HW, CL, CZ), pp. 337–346.
ICPRICPR-v3-2006-KierA #classification #multi #predict
Predicting the benefit of sample size extension in multiclass k-NN classification (CK, TA), pp. 332–335.
ICPRICPR-v4-2006-EscaleraPR #fault
Forest Extension of Error Correcting Output Codes and Boosted Landmarks (SE, OP, PR), pp. 104–107.
KRKR-2006-GhilardiLW #logic #ontology
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics (SG, CL, FW), pp. 187–197.
KRKR-2006-SannerM #calculus #first-order #hybrid #logic #reasoning
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic (SS, SAM), pp. 100–111.
SEKESEKE-2006-DongSY #composition #framework #ontology #web #web service
OWL-S Ontology Framework Extension for Dynamic Web Service Composition (JD, YS, SY), pp. 544–549.
SEKESEKE-2006-PinheiroFSM #development #knowledge-based #named #web
WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-Based Systems (VP, VF, PPdS, DLM), pp. 550–555.
SEKESEKE-2006-UbayashiTSMM #aspect-oriented #collaboration #metamodelling #modelling #protocol
Aspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented Modeling (NU, TT, SS, YM, SM), pp. 4–10.
SEKESEKE-2006-YuLSH #modelling #using
Modeling Complex Software Systems Using an Aspect Extension of Object-Z (HY, DL, ZS, XH), pp. 11–16.
ECMFAECMDA-FA-2006-CuadradoMT #model transformation #named
RubyTL: A Practical, Extensible Transformation Language (JSC, JGM, MMT), pp. 158–172.
ECOOPECOOP-2006-LeeC
Parameterized Modules for Classes and Extensible Functions (KL, CC), pp. 353–378.
OOPSLAOOPSLA-2006-BravenboerTV #aspectj #declarative #syntax
Declarative, formal, and extensible syntax definition for aspectJ (MB, ÉT, EV), pp. 209–228.
GPCEGPCE-2006-LammelO #integration
Software extension and integration with type classes (RL, KO), pp. 161–170.
LOPSTRLOPSTR-2006-MoralesCH #automaton #optimisation #prolog #towards
Towards Description and Optimization of Abstract Machines in an Extension of Prolog (JFM, MC, MVH), pp. 77–93.
PPDPPPDP-2006-YuseI #generative #multi #persistent #type system
A modal type system for multi-level generating extensions with persistent code (YY, AI), pp. 201–212.
SACSAC-2006-ChongL #using
An extension of dead end elimination for protein side-chain conformation using merge-decoupling (KFC, HWL), pp. 195–199.
SACSAC-2006-KenscheSB #documentation #framework #monitoring #named #web
MonA: an extensible framework for web document monitoring (DK, CS, AB), pp. 1112–1113.
SACSAC-2006-Lecca #algorithm #probability #π-calculus
A time-dependent extension of gillespie algorithm for biochemical stochastic π-calculus (PL), pp. 137–144.
SACSAC-2006-NooriM #adaptation #embedded #evaluation #performance
Preliminary performance evaluation of an adaptive dynamic extensible processor for embedded applications (HN, KM), pp. 937–938.
ICSEICSE-2006-HuangS #aspectj
Easy language extension with meta-aspectJ (SSH, YS), pp. 865–868.
OSDIOSDI-2006-ZhouCABEHNB #named #using
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques (FZ, JC, ZRA, IB, RE, MH, GCN, EAB), pp. 45–60.
IJCARIJCAR-2006-Sofronie-Stokkermans
Interpolation in Local Theory Extensions (VSS), pp. 235–250.
MBTMBT-2006-ConradK #classification #embedded
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events (MC, AK), pp. 3–11.
ASEASE-2005-SwintPJYKWCSM #code generation #composition #flexibility #named
Clearwater: extensible, flexible, modular code generation (GSS, CP, GJ, WY, YK, QW, CC, AS, KM), pp. 144–153.
DACDAC-2005-Magee #development #matlab #realtime #testing #verification
Matlab extensions for the development, testing and verification of real-time DSP software (DPM), pp. 603–606.
DATEDATE-2005-BarrettaFSB #clustering #embedded #parallel #thread
Multithreaded Extension to Multicluster VLIW Processors for Embedded Applications (DB, WF, MS, DB), pp. 748–749.
DATEDATE-2005-BiswasBDPI #generative #named #set
ISEGEN: Generation of High-Quality Instruction Set Extensions by Iterative Improvement (PB, SB, NDD, LP, PI), pp. 1246–1251.
ICDARICDAR-2005-Miyazaki #documentation
Documents and Services: From the Historical Points of Document Media as Extension of Human Body (JM), p. 811.
ICDARICDAR-2005-TapiaR #online #recognition
Recognition of On-Line Handwritten Mathematical Expressions in the E-Chalk System — An Extension (ET, RR), pp. 1206–1210.
SIGMODSIGMOD-2005-LuoTWZ #data type #mining #sql
A native extension of SQL for mining data streams (CL, HT, HW, CZ), pp. 873–875.
WRLAWRLA-2004-CervesatoS05 #dependent type #logic #representation #specification
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types (IC, MOS), pp. 183–207.
WRLAWRLA-2004-MasonT05 #framework #interactive #maude #named
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude (IAM, CLT), pp. 315–333.
IWPCIWPC-2005-MaruyamaY #design #implementation #refactoring
Design and Implementation of an Extensible and Modifiable Refactoring Tool (KM, SY), pp. 195–204.
ICALPICALP-2005-AtseriasDG #finite
Preservation Under Extensions on Well-Behaved Finite Structures (AA, AD, MG), pp. 1437–1449.
ICALPICALP-2005-MousaviR #orthogonal #semantics
Orthogonal Extensions in Structural Operational Semantics (MRM, MAR), pp. 1214–1225.
IFMIFM-2005-MillerFMU
CZT Support for Z Extensions (TM, LF, PM, MU), pp. 227–245.
SEFMSEFM-2005-PrasetyaAVL #composition #generative #verification
Building Verification Condition Generators by Compositional Extensions (ISWBP, AA, TEJV, AvL), pp. 220–230.
ICFPICFP-2005-LammelJ #scrap your boilerplate
Scrap your boilerplate with class: extensible generic functions (RL, SLPJ), pp. 204–215.
CHICHI-2005-HudsonMS #tool support
Extensible input handling in the subArctic toolkit (SEH, JM, IES), pp. 381–390.
ICEISICEIS-v1-2005-MiatidisJ #ide #workflow
Integrating Workflow Extensions into a Process-Integrated Environment for Chemical Engineering (MM, MJ), pp. 255–260.
ICEISICEIS-v3-2005-KloseKB #integration #modelling #process #specification
Process Modelling for Service Processes — Modelling Methods Extensions for Specifying and Analysing Customer Integration (KK, RK, JB), pp. 260–265.
ECIRECIR-2005-Nottelmann #datalog #information retrieval #named #probability
PIRE: An Extensible IR Engine Based on Probabilistic Datalog (HN), pp. 260–274.
ICMLICML-2005-ShaS #analysis #reduction
Analysis and extension of spectral methods for nonlinear dimensionality reduction (FS, LKS), pp. 784–791.
MODELSMoDELS-2005-CuccuruDMB #modelling #towards #uml
Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies (AC, JLD, PM, PB), pp. 445–459.
MODELSMoDELS-2005-CuccuruDMB #modelling #towards #uml
Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies (AC, JLD, PM, PB), pp. 445–459.
LOPSTRLOPSTR-2005-SuenagaKY #approach #automation #generative #source code #type system
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives (KS, NK, AY), pp. 98–114.
PPDPPPDP-2005-MandelP #ml #named
ReactiveML: a reactive extension to ML (LM, MP), pp. 82–93.
SACSAC-2005-ForaxDR #implementation #java
Reflection-based implementation of Java extensions: the double-dispatch use-case (RF, ÉD, GR), pp. 1409–1413.
SACSAC-2005-RicciV
A timed extension of ReSpecT (AR, MV), pp. 420–427.
SACSAC-OOPS-J-2005-ForaxDR #implementation #java
Reflection-based implementation of Java extensions: the double-dispatch use-case (RF, ÉD, GR), pp. 49–69.
ESEC-FSEESEC-FSE-2005-InverardiMP #analysis #architecture #named
CHARMY: an extensible tool for architectural analysis (PI, HM, PP), pp. 111–114.
CADECADE-2005-Sofronie-Stokkermans #reasoning
Hierarchic Reasoning in Local Theory Extensions (VSS), pp. 219–234.
CAVCAV-2005-DwyerHHR #framework #model checking #using
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework (MBD, JH, MH, R), pp. 148–152.
CSLCSL-2005-BradfieldDQ #calculus #μ-calculus
Transfinite Extension of the μ-Calculus (JCB, JD, SQ), pp. 384–396.
ICLPICLP-2005-Schrijvers #analysis #constraints #optimisation #summary
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary (TS), pp. 435–436.
DACDAC-2004-BiswasCAPID #memory management #set
Introduction of local memory elements in instruction set extensions (PB, VC, KA, LP, PI, ND), pp. 729–734.
DACDAC-2004-YuM #embedded
Characterizing embedded applications for instruction-set extensible processors (PY, TM), pp. 723–728.
DATEDATE-v2-2004-CheungPHC #equivalence #named #using
MINCE: Matching INstructions Using Combinational Equivalence for Extensible Processor (NC, SP, JH, JC), pp. 1020–1027.
DocEngDocEng-2004-TroncyC
A reduced yet extensible audio-visual description language (RT, JC), pp. 87–89.
SIGMODSIGMOD-2004-HungDS #named #ontology #query #similarity
TOSS: An Extension of TAX with Ontologies and Similarity Queries (EH, YD, VSS), pp. 719–730.
SIGMODSIGMOD-2004-IdreosKT #ad hoc #named #network #query
P2P-DIET: An Extensible P2P Service that Unifies Ad-hoc and Continuous Querying in Super-Peer Networks (SI, MK, CT), pp. 933–934.
ITiCSEITiCSE-2004-PatersonH04a #design pattern #ide
A proposed design patterns extension for the blueJ IDE (JHP, JH), p. 279.
TACASTACAS-2004-RobbyRDH #framework #model checking #specification #using
Checking Strong Specifications Using an Extensible Software Model Checking Framework (R, ER, MBD, JH), pp. 404–420.
PLDIPLDI-2004-LhotakH #java #named #relational
Jedd: a BDD-based relational extension of Java (OL, LJH), pp. 158–169.
CHICHI-2004-ShenVFR #interactive #named #tool support
DiamondSpin: an extensible toolkit for around-the-table interaction (CS, FV, CF, MR), pp. 167–174.
ICEISICEIS-v3-2004-Daute #data flow #process #re-engineering #representation #uml
Representation of Business Information Flow with an Extension for UML: From Business Processes to Object-Orientated Software Engineering (OD), pp. 569–572.
CIKMCIKM-2004-RobertsonZT #multi
Simple BM25 extension to multiple weighted fields (SER, HZ, MJT), pp. 42–49.
ICMLICML-2004-JenkinsM #reduction
A spatio-temporal extension to Isomap nonlinear dimension reduction (OCJ, MJM).
ICMLICML-2004-MaheUAPV #graph #kernel
Extensions of marginalized graph kernels (PM, NU, TA, JLP, JPV).
ICPRICPR-v3-2004-RicardCB #3d #retrieval
ART Extension for Description, Indexing and Retrieval of 3D Objects (JR, DC, AB), pp. 79–82.
ICPRICPR-v4-2004-PaclikVD #algorithm #feature model #multi
Multi-Class Extensions of the GLDB Feature Extraction Algorithm for Spectral Data (PP, SV, RPWD), pp. 629–632.
UMLUML-2004-JiangSZMMM #classification #metamodelling #on the #uml
On the Classification of UML’s Meta Model Extension Mechanism (YJ, WS, LZ, ZM, XM, HM), pp. 54–68.
OOPSLAOOPSLA-2004-Fong #verification #virtual machine
Pluggable verification modules: an extensible protection mechanism for the JVM (PWLF), pp. 404–418.
OOPSLAOOPSLA-2004-NystromCM #inheritance #scalability
Scalable extensibility via nested inheritance (NN, SC, ACM), pp. 99–115.
PADLPADL-2004-ErwigF #fortran #generative #parametricity
Parametric Fortran — A Program Generator for Customized Generic Fortran Extensions (ME, ZF), pp. 209–223.
SACSAC-2004-PanagopoulosPP #attribute grammar #evaluation #hardware
A hardware extension of the RISC microprocessor for Attribute Grammar evaluation (IP, CP, GKP), pp. 897–904.
SACSAC-2004-XueguangH #contract #protocol
Further extensions of FIPA Contract Net Protocol: threshold plus DoA (XC, HS), pp. 45–51.
LCTESLCTES-2004-KastensLST #feedback
Feedback driven instruction-set extension (UK, DKL, AS, MT), pp. 126–135.
ICLPICLP-2004-Nguyen #logic programming #named #prolog
MProlog: An Extension of Prolog for Modal Logic Programming (LAN), pp. 469–470.
ASEASE-2003-ConselR #domain-specific language #programmable #robust
A Programmable Client-Server Model: Robust Extensibility via DSLs (CC, LR), pp. 70–79.
ASEASE-2003-Nassar #uml
VUML : a Viewpoint oriented UML Extension (MN), pp. 373–376.
DACDAC-2003-AtasuPI #architecture #automation #constraints
Automatic application-specific instruction-set extensions under microarchitectural constraints (KA, LP, PI), pp. 256–261.
DATEDATE-2003-FeiRRJ #energy #estimation
Energy Estimation for Extensible Processors (YF, SR, AR, NKJ), pp. 10682–10687.
DocEngDocEng-2003-RodigBSS #implementation
Preservation of digital publications: an OAIS extension and implementation (PR, UMB, JS, LS), pp. 131–139.
VLDBVLDB-2003-TorloneA #named #web
Chameleon: an Extensible and Customizable Tool for Web Data Translation (RT, PA), pp. 1085–1088.
VLDBVLDB-2003-WangZL #data mining #data type #mining #named #sql
ATLAS: A Small but Complete SQL Extension for Data Mining and Data Streams (HW, CZ, CL), pp. 1113–1116.
CSMRCSMR-2003-LohmannR #migration #towards
Towards Automatical Migration of Transformation Rules after Grammar Extension (WL, GR), pp. 30–39.
WCREWCRE-2003-KolschW #fuzzy #modelling #repository #reverse engineering
Fuzzy Extensions for Reverse Engineering Repository Models (UK, RW), pp. 113–122.
ICFPICFP-2003-Simonet #bound #data type
An extension of HM(X) with bounded existential and universal data-types (VS), pp. 39–50.
SOFTVISSOFTVIS-2003-WangWBDDHV #framework #named #visualisation
EVolve: An Open Extensible Software Visualisation Framework (QW, WW, RB, KD, BD, LJH, CV), pp. 37–46.
CAiSECAiSE-2003-KovseM #sql
Introducing Custom Language Extensions to SQL: 1999 (JK, WM), pp. 193–208.
EDOCEDOC-2003-HearndenRS #named #ocl #query
MQL: a Powerful Extension to OCL for MOF Queries (DH, KR, JS), pp. 264–277.
EDOCEDOC-2003-ParlavantzasCB #component #framework #middleware
An Extensible Binding Framework for Component-Based Middleware (NP, GC, GSB), pp. 252–263.
ICEISICEIS-v2-2003-BailonDF #fuzzy
Extension of the Box-Counting Method to Measure the Fractal Dimension of Fuzzy Data (ABB, MD, WF), pp. 185–190.
ICEISICEIS-v4-2003-ImperiaT #xml
An Extensible Tool for the Management of Heterogeneous Representations of XML Data (MI, RT), pp. 357–362.
SIGIRSIGIR-2003-ZaragozaHT #ad hoc #information retrieval
Bayesian extension to the language model for ad hoc information retrieval (HZ, DH, MET), pp. 4–9.
UMLUML-2003-JansenHK #uml
A QoS-Oriented Extension of UML Statecharts (DNJ, HH, JPK), pp. 76–91.
UMLUML-2003-Nunes #contract #ocl
An OCL Extension for Low-Coupling Preserving Contracts (IN), pp. 310–324.
OOPSLAOOPSLA-2003-MillsteinRC #composition #multi
Relaxed MultiJava: balancing extensibility and modular typechecking (TDM, MR, CC), pp. 224–240.
GPCEGPCE-2003-ZolyomiPK #c++ #metaprogramming #type system
An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming (IZ, ZP, TK), pp. 209–227.
SACSAC-2003-BreeseSMGE #analysis #array #framework #information management
Labrat LIMS: An Extensible Framework for Developing Laboratory Information Management, Analysis, and Bioinformatics Solutions for Microarrays (MRB, MJS, JNM, MWG, HJE), pp. 103–108.
SACSAC-2003-FinkO #architecture #coordination #framework
An Extensible Architecture-based Framework for Coordination Languages (TF, KO), pp. 402–406.
ESEC-FSEESEC-FSE-2003-RobbyDH #framework #model checking #named
Bogor: an extensible and highly-modular software model checking framework (R, MBD, JH), pp. 267–276.
ICSEICSE-2003-GriswoldBBT #architecture #component #framework
A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure (WGG, RTB, SWB, TMT), pp. 363–373.
LDTALDTA-2003-BrabrandSV #parsing
The metafront System: Extensible Parsing and Transformation (CB, MIS, MV), pp. 592–611.
LDTALDTA-2003-Wyk #aspect-oriented #composition
Aspects as Modular Language Extensions (EVW), pp. 555–574.
CCCC-2003-NystromCM #compilation #framework #java #named
Polyglot: An Extensible Compiler Framework for Java (NN, MRC, ACM), pp. 138–152.
ICSTSAT-2003-EenS
An Extensible SAT-solver (NE, NS), pp. 502–518.
DATEDATE-2002-PozziVI #automation #embedded #identification
Automatic Topology-Based Identification of Instruction-Set Extensions for Embedded Processors (LP, MV, PI), p. 1138.
VLDBVLDB-2002-DaynesC #flexibility #lightweight
Lightweight Flexible Isolation for Language-based Extensible Systems (LD, GC), pp. 718–729.
ESOPESOP-2002-WandW #analysis #composition #proving
A Modular, Extensible Proof Method for Small-Step Flow Analyses (MW, GBW), pp. 213–227.
FASEFASE-2002-BernardoF #architecture
Architectural Types Revisited: Extensible And/Or Connections (MB, FF), pp. 113–127.
FASEFASE-2002-DavidMY #realtime #uml #verification
Formal Verification of UML Statecharts with Real-Time Extensions (AD, MOM, WY), pp. 218–232.
ICSMEICSM-2002-HuntT
Extensible Language-Aware Merging (JJH, WFT), pp. 511–520.
SCAMSCAM-2002-HarmerW #metric #object-oriented #programming language
An Extensible Metrics Extraction Environment for Object-Oriented Programming Languages (TJH, FGW), pp. 26–35.
WCREWCRE-2002-McArthurMN #representation #source code #using #xml
An Extensible Tool for Source Code Representation Using XML (GM, JM, SKKN), p. 199–?.
PLDIPLDI-2002-BakerH #java #multi #named #syntax
Maya: Multiple-Dispatch Syntax Extension in Java (JB, WCH), pp. 270–281.
PLDIPLDI-2002-KawahitoKN #effectiveness
Effective Sign Extension Elimination (MK, HK, TN), pp. 187–198.
ICFPICFP-2002-MillsteinBC #composition #data type
Modular typechecking for hierarchically extensible datatypes and functions (TDM, CB, CC), pp. 110–122.
CIKMCIKM-2002-JamilM #object-oriented #web #xml
An object-oriented extension of XML for autonomous web applications (HMJ, GAM), pp. 161–168.
ICMLICML-2002-SaundersTS #kernel #string
Syllables and other String Kernel Extensions (CS, HT, JST), pp. 530–537.
ICPRICPR-v1-2002-KimuraW #2d #detection #invariant
An Extension of the Generalized Hough Transform to Realize Affine-Invariant Two-dimensional (2D) Shape Detection (AK, TW), pp. 65–69.
ICPRICPR-v2-2002-SatoK #gesture #markov #modelling #multi #recognition
Extension of Hidden Markov Models to Deal with Multiple Candidates of Observations and its Application to Mobile-Robot-Oriented Gesture Recognition (YS, TK), p. 515–?.
UMLUML-2002-ClarkEK #metamodelling
A Metamodel for Package Extension with Renaming (TC, AE, SK), pp. 305–320.
TOOLSTOOLS-USA-2002-PaigeKOL #automation #named #reasoning #specification
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning (RFP, LK, JSO, JL), pp. 77–96.
TOOLSTOOLS-USA-2002-PatelPS #object-oriented
Object Oriented Extension to Time Series Model (DP, SP, PS), pp. 159–171.
SACSAC-2002-WangHTN #ad hoc #network
AODV compatible routing with extensive use of cache information in ad-hoc networks (WGW, TH, MT, SN), pp. 852–859.
HPCAHPCA-2002-JamiesonB #clustering #concurrent #memory management #named #thread
CableS: Thread Control and Memory Management Extensions for Shared Virtual Memory Clusters (PJ, AB), pp. 263–274.
LICSLICS-2002-BenediktL #algebra #automaton #logic #query
Tree Extension Algebras: Logics, Automata, and Query Languages (MB, LL), p. 203–?.
SATSAT-2002-ZhaoB #equivalence #problem
Extension and equivalence problems for clause minimal formulas (XZ, HKB), p. 43.
ICTSSTestCom-2002-DaiGN #realtime
Timed TTCN-3 — A Real-time Extension for TTCN-3 (ZRD, JG, HN), pp. 407–424.
WICSAWICSA-2001-DashofyHT #architecture #xml
A Highly-Extensible, XML-Based Architecture Description Language (EMD, AvdH, RNT), pp. 103–112.
DATEDATE-2001-SiegmundM #communication #design #interface #modelling #multi #named
SystemCSV — an extension of SystemC for mixed multi-level communication modeling and interface-based system design (RS, DM), pp. 26–33.
VLDBVLDB-2001-CatozziR #operating system #parallel
Operating System Extensions for the Teradata Parallel VLDB (JC, SR), pp. 679–682.
VLDBVLDB-2001-SundaraHCAS #documentation #framework #using #xml
Developing an Indexing Scheme for XML Document Collection using the Oracle8i Extensibility Framework (SS, YH, TC, NA, JS), pp. 701–702.
ICFPICFP-2001-ZengerO #algebra #data type
Extensible Algebraic Datatypes with Defaults (MZ, MO), pp. 241–252.
IFLIFL-2001-AlimarineP #programming
A Generic Programming Extension for Clean (AA, MJP), pp. 168–185.
ICEISICEIS-v2-2001-GiachettiPR #design #modelling #object-oriented #web
Modeling Extensions for Object-Oriented Web Application Design (REG, MP, MRM), pp. 827–832.
ICEISICEIS-v2-2001-SinogasVCNMT #modelling #process #uml
Business Processes Extensions to UML Profile for Business Modeling (PS, AV, AC, JN, RM, JMT), pp. 673–678.
TOOLSTOOLS-USA-2001-HeSH #multi #refinement #requirements #standard
Extensions of Standard Z Refinement Relation for Multiple Viewpoints Oriented Requirements Method (YH, QS, QH), pp. 253–262.
SACSAC-2001-VuongSD #distributed #policy #security #using #xml
Managing security policies in a distributed environment using eXtensible markup language (XML) (NNV, GS, YD), pp. 405–411.
ICSEICSE-2001-TruyenVJVJ #component
Dynamic and Selective Combination of Extensions in Component-Based Applications (ET, BV, WJ, PV, BNJ), pp. 233–242.
CCCC-2001-SchuppGML #generative #type system
User-Extensible Simplification — Type-Based Optimizer Generators (SS, DG, DRM, SML), pp. 86–101.
HPDCHPDC-2001-SchuchardtMS #authoring #data transformation #distributed #open data #problem #version control
Open Data Management Solutions for Problem Solving Environments: Application of Distributed Authoring and Versioning to the Extensible Computational Chemistry Environment (KS, JDM, EGS), p. 228–?.
CSLCSL-2001-Finkel #automaton #effectiveness
An Effective Extension of the Wagner Hierarchy to Blind Counter Automata (OF), pp. 369–383.
CSLCSL-2001-Klaedtke
Decision Procedure for an Extension of WS1S (FK), pp. 384–398.
IJCARIJCAR-2001-DoutreM #framework #query
Preferred Extensions of Argumentation Frameworks: Query Answering and Computation (SD, JM), pp. 272–288.
RTARTA-2001-Ringeissen #question
Matching with Free Function Symbols — A Simple Extension of Matching? (CR), pp. 276–290.
SIGMODSIGMOD-2000-BressanGOT #approach #policy
Integrating Replacement Policies in StorM: An Extensible Approach (CLG, BCO, SB, KLT), p. 599.
SIGMODSIGMOD-2000-Galhardas #ajax #named
AJAX: An Extensible Data Cleaning Tool (HG, DF, DS, ES), p. 590.
SIGMODSIGMOD-2000-RodriguezR #data flow #database #distributed #middleware #named #self
MOCHA: A Self-Extensible Database Middleware System for Distributed Data Sources (MRM, NR), pp. 213–224.
SIGMODSIGMOD-2000-RoySSB #algorithm #multi #optimisation #performance #query
Efficient and Extensible Algorithms for Multi Query Optimization (PR, SS, SS, SB), pp. 249–260.
SIGMODSIGMOD-2000-YangYW #named
TIP: A Temporal Extension to Informix (JY, HCY, JW), p. 596.
ITiCSEITiCSE-2000-KoldehofePT #algorithm #animation #distributed #education
LYDIAN (poster session): an extensible educational animation environment for distributed algorithms (BK, MP, PT), p. 189.
TACASTACAS-2000-XiongL #component #design #type system
An Extensible Type System for Component-Based Design (YX, EAL), pp. 20–37.
CIAACIAA-2000-FarreG #parsing
A Basis for Looping Extensions to Discriminating-Reverse Parsing (JF, JFG), pp. 122–134.
IFMIFM-2000-BaumeisterZ
State-Based Extensions of CASL (HB, AVZ), pp. 3–24.
IFLIFL-2000-HanusHN #declarative #multi #named #object-oriented
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry (MH, FH, PN), pp. 89–106.
CAiSECAiSE-2000-LuMH #towards #xml
Towards Extensible Information Brokers Based on XML (JL, JM, JH), pp. 32–46.
CAiSECAiSE-2000-TombrosG #framework #using #workflow
Building Extensible Workflow Systems Using an Event-Based Infrastructure (DT, AG), pp. 325–339.
CIKMCIKM-2000-MiuraMSW
Extensible Perfect Hashing (TM, WM, IS, YW), pp. 446–452.
ICPRICPR-v2-2000-Fernau #n-gram
k-gram Extensions of Terminal Distinguishable Languages (HF), pp. 2125–2128.
ICPRICPR-v2-2000-Figueiredo #approximate #learning #on the
On Gaussian Radial Basis Function Approximations: Interpretation, Extensions, and Learning Strategies (MATF), pp. 2618–2621.
KRKR-2000-LangM
In search of the right extension (JL, PM), pp. 625–636.
UMLUML-2000-AmyotM #case study #concept #on the #uml
On the Extension of UML with Use Case Maps Concepts (DA, GM), pp. 16–31.
UMLUML-2000-BrennerD #uml
UML Extensions for ASAM-GDI Device Capability Description (EB, ID), pp. 148–161.
UMLUML-2000-Clarke #design #modelling #uml
Composing Design Models: An Extension to the UML (SC), pp. 338–352.
ECOOPECOOP-2000-AnconaLZ #java #mixin #named
Jam — A Smooth Extension of Java with Mixins (DA, GL, EZ), pp. 154–178.
TOOLSTOOLS-EUROPE-2000-ParssinenKHOT #case study #experience #protocol #uml
UML for Protocol Engineering — Extensions and Experiences (JP, NvK, JH, TO, MT), pp. 82–93.
TOOLSTOOLS-PACIFIC-2000-JacobsenK #interface #modelling
Modeling Interface Definition Language Extensions (HAJ, BJK), pp. 242–252.
TOOLSTOOLS-USA-2000-SilveiraM00a #component
A Metacomponent Model to Support the Extensibility and Evolvability of Networked Applications (GEdS, SRdLM), pp. 185–194.
GPCESAIG-2000-CalcagnoM #imperative #multi
Multi-Stage Imperative Languages: A Conservative Extension Result (CC, EM), pp. 92–107.
SACSAC-2000-LichtnerAC #architecture
An Extensible Model of Architecture Description (KL, PSCA, DDC), pp. 156–165.
SACSAC-2000-RiccardiED
Managing Scientific Computations with a Java-based Schema Extension Facility (GAR, SJEI, LD), pp. 105–110.
LCTESLCTES-2000-JeonKHK #corba #embedded #fault tolerance
A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems (GJ, THK, SH, SK), pp. 114–133.
OSDIOSDI-2000-EnglerCCH #compilation #using
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (DRE, BC, AC, SH), pp. 1–16.
DATEDATE-1999-ZhuG #design #named
OpenJ: An Extensible System Level Design Language (JZ, DG), pp. 480–484.
SIGMODSIGMOD-1999-MayrS #query
Client-Site Query Extensions (TM, PS), pp. 347–358.
VLDBVLDB-1999-JaedickeM
User-Defined Table Operators: Enhancing Extensibility for ORDBMS (MJ, BM), pp. 494–505.
VLDBVLDB-1999-Kornacker
High-Performance Extensible Indexing (MK), pp. 699–708.
FASEFASE-1999-FokkinkV #legacy #term rewriting
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories (WF, CV), pp. 98–113.
TACASTACAS-1999-ParnasP #tool support
An Easily Extensible Toolset for Tabular Mathematical Expressions (DLP, DKP), pp. 345–359.
FMFM-v2-1999-DunstanKML #formal method
Formal Methods for Extensions to CAS (MD, TK, UM, SL), pp. 1758–1777.
HCIHCI-EI-1999-FarencP #architecture #performance
An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules (CF, PAP), pp. 1038–1042.
HCIHCI-EI-1999-SakuradaBN #education
Extension of the IdeaBoard for Educational Applications (TS, HB, MN), pp. 213–217.
AdaEuropeAdaEurope-1999-Jimenez-PerisPBA #parallel #performance #thread
Efficient and Extensible Multithreaded Remote Servers (RJP, MPM, FJB, SA), pp. 91–102.
AdaEuropeAdaEurope-1999-MirandaGMG #ada #empirical #how
How to Modify the GNAT Frontend tp Experiment with Ada Extensions (FJMG, FGS, JM, AG), pp. 226–237.
EDOCEDOC-1999-OrvalhoFB #corba #multi #protocol #reliability
Evaluating light-weight reliable multicast protocol extensions to the CORBA event service (JO, LF, FB), pp. 255–261.
UMLUML-1999-BaumeisterKM #design #hypermedia #towards #uml
Towards a UML Extension for Hypermedia Design (HB, NK, LM), pp. 614–629.
UMLUML-1999-DSouzaSB #uml
First-Class Extensibility for UML-Profiles, Stereotypes, Patterns (DD, AS, AB), pp. 265–277.
UMLUML-1999-DykmanGK #uml
Nine Suggestions for Improving UML Extensibility (ND, MLG, RRK), pp. 236–248.
TOOLSTOOLS-ASIA-1999-JuCC #design #implementation
Extensible Motor of a Object-Relational DBMS: Design and Implementation (SgJ, SVC, WhC), pp. 372–379.
TOOLSTOOLS-EUROPE-1999-CzajkowskiE #internet
Internet Servers, Safe-Language Extensions, and Structured Resource Control (GC, TvE), pp. 295–304.
TOOLSTOOLS-EUROPE-1999-Mikhajlova99a #component #consistency #invariant
Consistent Extension of Components in the Presence of Explicit Invariants (AM), pp. 76–85.
LOPSTRLOPSTR-1999-LammelRL
Roles of Program Extension (RL, GR, WL), pp. 136–155.
ICSEICSE-1999-Rechtin #architecture
The Extension of Systems Architecting to the Architecting of Organizations (ER), p. 622.
SOSPSOSP-1999-ChiuehVP #performance #segmentation
Integrating segmentation and paging protection for safe, efficient and transparent software extensions (TcC, GV, PP), pp. 140–153.
DATEDATE-1998-Mrva #object-oriented #reuse
Enhanced Reuse and Teamwork Capabilities for an Object-oriented Extension of VHDL (MM), pp. 250–256.
HTHT-1998-YangK #named #transaction #web
JPernLite: An Extensible Transaction Server for the World Wide Web (JJY, GEK), pp. 256–266.
SIGMODSIGMOD-1998-GodfreySE #database
Secure and Portable Database Extensibility (MWG, TM, PS, TvE), pp. 390–401.
SIGMODSIGMOD-1998-ParkKKLPC #in memory #named
Xmas: An Extensible Main-Memory Storage System for High-Performance Applications (JHP, YSK, KHK, SL, BDP, SKC), pp. 578–580.
VLDBVLDB-1998-LakshmiZ #approach #database #estimation #network
Selectivity Estimation in Extensible Databases — A Neural Network Approach (MSL, SZ), pp. 623–627.
WRLAWRLA-1998-DuranM #algebra #maude
An extensible module algebra for Maude (FD, JM), pp. 174–195.
WCREWCRE-1998-LinO #comprehension #flexibility #named
FEPSS: A Flexible and Extensible Program Comprehension Support System (TL, LO), pp. 40–49.
STOCSTOC-1998-PeinadoL #embedded #generative #graph #random
Random Generation of Embedded Graphs and an Extension to Dobrushin Uniqueness (Extended Abstract) (MP, TL), pp. 176–185.
ICALPICALP-1998-HusfeldtR #problem
Hardness Results for Dynamic Problems by Extensions of Fredman and Saks’ Chronogram Method (TH, TR), pp. 67–78.
CSCWCSCW-1998-TrevorRS #architecture
Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes (JT, TR, GS), pp. 119–128.
AdaEuropeAdaEurope-1998-Patino-MartinezJA #ada #fault tolerance #transaction
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada (MPM, RJP, SA), pp. 78–89.
AdaSIGAda-1998-KiddleW
Extensible Protected Types (OPK, AJW), pp. 229–239.
CAiSECAiSE-1998-SteinerKN #java #named
OMS/Java: Model Extensibility of OODBMS for Advanced Application Domains (AS, AK, MCN), pp. 115–138.
CIKMCIKM-1998-ClaypoolJR #flexibility #framework #named
SERF: Schema Evalution through an Extensible, Re-usable and Flexible Framework (KTC, JJ, EAR), pp. 314–321.
KRKR-1998-WilliamsA
A Strategy for Revising Default Theory Extensions (MAW, GA), pp. 24–35.
UMLUML-1998-LesterWB #reuse #uml
Applying UML Extensions to Facilitate Software Reuse (NGL, FGW, DWB), pp. 393–405.
UMLUML-1998-SeemannG #diagrams #realtime #sequence chart #uml
Extension of UML Sequence Diagrams for Real-Time Systems (JS, JWvG), pp. 240–252.
ECOOPECOOP-1998-BonoF #calculus #first-order #imperative
An Imperative, First-Order Calculus with Object Extension (VB, KF), pp. 462–497.
ECOOPECOOP-1998-Liquori #on the
On Object Extension (LL), pp. 498–522.
OOPSLAOOPSLA-1998-GianantonioHL #self #λ-calculus
A λ Calculus of Objects with Self-Inflicted Extension (PDG, FH, LL), pp. 166–178.
TOOLSTOOLS-USA-1998-HsiehPFGB #data access #interactive #object-oriented
The Interaction of Access Control and Object-Orientation in Extensible Systems (WCH, PP, MEF, CG, BNB), pp. 320–332.
FSEFSE-1998-Karasick #architecture #c++ #incremental #programming
The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++ (MK), pp. 131–142.
FSEFSE-1998-KrishnamurthiF #formal method #towards
Toward a Formal Theory of Extensible Software (SK, MF), pp. 88–98.
ICLPJICSLP-1998-YouYG #semantics
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure (JHY, LYY, RG), pp. 175–189.
RTARTA-1998-JacquemardMW #equation #unification
Unification in Extension of Shallow Equational Theories (FJ, CM, CW), pp. 76–90.
DATEEDTC-1997-Kristof #architecture #bound #effectiveness #idea #self #testing
Extension of the boundary-scan architecture and new idea of BIST for more effective testing and self-testing of interconnections (AK), p. 630.
DATEEDTC-1997-WalkerG #simulation
VHDL extensions for complex transmission line simulation (PW, SG), pp. 368–372.
ICDARICDAR-1997-HoriuchiHYY #2d #normalisation #recognition #using
Two-dimensional Extension of Nonlinear Normalization Method using Line Density for Character Recognition (TH, RH, HY, KY), pp. 511–514.
FMFME-1997-FleischhackT #realtime #semantics
An M-Net Semantics for a Real-Time Extension of μSDL (HF, JT), pp. 162–181.
HCIHCI-SEC-1997-Sugiyama #development #user interface #visual notation
A Highly Extensible Graphical User Interface in a Software Development Environment (YS), pp. 327–330.
CIKMCIKM-1997-ChaPP #in memory #named
Xmas: An Extensible Main-Memory Storage System (SKC, JHP, BDP), pp. 356–362.
TOOLSTOOLS-USA-1997-Schmidt97a
Dynamically Extensible Objects in a Class-Based Language (RWS), pp. 294–307.
POPLPOPL-1997-RemyV #ml #object-oriented
Objective ML: A Simple Object-Oriented Extension of ML (DR, JV), pp. 40–53.
HPDCHPDC-1997-SinghalNRNF #architecture #design #interactive #named #scalability
InVerse: Designing an Interactive Universe Architecture for Scalability and Extensibility (SKS, BQN, RR, JN, MF), pp. 61–70.
SOSPSOSP-1997-WallachBDF #architecture #java #security
Extensible Security Architecture for Java (DSW, DB, DD, EWF), pp. 116–128.
ICLPILPS-1997-EngelfrietH #modelling
Generated Preferred Models and Extensions of Nonmonotonic Systems (JE, HH), pp. 85–99.
TLCATLCA-1997-RetoreL #commutative #linear #logic
A Non-commutative Extension of Classical Linear Logic (CR, PL), pp. 300–318.
WRLARWLW-1996-KirchnerM
A reflective extension of ELAN (HK, PEM), pp. 149–168.
PLDIPLDI-1996-Engler #code generation #named #performance
VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System (DRE), pp. 160–170.
STOCSTOC-1996-McCormick #algorithm #parametricity #performance #scheduling
Fast Algorithms for Parametric Scheduling Come from Extensions to Parametric Maximum Flow (STM), pp. 319–328.
CHICHI-1996-HartsonCKN #evaluation #network #usability
Remote Evaluation: The Network as an Extension of the Usability Laboratory (HRH, JCC, JTK, WCN), pp. 228–235.
AdaEuropeAdaEurope-1996-MirandaAAG #ada #distributed #fault tolerance #named
Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications (FJMG, AA, SA, FGS), pp. 235–246.
AdaTRI-Ada-1996-BeugnardCK #ada #corba #implementation #named #realtime
COREMO: A CORBA Real Time Extension Model and its Ada 95 Implementation (AB, ZC, YK), pp. 255–268.
ICPRICPR-1996-WalkerJ #analysis #geometry #statistics
Statistical geometric features-extensions for cytological texture analysis (RFW, PTJ), pp. 790–794.
KDDKDD-1996-WrobelWSE #data mining #mining
Extensibility in Data Mining Systems (SW, DW, ES, WE), pp. 214–219.
SIGIRSIGIR-1996-HendryH #architecture #implementation
An Architecture for Implementing Extensible Information-Seeking Environments (DGH, DJH), pp. 94–100.
LOPSTRLOPSTR-1996-Gegg-Harrison #logic programming
Extensible Logic Program Schemata (TSGH), pp. 256–274.
HPDCHPDC-1996-DincerFH #algorithm #fortran
High-Performance Fortran and Possible Extensions to Support Conjugate Gradient Algorithms (KD, GF, KAH), pp. 69–77.
CADECADE-1996-IrelandB #induction #proving
Extensions to a Generalization Critic for Inductive Proof (AI, AB), pp. 47–61.
CSLCSL-1996-FioreP #axiom #modelling
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory (MPF, GDP), pp. 129–149.
ICLPJICSLP-1996-Decker #abduction #database #deduction #maintenance
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases (HD), pp. 157–169.
ICDARICDAR-v1-1995-Garcia-SalicettiDGMF #markov #online #predict #recognition
A hidden Markov model extension of a neural predictive system for on-line character recognition (SGS, BD, PG, AM, DF), pp. 50–53.
ICALPICALP-1995-Rubio #order
Extension Orderings (AR), pp. 511–522.
CIKMCIKM-1995-OzsuMS #query
An Extensible Query Optimizer for an Objectbase Management System (MTÖ, AM, DS), pp. 188–196.
CIKMCIKM-1995-SuLAYY #knowledge base #rule-based
An Extensible Knowledge Base Management System for Supporting Rule-based Interoperability among Heterogeneous Systems (SYWS, HL, JAAF, TFY, ZY), pp. 1–10.
CIKMCIKM-1995-TreschL #classification #documentation
An Extensible Classifier for Semi-Structured Documents (MT, AL), pp. 226–233.
PPDPPLILP-1995-GluckJ #generative #multi #performance
Efficient Multi-level Generating Extensions for Program Specialization (RG, JJ), pp. 259–278.
POPLPOPL-1995-Vorobyov #bound #decidability #quantifier
Structural Decidable Extensions of Bounded Quantification (SGV), pp. 164–175.
SOSPSOSP-1995-BershadSPSFBCE #operating system #performance #safety
Extensibility, Safety and Performance in the SPIN Operating System (BNB, SS, PP, EGS, MEF, DB, CC, SJE), pp. 267–284.
ICLPILPS-1995-Liu #datalog #named #set #tuple
Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended Abstract) (ML), pp. 83–97.
ICLPILPS-1995-Toman #bottom-up #constraints #datalog #top-down
Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.
TLCATLCA-1995-Barthe #type system
Extensions of Pure Type Systems (GB), pp. 16–31.
SIGMODSIGMOD-1994-BilirisP #named
EOS: An Extensible Object Store (AB, EP), p. 517.
SIGMODSIGMOD-1994-Kulkarni #object-oriented #sql
Object-Oriented Extensions in SQL3: A Status Report (KGK), p. 478.
SIGMODSIGMOD-1994-Ubell
The Montage Extensible DataBlade Achitecture (MU), p. 482.
CSEETCSEE-1994-HartrumB #analysis #education #object-oriented
Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies (TCH, PDB), pp. 389–409.
ICSMEICSM-1994-YangB #data-driven #maintenance #source code
Extension of a Transformation System for Maintenance: Dealing with Data-Intensive Programs (HY, KHB), pp. 344–353.
AdaEuropeAdaEurope-1994-Kettani #ada #how #realtime
How to Avoid and Control Proliferation of New Ada Real Time Extensions (NK), pp. 349–354.
CAiSECAiSE-1994-CauvetS #abstraction #concept #locality #modelling #object-oriented
Abstraction Forms in Object-Oriented Conceptual Modeling: Localization, Aggregation and Generalization Extensions (CC, FS), pp. 149–171.
SEKESEKE-1994-Kalnins
Extensions of GRAPES/4GL for Windows style input/output (AK), pp. 201–208.
OOPSLAOOPSLA-1994-KarpovichGF #approach #file system #object-oriented #performance
Extensible File Systems (ELFS): An Object-Oriented Approach to High Performance File I/O (JFK, ASG, JCF), pp. 191–204.
TOOLSTOOLS-EUROPE-1994-Malhotra #on the
On the Construction of Extensible Systems (JM), pp. 255–270.
SACSAC-1994-FogelsongDS #framework #library #reuse
Graphics class library for plotting (GCLIP), an extensible, reusable graphics framework (BAF, SD, DAS), pp. 64–69.
CADECADE-1994-BaumgartnerF94a #interface #named #proving
PROTEIN: A PROver with a Theory Extension INterface (PB, UF), pp. 769–773.
CADECADE-1994-BourelyCP #automation #modelling
A Method for Building Models Automatically. Experiments with an Extension of OTTER (CB, RC, NP), pp. 72–86.
ICLPICLP-1994-Moreno-Navarro
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages (JJMN), pp. 535–549.
LICSLICS-1994-Thiagarajan #linear #logic
A Trace Based Extension of Linear Time Temporal Logic (PST), pp. 438–447.
PODSPODS-1993-LevyMSS #datalog #equivalence #satisfiability
Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions (AYL, ISM, YS, OS), pp. 109–122.
VLDBVLDB-1993-ChandraS #database
Managing Temporal Financial Data in an Extensible Database (RC, AS), pp. 302–313.
VLDBVLDB-1993-MitchellDZ #approach #query
Control of an Extensible Query Optimizer: A Planning-Based Approach (GM, UD, SBZ), pp. 517–528.
HCIHCI-SHI-1993-Thies
Animated Help as a Sensible Extension of a Plan-Based Help System (MAT), pp. 712–717.
CIKMCIKM-1993-PetersLOS #behaviour #query
An Extensible Query Model and Its Languages for a Uniform Behavioral Object Management System (RJP, AL, MTÖ, DS), pp. 403–412.
ECOOPECOOP-1993-ChibaM #architecture #design #distributed
Designing an Extensible Distributed Language with a Meta-Level Architecture (SC, TM), pp. 482–501.
TOOLSTOOLS-PACIFIC-1993-Hurst #persistent
Extensible Persistent Objects (AJH), pp. 117–124.
TOOLSTOOLS-PACIFIC-1993-PloschW #communication #distributed #hybrid #library
An Extensible Communication Class Library for Hybrid Distributed Systems (RP, RW), pp. 431–437.
LOPSTRLOPSTR-1993-Neugebauer #analysis #reachability
Reachability Analysis for the Extension Procedure — A Topological Result (GN), pp. 32–44.
SACSAC-1993-HurschLM #abstraction #object-oriented
Object-Oriented Schema Extension and Abstraction (WLH, KJL, SM), pp. 54–62.
SOSPSOSP-1993-KhalidiN #file system
Extensible File Systems in Spring (YYAK, MNN), pp. 1–14.
SOSPSOSP-1993-OkiPSS #architecture #distributed
The Information Bus — An Architecture for Extensible Distributed Systems (BMO, MP, AS, DS), pp. 58–68.
ICLPICLP-1993-DiazC
A Minimal Extension of the WAM for clp(FD) (DD, PC), pp. 774–790.
ICLPILPS-1993-BarbackL #proving
A Proof Procedure for Default Theories with Extensions (MDB, JL), p. 651.
ICLPILPS-1993-BosschereT #parallel #programming #prolog
Blackboard-based Extensions for Parallel Programming in BinProlog (KDB, PT), p. 664.
ICLPILPS-1993-Orgun #logic programming
The Soundness and Completeness of a Temporal Extension of Logic Programming (MAO), p. 669.
RTARTA-1993-DelorP #commutative #order
Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols (CD, LP), pp. 389–404.
HTHT-ECHT-1992-BraHK
An Extensible Data Model for Hyperdocuments (PDB, GJH, YK), pp. 222–231.
HTHT-ECHT-1992-WiilL #distributed #hypermedia #named #using
Hyperform: Using Extensibility to Develop Dynamic, Open and Distributed Hypertext Systems (UKW, JJL), pp. 251–261.
SIGMODSIGMOD-1992-PiraheshHH #optimisation #query #rule-based
Extensible/Rule Based Query Rewrite Optimization in Starburst (HP, JMH, WH), pp. 39–48.
VLDBVLDB-1992-ChanOL
Extensible Buffer Management of Indexes (CYC, BCO, HL), pp. 444–454.
AdaTRI-Ada-C-1992-DismukesR #ada #implementation
Implementing Tagged Types and Type Extensions for Ada 9X (GD, MAR), pp. 68–78.
SIGIRSIGIR-1992-Hess #documentation #incremental #logic #retrieval
An Incrementally Extensible Document Retrieval System Based on Linguistic and Logical Principles (MH), pp. 190–197.
TOOLSTOOLS-EUROPE-1992-Szyperski #design #editing #framework
Write-ing Applications: Design of an Extensible Text Editor as an Application Framework (CAS), pp. 247–261.
PPDPPLILP-1992-Holzbaur #unification
Metastructures versus Attributed Variables in the Context of Extensible Unification (CH), pp. 260–268.
PPDPPLILP-1992-Muck #automaton #functional #logic programming #named #source code
CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs (AM), pp. 341–354.
DACDAC-1991-Fuhrman #industrial #synthesis #tool support
Industrial Extensions to University High Level Synthesis Tools: Making It Work in the Real World (TEF), pp. 520–525.
VLDBVLDB-1991-WidomCL #implementation
Implementing Set-Oriented Production Rules as an Extension to Starburst (JW, RC, BGL), pp. 275–285.
STOCSTOC-1991-BrightwellW #linear
Counting Linear Extensions is #P-Complete (GB, PW), pp. 175–181.
FMVDME-1991-1-Butler #behaviour #csp
Behavioural Extension for CSP (MJB), pp. 254–267.
OOPSLAOOPSLA-1991-YaseenSL #kernel
An Extensible Kernel Object Management System (RY, SYWS, HL), pp. 247–263.
POPLPOPL-1991-MitchellMM #inheritance #ml #standard #type system
An Extension of Standard ML Modules with Subtyping and Inheritance (JCM, SM, NM), pp. 270–278.
ASPLOSASPLOS-1991-WolfeS #architecture
A Variable Instruction Stream Extension to the VLIW Architecture (AW, JPS), pp. 2–14.
CAVCAV-1991-Filkorn #functional #model checking
Functional Extension of Symbolic Model Checking (TF), pp. 225–232.
ICLPICLP-1991-PalmerN #named #parallel #prolog
NUA-Prolog: An Extension to the WAM for Parallel Andorra (DP, LN), pp. 429–442.
ICTSSIWPTS-1991-Rayner #standard
Status Report on ISO/IEC 9646 Standardization and Extension (DR), pp. 47–58.
DACDAC-1990-Barnes #named
SKILL: A CAD System Extension Language (TJB), pp. 266–271.
DACDAC-1990-RamakrishnanK #algorithm
Extension of the Critical Path Tracing Algorithm (TR, LK), pp. 720–723.
FMVDME-1990-BlikleT #development #on the #process #syntax
On Conservative Extensions of Syntax in the Process of System Development (AB, MT), pp. 504–525.
FMVDME-1990-SampaioM #composition
Modular Extensions to Z (AS, SRdLM), pp. 211–232.
CHICHI-1990-John #analysis #performance #visual notation
Extensions of GOMS analyses to expert performance requiring perception of dynamic visual and auditory information (BEJ), pp. 107–116.
CSCWCSCW-1990-ShepherdMK #named #tool support
Strudel — An Extensible Electronic Conversation Toolkit (AS, NM, AK), pp. 93–104.
PPDPPLILP-1990-Huitouze #data type #implementation #prolog
A New Data Structure for Implementing Extensions to Prolog (SLH), pp. 136–150.
WAGAWAGA-1990-ShinodaK #algorithm #attribute grammar #distributed #evaluation #implementation #object-oriented #using
Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm (YS, TK), pp. 177–191.
CADECADE-1990-BundyHSI #induction #proving
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs (AB, FvH, AS, AI), pp. 132–146.
CAVCAV-1990-BarbeauB #specification
Extension of the Karp and Miller Procedure to Lotos Specifications (MB, GvB), pp. 333–342.
CAVCAV-1990-Eveking #automation #hardware #verification
Automatic Verification of Extensions of Hardware Descriptions (HE), pp. 2–12.
SIGMODSIGMOD-1989-HaasFLP #query
Extensible Query Processing in Starburst (LMH, JCF, GML, HP), pp. 377–388.
VLDBVLDB-1989-GardarinCKPS #relational
Managing Complex Objects in an Extensible Relational DBMS (GG, JPC, GK, DP, HS), pp. 55–65.
VLDBVLDB-1989-Guting #database #geometry #named #relational
Gral: An Extensible Relational Database System for Geometric Applications (RHG), pp. 33–44.
CHICHI-1989-Gibbs #named #tool support
LIZA: an extensible groupware toolkit (SJG), pp. 29–35.
KRKR-1989-Neufeld
Defaults and Probabilities; Extensions and Coherence (EN), pp. 312–323.
POPLPOPL-1989-Remy #ml
Typechecking Records and Variants in a Natural Extension of ML (DR), pp. 77–88.
LICSLICS-1989-AbiteboulV #first-order #fixpoint #logic
Fixpoint Extensions of First-Order Logic and Datalog-Like Languages (SA, VV), pp. 71–79.
ICLPNACLP-1989-Chan
An Extension of Constructive Negation and its Application in Coroutining (DC), pp. 477–493.
RTARTA-1989-Steinbach #comparison #order
Extensions and Comparison of Simplification Orderings (JS), pp. 434–448.
VLDBVLDB-1988-LinnemannKDPEKSWW #data type #database #design #implementation
Design and Implementation of an Extensible Database Management System Supporting User Defined Data Types and Functions (VL, KK, PD, PP, RE, AK, NS, GW, MW), pp. 294–305.
LISPLFP-1988-DanvyM
Intensions and Extensions in a Reflective Tower (OD, KM), pp. 327–341.
PPDPALP-1988-Fribourg #functional #prolog #question
Functional Extensions to Prolog: Are they Needed? (LF), pp. 21–29.
POPLPOPL-1988-KfouryTU #effectiveness #ml
A Proper Extension of ML with an Effective Type-Assignment (AJK, JT, PU), pp. 58–69.
ICSEICSE-1988-NotkinG #development
Extension and Software Development (DN, WGG), pp. 274–285.
LICSLICS-1988-Amadio #fixpoint #higher-order #modelling #λ-calculus
A fixed point extension of the second order λ-calculus: observable equivalences and models (RMA), pp. 51–60.
LICSLICS-1988-BoudetJS #unification
Unification in Free Extensions of Boolean Rings and Abelian Groups (AB, JPJ, MSS), pp. 121–130.
SIGMODSIGMOD-1987-LindsayMP #architecture #data transformation
A Data Management Extension Architecture (BGL, JM, HP), pp. 220–226.
PLDIPLDI-1987-NotkinG #interpreter
Enhancement through extension: the extension interpreter (DN, WGG), pp. 45–55.
POPLPOPL-1987-CheritonW #multi #programming language
Extensions for Multi-Module Records in Conventional Programming Languages (DRC, MEW), pp. 296–306.
ICLPSLP-1987-Blair87 #logic programming
Canoncical Conservative Extensions of Logic Program Completions (HAB), pp. 154–161.
ICLPSLP-1987-Dietrich87 #logic programming
Extension Tables: Memo Relations in Logic Programming (SWD), pp. 264–272.
DACDAC-1986-MiyoshiOSOA #design #logic #scalability #simulation
An extensive logic simulation method of very large scale computer design (MM, YO, AS, NO, NA), pp. 360–365.
VLDBVLDB-1986-CareyDRS #database
Object and File Management in the EXODUS Extensible Database System (MJC, DJD, JER, EJS), pp. 91–100.
ESOPESOP-1986-Bohm #algebra #recursion
Reducing Recursion to Iteration by Algebraic Extension (CB), pp. 111–118.
POPLPOPL-1986-YouS #equation #logic programming
Equational Logic Programming: An Extension to Equational Programming (JHY, PAS), pp. 209–218.
ICLPICLP-1986-KanamoriS86 #execution #prolog #source code #using #verification
Verification of Prolog Programs Using an Extension of Execution (TK, HS), pp. 475–489.
ICLPICLP-1986-PereiraMCA86 #backtracking #distributed #prolog
Delta Prolog: A Distributed Backtracking Extension with Events (LMP, LM, JCC, JNA), pp. 69–83.
DACDAC-1985-LathropK #functional #object-oriented #simulation
An extensible object-oriented mixed-mod functional simulation system (RHL, RSK), pp. 630–636.
VLDBVLDB-1985-AfsarmaneshMKP #approach #database #object-oriented
An Extensible Object-Oriented Approach to Databases for VLSI/CAD (HA, DM, DK, ACP), pp. 13–24.
ICLPSLP-1985-BowenW85 #prolog
A Meta-Level Extension of Prolog (KAB, TW), pp. 48–53.
VLDBVLDB-1984-Kobayashi
A Data Manipulation Model: An Extension of the Alpha Expression (IK), pp. 57–62.
AdaAda-1983-OsterweilC #approach
The Toolpack/IST Approach to Extensibility in Software Environments (LJO, GC), pp. 133–163.
STOCSTOC-1981-Parisi-Presicce #algebra #on the
On the Faithful Regular Extensions of Iterative Algebras (FPP), pp. 368–374.
POPLPOPL-1981-Lowney #array
Carrier Arrays: An Idiom-Preserving Extension to APL (PGL), pp. 1–13.
VLDBVLDB-1980-Honeyman
Extension Joins (PH), pp. 239–244.
VLDBVLDB-1978-Kalinichenko #axiom #modelling
Data Models Transformation Method Based on Axiomatic Data Model Extension (LAK), pp. 549–555.
ICALPICALP-1978-Valk #petri net #self
Self-Modifying Nets, a Natural Extension of Petri Nets (RV), pp. 464–476.
ICSEICSE-1978-AlmesR #file system
An Extensible File System for Hydra (GTA, GGR), pp. 288–294.
ICSEICSE-1978-Parnas #design
Designing Software for Ease of Extension and Contraction (DLP), pp. 264–277.
VLDBVLDB-1977-LangNKF #architecture #database #scalability
An Architectural Extension for a Large Database System Incorporating a Processor for Disk Search (TL, EN, KK, EBF), pp. 204–210.
DACDAC-1976-Hubbard #design
Language extensibility and program design (RDHJ), pp. 371–376.
SIGMODSIGMOD-1976-Date #architecture #database
An Architecture for High-Level Language Database Extensions (CJD), pp. 101–122.
VLDBVLDB-1976-Hitchcock #relational
User Extensions to the Peterlee Relational Test Vehicle (PH), pp. 169–180.
ICSEICSE-1976-Feldman #case study #programming language
New Languages from Old: The Extension of Programming Languages by Embedding, with a Case Study (MBF), pp. 237–242.
ICSEICSE-1976-JonesL #data access
A Language Extension for Controlling Access to Shared Data (Abstract) (AKJ, BL), p. 235.
SOSPSOSP-1971-Alsberg #operating system
Extensible Data Features in the Operating System Language OSL/2 (PA), pp. 31–34.
SOSPSOSP-1969-Kulsrud #debugging #interactive #named
HELPER: an interactive extensible debugging system (HEK), pp. 105–111.

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.