BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
architectur (57)
model (49)
base (47)
use (36)
count (28)

Stem refer$ (all stems)

338 papers:

ECSAECSA-2015-GalsterA #agile #architecture #comprehension #development
Understanding the Use of Reference Architectures in Agile Software Development Projects (MG, SA), pp. 268–276.
DATEDATE-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.
DRRDRR-2015-LiGTY #documentation #identification
Cross-reference identification within a document (SL, LG, ZT, YY), p. 940209.
DRRDRR-2015-NayefO #assessment #documentation #image #quality
Metric-based no-reference quality assessment of heterogeneous document images (NN, JMO).
VLDBVLDB-2015-HeCMPS #named #synthesis #using
DPT: Differentially Private Trajectory Synthesis Using Hierarchical Reference Systems (XH, GC, AM, CMP, DS), pp. 1154–1165.
VLDBVLDB-2015-WandeltL #multi #named #string
MRCSI: Compressing and Searching String Collections with Multiple References (SW, UL), pp. 461–472.
ESOPESOP-2015-SiekVCTG #performance #type system
Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.
ICPCICPC-2015-ButlerWY #bibliography #java
A survey of the forms of Java reference names (SB, MW, YY), pp. 196–206.
ICSMEICSME-2015-ButlerWY #java
Investigating naming convention adherence in Java references (SB, MW, YY), pp. 41–50.
MSRMSR-2015-BlincoeHD #ecosystem #git #identification #using
Ecosystems in GitHub and a Method for Ecosystem Identification Using Reference Coupling (KB, FH, DD), pp. 202–211.
ICALPICALP-v1-2015-AlbersF #locality
Quantifying Competitiveness in Paging with Locality of Reference (SA, DF), pp. 26–38.
GaMGaM-2015-BakFPR #graph #interpreter #programming language
A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.
HCIHIMI-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.
ICEISICEIS-v3-2015-CruzV #architecture #enterprise #towards
Towards a Reference Enterprise Application Architecture for the Customer Relationship Management Domain (AC, AV), pp. 185–195.
SACSAC-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-FSEESEC-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.
ICSEICSE-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.
SLESLE-2015-Burger #attribute grammar #bibliography #graph grammar #motivation #perspective
Reference attribute grammar controlled graph rewriting: motivation and overview (CB), pp. 89–100.
ECSAECSA-2014-AngelovH #architecture #towards
Towards an Improved Stakeholder Management for Software Reference Architectures (SA, RH), pp. 90–97.
ECSAECSA-2014-MachadoSBLN #architecture #named #ubiquitous
RA-Ubi: A Reference Architecture for Ubiquitous Computing (CAM, ES, TVB, JCL, EYN), pp. 98–105.
WICSAWICSA-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.
WICSAWICSA-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.
WICSAWICSA-2014-WeinreichB #architecture #automation #consistency
Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems (RW, GB), pp. 95–104.
DACDAC-2014-EkenZWJLC #self
A New Field-assisted Access Scheme of STT-RAM with Self-reference Capability (EE, YZ, WW, RVJ, HL, YC), p. 6.
DACDAC-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.
MSRMSR-2014-MurakamiHK #dataset
A dataset of clone references with gaps (HM, YH, SK), pp. 412–415.
CHICHI-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.
CHICHI-2014-KongHA #crowdsourcing
Extracting references between text and charts via crowdsourcing (NK, MAH, MA), pp. 31–40.
CSCWCSCW-2014-KunertKBF #named
Photoportals: shared references in space and time (AK, AK, SB, BF), pp. 1388–1399.
CAiSECAiSE-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.
EDOCEDOC-2014-SchutzS #modelling
Customization of Domain-Specific Reference Models for Data Warehouses (CGS, MS), pp. 61–70.
ICPRICPR-2014-Chetouani #assessment #image #quality
Full Reference Image Quality Assessment: Limitation (AC), pp. 833–837.
ICPRICPR-2014-FranchiA #adaptation
Spatially-Variant Area Openings for Reference-Driven Adaptive Contour Preserving Filtering (GF, JA), pp. 1043–1048.
KMISKMIS-2014-UrwinPCCPPY #network #ontology
Reference Ontologies for Global Production Networks (ENU, CP, AFCD, FSC, JMPS, SPG, RIMY), pp. 133–139.
SEKESEKE-2014-GuessiON #approach #architecture
An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures (MG, FO, EYN), pp. 162–167.
SEKESEKE-2014-ThiryFZ #development #named
GreenRM: Reference Model for Sustainable Software Development (MT, LF, AZ), pp. 39–42.
ECOOPECOOP-2014-LiT #analysis #fault #python #source code
Finding Reference-Counting Errors in Python/C Programs with Affine Analysis (SL, GT), pp. 80–104.
RERE-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.
CGOCGO-2014-RountevY #analysis #android #user interface
Static Reference Analysis for GUI Objects in Android Software (AR, DY), p. 143.
ISMMISMM-2014-UgawaJR #garbage collection #on the fly
Reference object processing in on-the-fly garbage collection (TU, REJ, CGR), pp. 59–69.
ECSAECSA-2013-AngelovTK #architecture #design
Software Reference Architectures — Exploring Their Usage and Design in Practice (SA, JJMT, RJK), pp. 17–24.
ECSAECSA-2013-BuchgeherW #analysis #architecture #consistency #towards
Towards Continuous Reference Architecture Conformance Analysis (GB, RW), pp. 332–335.
ECSAECSA-2013-Martinez-FernandezAFM #architecture
Benefits and Drawbacks of Reference Architectures (SMF, CPA, XF, HMM), pp. 307–310.
ASEASE-2013-NguyenNNNN #multi #web
Dangling references in multi-configuration and dynamic PHP-based Web applications (HVN, HAN, TTN, ATN, TNN), pp. 399–409.
FoSSaCSFoSSaCS-2013-MurawskiT #game studies #semantics
Deconstructing General References via Game Semantics (ASM, NT), pp. 241–256.
PLDIPLDI-2013-GordonEG #alias #refinement
Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.
GT-VMTGT-VMT-2013-ForsH #attribute grammar #editing #reuse #semantics #visual notation
Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars (NF, GH).
HCIHCI-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.
EDOCEDOC-2013-GudenkaufJGN #architecture
A Reference Architecture for Cloud Service Offers (SG, MJ, AG, ON), pp. 227–236.
EDOCEDOC-2013-HeroldMRS #architecture #case study #consistency
Checking Conformance with Reference Architectures: A Case Study (SH, MM, AR, IS), pp. 71–80.
EDOCEDOC-2013-NardiFAGPSG #ontology #towards
Towards a Commitment-Based Reference Ontology for Services (JCN, RdAF, JPAA, GG, LFP, MvS, NG), pp. 175–184.
KDIRKDIR-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.
KDIRKDIR-KMIS-2013-SaxenaBW #composition #learning
A Cognitive Reference based Model for Learning Compositional Hierarchies with Whole-composite Tags (ABS, AB, AW), pp. 119–127.
SEKESEKE-2013-BarbosaFNM #architecture #learning #towards
Towards the Establishment of a Reference Architecture for Developing Learning Environments (EFB, MLF, EYN, JCM), pp. 350–355.
SEKESEKE-2013-KayaF #identification
Identifying Extract Method Opportunities Based on Variable References (S) (MK, JWF), pp. 153–158.
SEKESEKE-2013-SantosGGFN #architecture #embedded #evaluation
A Checklist for Evaluation of Reference Architectures of Embedded Systems (S) (JFMS, MG, MG, DF, EYN), pp. 451–454.
OOPSLAOOPSLA-2013-ShahriyarBYM
Taking off the gloves with reference counting Immix (RS, SMB, XY, KSM), pp. 93–110.
RERE-2013-MaxwellAE #empirical
An empirical investigation of software engineers’ ability to classify legal cross-references (JCM, AIA, JBE), pp. 24–31.
ICSEICSE-2013-NguyenNNN #detection #named #web
DRC: a detection tool for dangling references in PHP-based web applications (HVN, HAN, TTN, TNN), pp. 1299–1302.
SLESLE-2013-SoderbergH #attribute grammar #higher-order
Circular Higher-Order Reference Attribute Grammars (ES, GH), pp. 302–321.
SPLCSPLC-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.
CBSECBSE-2012-KarolBA #attribute grammar #composition #towards
Towards well-formed fragment composition with reference attribute grammars (SK, CB, UA), pp. 109–114.
WICSA-ECSAWICSA-ECSA-2012-NakagawaOB #architecture #named
RAModel: A Reference Model for Reference Architectures (EYN, FO, MB), pp. 297–301.
WICSA-ECSAWICSA-ECSA-2012-SimantaLMHS #architecture #mobile
A Reference Architecture for Mobile Code Offload in Hostile Environments (SS, GAL, EJM, KH, MS), pp. 282–286.
ASEASE-2012-Quesada #generative #modelling #parsing
A model-driven parser generator with reference resolution support (LQ), pp. 394–397.
CASECASE-2012-XiaoLL #adaptation
A model reference adaptive PID control for electromagnetic actuated micro-positioning stage (SX, YL, JL), pp. 97–102.
DACDAC-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.
DATEDATE-2012-BiZLCP #design
Spintronic memristor based temperature sensor design with CMOS current reference (XB, CZ, HL, YC, REP), pp. 1301–1306.
DocEngDocEng-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.
ICSMEICSM-2012-QianZ #java #memory management
Inferring weak references for fixing Java memory leaks (JQ, XZ), pp. 571–574.
ICALPICALP-v2-2012-MurawskiT #algorithm #game studies
Algorithmic Games for Full Ground References (ASM, NT), pp. 312–324.
CHICHI-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.
CSCWCSCW-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.
CIKMCIKM-2012-HuangKCMGR #recommendation
Recommending citations: translating papers into references (WH, SK, CC, PM, CLG, LR), pp. 1910–1914.
CIKMCIKM-2012-MasadaT #gpu #topic
Extraction of topic evolutions from references in scientific articles and its GPU acceleration (TM, AT), pp. 1522–1526.
ICPRICPR-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.
ICPRICPR-2012-XuZY #metric
No reference measurement of contrast distortion and optimal contrast enhancement (HX, GZ, XY), pp. 1981–1984.
ICPRICPR-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.
KDIRKDIR-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.
KEODKEOD-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.
KMISKMIS-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.
SEKESEKE-2012-AffonsoR #architecture #configuration management #development
A Proposal of Reference Architecture for the Reconfigurable Software Development (FJA, ELLR), pp. 668–671.
OOPSLAOOPSLA-2012-GordonPPBD #parallel
Uniqueness and reference immutability for safe parallelism (CSG, MJP, JP, AB, JD), pp. 21–40.
OOPSLAOOPSLA-2012-HuangMDE
Reim & ReImInfer: checking and inference of reference immutability and method purity (WH, AM, WD, MDE), pp. 879–896.
SACSAC-2012-KarakasidisV
Reference table based k-anonymous private blocking (AK, VSV), pp. 859–864.
SACSAC-2012-NakagawaBM #architecture #framework #knowledge-based
A knowledge-based framework for reference architectures (EYN, MB, JCM), pp. 1197–1202.
ICSEICSE-2012-YanXR #java #performance #problem #profiling
Uncovering performance problems in Java applications with reference propagation profiling (DY, G(X, AR), pp. 134–144.
HPCAHPCA-2012-BattleHHR #flexibility #using
Flexible register management using reference counting (SJB, ADH, MH, AR), pp. 273–284.
ISMMISMM-2012-ShahriyarBF
Down for the count? Getting reference counting back in the ring (RS, SMB, DF), pp. 73–84.
CBSECBSE-2011-LoiretRSM #component #framework #re-engineering
Software engineering of component-based systems-of-systems: a reference framework (FL, RR, LS, PM), pp. 61–66.
ECSAECSA-2011-NakagawaAB #architecture #difference #product line
Reference Architecture and Product Line Architecture: A Subtle But Critical Difference (EYN, POA, MB), pp. 207–211.
ECSAECSA-2011-OliveiraN #architecture #testing #tool support
A Service-Oriented Reference Architecture for Software Testing Tools (LBRdO, EYN), pp. 405–421.
QoSAQoSA-ISARCS-2011-GalsterA #architecture
Empirically-grounded reference architectures: a proposal (MG, PA), pp. 153–158.
WICSAWICSA-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.
CHICHI-2011-LuffYKH
Hands on hitchcock: embodied reference to a moving scene (PL, NY, HK, CH), pp. 43–52.
CSCWCSCW-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.
HCIHCI-DDA-2011-NazemiSK #adaptation #visualisation
A Reference Model for Adaptive Visualization Systems (KN, CS, AK), pp. 480–489.
HCIHIMI-v1-2011-BreyerNSBK #personalisation #recommendation
A Comprehensive Reference Model for Personalized Recommender Systems (MB, KN, CS, DB, AK), pp. 528–537.
HCIHIMI-v2-2011-HosonoIMSNTY
Service Science Method to Create Pictograms Referring to Sign Languages (NH, HI, HM, MS, YN, YT, SY), pp. 123–130.
CIKMCIKM-2011-BachmannSLS #database #ranking
Extracting cross references from life science databases for search result ranking (AB, RS, ML, MS), pp. 1253–1258.
KDIRKDIR-2011-BonninBB #mining #predict #web
Handling Tabbing and Backward References for Predictive Web Usage Mining (GB, AB, AB), pp. 503–509.
KMISKMIS-2011-DoanRG #enterprise
A Reference Model for Knowledge Retention within Small and Medium-sized Enterprises (QMD, CRS, MG), pp. 306–311.
SEKESEKE-2011-GuessiON #architecture #bibliography #perspective #representation
Representation of Reference Architectures: A Systematic Review (MG, LBRdO, EYN), pp. 782–785.
SEKESEKE-2011-ZaniFN #agile #architecture
Current State of Reference Architectures in the Context of Agile Methodologies (VATZ, DF, EYN), pp. 590–595.
POPLPOPL-2011-Pottier
A typed store-passing translation for general references (FP), pp. 147–158.
RERE-2011-MaxwellAS #identification #requirements #taxonomy
A legal cross-references taxonomy for identifying conflicting software requirements (JCM, AIA, PPS), pp. 197–206.
SACSAC-2011-DingZ #analysis #forensics
Time based data forensic and cross-reference analysis (XD, HZ), pp. 185–190.
SLESLE-2011-PaulheimOPP #architecture #modelling
An Architecture for Information Exchange Based on Reference Models (HP, DO, RP, FP), pp. 160–179.
LICSLICS-2011-Clairambault #higher-order #morphism
Isomorphisms of Types in the Presence of Higher-Order References (PC), pp. 152–161.
LICSLICS-2011-MurawskiT #game studies #semantics
Game Semantics for Good General References (ASM, NT), pp. 75–84.
ECSAECSA-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.
DATEDATE-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.
DATEDATE-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.
ITiCSEITiCSE-2010-MillerPS
File references, trees, and computational thinking (CSM, LP, AS), pp. 132–136.
IFLIFL-2010-HerhutJSPG #case study #concurrent #experience
Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences (SH, CJ, SBS, RP, CG), pp. 185–202.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-ISAS-2010-Looso
A Generic Method for Best Practice Reference Model Application (SL), pp. 149–158.
ICPRICPR-2010-VuC #image #recognition #similarity
Patch-Based Similarity HMMs for Face Recognition with a Single Reference Image (NSV, AC), pp. 1204–1207.
ICPRICPR-2010-WoloszynskiK #classification #random
A Measure of Competence Based on Randomized Reference Classifier for Dynamic Ensemble Selection (TW, MK), pp. 4194–4197.
OOPSLAOOPSLA-2010-KapurCW #library #migration #refactoring
Refactoring references for library migration (PK, BC, RJW), pp. 726–738.
PADLPADL-2010-SridharH #monitoring #prolog
ActionScript In-Lined Reference Monitoring in Prolog (MS, KWH), pp. 149–151.
SACSAC-2010-BechikhSG #mobile #multi #optimisation #using
Searching for knee regions in multi-objective optimization using mobile reference points (SB, LBS, KG), pp. 1118–1125.
SACSAC-2010-WangLZY #algorithm
An indoor tracking algorithm with the virtual reference based positioning (YW, JL, JZ, LY), pp. 568–574.
SLESLE-2010-BurgerKWA #attribute grammar #metamodelling #semantics
Reference Attribute Grammars for Metamodel Semantics (CB, SK, CW, UA), pp. 22–41.
SLESLE-2010-SoderbergH #attribute grammar #automation
Automated Selective Caching for Reference Attribute Grammars (ES, GH), pp. 2–21.
ICSTSAT-2010-Kottler #satisfiability
SAT Solving with Reference Points (SK), pp. 143–157.
VMCAIVMCAI-2010-MarronMSK #analysis #set
Shape Analysis with Reference Set Relations (MM, RM, DS, DK), pp. 247–262.
VMCAIVMCAI-2010-SridharH #model checking #monitoring
Model-Checking In-Lined Reference Monitors (MS, KWH), pp. 312–327.
WICSA-ECSAWICSA-ECSA-2009-AngelovGG #architecture #classification #effectiveness
A classification of software reference architectures: Analyzing their success and effectiveness (SA, PWPJG, DG), pp. 141–150.
WICSA-ECSAWICSA-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.
DRRDRR-2009-ZouLT #html #parsing
Locating and parsing references in HTML medical articles (JZ, DXL, GRT), pp. 1–10.
VLDBVLDB-2009-PapapetrouAKG #database #scalability #sequence
Reference-Based Alignment in Large Sequence Databases (PP, VA, GK, DG), pp. 205–216.
CSEETCSEET-2009-KlapholtzMP #education #re-engineering
The Graduate Software Engineering Reference Curriculum (GSwERC) (DK, JM, ABP), pp. 290–291.
ESOPESOP-2009-SchaferEM #attribute grammar #coq #formal method #verification
Formalising and Verifying Reference Attribute Grammars in Coq (MS, TE, OdM), pp. 143–159.
FoSSaCSFoSSaCS-2009-BirkedalST #morphism #parametricity #polymorphism #recursion #semantics
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (LB, KS, JT), pp. 456–470.
TACASTACAS-2009-EmmiJKM #implementation #verification
Verifying Reference Counting Implementations (ME, RJ, EK, RM), pp. 352–367.
CEFPCEFP-2009-Divianszky #modelling
Non-monadic Models of Mutable References (PD), pp. 146–182.
ICFPICFP-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.
CHICHI-2009-BaoG #what
What’s “this” you say?: the use of local references on distant displays (PB, DG), pp. 1029–1032.
HCIHCI-AUII-2009-Schmid
Enhancing the Accessibility of Maps with Personal Frames of Reference (FS), pp. 199–210.
HCIHCI-NT-2009-HippP #assurance #quality #speech
Reference Model for Quality Assurance of Speech Applications (CH, MP), pp. 259–266.
HCIOCSC-2009-IsaiasMP #framework #web
Critical Success Factors for Web 2.0 — A Reference Framework (PTI, PM, SP), pp. 354–363.
EDOCEDOC-2009-WielandGSL #towards #web #web service #workflow
Towards Reference Passing in Web Service and Workflow-Based Applications (MW, KG, DS, FL), pp. 109–118.
REFSQREFSQ-2009-PenzenstadlerSP #modelling #requirements
A Requirements Reference Model for Model-Based Requirements Engineering in the Automotive Domain (BP, ES, KP), pp. 212–217.
SACSAC-2009-LeeDN #named
RPP: reference pattern based prefetching controller (HJL, IHD, SHN), pp. 341–342.
HPDCHPDC-2009-SaballusF #distributed #graph #maintenance
Maintaining reference graphs of globally accessible objects in fully decentralized distributed systems (BS, TF), pp. 59–60.
CSLCSL-2009-Dezani-CiancagliniGR #quantifier
Intersection, Universally Quantified, and Reference Types (MDC, PG, SRDR), pp. 209–224.
CSLCSL-2009-Sumii #equivalence #polymorphism #λ-calculus
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (ES), pp. 455–469.
ICSTICST-2009-FuGX #testing #user interface
Inferring Types of References to GUI Objects in Test Scripts (CF, MG, QX), pp. 1–10.
CBSECBSE-2008-GamaD #approach #framework
A Practical Approach for Finding Stale References in a Dynamic Service Platform (KG, DD), pp. 246–261.
ECSAECSA-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.
CASECASE-2008-Andoh #identification #using
Coulomb friction identification for mechatronic servo systems with limited strokes using two reference inputs (FA), pp. 265–272.
DocEngDocEng-2008-GoncalvesRV #towards
Summarizing and referring: towards cohesive extracts (PNG, LHMR, RV), pp. 253–256.
DRRDRR-2008-HottaF #recognition #synthesis
Line-touching character recognition based on dynamic reference feature synthesis (YH, KF), p. 68150.
SIGMODSIGMOD-2008-EadonCSRSD #clustering
Supporting table partitioning by reference in oracle (GE, EIC, SS, AR, JS, SD), pp. 1111–1122.
SIGMODSIGMOD-2008-MullerBK #named
XArch: archiving scientific and reference data (HM, PB, IK), pp. 1295–1298.
CSMRCSMR-2008-AbdeenADPS #visualisation
Package Reference Fingerprint: a Rich and Compact Visualization to Understand Package Relationships (HA, IA, SD, DP, MS), pp. 213–222.
ICPCICPC-2008-RatiuJ #api #concept #representation
Evaluating the Reference and Representation of Domain Concepts in APIs (DR, JJ), pp. 242–247.
ICALPICALP-A-2008-AlbersL #locality #on the
On List Update with Locality of Reference (SA, SL), pp. 96–107.
SEFMSEFM-2008-SilvaSL #object-oriented #semantics
Laws of Object-Orientation with Reference Semantics (LS, AS, ZL), pp. 217–226.
EDOCEDOC-2008-ZhuST #architecture #on the
On Creating Industry-Wide Reference Architectures (LZ, MS, VT), pp. 24–30.
ICPRICPR-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.
ICPRICPR-2008-HuangLL #estimation #image #kernel
Image deblurring with blur kernel estimation from a reference image patch (PHH, YML, SHL), pp. 1–4.
ECOOPECOOP-2008-QuinonezTE
Inference of Reference Immutability (JQ, MST, MDE), pp. 616–641.
SACSAC-2008-ReitbauerKEMA #network #process
Redesigning business networks: reference process, network and service map (SR, FK, CE, KM, RA), pp. 540–547.
CGOCGO-2008-ChenZST
Prefetching irregular references for software cache on cell (TC, TZ, ZS, MGT), pp. 155–164.
HPDCHPDC-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.
ISMMISMM-2008-Trancon-y-Widemann #functional #garbage collection #programming
A reference-counting garbage collection algorithmfor cyclical functional programming (BTyW), pp. 71–80.
OSDIOSDI-2008-WilliamsRWSS #safety #validation
Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.
ASEASE-2007-XieGH #named #testing
Smart: a tool for application reference testing (QX, MG, MH), pp. 537–538.
CASECASE-2007-Tomas-RodriguezS #automation #modelling
Automated Modeling of Rotorcraft Dynamics with Special Reference to Autosim (MTR, RSS), pp. 974–979.
DACDAC-2007-TibboelRKA #design #functional
System-Level Design Flow Based on a Functional Reference for HW and SW (WHT, VR, MK, DA), pp. 23–28.
ICALPICALP-2007-Laird #semantics
A Fully Abstract Trace Semantics for General References (JL), pp. 667–679.
CHICHI-2007-GergleRK #collaboration #modelling #visual notation
Modeling the impact of shared visual information on collaborative reference (DG, CPR, REK), pp. 1543–1552.
HCIHIMI-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.
VISSOFTVISSOFT-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.
CAiSECAiSE-2007-RosaLSDH #modelling #process
Questionnaire-driven Configuration of Reference Process Models (MLR, JL, SS, MD, AHMtH), pp. 424–438.
ICEISICEIS-EIS-2007-EnstromWH #assurance #enterprise #security
A Reference Model for Enterprise Security — High Assurance Enterprise Security (DWE, DW, SH), pp. 355–364.
ICEISICEIS-EIS-2007-GoekenK #development #modelling #multi
Multidimensional Reference Models for Data Warehouse Development (MG, RK), pp. 347–354.
ICEISICEIS-EIS-2007-LuS #architecture #process
A Reference Architecture for Managing Business Process Variants (RL, SWS), pp. 416–421.
ICMLICML-2007-ChenJ #classification #feature model #set
Minimum reference set based feature selection for small sample classifications (XwC, JCJ), pp. 153–160.
MLDMMLDM-2007-CzarnowskiJ #approach #multi
An Agent-Based Approach to the Multiple-Objective Selection of Reference Vectors (IC, PJ), pp. 117–130.
SEKESEKE-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.
SEKESEKE-2007-NakagawaSFM #architecture #testing #tool support #towards
Towards a Reference Architecture for Software Testing Tools (EYN, AdSS, FCF, JCM), pp. 157–162.
SEKESEKE-2007-VasconcelosW #architecture #evaluation #quality #specification
Architectural Elements Recovery and Quality Evaluation to Assist in Reference Architectures Specification (APVdV, CMLW), pp. 494–499.
ECOOPECOOP-2007-ChalinJ #java
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden (PC, PRJ), pp. 227–247.
REFSQREFSQ-2007-RinkeW #how #modelling #requirements
Defining Reference Models for Modelling Qualities: How Requirements Engineering Techniques Can Help (TR, TW), pp. 335–340.
ESEC-FSEESEC-FSE-2007-ZibinPAAKE #java #using
Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.
LDTALDTA-J-2003-MagnussonH #attribute grammar #evaluation
Circular reference attributed grammars — their evaluation and applications (EM, GH), pp. 21–37.
CCCC-2007-PazP #garbage collection #using
Using Prefetching to Improve Reference-Counting Garbage Collectors (HP, EP), pp. 48–63.
ISMMISMM-2007-Joisha #framework #garbage collection #performance
Overlooking roots: a framework for making nondeferred reference-counting garbage collection fast (PGJ), pp. 141–158.
LICSLICS-2007-Tzevelekos #abstraction
Full abstraction for nominal general references (NT), pp. 399–410.
DATEDATE-2006-HeniaE #multi #using
Improved offset-analysis using multiple timing-references (RH, RE), pp. 450–455.
VLDBVLDB-2006-VenkateswaranLKJ #database #sequence
Reference-based Indexing of Sequence Databases (JV, DL, TK, CMJ), pp. 906–917.
ICGTICGT-2006-Lins #algorithm
New Algorithms and Applications of Cyclic Reference Counting (RDL), pp. 15–29.
CHICHI-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.
CSCWCSCW-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICPRICPR-v1-2006-LiuZH #detection #symmetry
Fingerprint Reference Point Detection Based on Local Axial Symmetry (TL, CZ, PH), pp. 1050–1053.
ICPRICPR-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.
ICPRICPR-v4-2006-LeiYW #recognition
An UBM-Based Reference Space for Speaker Recognition (ZL, YY, ZW), pp. 318–321.
SEKESEKE-2006-SornilS #detection #using
Improving Intrusion Detection Systems Using Reference Vectors (OS, PS), pp. 398–403.
LOPSTRLOPSTR-2006-WinwoodKC #automation #monitoring #on the #synthesis
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (SW, GK, MMTC), pp. 111–126.
RERE-2006-WeerdBNVB #framework #towards
Towards a Reference Framework for Software Product Management (IvdW, SB, RN, JV, LB), pp. 312–315.
SACSAC-2006-ThomasHT #model management #towards
Towards a reference model management system for business engineering (OT, MH, MT), pp. 1524–1531.
SACSAC-2006-WinterS #design #modelling #perspective
Reference modeling and method construction: a design science perspective (RW, JS), pp. 1561–1562.
SPLCSPL-BOOK-2006-FaegriH #architecture #product line #security
A Software Product Line Reference Architecture for Security (TEF, SOH), pp. 275–326.
ISMMISMM-2006-DonnellyHK #semantics
Formal semantics of weak references (KD, JJH, AJK), pp. 126–137.
ISMMISMM-2006-Joisha #compilation #garbage collection #optimisation
Compiler optimizations for nondeferred reference-counting garbage collection (PGJ), pp. 150–161.
SIGMODSIGMOD-2005-DongHMN
Reference Reconciliation in Complex Information Spaces (XD, AYH, JM), pp. 85–96.
CSMRCSMR-2005-GraafDD #architecture #case study #embedded #experience #industrial
Evaluating an Embedded Software Reference Architecture — Industrial Experience Report (BG, HWvD, AvD), pp. 354–363.
ICSMEICSM-2005-GrosskurthG #architecture #web
A Reference Architecture for Web Browsers (AG, MWG), pp. 661–664.
ICSMEICSM-2005-SharpR #java #static analysis
Static Analysis of Object References in RMI-Based Java Software (MS, AR), pp. 101–110.
AdaEuropeAdaEurope-2005-OrtizAAP #architecture
A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle (FJO, DA, , JAP), pp. 13–24.
OOPSLAOOPSLA-2005-NandaGC #type system
Deriving object typestates in the presence of inter-object references (MGN, CG, SC), pp. 77–96.
OOPSLAOOPSLA-2005-TschantzE #java #named
Javari: adding reference immutability to Java (MST, MDE), pp. 211–230.
GPCEGPCE-2005-Ahlander #sorting
Sorting Out the Relationships Between Pairs of Iterators, Values, and References (), pp. 342–356.
HTHT-2004-KimW
Properties of academic paper references (SK, EJWJ), pp. 44–45.
ESOPESOP-2004-Hansen
A Hardest Attacker for Leaking References (RRH), pp. 310–324.
WCREWCRE-2004-ParkKWY #analysis #behaviour #design pattern
A Static Reference Flow Analysis to Understand Design Pattern Behavior (CP, YK, CW, KY), pp. 300–301.
PLDIPLDI-2004-ZhongOSD #array #using
Array regrouping and structure splitting using whole-program reference affinity (YZ, MO, XS, CD), pp. 255–266.
ECIRECIR-2004-ChenTH #corpus #identification #novel #using
Identification of Relevant and Novel Sentences Using Reference Corpus (HHC, MFT, MHH), pp. 85–98.
ICPRICPR-v1-2004-JiangLK #detection #recognition
Reference Point Detection for Fingerprint Recognition (XJ, ML, ACK), pp. 540–543.
KDDKDD-2004-AgichteinG #automation #mining #segmentation
Mining reference tables for automatic text segmentation (EA, VG), pp. 20–29.
ECOOPECOOP-2004-EkmanH #attribute grammar
Rewritable Reference Attributed Grammars (TE, GH), pp. 144–169.
OOPSLAOOPSLA-2004-BirkaE #type system
A practical type system and language for reference immutability (AB, MDE), pp. 35–49.
POPLPOPL-2004-Boehm #lazy evaluation
The space cost of lazy reference counting (HJB), pp. 210–219.
CGOCGO-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.
DACDAC-2003-SengerMMGKGB
A 16-bit mixed-signal microsystem with integrated CMOS-MEMS clock reference (RMS, EDM, MSM, FHG, KLK, MRG, RBB), pp. 520–525.
ICDARICDAR-2003-BesagniBB #segmentation
A Segmentation Method for Bibliographic References by Contextual Tagging of Fields (DB, AB, NB), pp. 384–388.
ICDARICDAR-2003-SeropianGV #identification
Writer Identification based on the fractal construction of a reference base (AS, MG, NV), pp. 1163–1167.
ICDARICDAR-2003-XiL #documentation
Reference Line Extraction from Form Documents with Complicated Backgrounds (DX, SWL), p. 1080–?.
WCREWCRE-2003-WalensteinJLYL #clone detection #detection #problem
Problems Creating Task-relevant Clone Detection Reference Data (AW, NJ, JL, YY, AL), pp. 285–295.
OOPSLAOOPSLA-2003-BlackburnM #garbage collection #performance
Ulterior reference counting: fast garbage collection without a long wait (SB, KSM), pp. 344–358.
RERE-2003-HallR #requirements
A Reference Model for Requirements Engineering (JGH, LR), pp. 181–187.
SACSAC-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.
LDTALDTA-2003-MagnussonH #attribute grammar #evaluation
Circular Reference Attributed Grammars — Their Evaluation and Applications (EM, GH), pp. 532–554.
CCCC-2003-AzatchiP #garbage collection
Integrating Generations with Advanced Reference Counting Garbage Collectors (HA, EP), pp. 185–199.
CCCC-2003-Ryder #analysis #object-oriented #precise #programming language
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages (BGR), pp. 126–137.
LCTESLCTES-2003-CorsaroC #java #performance #realtime
Efficient memory-reference checks for real-time java (AC, RC), pp. 51–58.
LICSLICS-2003-Murawski #equivalence #on the
On Program Equivalence in Languages with Ground-Type References (ASM), p. 108–?.
CSMRCSMR-2002-Zdun #architecture #re-engineering #web
Reengineering to the Web: A Reference Architecture (UZ), p. 164–?.
STOCSTOC-2002-AlbersFG #locality #on the
On paging with locality of reference (SA, LMF, OG), pp. 258–267.
ICPRICPR-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.
SEKESEKE-2002-BarberHB #architecture #evaluation #performance
Performance evaluation of domain reference architectures (KSB, JH, GB), pp. 225–232.
SIGIRSIGIR-2002-LarsenI #documentation #network
The boomerang effect: retrieving scientific documents via the network of references and citations (BL, PI), pp. 397–398.
RERE-2002-GrossMZH #convergence #development
The Reference Point Method: Requirements-Based ICT Convergence Solution Development (WG, TM, FZ, CH), p. 193.
OSDIOSDI-2002-ElsonGE #fine-grained #network #using
Fine-Grained Network Time Synchronization Using Reference Broadcasts (JE, LG, DE), pp. 147–163.
ISSTAISSTA-2002-LiangPH #analysis #precise #profiling #using
Evaluating the precision of static reference analysis using profiling (DL, MP, MJH), pp. 22–32.
LICSLICS-2002-AhmedAV #semantics
A Stratified Semantics of General References A Stratified Semantics of General References (AJA, AWA, RV), p. 75–?.
PLDIPLDI-2001-Chilimbi #abstraction #locality #performance
Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality (TMC), pp. 191–202.
SEKESEKE-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.
SIGIRSIGIR-2001-Broch
Cite Me, Cite My References? (Scholarly Use of the ACM SIGIR Proceedings Based on Two Citation Indexes) (EB), pp. 446–447.
ECOOPECOOP-2001-BaconR #concurrent
Concurrent Cycle Collection in Reference Counted Systems (DFB, VTR), pp. 207–235.
OOPSLAOOPSLA-2001-LevanoniP #garbage collection #java #on the fly
An On-the-Fly Reference Counting Garbage Collector for Java (YL, EP), pp. 367–380.
SACSAC-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.
PPoPPPPoPP-2001-KimOEFV #analysis #execution #framework #optimisation
Reference idempotency analysis: a framework for optimizing speculative execution (SWK, ClO, RE, BF, TNV), pp. 2–11.
WCREWCRE-2000-HassanH #architecture #web
A Reference Architecture for Web Servers (AEH, RCH), p. 150–?.
SASSAS-2000-FinkKS #analysis #array
Unified Analysis of Array and Object References in Strongly Typed Languages (SJF, KK, VS), pp. 155–174.
CAiSECAiSE-2000-SchusterGCB #modelling #multi #process
Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes (HS, DG, AC, DB), pp. 247–263.
ICPRICPR-v4-2000-KumarSHH #video
Registration of Highly-Oblique and Zoomed in Aerial Video to Reference Imagery (RK, SS, SCH, KJH), pp. 4303–4307.
KDDKDD-2000-McCallumNU #clustering #performance #set
Efficient clustering of high-dimensional data sets with application to reference matching (AM, KN, LHU), pp. 169–178.
GPCEGCSE-2000-TeschkeR #component #modelling #towards
Towards a Foundation of Component-Oriented Software Reference Models (TT, JR), pp. 70–84.
REICRE-2000-GunterGJZ #requirements
A Reference Model for Requirements and Specifications-Extended Abstract (CAG, ELG, MJ, PZ), p. 189.
ISMMISMM-2000-AgesenG #performance
Efficient Object Sampling via Weak References (OA, AG), pp. 121–126.
ISMMISMM-2000-Dickman
Diffusion Tree Restructuring for Indirect Reference Counting (PD), pp. 167–177.
LCTESLCTES-2000-CintraA #array #using
Array Reference Allocation Using SSA-Form and Live Range Growth (MSC, GA), pp. 48–62.
OSDIOSDI-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.
ICTSSTestCom-2000-SchieferdeckerLR #incremental #testing
Incremental Testing at System Reference Points (IS, ML, AR), pp. 75–90.
WICSAWICSA-1999-SavigniT #architecture #monitoring #named
Kaleidoscope: A Reference Architecture for Monitoring and Control Systems (AS, FT), pp. 369–388.
HTHT-1999-BraHW #adaptation #hypermedia #named
AHAM: A Dexter-Based Reference Model for Adaptive Hypermedia (PDB, GJH, HW), pp. 147–156.
HTHT-1999-LoweBW #assessment #development #hypermedia #modelling #process
Improving Hypermedia Development: A Reference Model-Based Process Assessment Method (DBL, AJB, RW), pp. 139–146.
ICDARICDAR-1999-LecceDGIPSS #automation #verification
Selection of Reference Signatures for Automatic Signature Verification (VDL, GD, AG, SI, GP, AS, LS), pp. 597–600.
ICDARICDAR-1999-NegishiKHW #automation
Character Extraction from Noisy Background for an Automatic Reference System (HN, JK, HH, TW), pp. 143–146.
CHICHI-1999-SalzmanDL #multi #visualisation
VR’s Frames of Reference: A Visualization Technique for Mastering Abstract Multidimensional Information (MCS, CJD, RBL), pp. 489–495.
HCIHCI-EI-1999-DaeleC #simulation
Between the situation of simulation and the situation of reference: the operators’ representations (AVD, DC), pp. 875–879.
SIGIRSIGIR-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.
ECOOPECOOP-1999-PauwS #java #memory management #visualisation
Visualizing Reference Patterns for Solving Memory Leaks in Java (WDP, GS), pp. 116–134.
CCCC-1999-Dinechin #memory management #scheduling
Extending Modulo Scheduling with Memory Reference Merging (BDdD), pp. 274–287.
VLDBVLDB-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.
VLDBVLDB-1998-ZouS #online
Safely and Efficiently Updating References During On-line Reorganization (CZ, BS), pp. 512–522.
ICPRICPR-1998-BhattacharyaK #nearest neighbour #set
Reference set thinning for the k-nearest neighbor decision rule (BKB, DK), pp. 238–242.
TOOLSTOOLS-ASIA-1998-MatsuzawaI #framework #library #object-oriented
An Object-Oriented Reference Model with Frameworks and Libraries (YM, NI), pp. 346–350.
ASPLOSASPLOS-1998-PeirLH #adaptation #behaviour #memory management
Capturing Dynamic Memory Reference Behavior with Adaptive Cache Topology (JKP, YL, WWH), pp. 240–250.
ASPLOSASPLOS-1998-SeidlZ #behaviour
Segregating Heap Objects by Reference Behavior and Lifetime (MLS, BGZ), pp. 12–23.
ISMMISMM-1998-Moreau #distributed
Hierarchical Distributed Reference Counting (LM), pp. 57–67.
LICSLICS-1998-AbramskyHM #game studies #semantics
A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.
DATEEDTC-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.
ICDARICDAR-1997-ParmentierB #logic #recognition
Logical Structure Recognition of Scientific Bibliographic References (FP, AB), p. 1072–?.
VLDBVLDB-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.
TACASTACAS-1997-Grahlmann #component
The Reference Component of PEP (BG), pp. 65–80.
ICFPICFP-1997-Kagawa #composition #functional #programming
Compositional References for Stateful Functional Programming (KK), pp. 217–226.
HTHT-1996-GronbaekT #embedded #hypermedia #towards
Toward a Dexter-Based Model for Open Hypermedia: Unifying Embedded References and Link Objects (KG, RHT), pp. 149–160.
ICPRICPR-1996-HarukiHYY #3d #automation #using #verification
Automatic seal verification using three-dimensional reference seals (HH, TH, HY, KY), pp. 199–203.
ICPRICPR-1996-WernerHLP #representation
Selection of reference views for image-based representation (TW, VH, AL, TP), pp. 73–77.
ICSEICSE-1996-Forgacs #analysis #array #data flow #testing
An Exact Array Reference Analysis for Data Flow Testing (IF), pp. 565–574.
ICDARICDAR-v2-1995-ParmentierB #architecture #bibliography #using #validation
Bibliography references validation using emergent architecture (FP, AB), pp. 532–535.
ICDARICDAR-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.
STOCSTOC-1995-FiatK #locality #multi #random
Randomized and multipointer paging with locality of reference (AF, ARK), pp. 626–634.
TLCATLCA-1995-RitterP #ml #standard #λ-calculus
A Fully Abstract Translation between a λ-Calculus with Reference Types and Standard ML (ER, AMP), pp. 397–413.
HTHT-ECHT-1994-RostekM #editing
An Editor’s Workbench for an Art History Reference Work (LR, WM), pp. 233–238.
LISPLFP-1994-JagannathanW #parallel
Analyzing Stores and References in a Parallel Symbolic Language (SJ, SW), pp. 294–305.
SEKESEKE-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.
OOPSLAOOPSLA-1994-Seidewitz #inheritance #self #using
Genericity versus Inheritance Reconsidered: Self-Reference Using Generics (ES), pp. 153–163.
PPDPPLILP-1994-Schulte #garbage collection
Deriving Residual Reference Count Garbage Collectors (WS), pp. 102–116.
ICDARICDAR-1993-LeeS #design #modelling #using
Optimal design of reference models using simulated annealing combined with an improved LVQ3 (SWL, HHS), pp. 244–249.
PLDIPLDI-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.
HCIHCI-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.
AdaTRI-Ada-1993-BrownCFOZ
A Project Support Environment Reference Model (AWB, DJC, PHF, PAO, MVZ), pp. 82–89.
POPLPOPL-1993-Leroy #continuation #morphism #polymorphism
Polymorphism by Name for References and Continuations (XL), pp. 220–231.
HTHT-ECHT-1992-Anselmo
A Reference Manual for Hydrological Observations (Demonstration) (VA), p. 293.
HTHT-ECHT-1992-Gasparri #named
HTLEX: A Law Reference System (Demonstration) (PG), p. 293.
ESOPESOP-1992-Wright #type system
Typing References by Effect Inference (AKW), pp. 473–491.
LICSLICS-1992-MasonT #reasoning
References, Local Variables and Operational Reasoning (IAM, CLT), pp. 186–197.
PEPMPEPM-1991-ParkG #analysis #optimisation
Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References (YGP, BG), pp. 178–189.
STOCSTOC-1991-BorodinIRS #locality
Competitive Paging with Locality of Reference (Preliminary Version) (AB, SI, PR, BS), pp. 249–259.
KRKR-1991-DavisC #clustering
Clustering Temporal Intervals To Generate Reference Hierarchies (WSD, JRC), pp. 111–117.
PLDIPLDI-1989-Goldberg #distributed
Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme (BG), pp. 313–321.
PLDIPLDI-1989-RogersP #composition #locality #process
Process Decomposition Through Locality of Reference (AR, KP), pp. 69–80.
CAiSECAiSE-1989-Nilsson #classification #development #information management
Information Systems Development: A Frame Of Reference and Classifications (AGN).
KRKR-1989-Prescott #reasoning
Analogical Reasoning, Defeasible Reasoning, and the Reference Class (RP), pp. 256–265.
ASPLOSASPLOS-1989-Holliday #architecture #migration
Reference History, Page Size, and Migration Daemons in Local/Remote Architectures (MAH), pp. 104–112.
ICLPNACLP-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.
ICLPJICSCP-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.
HCIHCI-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.
ICLPICLP-1987-ChikayamaK87 #haskell #multi
Multiple Reference Management in Flat GHC (TC, YK), pp. 276–293.
LISPLFP-1986-Hudak #abstraction #semantics #summary
A Semantic Model of Reference Counting and its Abstraction (Detailed Summary) (PH), pp. 351–363.
LISPLFP-1986-LermenM #distributed #protocol
A Protocol for Distributed Reference Counting (CWL, DM), pp. 343–350.
FPCAFPCA-1985-Brownbridge85 #combinator
Cyclic Reference Counting for Combinator Machines (DRB), pp. 273–288.
FPCAFPCA-1985-Wise85 #design #multi
Design for a Multiprocessing Heap with On-board Reference Counting (DSW), pp. 289–304.
POPLPOPL-1985-Cooper #alias #parametricity
Analyzing Aliases of Reference Formal Parameters (KDC), pp. 281–290.
SOSPSOSP-1981-BabaogluJ #architecture
Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits (ÖB, WNJ), pp. 78–86.
AdaTFDA-1980-Bjorner #metalanguage
Reference Manual for the Meta-Language (DB), pp. 607–623.
FMVDM-1978-Jones #metalanguage
The META-Language: A Reference Manual (CBJ), pp. 218–277.
STOCSTOC-1977-Tarjan #maintenance #set
Reference Machines Require Non-linear Time to Maintain Disjoint Sets (RET), pp. 18–29.
SOSPSOSP-1973-ArvindKS #generative #on the #process #string
On Reference String Generation Processes (A, RYK, ES), pp. 80–87.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.