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:
digit (87)
use (48)
base (45)
system (36)
softwar (36)

Stem librari$ (all stems)

468 papers:

DATEDATE-2015-YuSHEAB #library #multi #statistics #using
Statistical library characterization using belief propagation across multiple technology nodes (LY, SS, CH, IME, DAA, DSB), pp. 1383–1388.
ICPCICPC-2015-SaiedABS #api #library #question #source code #using
Could we infer unordered API usage patterns only using the library source code? (MAS, HA, OB, HAS), pp. 71–81.
ICPCICPC-2015-YanoKII #interactive #library #named #visualisation
VerXCombo: an interactive data visualization of popular library version combinations (YY, RGK, TI, KI), pp. 291–294.
ICSMEICSME-2015-PlatePS #assessment #library #open source
Impact assessment for vulnerabilities in open-source software libraries (HP, SEP, AS), pp. 411–420.
SANERSANER-2015-KulaGII #case study #latency #library
Trusting a library: A study of the latency to adopt the latest Maven release (RGK, DMG, TI, KI), pp. 520–524.
SANERSANER-2015-QiuSM #graph #identification #library #morphism #using
Library functions identification in binary code by using graph isomorphism testings (JQ, XS, PM), pp. 261–270.
FMFM-2015-PolikarpovaTF #library
A Fully Verified Container Library (NP, JT, CAF), pp. 414–434.
SEFMSEFM-2015-Vanspauwen0 #encryption #implementation #library #protocol #specification #verification
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications (GV, BJ), pp. 53–68.
HCIDUXU-IXD-2015-Chiu #design #library
Mapping Metaphors for the Design of Academic Library Websites (MHPC), pp. 166–172.
HCIDUXU-IXD-2015-Gasparini #approach #experience #interactive #library #user interface
A Holistic Approach to User Experience in the Context of an Academic Library Interactive System (AAG), pp. 173–184.
HCIHIMI-IKD-2015-ZhangNZC #how #library #mobile
Search in One’s Hand: How Users Search a Mobile Library Catalog (TZ, XN, LZ, HlC), pp. 247–257.
SEKESEKE-2015-WuCZX #c++ #developer #empirical #how #library
How do developers use C++ libraries? An empirical study (DW, LC, YZ, BX), pp. 260–265.
OnwardOnward-2015-PolitoDBFM #library
Virtualization support for dynamic core library update (GP, SD, NB, LF, MM), pp. 211–223.
PPDPPPDP-2015-GrandeBS #concurrent #library #thread
Jthread, a deadlock-free mutex library (JG, GB, MS), pp. 149–160.
SACSAC-2015-FukudaL #library
A library to modularly control asynchronous executions (HF, PL), pp. 1648–1650.
ICSEICSE-v2-2015-Escobar-Avila #automation #bytecode #categorisation #library #using
Automatic Categorization of Software Libraries Using Bytecode (JEA), pp. 784–786.
SLESLE-2015-Bagge #analysis #library
Analysis and transformation with the nuthatch tree-walking library (AHB), pp. 83–88.
ASPLOSASPLOS-2015-Bhatotia0ABR #incremental #library #named #parallel #thread
iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.
CCCC-2015-SherwanyZN #compilation #library #refactoring #scala
A Refactoring Library for Scala Compiler Extensions (AS, NZ, NN), pp. 31–48.
PPoPPPPoPP-2015-MajoG #composition #library #locality #optimisation
A library for portable and composable data locality optimizations for NUMA systems (ZM, TRG), pp. 227–238.
PPoPPPPoPP-2015-WangDPWRO #gpu #graph #library #named
Gunrock: a high-performance graph processing library on the GPU (YW, AAD, YP, YW, AR, JDO), pp. 265–266.
ICLPICLP-J-2015-DesouterDS #library
Tabling as a library with delimited control (BD, MvD, TS), pp. 419–433.
ICSTSAT-2015-PhilippS #constraints #encoding #library #named #pseudo
PBLib — A Library for Encoding Pseudo-Boolean Constraints into CNF (TP, PS), pp. 9–16.
ASEASE-2014-RomanoE #library #memory management #named #runtime
symMMU: symbolically executed runtime libraries for symbolic memory access (AR, DRE), pp. 247–258.
DATEDATE-2014-FabrieEVG #design #library #standard #variability
Standard cell library tuning for variability tolerant designs (SF, JDE, MV, JPdG), pp. 1–6.
DATEDATE-2014-IannopolloNTS #contract #design #refinement #scalability
Library-based scalable refinement checking for contract-based design (AI, PN, ST, ALSV), pp. 1–6.
DATEDATE-2014-KiamehrFET #design #library #standard
Aging-aware standard cell library design (SK, FF, ME, MBT), pp. 1–4.
DocEngDocEng-2014-PanLSTX #flexibility #library #named
FlexiFont: a flexible system to generate personal font libraries (WP, ZL, RS, YT, JX), pp. 17–20.
DRRDRR-2014-RaphaelJ #library #music #recognition
Optical music recognition on the International Music Score Library Project (CR, RJ), p. ?–12.
SANERCSMR-WCRE-2014-DietrichJB #empirical #evolution #java #library #problem #source code
Broken promises: An empirical study into evolution problems in Java programs caused by library upgrades (JD, KJ, PB), pp. 64–73.
SANERCSMR-WCRE-2014-RooverS #development #library #metaprogramming #tool support #using
Building development tools interactively using the EKEKO meta-programming library (CDR, RS), pp. 429–433.
MSRMSR-2014-VasquezHBP #android #library #obfuscation #reuse
Revisiting Android reuse studies in the context of code obfuscation and library usages (MLV, AH, CBC, DP), pp. 242–251.
PEPMPEPM-J-2013-ServettoZ14 #library
A meta-circular language for active libraries (MS, EZ), pp. 219–253.
SEFMSEFM-2014-LovatoMS #diagrams #library #thread
A Thread-Safe Library for Binary Decision Diagrams (AL, DM, FS), pp. 35–49.
ICGTICGT-2014-BelhaouariAGB #geometry #graph transformation #library #modelling #named
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.
CHICHI-2014-WoodVB0SCMLCACW #library
The dept. of hidden stories: playful digital storytelling for children in a public library (GW, JV, MB, NT, TS, CC, JM, HL, JC, LA, AC, PCW), pp. 1885–1894.
HCIHIMI-AS-2014-MeghiniB #experience #library #towards #user interface
Steps towards Enhancing the User Experience in Accessing Digital Libraries (CM, VB), pp. 555–566.
VISSOFTVISSOFT-2014-KulaRGII #dependence #evolution #library #visualisation
Visualizing the Evolution of Systems and Their Library Dependencies (RGK, CDR, DMG, TI, KI), pp. 127–136.
KDDKDD-2014-CharlinZL #collaboration #library
Leveraging user libraries to bootstrap collaborative filtering (LC, RSZ, HL), pp. 173–182.
KEODKEOD-2014-MartinL #library #retrieval
Improving Knowledge Retrieval in Digital Libraries Applying Intelligent Techniques (AM, CL), pp. 445–453.
KRKR-2014-Thimm #aspect-oriented #information management #java #library #logic #named #representation
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (MT).
RecSysRecSys-2014-LoniS #library #named #recommendation
WrapRec: an easy extension of recommender system libraries (BL, AS), pp. 377–378.
SEKESEKE-2014-WuCZX #c++ #empirical #library
An empirical study on the adoption of C++ templates: Library templates versus user defined templates (DW, LC, YZ, BX), pp. 144–149.
OOPSLAOOPSLA-2014-FeldthausM #correctness #interface #javascript #library #typescript
Checking correctness of TypeScript interfaces for JavaScript libraries (AF, AM), pp. 1–16.
GPCEGPCE-2014-ShiodaIS #domain-specific language #embedded #library #metaprogramming #named
LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming (MS, HI, SS), pp. 63–72.
SACSAC-2014-KwonB #implementation #library #prototype
A CUDA-based implementation of OpenGL-compatible rasterization library prototype (YCK, NB), pp. 1747–1748.
SACSAC-2014-NoureddineRS #energy #library #testing
Unit testing of energy consumption of software libraries (AN, RR, LS), pp. 1200–1205.
FSEFSE-2014-SamakR #concurrent #detection #java #library #parallel #precise #thread
Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.
SPLCSPLC-2014-DieumegardTP #approach #data flow #library #product line #semantics #specification
A software product line approach for semantic specification of block libraries in dataflow languages (AD, AT, MP), pp. 217–226.
CGOCGO-2014-Herczeg #backtracking #compilation #library
Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support (ZH), p. 306.
CAVCAV-2014-CoxCS #abstraction #library #named #parametricity #reuse #set
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers (AC, BYEC, SS), pp. 866–873.
DocEngDocEng-2013-WilliamsG #detection #library
Near duplicate detection in an academic digital library (KW, CLG), pp. 91–94.
TACASTACAS-2013-ChenW #algorithm #learning #library #named
BULL: A Library for Learning Algorithms of Boolean Functions (YFC, BYW), pp. 537–542.
CSMRCSMR-2013-JezekHB #analysis #compilation #library
Supplying Compiler’s Static Compatibility Checks by the Analysis of Third-Party Libraries (KJ, LH, PB), pp. 375–378.
ICSMEICSM-2013-DitMVP #component #library #maintenance #research #using
Supporting and Accelerating Reproducible Research in Software Maintenance Using TraceLab Component Library (BD, EM, MLV, DP), pp. 330–339.
WCREWCRE-2013-RaoMK #debugging #framework #incremental #library #locality #performance #retrieval
An incremental update framework for efficient retrieval from software libraries for bug localization (SR, HM, ACK), pp. 62–71.
WCREWCRE-2013-TeytonFB #automation #library
Automatic discovery of function mappings between similar libraries (CT, JRF, XB), pp. 192–201.
WCREWCRE-2013-TeytonFMB #library
Find your library experts (CT, JRF, FM, XB), pp. 202–211.
WCREWCRE-2013-ThungLL #automation #library #recommendation
Automated library recommendation (FT, DL, JLL), pp. 182–191.
PEPMPEPM-2013-ServettoZ #library
A meta-circular language for active libraries (MS, EZ), pp. 117–126.
PLDIPLDI-2013-Golan-GuetaRSY #concurrent #library
Concurrent libraries with foresight (GGG, GR, MS, EY), pp. 263–274.
IFMIFM-2013-SongT #api #library #model checking
Model-Checking Software Library API Usage Rules (FS, TT), pp. 192–207.
CHICHI-2013-DalsgardE #approach #case study #library #scalability
Large-scale participation: a case study of a participatory approach to developing a new public library (PD, EE), pp. 399–408.
HCIHIMI-HSM-2013-LiuskaMS #library #named
BookAidee: Managing Evacuees from Natural Disaster by RFID Tagged Library Books (ML, EM, IS), pp. 124–130.
ICEISICEIS-v1-2013-Castanon-PugaCF #fuzzy #java #library #named #object-oriented
JT2FIS: Java Type-2 Fuzzy Inference System — An Object-oriented Class Library for Building Java Intelligent Applications (MCP, JRC, MFP), pp. 524–529.
ICEISICEIS-v1-2013-SilveiraMAC #development #library #matrix #memory management #process
A Library to Support the Development of Applications that Process Huge Matrices in External Memory (JAS, SVGM, MVAA, VSC), pp. 153–160.
ICMTICMT-2013-MannEF #framework #graph grammar #library #term rewriting
The Graph Grammar Library — A Generic Framework for Chemical Graph Rewrite Systems (MM, HE, CF), pp. 52–53.
ECOOPECOOP-2013-SvendsenBP #case study #composition #concurrent #higher-order #library #named #specification
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library (KS, LB, MJP), pp. 327–351.
OOPSLAOOPSLA-2013-DeLozierENOMZ #c++ #set #type safety
Ironclad C++: a library-augmented type-safe subset of c++ (CD, RAE, SN, PMO, MMKM, SZ), pp. 287–304.
GPCEGPCE-2013-OfenbeckRSOP #generative #library #performance #scala #towards
Spiral in scala: towards the systematic construction of generators for performance libraries (GO, TR, AS, MO, MP), pp. 125–134.
PADLPADL-2013-KlintP #2d #declarative #independence #library
A Library for Declarative Resolution-Independent 2D Graphics (PK, AvdP), pp. 1–18.
POPLPOPL-2013-BattyDG #abstraction #c #c++ #concurrent #library
Library abstraction for C/C++ concurrency (MB, MD, AG), pp. 235–248.
SACSAC-2013-MattilaM #3d #design #library
Designing a 3D widget library for WebGL enabled browsers (ALM, TM), pp. 757–760.
ESEC-FSEESEC-FSE-2013-MadsenLF #framework #javascript #library #static analysis
Practical static analysis of JavaScript applications in the presence of frameworks and libraries (MM, BL, MF), pp. 499–509.
ASPLOSASPLOS-2013-MadhavapeddyMRSSGSHC #kernel #library #named #operating system
Unikernels: library operating systems for the cloud (AM, RM, CR, DJS, BS, TG, SS, SH, JC), pp. 461–472.
ISMMISMM-2013-RavitchL #c #library #memory management
Analyzing memory ownership patterns in C libraries (TR, BL), pp. 97–108.
CAVCAV-2013-HarrisJLJ #library #validation
Validating Library Usage Interactively (WRH, GJ, SL, SJ), pp. 796–812.
ASEASE-2012-BauersfeldV #automation #java #library #named #robust #testing #user interface
GUITest: a Java library for fully automated GUI robustness testing (SB, TEJV), pp. 330–333.
DACDAC-2012-HuCG #synthesis
Library-aware resonant clock synthesis (LARCS) (XH, WJC, MRG), pp. 145–150.
DocEngDocEng-2012-KimHKL #classification #library
Scientific table type classification in digital library (SK, KH, SYK, YL), pp. 133–136.
VLDBVLDB-2012-HellersteinRSWFGNWFLK #library #sql
The MADlib Analytics Library or MAD Skills, the SQL (JMH, CR, FS, DZW, EF, AG, KSN, CW, XF, KL, AK), pp. 1700–1711.
ESOPESOP-2012-BurckhardtGMY #concurrent #correctness #library #memory management
Concurrent Library Correctness on the TSO Memory Model (SB, AG, MM, HY), pp. 87–107.
TACASTACAS-2012-LengalSV #automaton #library #named #nondeterminism #performance
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata (OL, JS, TV), pp. 79–94.
ICPCICPC-2012-RupakhetiH12a #api #library #named
CriticAL: A critic for APIs and libraries (CRR, DH), pp. 241–243.
ICSMEICSM-2012-BauerHD #approach #library
A structured approach to assess third-party library usage (VB, LH, FD), pp. 483–492.
ICSMEICSM-2012-RaemaekersDV #analysis #library
Measuring software library stability through historical version analysis (SR, AvD, JV), pp. 378–387.
ICSMEICSM-2012-SuttonZ #c++ #library #testing
Testing C++ generic libraries (AS, MZ), pp. 36–45.
WCREWCRE-2012-IshiharaHHIK #clone detection #detection #empirical #functional #library #towards
Inter-Project Functional Clone Detection Toward Building Libraries — An Empirical Study on 13, 000 Projects (TI, KH, YH, HI, SK), pp. 387–391.
WCREWCRE-2012-TeytonFB #graph #library #migration #mining
Mining Library Migration Graphs (CT, JRF, XB), pp. 289–298.
CIAACIAA-2012-AllauzenR #automaton #library #transducer
A Pushdown Transducer Extension for the OpenFst Library (CA, MR), pp. 66–77.
AdaEuropeAdaEurope-2012-ForlerLW #api #design #encryption #library #programming
Designing the API for a Cryptographic Library — A Misuse-Resistant Application Programming Interface (CF, SL, JW), pp. 75–88.
HILTHILT-2012-Bosch #library
Synchronization cannot be implemented as a library (GB), pp. 73–80.
CIKMCIKM-2012-GeorgescuPFNG #crowdsourcing #fault #library
Map to humans and reduce error: crowdsourcing for deduplication applied to digital libraries (MG, DDP, CSF, WN, JG), pp. 1970–1974.
ECIRECIR-2012-HienertSSM #information retrieval #interactive #library #process #visualisation
Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems (DH, FS, PS, PM), pp. 447–450.
ICPRICPR-2012-KorffFKSBPS #analysis #image #library #recognition
Compound color recognition via image analysis on high-throughput compound libraries (MvK, JF, AK, JS, GB, OP, TS), pp. 1289–1293.
KEODKEOD-2012-KotowskiS #approach #library #ontology
Ontology Library — A New Approach for Storing, Searching and Discovering Ontologies (DK, DAS), pp. 271–277.
RecSysRecSys-2012-Wakeling #design #library #recommendation
The user-centered design of a recommender system for a universal library catalogue (SW), pp. 337–340.
ECOOPECOOP-2012-GudkaHE #library #scalability
Lock Inference in the Presence of Large Libraries (KG, TH, SE), pp. 308–332.
GPCEGPCE-2012-FreemanJF #library #named #user interface #web
HotDrink: a library for web user interfaces (JF, JJ, GF), pp. 80–83.
SACSAC-2012-Affeldt #library #low level #on the
On construction of a library of formally verified low-level arithmetic functions (RA), pp. 1326–1331.
SACSAC-2012-ZaraketNSJ #architecture #library #parallel #source code #using
Portable Parallel Programs using architecture-aware libraries (FAZ, MN, MS, AJ), pp. 1922–1924.
FSEFSE-2012-CossetteW #evolution #library #migration
Seeking the ground truth: a retroactive study on the evolution and migration of software libraries (BC, RJW), p. 55.
FSEFSE-2012-OkurD #developer #how #library #parallel #question
How do developers use parallel libraries? (SO, DD), p. 54.
CAVCAV-2012-DriscollTR #automaton #library #named
OpenNWA: A Nested-Word Automaton Library (ED, AVT, TWR), pp. 665–671.
IJCARIJCAR-2012-RathsO #first-order #library #logic #problem
The QMLTP Problem Library for First-Order Modal Logics (TR, JO), pp. 454–461.
SMTSMT-2012-AlbertiBGRS #library #modulo theories #reachability
Reachability Modulo Theory Library (FA, RB, SG, SR, NS), pp. 67–76.
TAPTAP-2012-KiniryZH #consistency #library #specification #testing #verification
Testing Library Specifications by Verifying Conformance Tests (JRK, DMZ, RH), pp. 51–66.
CASECASE-2011-WasonW #architecture #automation #communication #library
Robot Raconteur: A communication architecture and library for robotic and automation systems (JDW, JTW), pp. 761–766.
DACDAC-2011-CevreroRSBIL #library #logic #power management #standard
Power-gated MOS current mode logic (PG-MCML): a power aware DPA-resistant standard cell library (AC, FR, MS, SB, PI, YL), pp. 1014–1019.
DACDAC-2011-RahmanATS #library #physics #reduction #synthesis
Power reduction via separate synthesis and physical libraries (MR, RA, HT, CS), pp. 627–632.
DACDAC-2011-ZhouJBHS #library #standard
A 40 nm inverse-narrow-width-effect-aware sub-threshold standard cell library (JZ, SJ, BB, LH, JS), pp. 441–446.
DATEDATE-2011-RahmanTS #reduction
Power reduction via near-optimal library-based cell-size selection (MR, HT, CS), pp. 867–870.
DATEDATE-2011-TsengHWFC #black box #compilation #library #modelling #power management
Black-box leakage power modeling for cell library and SRAM compiler (CKT, SYH, CCW, SCF, JJC), pp. 637–642.
ICDARICDAR-2011-AbidiSK #approach #library #retrieval #towards #word
Towards Searchable Digital Urdu Libraries — A Word Spotting Based Retrieval Approach (AA, IS, KK), pp. 1344–1348.
ICDARICDAR-2011-KimL #identification #library
Functional-Based Table Category Identification in Digital Library (SK, YL), pp. 1364–1368.
SIGMODSIGMOD-2011-CaoSSDG #in memory #in the cloud #library #named
BRRL: a recovery library for main-memory applications in the cloud (TC, BS, MAVS, AJD, JG), pp. 1233–1236.
ICSMEICSM-2011-SunKZ #api #detection #graph #library
Graph-based detection of library API imitations (CS, SCK, SJZ), pp. 183–192.
MSRMSR-2011-RaoK #case study #comparative #debugging #library #locality #modelling #retrieval
Retrieval from software libraries for bug localization: a comparative study of generic and composite text models (SR, ACK), pp. 43–52.
PASTEPASTE-2011-JacobsonRM #library
Labeling library functions in stripped binaries (ERJ, NER, BPM), pp. 1–8.
PLDIPLDI-2011-Tobin-HochstadtSCFF #library
Languages as libraries (STH, VSA, RC, MF, MF), pp. 132–141.
HCIHCI-DDA-2011-GodonFRT #design pattern #interactive #internet #library
The First Interaction Design Pattern Library for Internet of Things User Created Applications (MG, MAF, MR, LT), pp. 229–237.
ICEISICEIS-v1-2011-Osborn #library #maintenance
Event-based Maintenance of Digital Library Collections (WO), pp. 123–128.
ICEISICEIS-v3-2011-LiCC #enterprise #library #pervasive #research
Research on Intelligence Trend of Enterprise Library based on Pervasive Computing (RL, DC, YC), pp. 476–481.
CIKMCIKM-2011-WeilerMM #ambiguity #approach #library #named #scalability
Authormagic: an approach to author disambiguation in large-scale digital libraries (HW, KMW, SM), pp. 2293–2296.
RecSysRecSys-2011-GantnerRFS #library #named #recommendation
MyMediaLite: a free recommender system library (ZG, SR, CF, LST), pp. 305–308.
OOPSLAOOPSLA-2011-ErdwegRKO #named
SugarJ: library-based syntactic language extensibility (SE, TR, CK, KO), pp. 391–406.
GPCEGPCE-2011-ErdwegKRKOV #editing #library
Growing a language environment with editor libraries (SE, LCLK, TR, CK, KO, EV), pp. 167–176.
ESEC-FSEESEC-FSE-2011-ZhengZL #api #recommendation #using #web
Cross-library API recommendation using web search engines (WZ, QZ, MRL), pp. 480–483.
SLESLE-2011-SuttonS #c++ #concept #design #library
Design of Concept Libraries for C++ (AS, BS), pp. 97–118.
ASPLOSASPLOS-2011-PorterBHOH #library #top-down
Rethinking the library OS from the top down (DEP, SBW, JH, RO, GCH), pp. 291–304.
PPoPPPPoPP-2011-StellwagSKS #constraints #library #parallel
A wait-free NCAS library for parallel applications with timing constraints (PS, FS, JK, WSP), pp. 301–302.
DATEDATE-2010-HatamiP #analysis #component #library #performance #representation #robust #using
Efficient representation, stratification, and compression of variational CSM library waveforms using Robust Principle Component Analysis (SH, MP), pp. 1285–1290.
DATEDATE-2010-JunYC #library #multi #network #synthesis
Exploiting multiple switch libraries in topology synthesis of on-chip interconnection network (MJ, SY, EYC), pp. 1390–1395.
DATEDATE-2010-RaffelsieperMS #library
Checking and deriving module paths in Verilog cell library descriptions (MR, MRM, CWHS), pp. 1506–1511.
DocEngDocEng-2010-SojkaH #documentation #library #optimisation #using
Document engineering for a digital library: PDF recompression using JBIG2 and other optimizations of PDF documents (PS, RH), pp. 3–12.
ICPCICPC-2010-SuttonHM #c++ #identification #library
Identification of Idiom Usage in C++ Generic Libraries (AS, RH, JIM), pp. 160–169.
ICEISICEIS-AIDSS-2010-MartinL #information management #library #ontology
Expert Knowledge Management based on Ontology in a Digital Library (AM, CL), pp. 291–298.
ICEISICEIS-DISI-2010-PanZH #library #open source #query #retrieval #using
An Open Source Software based Library Catalogue System using Soundexing Retrieval and Query Caching (ZP, YZ, JH), pp. 182–189.
KMISKMIS-2010-HoH #effectiveness #library #network #social
Effectiveness of Social Networking in a University Library Environment (HIH, JH), pp. 307–310.
SIGIRSIGIR-2010-Stiller #collaboration #information management #interactive #library #multi
Leveraging user interaction and collaboration for improving multilingual information access in digital libraries (JS), p. 916.
ECMFAECMFA-2010-SchmidtPJF #component #library
An Integrated Facet-Based Library for Arbitrary Software Components (MS, JP, JJ, MAF), pp. 261–276.
OOPSLAOOPSLA-2010-KapurCW #library #migration #refactoring
Refactoring references for library migration (PK, BC, RJW), pp. 726–738.
GPCEGPCE-2010-PorkolabS #domain-specific language #generative #integration #library #parsing
Domain-specific language integration with compile-time parser generator library (ZP, ÁS), pp. 137–146.
LOPSTRLOPSTR-2010-SakuraiA #library #named #proving #user interface #visualisation
MikiBeta: A General GUI Library for Visualizing Proof Trees — System Description and Demonstration (KS, KA), pp. 84–98.
LDTALDTA-2009-HerrmannsdorferH10 #concept #library #reuse
Library Concepts for Model Reuse (MH, BH), pp. 121–134.
PPoPPPPoPP-2010-CarterGG #library
The pilot library for novice MPI programmers (JDC, WBG, GG), pp. 351–352.
PPoPPPPoPP-2010-CoonsBM #concurrent #effectiveness #library #named #testing
GAMBIT: effective unit testing for concurrency libraries (KEC, SB, MM), pp. 15–24.
ASEASE-2009-DeshmukhES #analysis #concurrent #library
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients (JVD, EAE, SS), pp. 480–491.
DATEDATE-2009-HatamiFAP #library #performance
Efficient compression and handling of current source model library waveforms (SH, PF, SA, MP), pp. 1178–1183.
DATEDATE-2009-JamaaMM #library #logic #multi #novel #synthesis
Novel library of logic gates with ambipolar CNTFETs: Opportunities for multi-level logic synthesis (MHBJ, KM, GDM), pp. 622–627.
ICDARICDAR-2009-Marinai #library #metadata
Metadata Extraction from PDF Papers for Digital Library Ingest (SM), pp. 251–255.
FoSSaCSFoSSaCS-2009-LustigV #component #library #synthesis
Synthesis from Component Libraries (YL, MYV), pp. 395–409.
PLDIPLDI-2009-RavitchJAL #automation #generative #library #static analysis #using
Automatic generation of library bindings using static analysis (TR, SJ, EA, BL), pp. 352–362.
ICFPICFP-2009-Chaudhuri #concurrent #haskell #library #ml
A concurrent ML library in concurrent Haskell (AC), pp. 269–280.
HCIHCI-NT-2009-RajK #agile #consistency #design pattern #interactive #library #mobile #named #process #user interface
RUCID: Rapid Usable Consistent Interaction Design Patterns-Based Mobile Phone UI Design Library, Process and Tool (AR, VK), pp. 677–686.
HCIHIMI-DIE-2009-BrangierDE #analysis #integration #library
The 7 Basic Functions of a Digital Library — Analysis of Focus Groups about the Usefulness of a Thematic Digital Library on the History of European Integration (EB, JD, LE), pp. 345–354.
CIKMCIKM-2009-Garcia-AlvaradoCO #library
OLAP with UDFs in digital libraries (CGA, ZC, CO), pp. 2073–2074.
ICMLICML-2009-MesmayRVP #graph #library #optimisation #performance
Bandit-based optimization on graphs with application to library performance tuning (FdM, AR, YV, MP), pp. 729–736.
KDDKDD-2009-Delage #library #online #ranking
Regret-based online ranking for a growing digital library (ED), pp. 229–238.
KMISKMIS-2009-SeifertEHSKRN #approach #information management #library #named #visualisation
DiLiA — a Digital Library Assistant — A New Approach to Information Discovery through Information Extraction and Visualization (IS, KE, HH, SS, MK, NR, GN), pp. 180–185.
SEKESEKE-2009-JuanI #library #music #semantics #web
Improving Searchability of a Music Digital Library with Semantic Web Technologies (PdJ, CAI), pp. 246–251.
SIGIRSIGIR-2009-Nomoto #library #profiling
Classifying library catalogue by author profiling (TN), pp. 644–645.
OOPSLAOOPSLA-2009-LeijenSB #design #library #parallel
The design of a task parallel library (DL, WS, SB), pp. 227–242.
SACSAC-2009-AktemurK #case study #comparative #library
A comparative study of techniques to write customizable libraries (BA, SK), pp. 522–529.
SACSAC-2009-dAciernoMP #library #recommendation
A recommendation system for browsing digital libraries (Ad, VM, AP), pp. 1771–1778.
SACSAC-2009-SilvaSC #library #reasoning #testing #user interface
A generic library for GUI reasoning and testing (JCS, JS, JCC), pp. 121–128.
GTTSEGTTSE-2009-SzugyiSPP #c++ #library #string
C++ Metastring Library and Its Applications (ZS, ÁS, NP, ZP), pp. 461–480.
ICSEICSE-2009-DigME #concurrent #java #library #refactoring
Refactoring sequential Java code for concurrency via concurrent libraries (DD, JM, MDE), pp. 397–407.
SLESLE-2009-Jugel #api #generative #library
Generating Smart Wrapper Libraries for Arbitrary APIs (UJ), pp. 354–373.
CGOCGO-2009-VoronenkoMP #generative #library #linear
Computer Generation of General Size Linear Transform Libraries (YV, FdM, MP), pp. 102–113.
HPDCHPDC-2009-DickensL #file system #library #named #performance
Y-lib: a user level library to increase the performance of MPI-IO in a lustre file system environment (PMD, JL), pp. 31–38.
CAVCAV-2009-JeannetM #abstract domain #library #named #static analysis
Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.
ICSTICST-2009-TanNM #automation #black box #library #parallel #programming #testing
Automated Black Box Testing Tool for a Parallel Programming Library (RPT, PN, SM), pp. 307–316.
CBSECBSE-2008-GeorgeFS #component #framework #library #off the shelf
A Component Selection Framework for COTS Libraries (BG, RF, SS), pp. 286–301.
CASECASE-2008-LeeCAP #automation #image #library #process
Matching book-spine images for library shelf-reading process automation (DJL, YC, JKA, CP), pp. 738–743.
DACDAC-2008-Trihy #challenge #library
Addressing library creation challenges from recent Liberty extensions (RT), pp. 474–479.
DATEDATE-2008-BrownTBP #automation #library #logic #testing
Automated Testability Enhancements for Logic Brick Libraries (JGB, BT, RDB, LTP), pp. 480–485.
DocEngDocEng-2008-LaenderGCFSS #library #problem
Keeping a digital library clean: new solutions to old problems (AHFL, MAG, RGC, AAF, RLTS, AJCS), pp. 257–262.
PEPMPEPM-2008-ZhuK #library #using
Specialization for applications using shared libraries (PZ, SCK), pp. 159–168.
AFPAFP-2008-JeuringLMY08 #haskell #library #programming
Libraries for Generic Programming in Haskell (JJ, SL, JPM, ARY), pp. 165–229.
IFLIFL-2008-Jaskelioff #library #monad #named
Monatron: An Extensible Monad Transformer Library (MJ), pp. 233–248.
IFLIFL-2008-WangG #ad hoc #haskell #library
A Library for Processing Ad hoc Data in Haskell — Embedding a Data Description Language (YW, VG), pp. 174–191.
CHICHI-2008-QuinnHARB #library #readability
Readability of scanned books in digital libraries (AJQ, CH, TA, AR, BBB), pp. 705–714.
CIKMCIKM-2008-SunLCLG #library
Measuring user preference changes in digital libraries (YS, HL, IGC, WCL, CLG), pp. 1497–1498.
ECIRECIR-2008-VanB #hybrid #library #personalisation
Hybrid Method for Personalized Search in Digital Libraries (TTV, MB), pp. 647–651.
SEKESEKE-2008-DuffyHM #c++ #comprehension #evolution #interface #library #protocol #reverse engineering #scalability
Reverse Engineering Interface Protocols for Comprehension of Large C++ Libraries during Code Evolution Tasks (EBD, JOH, BAM), pp. 303–308.
SIGIRSIGIR-2008-Murray #library #modelling #process
Extending language modeling techniques to models of search and browsing activity in a digital library (GCM), p. 900.
GPCEGPCE-2008-GottschlingL #c++ #compilation #concept #library #performance #reuse #robust #semantics #using
Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries (PG, AL), pp. 67–76.
SACSAC-2008-PirkelbauerPMS #c++ #concept #library #runtime #standard
Runtime concepts for the C++ standard template library (PP, SP, MM, BS), pp. 171–177.
ICSEICSE-2008-DigNMJ #adaptation #evolution #library #named #refactoring
ReBA: refactoring-aware binary adaptation of evolving libraries (DD, SN, VM, REJ), pp. 441–450.
ICSEICSE-2008-SankaranarayananIG #induction #library #logic programming #mining #specification #using
Mining library specifications using inductive logic programming (SS, FI, AG), pp. 131–140.
SLESLE-2008-HageK #analysis #library #named
Neon: A Library for Language Usage Analysis (JH, PvK), pp. 35–53.
CCCC-2008-RountevSX #analysis #data flow #ide #library #object-oriented #scalability
IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries (AR, MS, G(X), pp. 53–68.
ASEASE-2007-TanejaDX #api #automation #detection #library #refactoring
Automated detection of api refactorings in libraries (KT, DD, TX), pp. 377–380.
CASECASE-2007-LjungkrantzA #case study #component #industrial #library #logic #programming #using
A Study of Industrial Logic Control Programming using Library Components (OL, ), pp. 117–122.
DACDAC-2007-HuKH #design
Gate Sizing For Cell Library-Based Designs (SH, MK, JH), pp. 847–852.
DACDAC-2007-LucasHE #library #named #realtime
FlexWAFE — A High-end Real-Time Stream Processing Library for FPGAs (AdCL, SH, RE), pp. 916–921.
DATEDATE-2007-LinLTL #design #library #standard
Double-via-driven standard cell library design (TYL, THL, HHT, RBL), pp. 1212–1217.
ICDARICDAR-2007-JournetRME #documentation #image #library #retrieval #tool support
A Proposition of Retrieval Tools for Historical Document Images Libraries (NJ, JYR, RM, VE), pp. 1053–1057.
CSMRCSMR-2007-RatiuJ #library
The Reality of Libraries (DR, JJ), pp. 307–318.
PASTEPASTE-2007-MarronSHK #analysis #library
Heap analysis in the presence of collection libraries (MM, DS, MVH, DK), pp. 31–36.
PEPMPEPM-2007-FernandesS #library #source code #tool support
Tools and libraries to model and manipulate circular programs (JPF, JS), pp. 102–111.
CIAACIAA-2007-AllauzenRSSM #finite #library #named #performance #transducer
OpenFst: A General and Efficient Weighted Finite-State Transducer Library (CA, MR, JS, WS, MM), pp. 11–23.
CIAACIAA-2007-BassinoDN #automaton #library
: A Library to Randomly and Exhaustively Generate Automata (FB, JD, CN), pp. 303–305.
ICFPICFP-2007-GhuloumD #library
Implicit phasing for R6RS libraries (AG, RKD), pp. 303–314.
LISPILC-2007-Leitao #library #programming
The next 700 programming libraries (AML), p. 21.
LISPILC-2007-StrandhMHR #library #named
ESA: a CLIM library for writing Emacs-Style Applications (RS, DM, TH, CR), p. 24.
HCIHCI-MIE-2007-PonnusamyG #adaptation #development #library #multi
Development of an Adaptive Multi-agent Based Content Collection System for Digital Libraries (RP, TVG), pp. 475–485.
HCIOCSC-2007-Huang #case study #library #social
Integrating Digital Library Resources in Elementary School Classrooms — A Case Study of Social Study Instruction (KHH), pp. 372–374.
AdaEuropeAdaEurope-2007-SinghoffP #ada #empirical #library #towards
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar (FS, AP), pp. 180–191.
ICEISICEIS-HCI-2007-SallaberryBLG #case study #evaluation #information retrieval #library #towards
Towards an IE and IR System Dealing with Spatial Information in Digital Libraries — Evaluation Case Study (CS, MB, JL, MG), pp. 190–197.
ECIRECIR-2007-SunG #library #ranking
Popularity Weighted Ranking for Academic Digital Libraries (YS, CLG), pp. 605–612.
GPCEGPCE-2007-JarviMS #adaptation #c++ #composition #concept #library #using
Library composition and adaptation using c++ concepts (JJ, MAM, JNS), pp. 73–82.
GPCEGPCE-2007-Puschel #education #library #performance #question
Can we teach computers to write fast libraries? (MP), pp. 1–2.
GPCEGPCE-2007-WinterM #generative #java #library #migration #programming
Generative programming techniques for Java library migration (VLW, AM), pp. 185–196.
PADLPADL-2007-Russo #concurrent #library
The Joins Concurrency Library (CVR), pp. 260–274.
SACSAC-2007-RegoBSSF #library #named #video
VideoLib: a video digital library with support to spatial and temporal dimensions (ASdCR, CdSB, ERdS, US, HFdF), pp. 1074–1078.
GTTSEGTTSE-2007-JuhaszSP #c++ #finite #implementation #library #state machine
Implementation of a Finite State Machine with Active Libraries in C++ (ZJ, ÁS, ZP), pp. 474–488.
PPoPPPPoPP-2007-PutzeSS #library #manycore #named #standard
MCSTL: the multi-core standard template library (FP, PS, JS), pp. 144–145.
CAVCAV-2007-GopanR #analysis #library #low level #summary
Low-Level Library Analysis and Summarization (DG, TWR), pp. 68–81.
ASEASE-2006-LiuYR #library #model checking #using
Software Library Usage Pattern Extraction Using a Software Model Checker (CL, EY, DJR), pp. 301–304.
DACDAC-2006-AminKMKC #library #multi
A multi-port current source model for multiple-input switching effects in CMOS library cells (CSA, CVK, NM, KK, EC), pp. 247–252.
DACDAC-2006-ShahGK #library #optimisation #reduction #standard
Standard cell library optimization for leakage reduction (SS, PG, ABK), pp. 983–986.
DATEDATE-2006-Stanley-MarbellLR #adaptation #concurrent #embedded #library #multi #thread
Adaptive data placement in an embedded multiprocessor thread library (PSM, KL, AR), pp. 698–699.
DRRDRR-2006-JaegerZDCS #documentation #library #named
DOCLIB: a software library for document processing (SJ, GZ, DSD, KC, SS).
DRRDRR-2006-RahmanKAA #clustering #collaboration #documentation #library
Document clustering: applications in a collaborative digital library (FR, AK, YTA, HA).
FASEFASE-2006-RaffeltS #automaton #learning #library #named
LearnLib: A Library for Automata Learning and Experimentation (HR, BS), pp. 377–380.
ICSMEICSM-2006-ZalewskiS #impact analysis #library
Change Impact Analysis for Generic Libraries (MZ, SS), pp. 35–44.
SCAMSCAM-2006-ZhangR #graph #java #library
Constructing Accurate Application Call Graphs For Java To Model Library Callbacks (WZ, BGR), pp. 63–74.
AdaSIGAda-2006-PlantecS #ada #automation #library #refactoring
Refactoring of an Ada 95 library with a Meta CASE tool (AP, FS), pp. 61–70.
CAiSECAiSE-2006-AckermannT #behaviour #component #library #ocl #specification
A Library of OCL Specification Patterns for Behavioral Specification of Software Components (JA, KT), pp. 255–269.
ICEISICEIS-SAIC-2006-Leukel #classification #library #maintenance
Maintaining Property Libraries in Product Classification Schemes (JL), pp. 3–10.
SIGIRSIGIR-2006-CarberryED #library
Information graphics: an untapped resource for digital libraries (SC, SE, SD), pp. 581–588.
SIGIRSIGIR-2006-LarsonS #library #named
Cheshire3: retrieving from tera-scale grid-based digital libraries (RRL, RS), p. 730.
SIGIRSIGIR-2006-LiZZL #case study #comparative #design #experience #library #user interface
A comparative study of the effect of search feature design on user experience in digital libraries (DLs) (YL, XZ, YZ, JL), pp. 669–670.
SACSAC-2006-RendaS #automation #distributed #library #query
Automatic structured query transformation over distributed digital libraries (MER, US), pp. 1078–1083.
ICSEICSE-2006-LiuYR #automation #library #named
LtRules: an automated software library usage rule extraction tool (CL, EY, DJR), pp. 823–826.
CCCC-2006-RountevKM #analysis #data flow #interprocedural #library #scalability
Interprocedural Dataflow Analysis in the Presence of Large Libraries (AR, SK, TJM), pp. 2–16.
IJCARIJCAR-2006-GregoireT #composition #functional #library #scalability
A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers (BG, LT), pp. 423–437.
DACDAC-2005-TangZB #library #optimisation #power management #synthesis
Leakage power optimization with dual-Vth library in high-level synthesis (XT, HZ, PB), pp. 202–207.
DATEDATE-2005-ForzanP #analysis #behaviour #library #modelling
Modeling the Non-Linear Behavior of Library Cells for an Accurate Static Noise Analysis (CF, DP), pp. 982–983.
DATEDATE-2005-StergiouACRBM #abstract syntax tree #design #library #network #pipes and filters #synthesis
ast pipes Lite: A Synthesis Oriented Design Library For Networks on Chips (SS, FA, SC, LR, DB, GDM), pp. 1188–1193.
ICDARICDAR-2005-ZhangT #image #library
Warped Image restoration with Applications to Digital Libraries (LZ, CLT), pp. 192–196.
PASTEPASTE-2005-KhurshidS #execution #library #symbolic computation
Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.
PLDIPLDI-2005-Boehm #library #thread
Threads cannot be implemented as a library (HJB), pp. 261–268.
CIAACIAA-J-2004-AllauzenMR05 #algorithm #design #library
The design principles and algorithms of a weighted grammar library (CA, MM, BR), pp. 403–421.
ICEISICEIS-v1-2005-FeiTALBN #framework #grid #library #named
ARCO: A Long-term Digital Library Storage System Based on Grid Computational Infrastructure (HF, PT, NA, ML, JLB, JN), pp. 44–51.
ECIRECIR-2005-LuC #library #network #peer-to-peer
Federated Search of Text-Based Digital Libraries in Hierarchical Peer-to-Peer Networks (JL, JC), pp. 52–66.
ECOOPECOOP-2005-FuhrerTKDK #java #library #refactoring
Efficiently Refactoring Java Applications to Use Generic Libraries (RMF, FT, AK, JD, MK), pp. 71–96.
ECOOPECOOP-2005-WilliamsTE #concurrent #detection #java #library
Static Deadlock Detection for Java Libraries (AW, WT, MDE), pp. 602–629.
OOPSLAOOPSLA-2005-BalabanTF #library #migration #refactoring
Refactoring support for class library migration (IB, FT, RMF), pp. 265–279.
GPCEGPCE-2005-SiekL #library #requirements #scalability
Language Requirements for Large-Scale Generic Libraries (JGS, AL), pp. 405–421.
DACDAC-2004-LiuPP #library #power management #question #what
Practical repeater insertion for low power: what repeater library do we need? (XL, YP, MCP), pp. 30–35.
DATEDATE-DF-2004-HeckerCLBLO #development #library
VHDL-AMS Library Development for Pacemaker Applications (BH, MC, ML, EB, LL, JO), pp. 338–341.
DATEDATE-v1-2004-Dittmann #library
Organizing Libraries of DFG Patterns (GD), pp. 726–727.
HTHT-2004-BuchananBTJ #hypermedia #library
Integrating information seeking and structuring: exploring the role of spatial hypertext in a digital library (GB, AB, HWT, MJ), pp. 225–234.
HTHT-2004-CarrMWPBHG #library
Extending the role of the digital library: computer support for creating articles (LC, TMB, GW, GP, CB, WH, SG), pp. 12–21.
HTHT-2004-FalquetNZ #library #towards
Towards digital libraries of virtual hyperbooks (GF, LN, JCZ), pp. 24–25.
CIAACIAA-2004-AllauzenMR #library
A General Weighted Grammar Library (CA, MM, BR), pp. 23–34.
ICEISICEIS-v1-2004-FeiALTBN #grid #library #named
ARCO: Moving Digital Library Storage to Grid Computing (HF, NA, ML, PT, JLB, JN), pp. 64–69.
ICEISICEIS-v4-2004-LohGLBRSAP #chat #library #recommendation #web
Analyzing Web Chat Messages for Recommending Items from a Digital Library (SL, RSG, DL, TB, RR, GS, LA, TP), pp. 41–48.
ICEISICEIS-v5-2004-Aldana-MontesDR #integration #library #semantics
Semantic Integration of Digital Libraries (JFAM, IND, MdMRG), pp. 313–318.
ICEISICEIS-v5-2004-DingS #distributed #library #towards
Towards the Schema Heterogeneity in Distributed Digital Libraries (HD, IS), pp. 307–312.
ICEISICEIS-v5-2004-EspositoLLS #education #library #personalisation
Personalizing Digital Libraries for Education (FE, OL, PL, GS), pp. 279–284.
ICEISICEIS-v5-2004-IsaevN
E-Library Technical Solution: An Example of ETU “LETI” (YI, AN), pp. 285–288.
ICEISICEIS-v5-2004-LiongosariGS #generative #library #research
A New Generation of Digital Library to Support Drug Discovery Research (ESL, AG, MS), pp. 301–306.
ICEISICEIS-v5-2004-Mikulecky #design #library #security
Digital Library: Design and Security Considerations (SM), pp. 295–300.
ICEISICEIS-v5-2004-SalcedoY #learning #library #metadata
Supporting Course Sequencing in a Digital Library: Usage of Dynamic Metadata for Learning Objects (RMS, YY), pp. 319–324.
CIKMCIKM-2004-PetinotGBTHC #library #named #towards
CiteSeer-API: towards seamless resource location and interlinking for digital libraries (YP, CLG, VB, PBT, HH, IGC), pp. 553–561.
ICMLICML-2004-CaruanaNCK #library #modelling
Ensemble selection from libraries of models (RC, ANM, GC, AK).
ICPRICPR-v2-2004-CinqueMN #library #named #ontology #query
OntoDoc: An Ontology-Based Query System for Digital Libraries (LC, AM, RN), pp. 671–674.
ECOOPECOOP-2004-SutterTD #constraints #java #library #using
Customization of Java Library Classes Using Type Constraints and Profile Information (BDS, FT, JD), pp. 585–610.
OOPSLAOOPSLA-2004-DonovanKTE #java #library #source code
Converting java programs to use generic libraries (AD, AK, MST, MDE), pp. 15–34.
OOPSLAOOPSLA-2004-FactorSS #approach #library #object-oriented #standard
Instrumentation of standard libraries in object-oriented languages: the twin class hierarchy approach (MF, AS, KS), pp. 288–300.
GPCEGPCE-2004-ZolyomiP #library #towards
Towards a General Template Introspection Library (IZ, ZP), pp. 266–282.
SACSAC-2004-NapoliG #library
A service-oriented customizable Digital Library (CDN, MG), pp. 1730–1731.
CGOCGO-2004-LiGP #library #sorting
A Dynamically Tuned Sorting Library (XL, MJG, DAP), pp. 111–124.
ICLPICLP-2004-HanakSS #debugging #library #prolog
FDBG, the CLPFD Debugger Library of SICStus Prolog (DH, TS, PS), pp. 458–459.
DACDAC-2003-BittlestoneHSA #architecture #library
Architecting ASIC libraries and flows in nanometer era (CB, AMH, VS, NVA), pp. 776–781.
DACDAC-2003-HuWKM #library
Gain-based technology mapping for discrete-size cell libraries (BH, YW, AK, MMS), pp. 574–579.
DACDAC-2003-SechenCHMNNT #library #named
Libraries: lifejacket or straitjacket (CS, BC, JH, AM, TN, GAN, AT), pp. 642–643.
DATEDATE-2003-BrandoleseFSS #analysis #library
Library Functions Timing Characterization for Source-Level Analysis (CB, WF, FS, DS), pp. 11132–11133.
DocEngDocEng-2003-JanssenP #library #named
UpLib: a universal personal digital library system (WCJ, KP), pp. 234–242.
ICDARICDAR-2003-Baird #analysis #documentation #image #library
Digital Libraries and Document Image Analysis (HSB), p. 2–?.
ICDARICDAR-2003-HeD #analysis #documentation #image #library
User-Assisted Archive Document Image Analysis for Digital Library Construction (JH, ACD), pp. 498–502.
ESOPESOP-2003-YuHS #library
Building Certified Libraries for PCC: Dynamic Storage Allocation (DY, NAH, ZS), pp. 363–379.
CSMRCSMR-2003-AntoniolPN #algorithm #clustering #library #search-based
Moving to Smaller Libraries via Clustering and Genetic Algorithms (GA, MDP, MN), pp. 307–316.
CSMRCSMR-2003-CasanovaSJ #component #development #evolution #library #using
Supporting Evolution in Component-Based Development Using Component Libraries (MC, RVDS, VJ), pp. 123–132.
ICSMEICSM-2003-AntoniolP #information management #library #using
Library Miniaturization Using Static and Dynamic Information (GA, MDP), p. 235–?.
AdaEuropeAdaEurope-2003-FranchM #ada #library #quality #standard
A Quality Model for the Ada Standard Container Library (XF, JM), pp. 283–296.
AdaEuropeAdaEurope-2003-Heaney #ada #data type #library #named
Charles: A Data Structure Library for Ada95 (MH), pp. 271–282.
AdaSIGAda-2003-MarcoF #ada #design #framework #implementation #library #standard
A framework for designing and implementing the Ada standard container library (JM, XF), pp. 49–61.
ECIRECIR-2003-Pons-PorrataLR #library #topic
Building a Hierarchy of Events and Topics for Newspaper Digital Libraries (APP, RBL, JRS), pp. 588–596.
ECIRECIR-2003-SilveiraRVA #library
Vertical Searching in Juridical Digital Libraries (MdLdS, BARN, RdFV, RTA), pp. 491–501.
SIGIRSIGIR-2003-BerrettiCNSW #data fusion #distributed #library #multi #named
MIND: resource selection and data fusion in multimedia distributed digital libraries (SB, JPC, HN, XMS, SW), p. 465.
SIGIRSIGIR-2003-CallanCNPS #data fusion #distributed #library #multi
Resource selection and data fusion in multimedia distributed digital libraries (JPC, FC, HN, PP, XMS), pp. 363–364.
PPoPPPPoPP-2003-SaundersR #adaptation #communication #framework #independence #library #named
ARMI: an adaptive, platform independent communication library (SS, LR), pp. 230–241.
DACDAC-2002-BernardiS #design #library #using
Model design using hierarchical web-based libraries (FB, JFS), pp. 14–17.
DACDAC-2002-PeymandoustMS #algebra #embedded #library #using
Complex library mapping for embedded software using symbolic algebra (AP, GDM, TS), pp. 325–330.
DATEDATE-2002-Sheehan #library
Library Compatible Ceff for Gate-Level Timing (BNS), pp. 826–830.
SCAMSCAM-J-2001-SchuppGML02 #behaviour #library #semantics
Semantic and behavioral library transformations (SS, DG, DRM, SML), pp. 797–810.
WCREWCRE-2002-PentaNAM #knowledge-based #library #open source
Knowledge-Based Library Re-Factoring for an Open Source Project (MDP, MN, GA, EM), pp. 319–328.
SASSAS-2002-BagnaraRZH #library
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library (RB, ER, EZ, PMH), pp. 213–229.
SASSAS-2002-Probst #analysis #composition #control flow #library
Modular Control Flow Analysis for Libraries (CWP), pp. 165–179.
CIKMCIKM-2002-CaladoSRLLRRVGF #experience #library #named #web
Web-DL: an experience in building digital libraries from the web (PC, ASdS, BARN, AHFL, JPL, DdCR, PAR, MVV, MAG, EAF), pp. 675–677.
CIKMCIKM-2002-PanF #data mining #library #mining #quote #video
“GeoPlot”: spatial data mining on video libraries (JYP, CF), pp. 405–412.
SACSAC-2002-HaratyZ #database #library
Database and digital library technologies: track chairs message (RAH, MZ), p. 401.
SACSAC-2002-Krechmer #library
Cathedrals, libraries and bazaars (KK), pp. 1053–1057.
SACSAC-2002-MalyZBMSW #evaluation #library #named #xml
DL-COTF: an XML based digital library for U. S. Navy’s operational test and evaluation force (KM, MZ, SB, AM, SS, WW), pp. 493–497.
CADECADE-2002-Moller #difference #library #named #quantifier
DDDLIB: A Library for Solving Quantified Difference Inequalities (JBM), pp. 129–133.
DACDAC-2001-ReyneriCSL #co-evolution #design #hardware #library
A Hardware/Software Co-design Flow and IP Library Based of SimulinkTM (LMR, FC, AS, LL), pp. 593–598.
DATEDATE-2001-JingnanVH #embedded #library
A Skill-based library for retargetable embedded analog cores (XJ, JCV, NH), pp. 768–769.
DocEngDocEng-2001-Zhou #authoring #constraints #documentation #interactive #library
Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library (NFZ), pp. 28–37.
ICDARICDAR-2001-IwataYYKIM #identification #library #using
Book Cover Identification by Using Four Directional Features Filed for a Small-Scale Library System (KI, KY, MY, KK, MI, KM), pp. 582–586.
VLDBVLDB-2001-BlokWZPAKJ #flexibility #library #scalability
Flexible and scalable digital library search (HEB, MW, RvZ, MP, PMGA, MLK, WJ), pp. 705–706.
VLDBVLDB-2001-SeegerBBKSDS #approach #database #implementation #library #named #performance #query
XXL — A Library Approach to Supporting Efficient Implementations of Advanced Database Queries (JVdB, BB, JPD, JK, TS, MS, BS), pp. 39–48.
FASEFASE-2001-NieseSMHBI #consistency #design #industrial #testing
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases (ON, BS, TMS, AH, GB, HDI), pp. 233–248.
TACASTACAS-2001-BallCR #library #parallel #thread #verification
Parameterized Verification of Multithreaded Software Libraries (TB, SC, SKR), pp. 158–173.
TACASTACAS-2001-Yavuz-KahveciTB #library
A Library for Composite Symbolic Representations (TYK, MT, TB), pp. 52–66.
SCAMSCAM-2001-SchuppGM #library
Library Transformations (SS, DG, DRM), pp. 111–123.
FMFME-2001-HelkeS #analysis #behaviour #consistency #eiffel #library
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries (SH, TS), pp. 20–42.
AdaEuropeAdaEurope-2001-English #education #library #named #user interface
JEWL: A GUI Library for Educational Use (JE), pp. 266–277.
AdaEuropeAdaEurope-2001-KuchumovRS #ada #library #named #object-oriented
OASIS — An ASIS Secondary Library for Analyzing Object-Oriented Ada Code (AK, SR, AS), pp. 113–122.
AdaEuropeAdaEurope-2001-Lamm #component #library
Component Libraries and Language Features (EL), pp. 215–228.
CAiSECAiSE-2001-FurtadoC #library
Constructing Libraries of Typical Plans (ALF, AEMC), pp. 124–139.
ICEISICEIS-v2-2001-PintoMZC #library
Portuguese Parliamentary Records Digital Library (JSP, JAM, HTZ, RJPC), pp. 1046–1052.
SIGIRSIGIR-2001-FoxFGS #library
Building Interoperable Digital Library Services: MARIAN, Open Archives and NDLTD (EAF, RKF, MAG, HS), p. 451.
SIGIRSIGIR-2001-NakashimaQSI #documentation #library
Browsing in a Digital Library Collecting Linearly Arranged Documents (MN, YQ, KS, TI), pp. 426–427.
TOOLSTOOLS-USA-2001-McKim #eiffel #library #programming
Reuse-Based Programming with the Eiffel Libraries (JCM), p. 334.
ICSEICSE-2001-AokiHKNNRTY #3d #case study #evolution #library #multi #object-oriented #open source
A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library (AA, KH, KK, KN, YN, BR, AT, YY), pp. 524–533.
ICSEICSE-2001-Michail #data mining #library #mining #named #reuse
CodeWeb: Data Mining Library Reuse Patterns (AM), pp. 827–828.
CCCC-2001-RountevR #analysis #library #points-to #source code
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries (AR, BGR), pp. 20–36.
ICSTSAT-2001-GiunchigliaNTV #library #performance #satisfiability #towards
Towards an Efficient Library for SAT: a Manifesto (EG, MN, AT, MYV), pp. 290–310.
ASEASE-2000-SahraouiLBE #assessment #automation #library #reuse #towards
Towards the Automatic Assessment of Evolvability for Reusable Class Libraries (HAS, HL, MB, FE), pp. 289–292.
DATEDATE-2000-KravetsS #symmetry #synthesis #using
Constructive Library-Aware Synthesis Using Symmetries (VNK, KAS), pp. 208–213.
SIGMODSIGMOD-2000-BerckenDS #algorithm #library #prototype #query
javax.XXL: A prototype for a Library of Query processing Algorithms (JVdB, JPD, BS), p. 588.
IFLIFL-2000-AchtenJ #haskell #library #migration
Porting the Clean Object I/O Library to Haskell (PA, SLPJ), pp. 194–213.
AdaEuropeAdaEurope-2000-MarcoF #component #library #re-engineering
Reengineering the Booch Component Library (JM, XF), pp. 96–111.
CIKMCIKM-2000-Fox #library
Digital Libraries: Extending and Applying Library and Information Science and Technology (EAF), p. 3.
SIGIRSIGIR-2000-MantzarisGGT #library #tool support
Integrated search tools for newspaper digital libraries (SLM, BG, NG, PT), p. 389.
SACSAC-2000-WiilH #development #hypermedia #library #requirements
Requirements for Development of Hypermedia Technology for a Digital Library Supporting Scholarly Work (UKW, DLH), pp. 607–609.
FSEFSE-2000-SweeneyT #object-oriented
Extracting library-based object-oriented applications (PFS, FT), pp. 98–107.
ICSEICSE-2000-Michail #data mining #library #mining #reuse #using
Data mining library reuse patterns using generalized association rules (AM), pp. 167–176.
ASEASE-1999-Michail #data mining #library #mining #reuse
Data Mining Library Reuse Patterns in User-Selected Applications (AM), p. 24–?.
CSMRCSMR-1999-RaysideK #deployment #embedded #java #library #set
Extracting Java Library Subsets for Deployment on Embedded Systems (DR, KK), pp. 102–110.
WCREWCRE-1999-SchlesingerR #development #library
Educating JACKAL: Cliché Library Development and Use (JDS, AAR), p. 123–?.
AdaEuropeAdaEurope-1999-FranchPV #component #library #non-functional #using
Browsing a Component Library Using Non-functional Information (XF, JP, JV), pp. 332–343.
CIKMCIKM-1999-AllenS #data type #library #metadata
Metadata and Data Structures for the Historical Newspaper Digital Library (RBA, JS), pp. 147–153.
CIKMCIKM-1999-GeffnerAAS #classification #library #scalability #using
Browsing Large Digital Library Collections Using Classification Hierarchies (SG, DA, AEA, TRS), pp. 195–201.
OOPSLAOOPSLA-1999-LeeSL #component #graph #library
The Generic Graph Component Library (LQL, JGS, AL), pp. 399–414.
TOOLSTOOLS-PACIFIC-1999-ZendraC #eiffel #library
Adding External Iterators to an Existing Eiffel Class Library (OZ, DC), pp. 188–199.
TOOLSTOOLS-USA-1999-MaughanS #eiffel #library
Mastering the Windows Eiffel Library (GM, RS), p. 444.
ICSEICSE-1999-MichailN #library
Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships (AM, DN), pp. 463–472.
ASEASE-1998-Fischer #component #library
Specification-based Browsing of Software Component Libraries (BF), pp. 74–83.
ASEASE-1998-McDonaldHS #library #standard #testing
Programmatic Testing of the Standard Template Library Containers (JM, DH, PAS), pp. 147–156.
ASEASE-1998-MichailN #approach #library #object-oriented #reuse
Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach (AM, DN), pp. 200–203.
DACDAC-1998-HinsbergerK #library #scalability
Boolean Matching for Large Libraries (UH, RK), pp. 206–211.
DACDAC-1998-Kung #algorithm #library #optimisation #performance
A Fast Fanout Optimization Algorithm for Near-Continuous Buffer Libraries (DSK), pp. 352–355.
HTHT-1998-Boissiere #automation #library #web
Automatic Creation of Hypervideo News Libraries for the World Wide Web (GB), pp. 279–280.
PODSPODS-1998-Klavans #database #information management #library
Data Bases in Digital Libraries: Where Computer Science and Information Management Meet (JK), pp. 224–226.
ICFPICFP-1998-Scholz #combinator #imperative #library #monad #programming
Imperative Streams — A Monadic Combinator Library for Synchronous Programming (ES), pp. 261–272.
CHICHI-1998-OHaraSNS #documentation #library #student
Student Readers’ Use of Library Documents: Implications for Library Technologies (KO, FS, WMN, AS), pp. 233–240.
AdaEuropeAdaEurope-1998-ArabanS #library #object-oriented
A Two-Level Matching Mechanism for Object-Oriented Class Libraries (SA, ASMS), pp. 188–200.
AdaSIGAda-1998-Duncan #ada #data type #infinity #library #reuse
Reusable Ada Libraries Supporting Infinite Data Structures (AGD), pp. 89–103.
CIKMCIKM-1998-LeeLS #html #incremental #library #maintenance
Incremental Maintenance for Dynamic Database-Derived HTML Pages in Digital Libraries (KCKL, HVL, AS), pp. 20–29.
ICPRICPR-1998-TakacsW #image #library #metric #performance #using
Fast searching of digital face libraries using binary image metrics (BT, HW), pp. 1235–1237.
SIGIRSIGIR-1998-HascoetS #library #user interface #using
Using Maps as a User Interface to a Digital Library (MH, XS), pp. 339–340.
TOOLSTOOLS-ASIA-1998-CoddingtonHKMWWIGJT #corba #implementation #java #library #using
Implementation of a Geospatial Imagery Digital Library Using Java and CORBA (PDC, KAH, KEK, JAM, AJS, DLW, PJW, CGI, MWG, RJ, KT), pp. 280–289.
TOOLSTOOLS-ASIA-1998-MatsuzawaI #framework #library #object-oriented
An Object-Oriented Reference Model with Frameworks and Libraries (YM, NI), pp. 346–350.
TOOLSTOOLS-USA-1998-MengerKES #implementation #library #object-oriented
Collection Types and Implementations in Object-Oriented Software Libraries (GM, JLK, ME, AS), p. 97–?.
TOOLSTOOLS-USA-1998-PotterSJ #inheritance #library
Library Interoperability via Inheritance (JP, RS, IJ), pp. 71–83.
SACSAC-1998-Wiil #framework #library
Evaluating HyperDisco as an infrastructure for digital libraries (UKW), pp. 491–497.
HPDCHPDC-1998-Schatz #distributed #grid #library
High-Performance Distributed Digital Libraries: Building the Interspace on the Grid (BRS), pp. 224–234.
HPDCHPDC-1998-ZhuYZWIS #adaptation #clustering #library
Adaptive Load Sharing for Clustered Digital Library Servers (HZ, TY, QZ, DW, OHI, TRS), pp. 235–242.
ISMMISMM-1998-NishanovS #garbage collection #library
Garbage Collection in Generic Libraries (GVN, SS), pp. 86–96.
ASEASE-1997-Hall #automation #library #reasoning #using #validation
Reactive System Validation using Automated Reasoning over a Fragment Library (RJH), pp. 299–300.
DACDAC-1997-BaltusVADM #concurrent #generative #library #standard
Developing a Concurrent Methodology for Standard-Cell Library Generation (DGB, TV, RCA, JD, TGM), pp. 333–336.
DACDAC-1997-GuruswamyMDRCFJ #automation #layout #library #named #standard #synthesis
CELLERITY: A Fully Automatic Layout Synthesis System for Standard Cell Libraries (MG, RLM, DD, SR, VC, AF, LGJ), pp. 327–332.
DATEEDTC-1997-JhaD #library
Library mapping for memories (PKJ, NDD), pp. 288–292.
ICDARICDAR-1997-EspositoMSAG #library #machine learning #semantics
Information Capture and Semantic Indexing of Digital Libraries through Machine Learning Techniques (FE, DM, GS, CDA, GdG), pp. 722–727.
VLDBVLDB-1997-ChristodoulakisTZ #library
Principles of Optimally Placing Data in Tertiary Storage Libraries (SC, PT, FZ), pp. 236–245.
CIAAWIA-1997-MohriPR #design #finite #library #transducer
A Rational Design for a Weighted Finite-State Transducer Library (MM, FCNP, MR), pp. 144–158.
CHICHI-1997-JornaWGKMMMM #community #library #multi
The Multimedia Library: The Center of an Information-Rich Community (GJ, MW, PG, HK, JM, IM, IM, LVM), pp. 510–517.
CHICHI-1997-PlaisantMBKC #design #library
Bringing Treasures to the Surface: Iterative Design for the Library of Congress National Digital Library Program (CP, GM, TB, AK, LC), pp. 518–525.
HCIHCI-CC-1997-SavidisVS #library
Embedding Scanning Techniques Accessible to Motor-Impaired Users in the WINDOWS Object Library (AS, GV, CS), pp. 429–432.
HCIHCI-SEC-1997-MorrisH #library
Potential Key Stress Factors Among Academic Library Assistants (AM, SH), pp. 407–410.
AdaEuropeAdaEurope-1997-GuerraMAA #ada #distributed #fault tolerance #library
An Ada Library to Program Fault-Tolerant Distributed Applications (FGS, FJMG, AA, SA), pp. 230–243.
OOPSLAOOPSLA-1997-Mezini #consistency #evolution #library #maintenance
Maintaining the Consistency of Class Libraries During Their Evolution (MM), pp. 1–21.
TOOLSTOOLS-ASIA-1997-HitchensF #design #flexibility #library
The Design of a Flexible Class Library Management System (MH, AF), pp. 60–69.
TOOLSTOOLS-ASIA-1997-LiGMY #bibliography #component #library
An Overview of JB (Jade Bird) Component Library System JBCL (KL, LG, HM, FY), pp. 206–213.
TOOLSTOOLS-ASIA-1997-XiaofenFCX #component #library #reuse
Assembling Software with the Reusable Components in a Library (WX, GF, XC, LX), pp. 176–181.
TOOLSTOOLS-PACIFIC-1997-Holmes #concurrent #java #library #programming
Concurrent Programming in Java: Language and Libraries (DH), p. 371.
TOOLSTOOLS-USA-1997-Winroth #c++ #interface #library #scripting language
A Scripting Language Interface to C++ Libraries (HW), pp. 247–259.
ICSEICSE-1997-BasiliCEHM #component #cost analysis #library #modelling #reuse
Characterizing and Modeling the Cost of Rework in a Library of Reusable Software Components (VRB, SEC, KEE, RBH, WLM), pp. 282–291.
ICSEICSE-1997-BrowneM #library #reuse #web
Reuse Library Interoperability and the World Wide Web (SB, JWM), pp. 684–691.
DACDAC-1996-ChenS #algorithm #power management
An Exact Algorithm for Low Power Library-Specific Gate Re-Sizing (DSC, MS), pp. 783–788.
DACDAC-1996-LokanathanBR #concurrent #library #optimisation #process
A Methodology for Concurrent Fabrication Process/Cell Library Optimization (ANL, JBB, JER), pp. 825–830.
ICSMEICSM-1996-ChowN #automation #library
Semi-automatic update of applications in response to library changes (KC, DN), p. 359–?.
CHICHI-1996-Magpantay #library
The American Library Association (AM), pp. 504–505.
AdaEuropeAdaEurope-1996-PuenteAA #ada #design #library
Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries (JAdlP, AA, AA), pp. 78–88.
SEKESEKE-1996-Franca #c++ #design #education #library #object-oriented #programming
The Design of a Class Library to Support Teaching of Object Oriented Programming with C++ (PBF), pp. 32–37.
ICDARICDAR-v1-1995-SatohTK #automation #comprehension #documentation #generative #image #library
An automated generation of an electronic library based on document image understanding (SS, AT, EK), pp. 163–166.
ICSMEICSM-1995-NakanishiAI #interface #library #metric
A metric for evaluating class library interfaces and its application to library upgrades (KN, TA, MI), pp. 12–19.
AFPAFP-1995-Hughes95 #design #library #pretty-printing
The Design of a Pretty-printing Library (JH), pp. 53–96.
CIKMCIKM-1995-WakeF #library #named
SortTables: A Browser for a Digital Library (WCW, EAF), pp. 175–181.
SIGIRSIGIR-1995-MittendorfSS #library #probability #scalability
Applying Probabilistic Term Weighting to OCR Text in the Case of a Large Alphabetic Library Catalogue (EM, PS, PS), pp. 328–335.
SIGIRSIGIR-1995-Winograd #library
Digital Libraries: Bridging the Two Cultures (TW), p. 2.
ASF+SDFASF+SDF-1995-MauwM #data type #library
A PSF Library of Data Types (SM, JCM), pp. 53–64.
PPoPPPPoPP-1995-GotwalsSG #data type #distributed #library
pC++/streams: a Library for I/O on Complex Distributed Data Structures (JG, SS, DG), pp. 11–18.
DATEEDAC-1994-GreinerLWW #complexity #design #library
Design of a High Complexity Superscalar Microprocessor with the Portable IDPS ASIC Library (AG, LL, FW, LW), pp. 9–13.
ASEKBSE-1994-LowryPPU #automation #library #named #programming
AMPHION: Automatic Programming for Subroutine Libraries (MRL, AP, TP, IU), p. 2.
VLDBVLDB-1994-Lesk #how #image #library
Experiments on Access to Digital Libraries: How can Images and Text be Used Together (ML), pp. 655–667.
AdaTRI-Ada-1994-GieringMB #ada #library #runtime
Features of the GNU Ada Runtime Library (EWG, FM, TPB), pp. 93–103.
TOOLSTOOLS-EUROPE-1994-Meyer94a #design #library
Library Design (BM), p. 519.
TOOLSTOOLS-EUROPE-1994-Schmid #library #requirements #reuse
Reuse Inhibitors with, and Requirements for Collection Class Libraries (HAS), pp. 243–252.
SACSAC-1994-FogelsongDS #framework #library #reuse
Graphics class library for plotting (GCLIP), an extensible, reusable graphics framework (BAF, SD, DAS), pp. 64–69.
SACSAC-1994-Poulin #library #reuse #scalability
Balancing the need for large corporate and small domain-specific reuse libraries (JSP), pp. 88–93.
HPDCHPDC-1994-Dongarra #library
Constructing Numerical Software Libraries for HPCC Environments (JD), p. 4.
CADECADE-1994-StickelWLPU #composition #deduction #library
Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.
CADECADE-1994-SutcliffeSY #library #problem
The TPTP Problem Library (GS, CBS, TY), pp. 252–266.
ICSMECSM-1993-Abd-El-HafizB #library #source code #using
Documenting Programs Using a Library of Tree Structured Plans (SKAEH, VRB), pp. 152–161.
HCIHCI-ACS-1993-HuuhtanenVL #automation #communication #implementation #library #named
Communication — A Key Factor in Implementation of Library Automation (PH, MV, IL), pp. 976–981.
ECOOPECOOP-1993-Jezequel #approach #compilation #library #parallel #reuse
Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach (JMJ), pp. 384–405.
OOPSLAOOPSLA-1993-BinghamHH #case study #experience #library #object-oriented #using
Experiences Developing and Using an Object-Oriented Library for Program Manipulation (TB, NH, DH), pp. 83–89.
TOOLSTOOLS-EUROPE-1993-Johnson #library #reuse
Reusable Class Libraries (PJ), p. 319.
TOOLSTOOLS-EUROPE-1993-Johnson93a #library #reuse
Associated Paper: Reusable Libraries (PJ), pp. 321–324.
TOOLSTOOLS-PACIFIC-1993-Maughan #implementation #library #persistent #programming #requirements
Persistent Programming: Requirements for a Class Library Implementation (GM), pp. 371–381.
TOOLSTOOLS-PACIFIC-1993-MenziesEN #library #reuse
The Mysterious Case of the Missing Reusable Class Libraries (TM, JME, KN), pp. 421–427.
TOOLSTOOLS-PACIFIC-1993-NakanishiAM #library
Understandibility of Class Libraries and Zipf's Law (KN, TA, TM), pp. 225–232.
TOOLSTOOLS-PACIFIC-1993-PloschW #communication #distributed #hybrid #library
An Extensible Communication Class Library for Hybrid Distributed Systems (RP, RW), pp. 431–437.
SACSAC-1993-NgMN #library #object-oriented #programming
A Class Library Management System for Object-Oriented Programming (KWN, JM, GMN), pp. 445–451.
ESECESEC-1993-JengC #component #formal method #library #using
Using Formal Methods to Construct a Software Component Library (JJJ, BHCC), pp. 397–417.
FSEFSE-1993-BatorySST #library #scalability
Scalable Software Libraries (DSB, VS, MS, JT), pp. 191–199.
HPDCHPDC-1993-Skjellum #library #scalability
Scalable Libraries in a Heterogeneous Environment (AS), pp. 13–20.
ASEKBSE-1992-MiLS #development #knowledge-based #library #process
A Knowledge-based Software Process Library for Process-driven Software Development (PM, MJL, WS), p. 20.
AdaTRI-Ada-C-1992-BannerS #ada #component #library #object-oriented #reuse
Assessing Ada 9X OOP: Building a Reusable Components Library (BB, ES), pp. 79–90.
AdaTRI-Ada-C-1992-Blair #ada #configuration management #library #using #version control
Managing Ada Using Rational’s Configuration Management/Version Control and IBM’s Software Configuration Library Manager (DJB), pp. 424–431.
AdaTRI-Ada-C-1992-Gordon #ada #library #reuse #user interface #visual notation
A Graphical User Interface in Ada for Domain-Specific Reuse Libraries (DG), pp. 309–320.
AdaTRI-Ada-C-1992-JensenSW #component #experience #library #reuse
Successful Experience with AdaSAGE Reusable Component Library (JSJ, HDS, PHW), pp. 276–280.
SEKESEKE-1992-Wong #incremental #library #using
Using Version Spaces to Support Incremental Searches in a Software Library (YCW), pp. 412–419.
SIGIRSIGIR-1992-AgostiM #database #design #library #multi
Design of an OPAC Database to Permit Different Subject Searching Accesses in a Multi-Disciplines Universities Library Catalogue Database (MA, MM), pp. 245–255.
ECOOPECOOP-1992-LauS #heuristic #library #object-oriented #parallel #scalability
An Object-Oriented Class Library for Scalable Parallel Heuristic Search (WCL, VS), pp. 252–267.
OOPSLAOOPSLA-1992-KiczalesL #design #documentation #library
Issues in the Design and Documentation of Class Libraries (GK, JL), pp. 435–451.
TOOLSTOOLS-EUROPE-1992-CarnduffG #design #eiffel #library
An Eiffel Class Library for Ship Design (TWC, WAG), pp. 233–245.
TOOLSTOOLS-PACIFIC-1992-Henderson-SellersF #library #named
OLMS — An Object Library Management System (BHS, CF), pp. 175–180.
TOOLSTOOLS-PACIFIC-1992-MaE #approach #library #relational #using
A Practical Approach to Class Library Management Using a Relational DBMS (JM, JME), pp. 165–173.
DACDAC-1991-DuttK #library #synthesis
Bridging High-Level Synthesis to RTL Technology Libraries (NDD, JRK), pp. 526–529.
HTHT-1991-EganLKLRLL #hypermedia #library
Hypertext for the Electronic Library? CORE Sample Results (DEE, ML, RDK, CCL, JRR, MLL, TKL), pp. 299–312.
HTHT-1991-SamuelsonG #analysis #hypermedia #library
Intellectual Property Rights for Digital Library and Hypertext Publishing Systems: An Analysis of Xanadu (PS, RJG), pp. 39–50.
FMVDME-1991-1-SchmidtH #compilation #generative #library
The VDM Domain Compiler: A VDM Class Library Generator (US, HMH), pp. 675–676.
AdaEuropeAdaEurope-1991-FernandezP #component #library
Constructing a Pilot Library of Components for Avionic Systems (JLF, JAdlP), pp. 362–371.
SIGIRSIGIR-1991-Lesk #library
The CORE Electronic Chemistry Library (ML), pp. 93–112.
OOPSLAOOPSLA-1991-HelmM #information retrieval #library #object-oriented
Integrating Information Retrieval and Domain Specific Approaches for Browsing and Retrieval in Object-Oriented Class Libraries (RH, YSM), pp. 47–61.
TOOLSTOOLS-USA-1991-Horstmann #c++ #design #library #standard
Design Considerations for a Standard C++ Container Class Library (CSH), pp. 327–338.
TOOLSTOOLS-USA-1991-Korson #design #library #object-oriented #specification
The Specification and Design of Object-Oriented Class Libraries (TK), pp. 485–486.
TOOLSTOOLS-USA-1991-Omohundro #library
The Sather Language and Libraries (SMO), pp. 439–440.
ICLPICLP-1991-RollinsW #library #specification
Specifications as Search Keys for Software Libraries (EJR, JMW), pp. 173–187.
DACDAC-1990-Chan #algorithm #logic
Algorithms for Library-Specific Sizing of Combinational Logic (PKC), pp. 353–356.
ICALPICALP-1990-NaherM #algorithm #data type #library #named #performance
LEDA: A Library of Efficient Data Types and Algorithms (SN, KM), pp. 1–5.
ICSEICSE-1990-JohnsonF #evolution #library
Building an Evolution Transformation Library (WLJ, MSF), pp. 238–248.
CADECADE-1990-Rittri #equation #identifier #library
Retrieving Library Identifiers via Equational Matching of Types (MR), pp. 603–617.
FPCAFPCA-1989-Rittri #library #using
Using Types as Search Keys in Function Libraries (MR), pp. 174–183.
SIGIRSIGIR-1989-MaarekS #library
Full Text Indexing Based on Lexical Relations An Application: Software Libraries (YSM, FAS), pp. 198–206.
SIGIRSIGIR-1989-Pejtersen #analysis #information retrieval #interface #library
A Library System for Information Retrieval Based on a Cognitive Task Analysis and Supported by an Icon-Based Interface (AMP), pp. 40–47.
SIGIRSIGIR-1988-Ait-KaciNS #library #named
BABEL: A Base for an Experimental Library (HAK, RN, JS), pp. 175–190.
DACDAC-1979-NiengB #component #library
Component library for an integratel DA system (KYN, DAB), pp. 437–444.
ICSEICSE-1979-Denert #development #library
The Project Library : A Tool for Software Development (ED), pp. 153–173.
SIGIRSIGIR-1973-Artandi #documentation #interface #library #online #retrieval
The On-Line Interface of Library Management and Document Retrieval Systems (SA), pp. 71–74.

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.