Stem refer$ (all stems)

338 papers:

ECSA-2015-GalsterA #agile #architecture #comprehension #development

Understanding the Use of Reference Architectures in Agile Software Development Projects (MG, SA), pp. 268–276.

DATE-2015-ErolOSPB #metric #using

On-chip measurement of bandgap reference voltage using a small form factor VCO based zoom-in ADC (OEE, SO, CKHS, RAP, LB), pp. 1559–1562.

DRR-2015-LiGTY #documentation #identification

Cross-reference identification within a document (SL, LG, ZT, YY), p. 940209.

DRR-2015-NayefO #assessment #documentation #image #quality

Metric-based no-reference quality assessment of heterogeneous document images (NN, JMO).

VLDB-2015-HeCMPS #named #synthesis #using

DPT: Differentially Private Trajectory Synthesis Using Hierarchical Reference Systems (XH, GC, AM, CMP, DS), pp. 1154–1165.

VLDB-2015-WandeltL #multi #named #string

MRCSI: Compressing and Searching String Collections with Multiple References (SW, UL), pp. 461–472.

ESOP-2015-SiekVCTG #performance #type system

Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.

ICPC-2015-ButlerWY #bibliography #java

A survey of the forms of Java reference names (SB, MW, YY), pp. 196–206.

ICSME-2015-ButlerWY #java

Investigating naming convention adherence in Java references (SB, MW, YY), pp. 41–50.

MSR-2015-BlincoeHD #ecosystem #git #identification #using

Ecosystems in GitHub and a Method for Ecosystem Identification Using Reference Coupling (KB, FH, DD), pp. 202–211.

ICALP-v1-2015-AlbersF #locality

Quantifying Competitiveness in Paging with Locality of Reference (SA, DF), pp. 26–38.

GaM-2015-BakFPR #graph #interpreter #programming language

A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.

HIMI-IKD-2015-FastrezJ #case study #information management #social

Managing References by Filing and Tagging — An Exploratory Study of Personal Information Management by Social Scientists (PF, JJ), pp. 291–300.

ICEIS-v3-2015-CruzV #architecture #enterprise #towards

Towards a Reference Enterprise Application Architecture for the Customer Relationship Management Domain (AC, AV), pp. 185–195.

SAC-2015-BassoMJV #architecture #design #evaluation #privacy #requirements #web

Requirements, design and evaluation of a privacy reference architecture for web applications and services (TB, RM, MJ, MV), pp. 1425–1432.

ESEC-FSE-2015-FuLB #analysis #automation #memory dump #memory management #pointer

Automatically deriving pointer reference expressions from binary code for memory dump analysis (YF, ZL, DB), pp. 614–624.

ICSE-v2-2015-SchroederH0HLM #architecture #case study #design #evaluation #industrial #multi #product line #self

Design and Evaluation of a Customizable Multi-Domain Reference Architecture on Top of Product Lines of Self-Driving Heavy Vehicles — An Industrial Case Study (JS, DH, CB, CJH, LL, AM), pp. 189–198.

SLE-2015-Burger #attribute grammar #bibliography #graph grammar #motivation #perspective

Reference attribute grammar controlled graph rewriting: motivation and overview (CB), pp. 89–100.

ECSA-2014-AngelovH #architecture #towards

Towards an Improved Stakeholder Management for Software Reference Architectures (SA, RH), pp. 90–97.

ECSA-2014-MachadoSBLN #architecture #named #ubiquitous

RA-Ubi: A Reference Architecture for Ubiquitous Computing (CAM, ES, TVB, JCL, EYN), pp. 98–105.

WICSA-2014-ChauhanB #architecture #as a service #development #tool support #towards

Towards a Reference Architecture to Provision Tools as a Service for Global Software Development (MAC, MAB), pp. 167–170.

WICSA-2014-NakagawaGMFO #architecture #design #evaluation #process #representation

Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures (EYN, MG, JCM, DF, FO), pp. 143–152.

WICSA-2014-WeinreichB #architecture #automation #consistency

Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems (RW, GB), pp. 95–104.

DAC-2014-EkenZWJLC #self

A New Field-assisted Access Scheme of STT-RAM with Self-reference Capability (EE, YZ, WW, RVJ, HL, YC), p. 6.

DAC-2014-MotamanG #array #robust #self #testing

Simultaneous Sizing, Reference Voltage and Clamp Voltage Biasing for Robustness, Self-Calibration and Testability of STTRAM Arrays (SM, SG), p. 2.

MSR-2014-MurakamiHK #dataset

A dataset of clone references with gaps (HM, YH, SK), pp. 412–415.

CHI-2014-AlperRH #case study #diagrams #visual notation

Structuring the space: a study on enriching node-link diagrams with visual references (BA, NHR, TH), pp. 1825–1834.

CHI-2014-KongHA #crowdsourcing

Extracting references between text and charts via crowdsourcing (NK, MAH, MA), pp. 31–40.

CSCW-2014-KunertKBF #named

Photoportals: shared references in space and time (AK, AK, SB, BF), pp. 1388–1399.

CAiSE-2014-CarvalhoAG #domain-specific language #ontology #semantics #using

Using Reference Domain Ontologies to Define the Real-World Semantics of Domain-Specific Languages (VAdC, JPAA, GG), pp. 488–502.

EDOC-2014-SchutzS #modelling

Customization of Domain-Specific Reference Models for Data Warehouses (CGS, MS), pp. 61–70.

ICPR-2014-Chetouani #assessment #image #quality

Full Reference Image Quality Assessment: Limitation (AC), pp. 833–837.

ICPR-2014-FranchiA #adaptation

Spatially-Variant Area Openings for Reference-Driven Adaptive Contour Preserving Filtering (GF, JA), pp. 1043–1048.

KMIS-2014-UrwinPCCPPY #network #ontology

Reference Ontologies for Global Production Networks (ENU, CP, AFCD, FSC, JMPS, SPG, RIMY), pp. 133–139.

SEKE-2014-GuessiON #approach #architecture

An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures (MG, FO, EYN), pp. 162–167.

SEKE-2014-ThiryFZ #development #named

GreenRM: Reference Model for Sustainable Software Development (MT, LF, AZ), pp. 39–42.

ECOOP-2014-LiT #analysis #fault #python #source code

Finding Reference-Counting Errors in Python/C Programs with Affine Analysis (SL, GT), pp. 80–104.

RE-2014-AdedjoumaSB #approach #automation #case study #detection

Automated detection and resolution of legal cross references: Approach and a study of Luxembourg’s legislation (MA, MS, LCB), pp. 63–72.

CGO-2014-RountevY #analysis #android #user interface

Static Reference Analysis for GUI Objects in Android Software (AR, DY), p. 143.

ISMM-2014-UgawaJR #garbage collection #on the fly

Reference object processing in on-the-fly garbage collection (TU, REJ, CGR), pp. 59–69.

ECSA-2013-AngelovTK #architecture #design

Software Reference Architectures — Exploring Their Usage and Design in Practice (SA, JJMT, RJK), pp. 17–24.

ECSA-2013-BuchgeherW #analysis #architecture #consistency #towards

Towards Continuous Reference Architecture Conformance Analysis (GB, RW), pp. 332–335.

ECSA-2013-Martinez-FernandezAFM #architecture

Benefits and Drawbacks of Reference Architectures (SMF, CPA, XF, HMM), pp. 307–310.

ASE-2013-NguyenNNNN #multi #web

Dangling references in multi-configuration and dynamic PHP-based Web applications (HVN, HAN, TTN, ATN, TNN), pp. 399–409.

FoSSaCS-2013-MurawskiT #game studies #semantics

Deconstructing General References via Game Semantics (ASM, NT), pp. 241–256.

PLDI-2013-GordonEG #alias #refinement

Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.

GT-VMT-2013-ForsH #attribute grammar #editing #reuse #semantics #visual notation

Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars (NF, GH).

HCI-IMT-2013-LeeBN #visual notation

Use of Reference Frame in Haptic Virtual Environments: Implications for Users with Visual Impairments (JYL, SB, CSN), pp. 610–617.

EDOC-2013-GudenkaufJGN #architecture

A Reference Architecture for Cloud Service Offers (SG, MJ, AG, ON), pp. 227–236.

EDOC-2013-HeroldMRS #architecture #case study #consistency

Checking Conformance with Reference Architectures: A Case Study (SH, MM, AR, IS), pp. 71–80.

EDOC-2013-NardiFAGPSG #ontology #towards

Towards a Commitment-Based Reference Ontology for Services (JCN, RdAF, JPAA, GG, LFP, MvS, NG), pp. 175–184.

KDIR-KMIS-2013-Lindner #constraints #parsing #random #using

Using Conditional Random Fields with Constraints to Train Support Vector Machines — Locating and Parsing Bibliographic References (SL), pp. 28–36.

KDIR-KMIS-2013-SaxenaBW #composition #learning

A Cognitive Reference based Model for Learning Compositional Hierarchies with Whole-composite Tags (ABS, AB, AW), pp. 119–127.

SEKE-2013-BarbosaFNM #architecture #learning #towards

Towards the Establishment of a Reference Architecture for Developing Learning Environments (EFB, MLF, EYN, JCM), pp. 350–355.

SEKE-2013-KayaF #identification

Identifying Extract Method Opportunities Based on Variable References (S) (MK, JWF), pp. 153–158.

SEKE-2013-SantosGGFN #architecture #embedded #evaluation

A Checklist for Evaluation of Reference Architectures of Embedded Systems (S) (JFMS, MG, MG, DF, EYN), pp. 451–454.

OOPSLA-2013-ShahriyarBYM

Taking off the gloves with reference counting Immix (RS, SMB, XY, KSM), pp. 93–110.

RE-2013-MaxwellAE #empirical

An empirical investigation of software engineers’ ability to classify legal cross-references (JCM, AIA, JBE), pp. 24–31.

ICSE-2013-NguyenNNN #detection #named #web

DRC: a detection tool for dangling references in PHP-based web applications (HVN, HAN, TTN, TNN), pp. 1299–1302.

SLE-2013-SoderbergH #attribute grammar #higher-order

Circular Higher-Order Reference Attribute Grammars (ES, GH), pp. 302–321.

SPLC-2013-Nakagawa0M #architecture #design #process #product line #towards

Towards a process to design product line architectures based on reference architectures (EYN, MB, JCM), pp. 157–161.

CBSE-2012-KarolBA #attribute grammar #composition #towards

Towards well-formed fragment composition with reference attribute grammars (SK, CB, UA), pp. 109–114.

WICSA-ECSA-2012-NakagawaOB #architecture #named

RAModel: A Reference Model for Reference Architectures (EYN, FO, MB), pp. 297–301.

WICSA-ECSA-2012-SimantaLMHS #architecture #mobile

A Reference Architecture for Mobile Code Offload in Hostile Environments (SS, GAL, EJM, KH, MS), pp. 282–286.

ASE-2012-Quesada #generative #modelling #parsing

A model-driven parser generator with reference resolution support (LQ), pp. 394–397.

CASE-2012-XiaoLL #adaptation

A model reference adaptive PID control for electromagnetic actuated micro-positioning stage (SX, YL, JL), pp. 97–102.

DAC-2012-DonkohLS #adaptation #design #hybrid #predict #using

A hybrid and adaptive model for predicting register file and SRAM power using a reference design (ED, AL, ES), pp. 62–67.

DATE-2012-BiZLCP #design

Spintronic memristor based temperature sensor design with CMOS current reference (XB, CZ, HL, YC, REP), pp. 1301–1306.

DocEng-2012-KimBTFD #comparison #evaluation #parsing #tool support

Evaluation of BILBO reference parsing in digital humanities via a comparison of different tools (YMK, PB, JT, EF, MD), pp. 209–212.

ICSM-2012-QianZ #java #memory management

Inferring weak references for fixing Java memory leaks (JQ, XZ), pp. 571–574.

ICALP-v2-2012-MurawskiT #algorithm #game studies

Algorithmic Games for Full Ground References (ASM, NT), pp. 312–324.

CHI-2012-FourneyLMT #documentation #exclamation #interface #online #quote

“Then click ok!”: extracting references to interface elements in online documentation (AF, BL, RM, MAT), pp. 35–38.

CSCW-2012-XuB12a #pipes and filters

A reference-based scoring model for increasing the findability of promising ideas in innovation pipelines (AX, BPB), pp. 1183–1186.

CIKM-2012-HuangKCMGR #recommendation

Recommending citations: translating papers into references (WH, SK, CC, PM, CLG, LR), pp. 1910–1914.

CIKM-2012-MasadaT #gpu #topic

Extraction of topic evolutions from references in scientific articles and its GPU acceleration (TM, AT), pp. 1522–1526.

ICPR-2012-GuZYZ #assessment #image #quality

A new no-reference stereoscopic image quality assessment based on ocular dominance theory and degree of parallax (KG, GZ, XY, WZ), pp. 206–209.

ICPR-2012-XuZY #metric

No reference measurement of contrast distortion and optimal contrast enhancement (HX, GZ, XY), pp. 1981–1984.

ICPR-2012-YabushitaSM #3d #framework #image #recognition

A framework of three-dimensional object recognition which needs only a few reference images (HY, JS, MM), pp. 1375–1378.

KDIR-2012-LindnerH #constraints #learning #maintenance #parsing #random

Parsing and Maintaining Bibliographic References — Semi-supervised Learning of Conditional Random Fields with Constraints (SL, WH), pp. 233–238.

KEOD-2012-ArnaudCSMNMSBJMM #modelling #ontology #towards

Towards a Reference Plant Trait Ontology for Modeling Knowledge of Plant Traits and Phenotypes (EA, LC, RS, NM, RTN, LM, MS, RB, PJ, LAM, GM), pp. 220–225.

KMIS-2012-HamadaAS #generative #learning #using

A Generation Method of Reference Operation using Reinforcement Learning on Project Manager Skill-up Simulator (KH, MA, MS), pp. 15–20.

SEKE-2012-AffonsoR #architecture #configuration management #development

A Proposal of Reference Architecture for the Reconfigurable Software Development (FJA, ELLR), pp. 668–671.

OOPSLA-2012-GordonPPBD #parallel

Uniqueness and reference immutability for safe parallelism (CSG, MJP, JP, AB, JD), pp. 21–40.

OOPSLA-2012-HuangMDE

Reim & ReImInfer: checking and inference of reference immutability and method purity (WH, AM, WD, MDE), pp. 879–896.

SAC-2012-KarakasidisV

Reference table based k-anonymous private blocking (AK, VSV), pp. 859–864.

SAC-2012-NakagawaBM #architecture #framework #knowledge-based

A knowledge-based framework for reference architectures (EYN, MB, JCM), pp. 1197–1202.

ICSE-2012-YanXR #java #performance #problem #profiling

Uncovering performance problems in Java applications with reference propagation profiling (DY, G(X, AR), pp. 134–144.

HPCA-2012-BattleHHR #flexibility #using

Flexible register management using reference counting (SJB, ADH, MH, AR), pp. 273–284.

ISMM-2012-ShahriyarBF

Down for the count? Getting reference counting back in the ring (RS, SMB, DF), pp. 73–84.

CBSE-2011-LoiretRSM #component #framework #re-engineering

Software engineering of component-based systems-of-systems: a reference framework (FL, RR, LS, PM), pp. 61–66.

ECSA-2011-NakagawaAB #architecture #difference #product line

Reference Architecture and Product Line Architecture: A Subtle But Critical Difference (EYN, POA, MB), pp. 207–211.

ECSA-2011-OliveiraN #architecture #testing #tool support

A Service-Oriented Reference Architecture for Software Testing Tools (LBRdO, EYN), pp. 405–421.

QoSA-ISARCS-2011-GalsterA #architecture

Empirically-grounded reference architectures: a proposal (MG, PA), pp. 153–158.

WICSA-2011-MiksovicZ #architecture #information management #metamodelling #requirements

Architecturally Significant Requirements, Reference Architecture, and Metamodel for Knowledge Management in Information Technology Services (CM, OZ), pp. 270–279.

CHI-2011-LuffYKH

Hands on hitchcock: embodied reference to a moving scene (PL, NY, HK, CH), pp. 43–52.

CSCW-2011-GergleC #collaboration #eye tracking #mobile #using #what

See what I’m saying?: using Dyadic Mobile Eye tracking to study collaborative reference (DG, ATC), pp. 435–444.

HCI-DDA-2011-NazemiSK #adaptation #visualisation

A Reference Model for Adaptive Visualization Systems (KN, CS, AK), pp. 480–489.

HIMI-v1-2011-BreyerNSBK #personalisation #recommendation

A Comprehensive Reference Model for Personalized Recommender Systems (MB, KN, CS, DB, AK), pp. 528–537.

HIMI-v2-2011-HosonoIMSNTY

Service Science Method to Create Pictograms Referring to Sign Languages (NH, HI, HM, MS, YN, YT, SY), pp. 123–130.

CIKM-2011-BachmannSLS #database #ranking

Extracting cross references from life science databases for search result ranking (AB, RS, ML, MS), pp. 1253–1258.

KDIR-2011-BonninBB #mining #predict #web

Handling Tabbing and Backward References for Predictive Web Usage Mining (GB, AB, AB), pp. 503–509.

KMIS-2011-DoanRG #enterprise

A Reference Model for Knowledge Retention within Small and Medium-sized Enterprises (QMD, CRS, MG), pp. 306–311.

SEKE-2011-GuessiON #architecture #bibliography #perspective #representation

Representation of Reference Architectures: A Systematic Review (MG, LBRdO, EYN), pp. 782–785.

SEKE-2011-ZaniFN #agile #architecture

Current State of Reference Architectures in the Context of Agile Methodologies (VATZ, DF, EYN), pp. 590–595.

POPL-2011-Pottier

A typed store-passing translation for general references (FP), pp. 147–158.

RE-2011-MaxwellAS #identification #requirements #taxonomy

A legal cross-references taxonomy for identifying conflicting software requirements (JCM, AIA, PPS), pp. 197–206.

SAC-2011-DingZ #analysis #forensics

Time based data forensic and cross-reference analysis (XD, HZ), pp. 185–190.

SLE-2011-PaulheimOPP #architecture #modelling

An Architecture for Information Exchange Based on Reference Models (HP, DO, RP, FP), pp. 160–179.

LICS-2011-Clairambault #higher-order #morphism

Isomorphisms of Types in the Presence of Higher-Order References (PC), pp. 152–161.

LICS-2011-MurawskiT #game studies #semantics

Game Semantics for Good General References (ASM, NT), pp. 75–84.

ECSA-2010-OliveiraFFN #architecture #bibliography #modelling #perspective

Reference Models and Reference Architectures Based on Service-Oriented Architecture: A Systematic Review (LBRdO, KRF, DF, EYN), pp. 360–367.

DATE-2010-AkinSH #configuration management #estimation #hardware #multi

A reconfigurable hardware for one bit transform based multiple reference frame Motion Estimation (AA, GS, IH), pp. 393–398.

DATE-2010-ChenLWZXZ #memory management #random #self

A nondestructive self-reference scheme for Spin-Transfer Torque Random Access Memory (STT-RAM) (YC, HL, XW, WZ, WX, TZ), pp. 148–153.

ITiCSE-2010-MillerPS

File references, trees, and computational thinking (CSM, LP, AS), pp. 132–136.

IFL-2010-HerhutJSPG #case study #concurrent #experience

Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences (SH, CJ, SBS, RP, CG), pp. 185–202.

ICEIS-ISAS-2010-DohringKGZ #architecture #challenge #convergence #workflow

The Convergence of Workflows, Business Rules and Complex Events — Defining a Reference Architecture and Approaching Realization Challenges (MD, LK, EG, BZ), pp. 338–343.

ICEIS-ISAS-2010-LaurierBP #enterprise #modelling

A Consolidated Enterprise Reference Model — Integrating McCarthy’s and Hruby’s Resource-Event-Agent Reference Models (WL, MB, GP), pp. 159–164.

ICEIS-ISAS-2010-Looso

A Generic Method for Best Practice Reference Model Application (SL), pp. 149–158.

ICPR-2010-VuC #image #recognition #similarity

Patch-Based Similarity HMMs for Face Recognition with a Single Reference Image (NSV, AC), pp. 1204–1207.

ICPR-2010-WoloszynskiK #classification #random

A Measure of Competence Based on Randomized Reference Classifier for Dynamic Ensemble Selection (TW, MK), pp. 4194–4197.

OOPSLA-2010-KapurCW #library #migration #refactoring

Refactoring references for library migration (PK, BC, RJW), pp. 726–738.

PADL-2010-SridharH #monitoring #prolog

ActionScript In-Lined Reference Monitoring in Prolog (MS, KWH), pp. 149–151.

SAC-2010-BechikhSG #mobile #multi #optimisation #using

Searching for knee regions in multi-objective optimization using mobile reference points (SB, LBS, KG), pp. 1118–1125.

SAC-2010-WangLZY #algorithm

An indoor tracking algorithm with the virtual reference based positioning (YW, JL, JZ, LY), pp. 568–574.

SLE-2010-BurgerKWA #attribute grammar #metamodelling #semantics

Reference Attribute Grammars for Metamodel Semantics (CB, SK, CW, UA), pp. 22–41.

SLE-2010-SoderbergH #attribute grammar #automation

Automated Selective Caching for Reference Attribute Grammars (ES, GH), pp. 2–21.

SAT-2010-Kottler #satisfiability

SAT Solving with Reference Points (SK), pp. 143–157.

VMCAI-2010-MarronMSK #analysis #set

Shape Analysis with Reference Set Relations (MM, RM, DS, DK), pp. 247–262.

VMCAI-2010-SridharH #model checking #monitoring

Model-Checking In-Lined Reference Monitors (MS, KWH), pp. 312–327.

WICSA-ECSA-2009-AngelovGG #architecture #classification #effectiveness

A classification of software reference architectures: Analyzing their success and effectiveness (SA, PWPJG, DG), pp. 141–150.

WICSA-ECSA-2009-NakagawaBM #architecture #ontology #testing

Exploring ontologies to support the establishment of reference architectures: An example on software testing (EYN, EFB, JCM), pp. 249–252.

DRR-2009-ZouLT #html #parsing

Locating and parsing references in HTML medical articles (JZ, DXL, GRT), pp. 1–10.

VLDB-2009-PapapetrouAKG #database #scalability #sequence

Reference-Based Alignment in Large Sequence Databases (PP, VA, GK, DG), pp. 205–216.

CSEET-2009-KlapholtzMP #education #re-engineering

The Graduate Software Engineering Reference Curriculum (GSwERC) (DK, JM, ABP), pp. 290–291.

ESOP-2009-SchaferEM #attribute grammar #coq #formal method #verification

Formalising and Verifying Reference Attribute Grammars in Coq (MS, TE, OdM), pp. 143–159.

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

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

TACAS-2009-EmmiJKM #implementation #verification

Verifying Reference Counting Implementations (ME, RJ, EK, RM), pp. 352–367.

CEFP-2009-Divianszky #modelling

Non-monadic Models of Mutable References (PD), pp. 146–182.

ICFP-2009-GazagnaireH #database #functional #named #performance #programming #transaction #using

OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons (TG, VH), pp. 203–214.

CHI-2009-BaoG #what

What’s “this” you say?: the use of local references on distant displays (PB, DG), pp. 1029–1032.

HCI-AUII-2009-Schmid

Enhancing the Accessibility of Maps with Personal Frames of Reference (FS), pp. 199–210.

HCI-NT-2009-HippP #assurance #quality #speech

Reference Model for Quality Assurance of Speech Applications (CH, MP), pp. 259–266.

OCSC-2009-IsaiasMP #framework #web

Critical Success Factors for Web 2.0 — A Reference Framework (PTI, PM, SP), pp. 354–363.

EDOC-2009-WielandGSL #towards #web #web service #workflow

Towards Reference Passing in Web Service and Workflow-Based Applications (MW, KG, DS, FL), pp. 109–118.

REFSQ-2009-PenzenstadlerSP #modelling #requirements

A Requirements Reference Model for Model-Based Requirements Engineering in the Automotive Domain (BP, ES, KP), pp. 212–217.

SAC-2009-LeeDN #named

RPP: reference pattern based prefetching controller (HJL, IHD, SHN), pp. 341–342.

HPDC-2009-SaballusF #distributed #graph #maintenance

Maintaining reference graphs of globally accessible objects in fully decentralized distributed systems (BS, TF), pp. 59–60.

CSL-2009-Dezani-CiancagliniGR #quantifier

Intersection, Universally Quantified, and Reference Types (MDC, PG, SRDR), pp. 209–224.

CSL-2009-Sumii #equivalence #polymorphism #λ-calculus

A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (ES), pp. 455–469.

ICST-2009-FuGX #testing #user interface

Inferring Types of References to GUI Objects in Test Scripts (CF, MG, QX), pp. 1–10.

CBSE-2008-GamaD #approach #framework

A Practical Approach for Finding Stale References in a Dynamic Service Platform (KG, DD), pp. 246–261.

ECSA-2008-AngelovTG #architecture #case study #evaluation #experience #towards

Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case (SA, JJMT, PWPJG), pp. 225–240.

CASE-2008-Andoh #identification #using

Coulomb friction identification for mechatronic servo systems with limited strokes using two reference inputs (FA), pp. 265–272.

DocEng-2008-GoncalvesRV #towards

Summarizing and referring: towards cohesive extracts (PNG, LHMR, RV), pp. 253–256.

DRR-2008-HottaF #recognition #synthesis

Line-touching character recognition based on dynamic reference feature synthesis (YH, KF), p. 68150.

SIGMOD-2008-EadonCSRSD #clustering

Supporting table partitioning by reference in oracle (GE, EIC, SS, AR, JS, SD), pp. 1111–1122.

SIGMOD-2008-MullerBK #named

XArch: archiving scientific and reference data (HM, PB, IK), pp. 1295–1298.

CSMR-2008-AbdeenADPS #visualisation

Package Reference Fingerprint: a Rich and Compact Visualization to Understand Package Relationships (HA, IA, SD, DP, MS), pp. 213–222.

ICPC-2008-RatiuJ #api #concept #representation

Evaluating the Reference and Representation of Domain Concepts in APIs (DR, JJ), pp. 242–247.

ICALP-A-2008-AlbersL #locality #on the

On List Update with Locality of Reference (SA, SL), pp. 96–107.

SEFM-2008-SilvaSL #object-oriented #semantics

Laws of Object-Orientation with Reference Semantics (LS, AS, ZL), pp. 217–226.

EDOC-2008-ZhuST #architecture #on the

On Creating Industry-Wide Reference Architectures (LZ, MS, VT), pp. 24–30.

ICPR-2008-HardingE #2d #analysis #fourier #gesture #recognition

The Fourier Analysis of 2DT movement with particular reference to hand gesture recognition (PRGH, TJE), pp. 1–4.

ICPR-2008-HuangLL #estimation #image #kernel

Image deblurring with blur kernel estimation from a reference image patch (PHH, YML, SHL), pp. 1–4.

ECOOP-2008-QuinonezTE

Inference of Reference Immutability (JQ, MST, MDE), pp. 616–641.

SAC-2008-ReitbauerKEMA #network #process

Redesigning business networks: reference process, network and service map (SR, FK, CE, KM, RA), pp. 540–547.

CGO-2008-ChenZST

Prefetching irregular references for software cache on cell (TC, TZ, ZS, MGT), pp. 155–164.

HPDC-2008-XiaFJTW #approach #correlation #evaluation #file system #mining #named #novel #optimisation #performance

FARMER: a novel approach to file access correlation mining and evaluation reference model for optimizing peta-scale file system performance (PX, DF, HJ, LT, FW), pp. 185–196.

ISMM-2008-Trancon-y-Widemann #functional #garbage collection #programming

A reference-counting garbage collection algorithmfor cyclical functional programming (BTyW), pp. 71–80.

OSDI-2008-WilliamsRWSS #safety #validation

Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.

ASE-2007-XieGH #named #testing

Smart: a tool for application reference testing (QX, MG, MH), pp. 537–538.

CASE-2007-Tomas-RodriguezS #automation #modelling

Automated Modeling of Rotorcraft Dynamics with Special Reference to Autosim (MTR, RSS), pp. 974–979.

DAC-2007-TibboelRKA #design #functional

System-Level Design Flow Based on a Functional Reference for HW and SW (WHT, VR, MK, DA), pp. 23–28.

ICALP-2007-Laird #semantics

A Fully Abstract Trace Semantics for General References (JL), pp. 667–679.

CHI-2007-GergleRK #collaboration #modelling #visual notation

Modeling the impact of shared visual information on collaborative reference (DG, CPR, REK), pp. 1543–1552.

HIMI-MTT-2007-YooYL #behaviour #design #human-computer

Information Behaviors of HCI Professionals: Design of Intuitive Reference System for Technologies (EY, MY, YL), pp. 237–246.

VISSOFT-2007-SensalireO #industrial #object-oriented #tool support #towards #visualisation

Visualizing Object Oriented Software: Towards a Point of Reference for Developing Tools for Industry (MS, PO), pp. 26–29.

CAiSE-2007-RosaLSDH #modelling #process

Questionnaire-driven Configuration of Reference Process Models (MLR, JL, SS, MD, AHMtH), pp. 424–438.

ICEIS-EIS-2007-EnstromWH #assurance #enterprise #security

A Reference Model for Enterprise Security — High Assurance Enterprise Security (DWE, DW, SH), pp. 355–364.

ICEIS-EIS-2007-GoekenK #development #modelling #multi

Multidimensional Reference Models for Data Warehouse Development (MG, RK), pp. 347–354.

ICEIS-EIS-2007-LuS #architecture #process

A Reference Architecture for Managing Business Process Variants (RL, SWS), pp. 416–421.

ICML-2007-ChenJ #classification #feature model #set

Minimum reference set based feature selection for small sample classifications (XwC, JCJ), pp. 153–160.

MLDM-2007-CzarnowskiJ #approach #multi

An Agent-Based Approach to the Multiple-Objective Selection of Reference Vectors (IC, PJ), pp. 117–130.

SEKE-2007-HofmeisterW #architecture #design #independence #using

Designing a Platform-Independent Use-Case for a Composite Application using a Reference Architecture (HH, GW), pp. 227–231.

SEKE-2007-NakagawaSFM #architecture #testing #tool support #towards

Towards a Reference Architecture for Software Testing Tools (EYN, AdSS, FCF, JCM), pp. 157–162.

SEKE-2007-VasconcelosW #architecture #evaluation #quality #specification

Architectural Elements Recovery and Quality Evaluation to Assist in Reference Architectures Specification (APVdV, CMLW), pp. 494–499.

ECOOP-2007-ChalinJ #java

Non-null References by Default in Java: Alleviating the Nullity Annotation Burden (PC, PRJ), pp. 227–247.

REFSQ-2007-RinkeW #how #modelling #requirements

Defining Reference Models for Modelling Qualities: How Requirements Engineering Techniques Can Help (TR, TW), pp. 335–340.

ESEC-FSE-2007-ZibinPAAKE #java #using

Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.

LDTA-J-2003-MagnussonH #attribute grammar #evaluation

Circular reference attributed grammars — their evaluation and applications (EM, GH), pp. 21–37.

CC-2007-PazP #garbage collection #using

Using Prefetching to Improve Reference-Counting Garbage Collectors (HP, EP), pp. 48–63.

ISMM-2007-Joisha #framework #garbage collection #performance

Overlooking roots: a framework for making nondeferred reference-counting garbage collection fast (PGJ), pp. 141–158.

LICS-2007-Tzevelekos #abstraction

Full abstraction for nominal general references (NT), pp. 399–410.

DATE-2006-HeniaE #multi #using

Improved offset-analysis using multiple timing-references (RH, RE), pp. 450–455.

VLDB-2006-VenkateswaranLKJ #database #sequence

Reference-based Indexing of Sequence Databases (JV, DL, TK, CMJ), pp. 906–917.

ICGT-2006-Lins #algorithm

New Algorithms and Applications of Cyclic Reference Counting (RDL), pp. 15–29.

CHI-2006-DrennerHFRT #web

Insert movie reference here: a system to bridge conversation and item-oriented web sites (SD, FMH, DF, JR, LGT), pp. 951–954.

CSCW-2006-KoschmannLGF #problem

The mystery of the missing referent: objects, procedures, and the problem of the instruction follower (TK, CL, CG, PJF), pp. 373–382.

ICEIS-AIDSS-2006-DavidC #empirical #simulation #social

Around the Empirical and Intentional References of Agent-Based Simulation in the Social Sciences (ND, HC), pp. 31–38.

ICEIS-ISAS-2006-KnackstedtJR #approach #configuration management #modelling #transaction

Configuring Reference Models — An Integrated Approach for Transaction Processing and Decision Support (RK, CJ, TR), pp. 135–143.

ICPR-v1-2006-LiuZH #detection #symmetry

Fingerprint Reference Point Detection Based on Local Axial Symmetry (TL, CZ, PH), pp. 1050–1053.

ICPR-v3-2006-ChairunnandaGC #distance #edit distance #sequence #using

Enhancing Edit Distance on Real Sequences Filters using Histogram Distance on Fixed Reference Ordering (PC, VG, LC), pp. 582–585.

ICPR-v4-2006-LeiYW #recognition

An UBM-Based Reference Space for Speaker Recognition (ZL, YY, ZW), pp. 318–321.

SEKE-2006-SornilS #detection #using

Improving Intrusion Detection Systems Using Reference Vectors (OS, PS), pp. 398–403.

LOPSTR-2006-WinwoodKC #automation #monitoring #on the #synthesis

On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (SW, GK, MMTC), pp. 111–126.

RE-2006-WeerdBNVB #framework #towards

Towards a Reference Framework for Software Product Management (IvdW, SB, RN, JV, LB), pp. 312–315.

SAC-2006-ThomasHT #model management #towards

Towards a reference model management system for business engineering (OT, MH, MT), pp. 1524–1531.

SAC-2006-WinterS #design #modelling #perspective

Reference modeling and method construction: a design science perspective (RW, JS), pp. 1561–1562.

SPL-BOOK-2006-FaegriH #architecture #product line #security

A Software Product Line Reference Architecture for Security (TEF, SOH), pp. 275–326.

ISMM-2006-DonnellyHK #semantics

Formal semantics of weak references (KD, JJH, AJK), pp. 126–137.

ISMM-2006-Joisha #compilation #garbage collection #optimisation

Compiler optimizations for nondeferred reference-counting garbage collection (PGJ), pp. 150–161.

SIGMOD-2005-DongHMN

Reference Reconciliation in Complex Information Spaces (XD, AYH, JM), pp. 85–96.

CSMR-2005-GraafDD #architecture #case study #embedded #experience #industrial

Evaluating an Embedded Software Reference Architecture — Industrial Experience Report (BG, HWvD, AvD), pp. 354–363.

ICSM-2005-GrosskurthG #architecture #web

A Reference Architecture for Web Browsers (AG, MWG), pp. 661–664.

ICSM-2005-SharpR #java #static analysis

Static Analysis of Object References in RMI-Based Java Software (MS, AR), pp. 101–110.

AdaEurope-2005-OrtizAAP #architecture

A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle (FJO, DA, BÁ, JAP), pp. 13–24.

OOPSLA-2005-NandaGC #type system

Deriving object typestates in the presence of inter-object references (MGN, CG, SC), pp. 77–96.

OOPSLA-2005-TschantzE #java #named

Javari: adding reference immutability to Java (MST, MDE), pp. 211–230.

GPCE-2005-Ahlander #sorting

Sorting Out the Relationships Between Pairs of Iterators, Values, and References (KÅ), pp. 342–356.

HT-2004-KimW

Properties of academic paper references (SK, EJWJ), pp. 44–45.

ESOP-2004-Hansen

A Hardest Attacker for Leaking References (RRH), pp. 310–324.

WCRE-2004-ParkKWY #analysis #behaviour #design pattern

A Static Reference Flow Analysis to Understand Design Pattern Behavior (CP, YK, CW, KY), pp. 300–301.

PLDI-2004-ZhongOSD #array #using

Array regrouping and structure splitting using whole-program reference affinity (YZ, MO, XS, CD), pp. 255–266.

ECIR-2004-ChenTH #corpus #identification #novel #using

Identification of Relevant and Novel Sentences Using Reference Corpus (HHC, MFT, MHH), pp. 85–98.

ICPR-v1-2004-JiangLK #detection #recognition

Reference Point Detection for Fingerprint Recognition (XJ, ML, ACK), pp. 540–543.

KDD-2004-AgichteinG #automation #mining #segmentation

Mining reference tables for automatic text segmentation (EA, VG), pp. 20–29.

ECOOP-2004-EkmanH #attribute grammar

Rewritable Reference Attributed Grammars (TE, GH), pp. 144–169.

OOPSLA-2004-BirkaE #type system

A practical type system and language for reference immutability (AB, MDE), pp. 35–49.

POPL-2004-Boehm #lazy evaluation

The space cost of lazy reference counting (HJB), pp. 210–219.

CGO-2004-Adl-TabatabaiBCEFLMS #java #performance

Improving 64-Bit Java IPF Performance by Compressing Heap References (ARAT, JB, MC, ME, JF, BTL, BRM, JMS), pp. 100–110.

DAC-2003-SengerMMGKGB

A 16-bit mixed-signal microsystem with integrated CMOS-MEMS clock reference (RMS, EDM, MSM, FHG, KLK, MRG, RBB), pp. 520–525.

ICDAR-2003-BesagniBB #segmentation

A Segmentation Method for Bibliographic References by Contextual Tagging of Fields (DB, AB, NB), pp. 384–388.

ICDAR-2003-SeropianGV #identification

Writer Identification based on the fractal construction of a reference base (AS, MG, NV), pp. 1163–1167.

ICDAR-2003-XiL #documentation

Reference Line Extraction from Form Documents with Complicated Backgrounds (DX, SWL), p. 1080–?.

WCRE-2003-WalensteinJLYL #clone detection #detection #problem

Problems Creating Task-relevant Clone Detection Reference Data (AW, NJ, JL, YY, AL), pp. 285–295.

OOPSLA-2003-BlackburnM #garbage collection #performance

Ulterior reference counting: fast garbage collection without a long wait (SB, KSM), pp. 344–358.

RE-2003-HallR #requirements

A Reference Model for Requirements Engineering (JGH, LR), pp. 181–187.

SAC-2003-LeeLTY #identification

Identify Amino Acid Candidates Critical for Function of Rat Imidase by Cross-reference Voting in Imidase SuperFamily (CL, YtL, CYT, YSY), pp. 127–134.

LDTA-2003-MagnussonH #attribute grammar #evaluation

Circular Reference Attributed Grammars — Their Evaluation and Applications (EM, GH), pp. 532–554.

CC-2003-AzatchiP #garbage collection

Integrating Generations with Advanced Reference Counting Garbage Collectors (HA, EP), pp. 185–199.

CC-2003-Ryder #analysis #object-oriented #precise #programming language

Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages (BGR), pp. 126–137.

LCTES-2003-CorsaroC #java #performance #realtime

Efficient memory-reference checks for real-time java (AC, RC), pp. 51–58.

LICS-2003-Murawski #equivalence #on the

On Program Equivalence in Languages with Ground-Type References (ASM), p. 108–?.

CSMR-2002-Zdun #architecture #re-engineering #web

Reengineering to the Web: A Reference Architecture (UZ), p. 164–?.

STOC-2002-AlbersFG #locality #on the

On paging with locality of reference (SA, LMF, OG), pp. 258–267.

ICPR-v3-2002-TanakaKFI #modelling #speech

Constructing Speech Processing Systems on Universal Phonetic Codes Accompanied with Reference Acoustic Models (KT, HK, NF, YI), pp. 728–731.

SEKE-2002-BarberHB #architecture #evaluation #performance

Performance evaluation of domain reference architectures (KSB, JH, GB), pp. 225–232.

SIGIR-2002-LarsenI #documentation #network

The boomerang effect: retrieving scientific documents via the network of references and citations (BL, PI), pp. 397–398.

RE-2002-GrossMZH #convergence #development

The Reference Point Method: Requirements-Based ICT Convergence Solution Development (WG, TM, FZ, CH), p. 193.

OSDI-2002-ElsonGE #fine-grained #network #using

Fine-Grained Network Time Synchronization Using Reference Broadcasts (JE, LG, DE), pp. 147–163.

ISSTA-2002-LiangPH #analysis #precise #profiling #using

Evaluating the precision of static reference analysis using profiling (DL, MP, MJH), pp. 22–32.

LICS-2002-AhmedAV #semantics

A Stratified Semantics of General References A Stratified Semantics of General References (AJA, AWA, RV), p. 75–?.

PLDI-2001-Chilimbi #abstraction #locality #performance

Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality (TMC), pp. 191–202.

SEKE-2001-BarberGH #architecture #correctness #model checking #simulation #using

Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking (KSB, TJG, JH), pp. 19–28.

SIGIR-2001-Broch

Cite Me, Cite My References? (Scholarly Use of the ACM SIGIR Proceedings Based on Two Citation Indexes) (EB), pp. 446–447.

ECOOP-2001-BaconR #concurrent

Concurrent Cycle Collection in Reference Counted Systems (DFB, VTR), pp. 207–235.

OOPSLA-2001-LevanoniP #garbage collection #java #on the fly

An On-the-Fly Reference Counting Garbage Collector for Java (YL, EP), pp. 367–380.

SAC-2001-KhatriR #approach #automation #education #health #reuse

A software reuse reference model approach in developing an automated educational system for patients health care management (AK, DCR), pp. 675–678.

PPoPP-2001-KimOEFV #analysis #execution #framework #optimisation

Reference idempotency analysis: a framework for optimizing speculative execution (SWK, ClO, RE, BF, TNV), pp. 2–11.

WCRE-2000-HassanH #architecture #web

A Reference Architecture for Web Servers (AEH, RCH), p. 150–?.

SAS-2000-FinkKS #analysis #array

Unified Analysis of Array and Object References in Strongly Typed Languages (SJF, KK, VS), pp. 155–174.

CAiSE-2000-SchusterGCB #modelling #multi #process

Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes (HS, DG, AC, DB), pp. 247–263.

ICPR-v4-2000-KumarSHH #video

Registration of Highly-Oblique and Zoomed in Aerial Video to Reference Imagery (RK, SS, SCH, KJH), pp. 4303–4307.

KDD-2000-McCallumNU #clustering #performance #set

Efficient clustering of high-dimensional data sets with application to reference matching (AM, KN, LHU), pp. 169–178.

GCSE-2000-TeschkeR #component #modelling #towards

Towards a Foundation of Component-Oriented Software Reference Models (TT, JR), pp. 70–84.

ICRE-2000-GunterGJZ #requirements

A Reference Model for Requirements and Specifications-Extended Abstract (CAG, ELG, MJ, PZ), p. 189.

ISMM-2000-AgesenG #performance

Efficient Object Sampling via Weak References (OA, AG), pp. 121–126.

ISMM-2000-Dickman

Diffusion Tree Restructuring for Indirect Reference Counting (PD), pp. 167–177.

LCTES-2000-CintraA #array #using

Array Reference Allocation Using SSA-Form and Live Range Growth (MSC, GA), pp. 48–62.

OSDI-2000-KimCKNMCK

A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References (JMK, JC, JK, SHN, SLM, YC, CSK), pp. 119–134.

TestCom-2000-SchieferdeckerLR #incremental #testing

Incremental Testing at System Reference Points (IS, ML, AR), pp. 75–90.

WICSA-1999-SavigniT #architecture #monitoring #named

Kaleidoscope: A Reference Architecture for Monitoring and Control Systems (AS, FT), pp. 369–388.

HT-1999-BraHW #adaptation #hypermedia #named

AHAM: A Dexter-Based Reference Model for Adaptive Hypermedia (PDB, GJH, HW), pp. 147–156.

HT-1999-LoweBW #assessment #development #hypermedia #modelling #process

Improving Hypermedia Development: A Reference Model-Based Process Assessment Method (DBL, AJB, RW), pp. 139–146.

ICDAR-1999-LecceDGIPSS #automation #verification

Selection of Reference Signatures for Automatic Signature Verification (VDL, GD, AG, SI, GP, AS, LS), pp. 597–600.

ICDAR-1999-NegishiKHW #automation

Character Extraction from Noisy Background for an Automatic Reference System (HN, JK, HH, TW), pp. 143–146.

CHI-1999-SalzmanDL #multi #visualisation

VR’s Frames of Reference: A Visualization Technique for Mastering Abstract Multidimensional Information (MCS, CJD, RBL), pp. 489–495.

HCI-EI-1999-DaeleC #simulation

Between the situation of simulation and the situation of reference: the operators’ representations (AVD, DC), pp. 875–879.

SIGIR-1999-Nordlie #comparison #development #interactive #online #query #quote

“User Revealment” — a Comparison of Initial Queries and Ensuing Question Development in Online Searching and in Human Reference Interactions (RN), pp. 11–18.

ECOOP-1999-PauwS #java #memory management #visualisation

Visualizing Reference Patterns for Solving Memory Leaks in Java (WDP, GS), pp. 116–134.

CC-1999-Dinechin #memory management #scheduling

Extending Modulo Scheduling with Memory Reference Merging (BDdD), pp. 274–287.

VLDB-1998-BraumandlCK #database #functional #object-oriented #set

Evaluating Functional Joins Along Nested Reference Sets in Object-Relational and Object-Oriented Databases (RB, JC, AK), pp. 110–122.

VLDB-1998-ZouS #online

Safely and Efficiently Updating References During On-line Reorganization (CZ, BS), pp. 512–522.

ICPR-1998-BhattacharyaK #nearest neighbour #set

Reference set thinning for the k-nearest neighbor decision rule (BKB, DK), pp. 238–242.

TOOLS-ASIA-1998-MatsuzawaI #framework #library #object-oriented

An Object-Oriented Reference Model with Frameworks and Libraries (YM, NI), pp. 346–350.

ASPLOS-1998-PeirLH #adaptation #behaviour #memory management

Capturing Dynamic Memory Reference Behavior with Adaptive Cache Topology (JKP, YL, WWH), pp. 240–250.

ASPLOS-1998-SeidlZ #behaviour

Segregating Heap Objects by Reference Behavior and Lifetime (MLS, BGZ), pp. 12–23.

ISMM-1998-Moreau #distributed

Hierarchical Distributed Reference Counting (LM), pp. 57–67.

LICS-1998-AbramskyHM #game studies #semantics

A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.

EDTC-1997-Garcia-VargasGFR #algorithm #analysis #generative #scalability

An algorithm for numerical reference generation in symbolic analysis of large analog circuits (IGV, MG, FVF, ÁRV), pp. 395–399.

ICDAR-1997-ParmentierB #logic #recognition

Logical Structure Recognition of Scientific Bibliographic References (FP, AB), p. 1072–?.

VLDB-1997-AshwinRSSS #database #garbage collection #object-oriented #transaction #using

Garbage Collection in Object Oriented Databases Using Transactional Cyclic Reference Counting (SA, PR, SS, AS, SS), pp. 366–375.

TACAS-1997-Grahlmann #component

The Reference Component of PEP (BG), pp. 65–80.

ICFP-1997-Kagawa #composition #functional #programming

Compositional References for Stateful Functional Programming (KK), pp. 217–226.

HT-1996-GronbaekT #embedded #hypermedia #towards

Toward a Dexter-Based Model for Open Hypermedia: Unifying Embedded References and Link Objects (KG, RHT), pp. 149–160.

ICPR-1996-HarukiHYY #3d #automation #using #verification

Automatic seal verification using three-dimensional reference seals (HH, TH, HY, KY), pp. 199–203.

ICPR-1996-WernerHLP #representation

Selection of reference views for image-based representation (TW, VH, AL, TP), pp. 73–77.

ICSE-1996-Forgacs #analysis #array #data flow #testing

An Exact Array Reference Analysis for Data Flow Testing (IF), pp. 565–574.

ICDAR-v2-1995-ParmentierB #architecture #bibliography #using #validation

Bibliography references validation using emergent architecture (FP, AB), pp. 532–535.

ICDAR-v2-1995-TangMXCS #documentation #using

Extraction of reference lines from documents with grey-level background using sub-images of wavelets (YYT, HM, DX, YC, CYS), pp. 571–574.

STOC-1995-FiatK #locality #multi #random

Randomized and multipointer paging with locality of reference (AF, ARK), pp. 626–634.

TLCA-1995-RitterP #ml #standard #λ-calculus

A Fully Abstract Translation between a λ-Calculus with Reference Types and Standard ML (ER, AMP), pp. 397–413.

HT-ECHT-1994-RostekM #editing

An Editor’s Workbench for an Art History Reference Work (LR, WM), pp. 233–238.

LFP-1994-JagannathanW #parallel

Analyzing Stores and References in a Parallel Symbolic Language (SJ, SW), pp. 294–305.

SEKE-1994-GuoSRD #database #optimisation #query #reduction #semantics

Semantic query optimization by class reference reduction in object- oriented databases (SG, WS, NR, YD), pp. 306–313.

OOPSLA-1994-Seidewitz #inheritance #self #using

Genericity versus Inheritance Reconsidered: Self-Reference Using Generics (ES), pp. 153–163.

PLILP-1994-Schulte #garbage collection

Deriving Residual Reference Count Garbage Collectors (WS), pp. 102–116.

ICDAR-1993-LeeS #design #modelling #using

Optimal design of reference models using simulated annealing combined with an improved LVQ3 (SWL, HHS), pp. 244–249.

PLDI-1993-DuesterwaldGS #analysis #array #data flow #framework #optimisation

A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations (ED, RG, MLS), pp. 68–77.

HCI-ACS-1993-Yamamoto #performance

Topographic EEG Study of VDT Performance with Special Reference to Frontal Midline Theta Waves (Fm q) and Mental Work (SY), pp. 897–902.

TRI-Ada-1993-BrownCFOZ

A Project Support Environment Reference Model (AWB, DJC, PHF, PAO, MVZ), pp. 82–89.

POPL-1993-Leroy #continuation #morphism #polymorphism

Polymorphism by Name for References and Continuations (XL), pp. 220–231.

HT-ECHT-1992-Anselmo

A Reference Manual for Hydrological Observations (Demonstration) (VA), p. 293.

HT-ECHT-1992-Gasparri #named

HTLEX: A Law Reference System (Demonstration) (PG), p. 293.

ESOP-1992-Wright #type system

Typing References by Effect Inference (AKW), pp. 473–491.

LICS-1992-MasonT #reasoning

References, Local Variables and Operational Reasoning (IAM, CLT), pp. 186–197.

PEPM-1991-ParkG #analysis #optimisation

Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References (YGP, BG), pp. 178–189.

STOC-1991-BorodinIRS #locality

Competitive Paging with Locality of Reference (Preliminary Version) (AB, SI, PR, BS), pp. 249–259.

KR-1991-DavisC #clustering

Clustering Temporal Intervals To Generate Reference Hierarchies (WSD, JRC), pp. 111–117.

PLDI-1989-Goldberg #distributed

Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme (BG), pp. 313–321.

PLDI-1989-RogersP #composition #locality #process

Process Decomposition Through Locality of Reference (AR, KP), pp. 69–80.

CAiSE-1989-Nilsson #classification #development #information management

Information Systems Development: A Frame Of Reference and Classifications (AGN).

KR-1989-Prescott #reasoning

Analogical Reasoning, Defeasible Reasoning, and the Reference Class (RP), pp. 256–265.

ASPLOS-1989-Holliday #architecture #migration

Reference History, Page Size, and Migration Daemons in Local/Remote Architectures (MAH), pp. 104–112.

NACLP-1989-MadanPS #lisp #on the #prolog

On the Adequacy of Direct Mapped Caches for Lisp and Prolog Data Reference Patterns (VSM, CJP, GSS), pp. 888–906.

JICSCP-1988-GotoKNC88 #garbage collection #incremental #lazy evaluation #parallel

Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines (AG, YK, TN, TC), pp. 1241–1256.

HCI-CE-1987-Seeley #collaboration #design #hypermedia #object-oriented #user interface

An Object-oriented Reference Model for User Interface Design, Hypertext and Collaboration (DAS), pp. 575–582.

ICLP-1987-ChikayamaK87 #haskell #multi

Multiple Reference Management in Flat GHC (TC, YK), pp. 276–293.

LFP-1986-Hudak #abstraction #semantics #summary

A Semantic Model of Reference Counting and its Abstraction (Detailed Summary) (PH), pp. 351–363.

LFP-1986-LermenM #distributed #protocol

A Protocol for Distributed Reference Counting (CWL, DM), pp. 343–350.

FPCA-1985-Brownbridge85 #combinator

Cyclic Reference Counting for Combinator Machines (DRB), pp. 273–288.

FPCA-1985-Wise85 #design #multi

Design for a Multiprocessing Heap with On-board Reference Counting (DSW), pp. 289–304.

POPL-1985-Cooper #alias #parametricity

Analyzing Aliases of Reference Formal Parameters (KDC), pp. 281–290.

SOSP-1981-BabaogluJ #architecture

Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits (ÖB, WNJ), pp. 78–86.

TFDA-1980-Bjorner #metalanguage

Reference Manual for the Meta-Language (DB), pp. 607–623.

VDM-1978-Jones #metalanguage

The META-Language: A Reference Manual (CBJ), pp. 218–277.

STOC-1977-Tarjan #maintenance #set

Reference Machines Require Non-linear Time to Maintain Disjoint Sets (RET), pp. 18–29.

SOSP-1973-ArvindKS #generative #on the #process #string

On Reference String Generation Processes (A, RYK, ES), pp. 80–87.