BibSLEIGH — extens stem

Used together with:

system (98)
languag (79)
model (76)
base (67)
program (46)

Stem extens$ (all stems)

732 papers:

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