Stem librari$ (all stems)

468 papers:

DATE-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.

ICPC-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.

ICPC-2015-YanoKII #interactive #library #named #visualisation

VerXCombo: an interactive data visualization of popular library version combinations (YY, RGK, TI, KI), pp. 291–294.

ICSME-2015-PlatePS #assessment #library #open source

Impact assessment for vulnerabilities in open-source software libraries (HP, SEP, AS), pp. 411–420.

SANER-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.

SANER-2015-QiuSM #graph #identification #library #morphism #using

Library functions identification in binary code by using graph isomorphism testings (JQ, XS, PM), pp. 261–270.

FM-2015-PolikarpovaTF #library

A Fully Verified Container Library (NP, JT, CAF), pp. 414–434.

SEFM-2015-Vanspauwen0 #encryption #implementation #library #protocol #specification #verification

Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications (GV, BJ), pp. 53–68.

DUXU-IXD-2015-Chiu #design #library

Mapping Metaphors for the Design of Academic Library Websites (MHPC), pp. 166–172.

DUXU-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.

HIMI-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.

SEKE-2015-WuCZX #c++ #developer #empirical #how #library

How do developers use C++ libraries? An empirical study (DW, LC, YZ, BX), pp. 260–265.

Onward-2015-PolitoDBFM #library

Virtualization support for dynamic core library update (GP, SD, NB, LF, MM), pp. 211–223.

PPDP-2015-GrandeBS #concurrent #library #thread

Jthread, a deadlock-free mutex library (JG, GB, MS), pp. 149–160.

SAC-2015-FukudaL #library

A library to modularly control asynchronous executions (HF, PL), pp. 1648–1650.

ICSE-v2-2015-Escobar-Avila #automation #bytecode #categorisation #library #using

Automatic Categorization of Software Libraries Using Bytecode (JEA), pp. 784–786.

SLE-2015-Bagge #analysis #library

Analysis and transformation with the nuthatch tree-walking library (AHB), pp. 83–88.

ASPLOS-2015-Bhatotia0ABR #incremental #library #named #parallel #thread

iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.

CC-2015-SherwanyZN #compilation #library #refactoring #scala

A Refactoring Library for Scala Compiler Extensions (AS, NZ, NN), pp. 31–48.

PPoPP-2015-MajoG #composition #library #locality #optimisation

A library for portable and composable data locality optimizations for NUMA systems (ZM, TRG), pp. 227–238.

PPoPP-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.

ICLP-J-2015-DesouterDS #library

Tabling as a library with delimited control (BD, MvD, TS), pp. 419–433.

SAT-2015-PhilippS #constraints #encoding #library #named #pseudo

PBLib — A Library for Encoding Pseudo-Boolean Constraints into CNF (TP, PS), pp. 9–16.

ASE-2014-RomanoE #library #memory management #named #runtime

symMMU: symbolically executed runtime libraries for symbolic memory access (AR, DRE), pp. 247–258.

DATE-2014-FabrieEVG #design #library #standard #variability

Standard cell library tuning for variability tolerant designs (SF, JDE, MV, JPdG), pp. 1–6.

DATE-2014-IannopolloNTS #contract #design #refinement #scalability

Library-based scalable refinement checking for contract-based design (AI, PN, ST, ALSV), pp. 1–6.

DATE-2014-KiamehrFET #design #library #standard

Aging-aware standard cell library design (SK, FF, ME, MBT), pp. 1–4.

DocEng-2014-PanLSTX #flexibility #library #named

FlexiFont: a flexible system to generate personal font libraries (WP, ZL, RS, YT, JX), pp. 17–20.

DRR-2014-RaphaelJ #library #music #recognition

Optical music recognition on the International Music Score Library Project (CR, RJ), p. ?–12.

CSMR-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.

CSMR-WCRE-2014-RooverS #development #library #metaprogramming #tool support #using

Building development tools interactively using the EKEKO meta-programming library (CDR, RS), pp. 429–433.

MSR-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.

PEPM-J-2013-ServettoZ14 #library

A meta-circular language for active libraries (MS, EZ), pp. 219–253.

SEFM-2014-LovatoMS #diagrams #library #thread

A Thread-Safe Library for Binary Decision Diagrams (AL, DM, FS), pp. 35–49.

ICGT-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.

CHI-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.

HIMI-AS-2014-MeghiniB #experience #library #towards #user interface

Steps towards Enhancing the User Experience in Accessing Digital Libraries (CM, VB), pp. 555–566.

VISSOFT-2014-KulaRGII #dependence #evolution #library #visualisation

Visualizing the Evolution of Systems and Their Library Dependencies (RGK, CDR, DMG, TI, KI), pp. 127–136.

KDD-2014-CharlinZL #collaboration #library

Leveraging user libraries to bootstrap collaborative filtering (LC, RSZ, HL), pp. 173–182.

KEOD-2014-MartinL #library #retrieval

Improving Knowledge Retrieval in Digital Libraries Applying Intelligent Techniques (AM, CL), pp. 445–453.

KR-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).

RecSys-2014-LoniS #library #named #recommendation

WrapRec: an easy extension of recommender system libraries (BL, AS), pp. 377–378.

SEKE-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.

OOPSLA-2014-FeldthausM #correctness #interface #javascript #library #typescript

Checking correctness of TypeScript interfaces for JavaScript libraries (AF, AM), pp. 1–16.

GPCE-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.

SAC-2014-KwonB #implementation #library #prototype

A CUDA-based implementation of OpenGL-compatible rasterization library prototype (YCK, NB), pp. 1747–1748.

SAC-2014-NoureddineRS #energy #library #testing

Unit testing of energy consumption of software libraries (AN, RR, LS), pp. 1200–1205.

FSE-2014-SamakR #concurrent #detection #java #library #parallel #precise #thread

Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.

SPLC-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.

CGO-2014-Herczeg #backtracking #compilation #library

Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support (ZH), p. 306.

CAV-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.

DocEng-2013-WilliamsG #detection #library

Near duplicate detection in an academic digital library (KW, CLG), pp. 91–94.

TACAS-2013-ChenW #algorithm #learning #library #named

BULL: A Library for Learning Algorithms of Boolean Functions (YFC, BYW), pp. 537–542.

CSMR-2013-JezekHB #analysis #compilation #library

Supplying Compiler’s Static Compatibility Checks by the Analysis of Third-Party Libraries (KJ, LH, PB), pp. 375–378.

ICSM-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.

WCRE-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.

WCRE-2013-TeytonFB #automation #library

Automatic discovery of function mappings between similar libraries (CT, JRF, XB), pp. 192–201.

WCRE-2013-TeytonFMB #library

Find your library experts (CT, JRF, FM, XB), pp. 202–211.

WCRE-2013-ThungLL #automation #library #recommendation

Automated library recommendation (FT, DL, JLL), pp. 182–191.

PEPM-2013-ServettoZ #library

A meta-circular language for active libraries (MS, EZ), pp. 117–126.

PLDI-2013-Golan-GuetaRSY #concurrent #library

Concurrent libraries with foresight (GGG, GR, MS, EY), pp. 263–274.

IFM-2013-SongT #api #library #model checking

Model-Checking Software Library API Usage Rules (FS, TT), pp. 192–207.

CHI-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.

HIMI-HSM-2013-LiuskaMS #library #named

BookAidee: Managing Evacuees from Natural Disaster by RFID Tagged Library Books (ML, EM, IS), pp. 124–130.

ICEIS-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.

ICEIS-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.

ICMT-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.

ECOOP-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.

OOPSLA-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.

GPCE-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.

PADL-2013-KlintP #2d #declarative #independence #library

A Library for Declarative Resolution-Independent 2D Graphics (PK, AvdP), pp. 1–18.

POPL-2013-BattyDG #abstraction #c #c++ #concurrent #library

Library abstraction for C/C++ concurrency (MB, MD, AG), pp. 235–248.

SAC-2013-MattilaM #3d #design #library

Designing a 3D widget library for WebGL enabled browsers (ALM, TM), pp. 757–760.

ESEC-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.

ASPLOS-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.

ISMM-2013-RavitchL #c #library #memory management

Analyzing memory ownership patterns in C libraries (TR, BL), pp. 97–108.

CAV-2013-HarrisJLJ #library #validation

Validating Library Usage Interactively (WRH, GJ, SL, SJ), pp. 796–812.

ASE-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.

DAC-2012-HuCG #synthesis

Library-aware resonant clock synthesis (LARCS) (XH, WJC, MRG), pp. 145–150.

DocEng-2012-KimHKL #classification #library

Scientific table type classification in digital library (SK, KH, SYK, YL), pp. 133–136.

VLDB-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.

ESOP-2012-BurckhardtGMY #concurrent #correctness #library #memory management

Concurrent Library Correctness on the TSO Memory Model (SB, AG, MM, HY), pp. 87–107.

TACAS-2012-LengalSV #automaton #library #named #nondeterminism #performance

VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata (OL, JS, TV), pp. 79–94.

ICPC-2012-RupakhetiH12a #api #library #named

CriticAL: A critic for APIs and libraries (CRR, DH), pp. 241–243.

ICSM-2012-BauerHD #approach #library

A structured approach to assess third-party library usage (VB, LH, FD), pp. 483–492.

ICSM-2012-RaemaekersDV #analysis #library

Measuring software library stability through historical version analysis (SR, AvD, JV), pp. 378–387.

ICSM-2012-SuttonZ #c++ #library #testing

Testing C++ generic libraries (AS, MZ), pp. 36–45.

WCRE-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.

WCRE-2012-TeytonFB #graph #library #migration #mining

Mining Library Migration Graphs (CT, JRF, XB), pp. 289–298.

CIAA-2012-AllauzenR #automaton #library #transducer

A Pushdown Transducer Extension for the OpenFst Library (CA, MR), pp. 66–77.

AdaEurope-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.

HILT-2012-Bosch #library

Synchronization cannot be implemented as a library (GB), pp. 73–80.

CIKM-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.

ECIR-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.

ICPR-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.

KEOD-2012-KotowskiS #approach #library #ontology

Ontology Library — A New Approach for Storing, Searching and Discovering Ontologies (DK, DAS), pp. 271–277.

RecSys-2012-Wakeling #design #library #recommendation

The user-centered design of a recommender system for a universal library catalogue (SW), pp. 337–340.

ECOOP-2012-GudkaHE #library #scalability

Lock Inference in the Presence of Large Libraries (KG, TH, SE), pp. 308–332.

GPCE-2012-FreemanJF #library #named #user interface #web

HotDrink: a library for web user interfaces (JF, JJ, GF), pp. 80–83.

SAC-2012-Affeldt #library #low level #on the

On construction of a library of formally verified low-level arithmetic functions (RA), pp. 1326–1331.

SAC-2012-ZaraketNSJ #architecture #library #parallel #source code #using

Portable Parallel Programs using architecture-aware libraries (FAZ, MN, MS, AJ), pp. 1922–1924.

FSE-2012-CossetteW #evolution #library #migration

Seeking the ground truth: a retroactive study on the evolution and migration of software libraries (BC, RJW), p. 55.

FSE-2012-OkurD #developer #how #library #parallel #question

How do developers use parallel libraries? (SO, DD), p. 54.

CAV-2012-DriscollTR #automaton #library #named

OpenNWA: A Nested-Word Automaton Library (ED, AVT, TWR), pp. 665–671.

IJCAR-2012-RathsO #first-order #library #logic #problem

The QMLTP Problem Library for First-Order Modal Logics (TR, JO), pp. 454–461.

SMT-2012-AlbertiBGRS #library #modulo theories #reachability

Reachability Modulo Theory Library (FA, RB, SG, SR, NS), pp. 67–76.

TAP-2012-KiniryZH #consistency #library #specification #testing #verification

Testing Library Specifications by Verifying Conformance Tests (JRK, DMZ, RH), pp. 51–66.

CASE-2011-WasonW #architecture #automation #communication #library

Robot Raconteur: A communication architecture and library for robotic and automation systems (JDW, JTW), pp. 761–766.

DAC-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.

DAC-2011-RahmanATS #library #physics #reduction #synthesis

Power reduction via separate synthesis and physical libraries (MR, RA, HT, CS), pp. 627–632.

DAC-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.

DATE-2011-RahmanTS #reduction

Power reduction via near-optimal library-based cell-size selection (MR, HT, CS), pp. 867–870.

DATE-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.

ICDAR-2011-AbidiSK #approach #library #retrieval #towards #word

Towards Searchable Digital Urdu Libraries — A Word Spotting Based Retrieval Approach (AA, IS, KK), pp. 1344–1348.

ICDAR-2011-KimL #identification #library

Functional-Based Table Category Identification in Digital Library (SK, YL), pp. 1364–1368.

SIGMOD-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.

ICSM-2011-SunKZ #api #detection #graph #library

Graph-based detection of library API imitations (CS, SCK, SJZ), pp. 183–192.

MSR-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.

PASTE-2011-JacobsonRM #library

Labeling library functions in stripped binaries (ERJ, NER, BPM), pp. 1–8.

PLDI-2011-Tobin-HochstadtSCFF #library

Languages as libraries (STH, VSA, RC, MF, MF), pp. 132–141.

HCI-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.

ICEIS-v1-2011-Osborn #library #maintenance

Event-based Maintenance of Digital Library Collections (WO), pp. 123–128.

ICEIS-v3-2011-LiCC #enterprise #library #pervasive #research

Research on Intelligence Trend of Enterprise Library based on Pervasive Computing (RL, DC, YC), pp. 476–481.

CIKM-2011-WeilerMM #ambiguity #approach #library #named #scalability

Authormagic: an approach to author disambiguation in large-scale digital libraries (HW, KMW, SM), pp. 2293–2296.

RecSys-2011-GantnerRFS #library #named #recommendation

MyMediaLite: a free recommender system library (ZG, SR, CF, LST), pp. 305–308.

OOPSLA-2011-ErdwegRKO #named

SugarJ: library-based syntactic language extensibility (SE, TR, CK, KO), pp. 391–406.

GPCE-2011-ErdwegKRKOV #editing #library

Growing a language environment with editor libraries (SE, LCLK, TR, CK, KO, EV), pp. 167–176.

ESEC-FSE-2011-ZhengZL #api #recommendation #using #web

Cross-library API recommendation using web search engines (WZ, QZ, MRL), pp. 480–483.

SLE-2011-SuttonS #c++ #concept #design #library

Design of Concept Libraries for C++ (AS, BS), pp. 97–118.

ASPLOS-2011-PorterBHOH #library #top-down

Rethinking the library OS from the top down (DEP, SBW, JH, RO, GCH), pp. 291–304.

PPoPP-2011-StellwagSKS #constraints #library #parallel

A wait-free NCAS library for parallel applications with timing constraints (PS, FS, JK, WSP), pp. 301–302.

DATE-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.

DATE-2010-JunYC #library #multi #network #synthesis

Exploiting multiple switch libraries in topology synthesis of on-chip interconnection network (MJ, SY, EYC), pp. 1390–1395.

DATE-2010-RaffelsieperMS #library

Checking and deriving module paths in Verilog cell library descriptions (MR, MRM, CWHS), pp. 1506–1511.

DocEng-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.

ICPC-2010-SuttonHM #c++ #identification #library

Identification of Idiom Usage in C++ Generic Libraries (AS, RH, JIM), pp. 160–169.

ICEIS-AIDSS-2010-MartinL #information management #library #ontology

Expert Knowledge Management based on Ontology in a Digital Library (AM, CL), pp. 291–298.

ICEIS-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.

KMIS-2010-HoH #effectiveness #library #network #social

Effectiveness of Social Networking in a University Library Environment (HIH, JH), pp. 307–310.

SIGIR-2010-Stiller #collaboration #information management #interactive #library #multi

Leveraging user interaction and collaboration for improving multilingual information access in digital libraries (JS), p. 916.

ECMFA-2010-SchmidtPJF #component #library

An Integrated Facet-Based Library for Arbitrary Software Components (MS, JP, JJ, MAF), pp. 261–276.

OOPSLA-2010-KapurCW #library #migration #refactoring

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

GPCE-2010-PorkolabS #domain-specific language #generative #integration #library #parsing

Domain-specific language integration with compile-time parser generator library (ZP, ÁS), pp. 137–146.

LOPSTR-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.

LDTA-2009-HerrmannsdorferH10 #concept #library #reuse

Library Concepts for Model Reuse (MH, BH), pp. 121–134.

PPoPP-2010-CarterGG #library

The pilot library for novice MPI programmers (JDC, WBG, GG), pp. 351–352.

PPoPP-2010-CoonsBM #concurrent #effectiveness #library #named #testing

GAMBIT: effective unit testing for concurrency libraries (KEC, SB, MM), pp. 15–24.

ASE-2009-DeshmukhES #analysis #concurrent #library

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients (JVD, EAE, SS), pp. 480–491.

DATE-2009-HatamiFAP #library #performance

Efficient compression and handling of current source model library waveforms (SH, PF, SA, MP), pp. 1178–1183.

DATE-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.

ICDAR-2009-Marinai #library #metadata

Metadata Extraction from PDF Papers for Digital Library Ingest (SM), pp. 251–255.

FoSSaCS-2009-LustigV #component #library #synthesis

Synthesis from Component Libraries (YL, MYV), pp. 395–409.

PLDI-2009-RavitchJAL #automation #generative #library #static analysis #using

Automatic generation of library bindings using static analysis (TR, SJ, EA, BL), pp. 352–362.

ICFP-2009-Chaudhuri #concurrent #haskell #library #ml

A concurrent ML library in concurrent Haskell (AC), pp. 269–280.

HCI-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.

HIMI-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.

CIKM-2009-Garcia-AlvaradoCO #library

OLAP with UDFs in digital libraries (CGA, ZC, CO), pp. 2073–2074.

ICML-2009-MesmayRVP #graph #library #optimisation #performance

Bandit-based optimization on graphs with application to library performance tuning (FdM, AR, YV, MP), pp. 729–736.

KDD-2009-Delage #library #online #ranking

Regret-based online ranking for a growing digital library (ED), pp. 229–238.

KMIS-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.

SEKE-2009-JuanI #library #music #semantics #web

Improving Searchability of a Music Digital Library with Semantic Web Technologies (PdJ, CAI), pp. 246–251.

SIGIR-2009-Nomoto #library #profiling

Classifying library catalogue by author profiling (TN), pp. 644–645.

OOPSLA-2009-LeijenSB #design #library #parallel

The design of a task parallel library (DL, WS, SB), pp. 227–242.

SAC-2009-AktemurK #case study #comparative #library

A comparative study of techniques to write customizable libraries (BA, SK), pp. 522–529.

SAC-2009-dAciernoMP #library #recommendation

A recommendation system for browsing digital libraries (Ad, VM, AP), pp. 1771–1778.

SAC-2009-SilvaSC #library #reasoning #testing #user interface

A generic library for GUI reasoning and testing (JCS, JS, JCC), pp. 121–128.

GTTSE-2009-SzugyiSPP #c++ #library #string

C++ Metastring Library and Its Applications (ZS, ÁS, NP, ZP), pp. 461–480.

ICSE-2009-DigME #concurrent #java #library #refactoring

Refactoring sequential Java code for concurrency via concurrent libraries (DD, JM, MDE), pp. 397–407.

SLE-2009-Jugel #api #generative #library

Generating Smart Wrapper Libraries for Arbitrary APIs (UJ), pp. 354–373.

CGO-2009-VoronenkoMP #generative #library #linear

Computer Generation of General Size Linear Transform Libraries (YV, FdM, MP), pp. 102–113.

HPDC-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.

CAV-2009-JeannetM #abstract domain #library #named #static analysis

Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.

ICST-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.

CBSE-2008-GeorgeFS #component #framework #library #off the shelf

A Component Selection Framework for COTS Libraries (BG, RF, SS), pp. 286–301.

CASE-2008-LeeCAP #automation #image #library #process

Matching book-spine images for library shelf-reading process automation (DJL, YC, JKA, CP), pp. 738–743.

DAC-2008-Trihy #challenge #library

Addressing library creation challenges from recent Liberty extensions (RT), pp. 474–479.

DATE-2008-BrownTBP #automation #library #logic #testing

Automated Testability Enhancements for Logic Brick Libraries (JGB, BT, RDB, LTP), pp. 480–485.

DocEng-2008-LaenderGCFSS #library #problem

Keeping a digital library clean: new solutions to old problems (AHFL, MAG, RGC, AAF, RLTS, AJCS), pp. 257–262.

PEPM-2008-ZhuK #library #using

Specialization for applications using shared libraries (PZ, SCK), pp. 159–168.

AFP-2008-JeuringLMY08 #haskell #library #programming

Libraries for Generic Programming in Haskell (JJ, SL, JPM, ARY), pp. 165–229.

IFL-2008-Jaskelioff #library #monad #named

Monatron: An Extensible Monad Transformer Library (MJ), pp. 233–248.

IFL-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.

CHI-2008-QuinnHARB #library #readability

Readability of scanned books in digital libraries (AJQ, CH, TA, AR, BBB), pp. 705–714.

CIKM-2008-SunLCLG #library

Measuring user preference changes in digital libraries (YS, HL, IGC, WCL, CLG), pp. 1497–1498.

ECIR-2008-VanB #hybrid #library #personalisation

Hybrid Method for Personalized Search in Digital Libraries (TTV, MB), pp. 647–651.

SEKE-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.

SIGIR-2008-Murray #library #modelling #process

Extending language modeling techniques to models of search and browsing activity in a digital library (GCM), p. 900.

GPCE-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.

SAC-2008-PirkelbauerPMS #c++ #concept #library #runtime #standard

Runtime concepts for the C₊₊ standard template library (PP, SP, MM, BS), pp. 171–177.

ICSE-2008-DigNMJ #adaptation #evolution #library #named #refactoring

ReBA: refactoring-aware binary adaptation of evolving libraries (DD, SN, VM, REJ), pp. 441–450.

ICSE-2008-SankaranarayananIG #induction #library #logic programming #mining #specification #using

Mining library specifications using inductive logic programming (SS, FI, AG), pp. 131–140.

SLE-2008-HageK #analysis #library #named

Neon: A Library for Language Usage Analysis (JH, PvK), pp. 35–53.

CC-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.

ASE-2007-TanejaDX #api #automation #detection #library #refactoring

Automated detection of api refactorings in libraries (KT, DD, TX), pp. 377–380.

CASE-2007-LjungkrantzA #case study #component #industrial #library #logic #programming #using

A Study of Industrial Logic Control Programming using Library Components (OL, KÅ), pp. 117–122.

DAC-2007-HuKH #design

Gate Sizing For Cell Library-Based Designs (SH, MK, JH), pp. 847–852.

DAC-2007-LucasHE #library #named #realtime

FlexWAFE — A High-end Real-Time Stream Processing Library for FPGAs (AdCL, SH, RE), pp. 916–921.

DATE-2007-LinLTL #design #library #standard

Double-via-driven standard cell library design (TYL, THL, HHT, RBL), pp. 1212–1217.

ICDAR-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.

CSMR-2007-RatiuJ #library

The Reality of Libraries (DR, JJ), pp. 307–318.

PASTE-2007-MarronSHK #analysis #library

Heap analysis in the presence of collection libraries (MM, DS, MVH, DK), pp. 31–36.

PEPM-2007-FernandesS #library #source code #tool support

Tools and libraries to model and manipulate circular programs (JPF, JS), pp. 102–111.

CIAA-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.

CIAA-2007-BassinoDN #automaton #library

: A Library to Randomly and Exhaustively Generate Automata (FB, JD, CN), pp. 303–305.

ICFP-2007-GhuloumD #library

Implicit phasing for R6RS libraries (AG, RKD), pp. 303–314.

ILC-2007-Leitao #library #programming

The next 700 programming libraries (AML), p. 21.

ILC-2007-StrandhMHR #library #named

ESA: a CLIM library for writing Emacs-Style Applications (RS, DM, TH, CR), p. 24.

HCI-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.

OCSC-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.

AdaEurope-2007-SinghoffP #ada #empirical #library #towards

Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar (FS, AP), pp. 180–191.

ICEIS-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.

ECIR-2007-SunG #library #ranking

Popularity Weighted Ranking for Academic Digital Libraries (YS, CLG), pp. 605–612.

GPCE-2007-JarviMS #adaptation #c++ #composition #concept #library #using

Library composition and adaptation using c++ concepts (JJ, MAM, JNS), pp. 73–82.

GPCE-2007-Puschel #education #library #performance #question

Can we teach computers to write fast libraries? (MP), pp. 1–2.

GPCE-2007-WinterM #generative #java #library #migration #programming

Generative programming techniques for Java library migration (VLW, AM), pp. 185–196.

PADL-2007-Russo #concurrent #library

The Joins Concurrency Library (CVR), pp. 260–274.

SAC-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.

GTTSE-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.

PPoPP-2007-PutzeSS #library #manycore #named #standard

MCSTL: the multi-core standard template library (FP, PS, JS), pp. 144–145.

CAV-2007-GopanR #analysis #library #low level #summary

Low-Level Library Analysis and Summarization (DG, TWR), pp. 68–81.

ASE-2006-LiuYR #library #model checking #using

Software Library Usage Pattern Extraction Using a Software Model Checker (CL, EY, DJR), pp. 301–304.

DAC-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.

DAC-2006-ShahGK #library #optimisation #reduction #standard

Standard cell library optimization for leakage reduction (SS, PG, ABK), pp. 983–986.

DATE-2006-Stanley-MarbellLR #adaptation #concurrent #embedded #library #multi #thread

Adaptive data placement in an embedded multiprocessor thread library (PSM, KL, AR), pp. 698–699.

DRR-2006-JaegerZDCS #documentation #library #named

DOCLIB: a software library for document processing (SJ, GZ, DSD, KC, SS).

DRR-2006-RahmanKAA #clustering #collaboration #documentation #library

Document clustering: applications in a collaborative digital library (FR, AK, YTA, HA).

FASE-2006-RaffeltS #automaton #learning #library #named

LearnLib: A Library for Automata Learning and Experimentation (HR, BS), pp. 377–380.

ICSM-2006-ZalewskiS #impact analysis #library

Change Impact Analysis for Generic Libraries (MZ, SS), pp. 35–44.

SCAM-2006-ZhangR #graph #java #library

Constructing Accurate Application Call Graphs For Java To Model Library Callbacks (WZ, BGR), pp. 63–74.

SIGAda-2006-PlantecS #ada #automation #library #refactoring

Refactoring of an Ada 95 library with a Meta CASE tool (AP, FS), pp. 61–70.

CAiSE-2006-AckermannT #behaviour #component #library #ocl #specification

A Library of OCL Specification Patterns for Behavioral Specification of Software Components (JA, KT), pp. 255–269.

ICEIS-SAIC-2006-Leukel #classification #library #maintenance

Maintaining Property Libraries in Product Classification Schemes (JL), pp. 3–10.

SIGIR-2006-CarberryED #library

Information graphics: an untapped resource for digital libraries (SC, SE, SD), pp. 581–588.

SIGIR-2006-LarsonS #library #named

Cheshire3: retrieving from tera-scale grid-based digital libraries (RRL, RS), p. 730.

SIGIR-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.

SAC-2006-RendaS #automation #distributed #library #query

Automatic structured query transformation over distributed digital libraries (MER, US), pp. 1078–1083.

ICSE-2006-LiuYR #automation #library #named

LtRules: an automated software library usage rule extraction tool (CL, EY, DJR), pp. 823–826.

CC-2006-RountevKM #analysis #data flow #interprocedural #library #scalability

Interprocedural Dataflow Analysis in the Presence of Large Libraries (AR, SK, TJM), pp. 2–16.

IJCAR-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.

DAC-2005-TangZB #library #optimisation #power management #synthesis

Leakage power optimization with dual-Vth library in high-level synthesis (XT, HZ, PB), pp. 202–207.

DATE-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.

DATE-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.

ICDAR-2005-ZhangT #image #library

Warped Image restoration with Applications to Digital Libraries (LZ, CLT), pp. 192–196.

PASTE-2005-KhurshidS #execution #library #symbolic computation

Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.

PLDI-2005-Boehm #library #thread

Threads cannot be implemented as a library (HJB), pp. 261–268.

CIAA-J-2004-AllauzenMR05 #algorithm #design #library

The design principles and algorithms of a weighted grammar library (CA, MM, BR), pp. 403–421.

ICEIS-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.

ECIR-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.

ECOOP-2005-FuhrerTKDK #java #library #refactoring

Efficiently Refactoring Java Applications to Use Generic Libraries (RMF, FT, AK, JD, MK), pp. 71–96.

ECOOP-2005-WilliamsTE #concurrent #detection #java #library

Static Deadlock Detection for Java Libraries (AW, WT, MDE), pp. 602–629.

OOPSLA-2005-BalabanTF #library #migration #refactoring

Refactoring support for class library migration (IB, FT, RMF), pp. 265–279.

GPCE-2005-SiekL #library #requirements #scalability

Language Requirements for Large-Scale Generic Libraries (JGS, AL), pp. 405–421.

DAC-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.

DATE-DF-2004-HeckerCLBLO #development #library

VHDL-AMS Library Development for Pacemaker Applications (BH, MC, ML, EB, LL, JO), pp. 338–341.

DATE-v1-2004-Dittmann #library

Organizing Libraries of DFG Patterns (GD), pp. 726–727.

HT-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.

HT-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.

HT-2004-FalquetNZ #library #towards

Towards digital libraries of virtual hyperbooks (GF, LN, JCZ), pp. 24–25.

CIAA-2004-AllauzenMR #library

A General Weighted Grammar Library (CA, MM, BR), pp. 23–34.

ICEIS-v1-2004-FeiALTBN #grid #library #named

ARCO: Moving Digital Library Storage to Grid Computing (HF, NA, ML, PT, JLB, JN), pp. 64–69.

ICEIS-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.

ICEIS-v5-2004-Aldana-MontesDR #integration #library #semantics

Semantic Integration of Digital Libraries (JFAM, IND, MdMRG), pp. 313–318.

ICEIS-v5-2004-DingS #distributed #library #towards

Towards the Schema Heterogeneity in Distributed Digital Libraries (HD, IS), pp. 307–312.

ICEIS-v5-2004-EspositoLLS #education #library #personalisation

Personalizing Digital Libraries for Education (FE, OL, PL, GS), pp. 279–284.

ICEIS-v5-2004-IsaevN

E-Library Technical Solution: An Example of ETU “LETI” (YI, AN), pp. 285–288.

ICEIS-v5-2004-LiongosariGS #generative #library #research

A New Generation of Digital Library to Support Drug Discovery Research (ESL, AG, MS), pp. 301–306.

ICEIS-v5-2004-Mikulecky #design #library #security

Digital Library: Design and Security Considerations (SM), pp. 295–300.

ICEIS-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.

CIKM-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.

ICML-2004-CaruanaNCK #library #modelling

Ensemble selection from libraries of models (RC, ANM, GC, AK).

ICPR-v2-2004-CinqueMN #library #named #ontology #query

OntoDoc: An Ontology-Based Query System for Digital Libraries (LC, AM, RN), pp. 671–674.

ECOOP-2004-SutterTD #constraints #java #library #using

Customization of Java Library Classes Using Type Constraints and Profile Information (BDS, FT, JD), pp. 585–610.

OOPSLA-2004-DonovanKTE #java #library #source code

Converting java programs to use generic libraries (AD, AK, MST, MDE), pp. 15–34.

OOPSLA-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.

GPCE-2004-ZolyomiP #library #towards

Towards a General Template Introspection Library (IZ, ZP), pp. 266–282.

SAC-2004-NapoliG #library

A service-oriented customizable Digital Library (CDN, MG), pp. 1730–1731.

CGO-2004-LiGP #library #sorting

A Dynamically Tuned Sorting Library (XL, MJG, DAP), pp. 111–124.

ICLP-2004-HanakSS #debugging #library #prolog

FDBG, the CLPFD Debugger Library of SICStus Prolog (DH, TS, PS), pp. 458–459.

DAC-2003-BittlestoneHSA #architecture #library

Architecting ASIC libraries and flows in nanometer era (CB, AMH, VS, NVA), pp. 776–781.

DAC-2003-HuWKM #library

Gain-based technology mapping for discrete-size cell libraries (BH, YW, AK, MMS), pp. 574–579.

DAC-2003-SechenCHMNNT #library #named

Libraries: lifejacket or straitjacket (CS, BC, JH, AM, TN, GAN, AT), pp. 642–643.

DATE-2003-BrandoleseFSS #analysis #library

Library Functions Timing Characterization for Source-Level Analysis (CB, WF, FS, DS), pp. 11132–11133.

DocEng-2003-JanssenP #library #named

UpLib: a universal personal digital library system (WCJ, KP), pp. 234–242.

ICDAR-2003-Baird #analysis #documentation #image #library

Digital Libraries and Document Image Analysis (HSB), p. 2–?.

ICDAR-2003-HeD #analysis #documentation #image #library

User-Assisted Archive Document Image Analysis for Digital Library Construction (JH, ACD), pp. 498–502.

ESOP-2003-YuHS #library

Building Certified Libraries for PCC: Dynamic Storage Allocation (DY, NAH, ZS), pp. 363–379.

CSMR-2003-AntoniolPN #algorithm #clustering #library #search-based

Moving to Smaller Libraries via Clustering and Genetic Algorithms (GA, MDP, MN), pp. 307–316.

CSMR-2003-CasanovaSJ #component #development #evolution #library #using

Supporting Evolution in Component-Based Development Using Component Libraries (MC, RVDS, VJ), pp. 123–132.

ICSM-2003-AntoniolP #information management #library #using

Library Miniaturization Using Static and Dynamic Information (GA, MDP), p. 235–?.

AdaEurope-2003-FranchM #ada #library #quality #standard

A Quality Model for the Ada Standard Container Library (XF, JM), pp. 283–296.

AdaEurope-2003-Heaney #ada #data type #library #named

Charles: A Data Structure Library for Ada95 (MH), pp. 271–282.

SIGAda-2003-MarcoF #ada #design #framework #implementation #library #standard

A framework for designing and implementing the Ada standard container library (JM, XF), pp. 49–61.

ECIR-2003-Pons-PorrataLR #library #topic

Building a Hierarchy of Events and Topics for Newspaper Digital Libraries (APP, RBL, JRS), pp. 588–596.

ECIR-2003-SilveiraRVA #library

Vertical Searching in Juridical Digital Libraries (MdLdS, BARN, RdFV, RTA), pp. 491–501.

SIGIR-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.

SIGIR-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.

PPoPP-2003-SaundersR #adaptation #communication #framework #independence #library #named

ARMI: an adaptive, platform independent communication library (SS, LR), pp. 230–241.

DAC-2002-BernardiS #design #library #using

Model design using hierarchical web-based libraries (FB, JFS), pp. 14–17.

DAC-2002-PeymandoustMS #algebra #embedded #library #using

Complex library mapping for embedded software using symbolic algebra (AP, GDM, TS), pp. 325–330.

DATE-2002-Sheehan #library

Library Compatible Ceff for Gate-Level Timing (BNS), pp. 826–830.

SCAM-J-2001-SchuppGML02 #behaviour #library #semantics

Semantic and behavioral library transformations (SS, DG, DRM, SML), pp. 797–810.

WCRE-2002-PentaNAM #knowledge-based #library #open source

Knowledge-Based Library Re-Factoring for an Open Source Project (MDP, MN, GA, EM), pp. 319–328.

SAS-2002-BagnaraRZH #library

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library (RB, ER, EZ, PMH), pp. 213–229.

SAS-2002-Probst #analysis #composition #control flow #library

Modular Control Flow Analysis for Libraries (CWP), pp. 165–179.

CIKM-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.

CIKM-2002-PanF #data mining #library #mining #quote #video

“GeoPlot”: spatial data mining on video libraries (JYP, CF), pp. 405–412.

SAC-2002-HaratyZ #database #library

Database and digital library technologies: track chairs message (RAH, MZ), p. 401.

SAC-2002-Krechmer #library

Cathedrals, libraries and bazaars (KK), pp. 1053–1057.

SAC-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.

CADE-2002-Moller #difference #library #named #quantifier

DDDLIB: A Library for Solving Quantified Difference Inequalities (JBM), pp. 129–133.

DAC-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.

DATE-2001-JingnanVH #embedded #library

A Skill-based library for retargetable embedded analog cores (XJ, JCV, NH), pp. 768–769.

DocEng-2001-Zhou #authoring #constraints #documentation #interactive #library

Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library (NFZ), pp. 28–37.

ICDAR-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.

VLDB-2001-BlokWZPAKJ #flexibility #library #scalability

Flexible and scalable digital library search (HEB, MW, RvZ, MP, PMGA, MLK, WJ), pp. 705–706.

VLDB-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.

FASE-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.

TACAS-2001-BallCR #library #parallel #thread #verification

Parameterized Verification of Multithreaded Software Libraries (TB, SC, SKR), pp. 158–173.

TACAS-2001-Yavuz-KahveciTB #library

A Library for Composite Symbolic Representations (TYK, MT, TB), pp. 52–66.

SCAM-2001-SchuppGM #library

Library Transformations (SS, DG, DRM), pp. 111–123.

FME-2001-HelkeS #analysis #behaviour #consistency #eiffel #library

Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries (SH, TS), pp. 20–42.

AdaEurope-2001-English #education #library #named #user interface

JEWL: A GUI Library for Educational Use (JE), pp. 266–277.

AdaEurope-2001-KuchumovRS #ada #library #named #object-oriented

OASIS — An ASIS Secondary Library for Analyzing Object-Oriented Ada Code (AK, SR, AS), pp. 113–122.

AdaEurope-2001-Lamm #component #library

Component Libraries and Language Features (EL), pp. 215–228.

CAiSE-2001-FurtadoC #library

Constructing Libraries of Typical Plans (ALF, AEMC), pp. 124–139.

ICEIS-v2-2001-PintoMZC #library

Portuguese Parliamentary Records Digital Library (JSP, JAM, HTZ, RJPC), pp. 1046–1052.

SIGIR-2001-FoxFGS #library

Building Interoperable Digital Library Services: MARIAN, Open Archives and NDLTD (EAF, RKF, MAG, HS), p. 451.

SIGIR-2001-NakashimaQSI #documentation #library

Browsing in a Digital Library Collecting Linearly Arranged Documents (MN, YQ, KS, TI), pp. 426–427.

TOOLS-USA-2001-McKim #eiffel #library #programming

Reuse-Based Programming with the Eiffel Libraries (JCM), p. 334.

ICSE-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.

ICSE-2001-Michail #data mining #library #mining #named #reuse

CodeWeb: Data Mining Library Reuse Patterns (AM), pp. 827–828.

CC-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.

SAT-2001-GiunchigliaNTV #library #performance #satisfiability #towards

Towards an Efficient Library for SAT: a Manifesto (EG, MN, AT, MYV), pp. 290–310.

ASE-2000-SahraouiLBE #assessment #automation #library #reuse #towards

Towards the Automatic Assessment of Evolvability for Reusable Class Libraries (HAS, HL, MB, FE), pp. 289–292.

DATE-2000-KravetsS #symmetry #synthesis #using

Constructive Library-Aware Synthesis Using Symmetries (VNK, KAS), pp. 208–213.

SIGMOD-2000-BerckenDS #algorithm #library #prototype #query

javax.XXL: A prototype for a Library of Query processing Algorithms (JVdB, JPD, BS), p. 588.

IFL-2000-AchtenJ #haskell #library #migration

Porting the Clean Object I/O Library to Haskell (PA, SLPJ), pp. 194–213.

AdaEurope-2000-MarcoF #component #library #re-engineering

Reengineering the Booch Component Library (JM, XF), pp. 96–111.

CIKM-2000-Fox #library

Digital Libraries: Extending and Applying Library and Information Science and Technology (EAF), p. 3.

SIGIR-2000-MantzarisGGT #library #tool support

Integrated search tools for newspaper digital libraries (SLM, BG, NG, PT), p. 389.

SAC-2000-WiilH #development #hypermedia #library #requirements

Requirements for Development of Hypermedia Technology for a Digital Library Supporting Scholarly Work (UKW, DLH), pp. 607–609.

FSE-2000-SweeneyT #object-oriented

Extracting library-based object-oriented applications (PFS, FT), pp. 98–107.

ICSE-2000-Michail #data mining #library #mining #reuse #using

Data mining library reuse patterns using generalized association rules (AM), pp. 167–176.

ASE-1999-Michail #data mining #library #mining #reuse

Data Mining Library Reuse Patterns in User-Selected Applications (AM), p. 24–?.

CSMR-1999-RaysideK #deployment #embedded #java #library #set

Extracting Java Library Subsets for Deployment on Embedded Systems (DR, KK), pp. 102–110.

WCRE-1999-SchlesingerR #development #library

Educating JACKAL: Cliché Library Development and Use (JDS, AAR), p. 123–?.

AdaEurope-1999-FranchPV #component #library #non-functional #using

Browsing a Component Library Using Non-functional Information (XF, JP, JV), pp. 332–343.

CIKM-1999-AllenS #data type #library #metadata

Metadata and Data Structures for the Historical Newspaper Digital Library (RBA, JS), pp. 147–153.

CIKM-1999-GeffnerAAS #classification #library #scalability #using

Browsing Large Digital Library Collections Using Classification Hierarchies (SG, DA, AEA, TRS), pp. 195–201.

OOPSLA-1999-LeeSL #component #graph #library

The Generic Graph Component Library (LQL, JGS, AL), pp. 399–414.

TOOLS-PACIFIC-1999-ZendraC #eiffel #library

Adding External Iterators to an Existing Eiffel Class Library (OZ, DC), pp. 188–199.

TOOLS-USA-1999-MaughanS #eiffel #library

Mastering the Windows Eiffel Library (GM, RS), p. 444.

ICSE-1999-MichailN #library

Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships (AM, DN), pp. 463–472.

ASE-1998-Fischer #component #library

Specification-based Browsing of Software Component Libraries (BF), pp. 74–83.

ASE-1998-McDonaldHS #library #standard #testing

Programmatic Testing of the Standard Template Library Containers (JM, DH, PAS), pp. 147–156.

ASE-1998-MichailN #approach #library #object-oriented #reuse

Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach (AM, DN), pp. 200–203.

DAC-1998-HinsbergerK #library #scalability

Boolean Matching for Large Libraries (UH, RK), pp. 206–211.

DAC-1998-Kung #algorithm #library #optimisation #performance

A Fast Fanout Optimization Algorithm for Near-Continuous Buffer Libraries (DSK), pp. 352–355.

HT-1998-Boissiere #automation #library #web

Automatic Creation of Hypervideo News Libraries for the World Wide Web (GB), pp. 279–280.

PODS-1998-Klavans #database #information management #library

Data Bases in Digital Libraries: Where Computer Science and Information Management Meet (JK), pp. 224–226.

ICFP-1998-Scholz #combinator #imperative #library #monad #programming

Imperative Streams — A Monadic Combinator Library for Synchronous Programming (ES), pp. 261–272.

CHI-1998-OHaraSNS #documentation #library #student

Student Readers’ Use of Library Documents: Implications for Library Technologies (KO, FS, WMN, AS), pp. 233–240.

AdaEurope-1998-ArabanS #library #object-oriented

A Two-Level Matching Mechanism for Object-Oriented Class Libraries (SA, ASMS), pp. 188–200.

SIGAda-1998-Duncan #ada #data type #infinity #library #reuse

Reusable Ada Libraries Supporting Infinite Data Structures (AGD), pp. 89–103.

CIKM-1998-LeeLS #html #incremental #library #maintenance

Incremental Maintenance for Dynamic Database-Derived HTML Pages in Digital Libraries (KCKL, HVL, AS), pp. 20–29.

ICPR-1998-TakacsW #image #library #metric #performance #using

Fast searching of digital face libraries using binary image metrics (BT, HW), pp. 1235–1237.

SIGIR-1998-HascoetS #library #user interface #using

Using Maps as a User Interface to a Digital Library (MH, XS), pp. 339–340.

TOOLS-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.

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

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

TOOLS-USA-1998-MengerKES #implementation #library #object-oriented

Collection Types and Implementations in Object-Oriented Software Libraries (GM, JLK, ME, AS), p. 97–?.

TOOLS-USA-1998-PotterSJ #inheritance #library

Library Interoperability via Inheritance (JP, RS, IJ), pp. 71–83.

SAC-1998-Wiil #framework #library

Evaluating HyperDisco as an infrastructure for digital libraries (UKW), pp. 491–497.

HPDC-1998-Schatz #distributed #grid #library

High-Performance Distributed Digital Libraries: Building the Interspace on the Grid (BRS), pp. 224–234.

HPDC-1998-ZhuYZWIS #adaptation #clustering #library

Adaptive Load Sharing for Clustered Digital Library Servers (HZ, TY, QZ, DW, OHI, TRS), pp. 235–242.

ISMM-1998-NishanovS #garbage collection #library

Garbage Collection in Generic Libraries (GVN, SS), pp. 86–96.

ASE-1997-Hall #automation #library #reasoning #using #validation

Reactive System Validation using Automated Reasoning over a Fragment Library (RJH), pp. 299–300.

DAC-1997-BaltusVADM #concurrent #generative #library #standard

Developing a Concurrent Methodology for Standard-Cell Library Generation (DGB, TV, RCA, JD, TGM), pp. 333–336.

DAC-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.

EDTC-1997-JhaD #library

Library mapping for memories (PKJ, NDD), pp. 288–292.

ICDAR-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.

VLDB-1997-ChristodoulakisTZ #library

Principles of Optimally Placing Data in Tertiary Storage Libraries (SC, PT, FZ), pp. 236–245.

WIA-1997-MohriPR #design #finite #library #transducer

A Rational Design for a Weighted Finite-State Transducer Library (MM, FCNP, MR), pp. 144–158.

CHI-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.

CHI-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.

HCI-CC-1997-SavidisVS #library

Embedding Scanning Techniques Accessible to Motor-Impaired Users in the WINDOWS Object Library (AS, GV, CS), pp. 429–432.

HCI-SEC-1997-MorrisH #library

Potential Key Stress Factors Among Academic Library Assistants (AM, SH), pp. 407–410.

AdaEurope-1997-GuerraMAA #ada #distributed #fault tolerance #library

An Ada Library to Program Fault-Tolerant Distributed Applications (FGS, FJMG, AA, SA), pp. 230–243.

OOPSLA-1997-Mezini #consistency #evolution #library #maintenance

Maintaining the Consistency of Class Libraries During Their Evolution (MM), pp. 1–21.

TOOLS-ASIA-1997-HitchensF #design #flexibility #library

The Design of a Flexible Class Library Management System (MH, AF), pp. 60–69.

TOOLS-ASIA-1997-LiGMY #bibliography #component #library

An Overview of JB (Jade Bird) Component Library System JBCL (KL, LG, HM, FY), pp. 206–213.

TOOLS-ASIA-1997-XiaofenFCX #component #library #reuse

Assembling Software with the Reusable Components in a Library (WX, GF, XC, LX), pp. 176–181.

TOOLS-PACIFIC-1997-Holmes #concurrent #java #library #programming

Concurrent Programming in Java: Language and Libraries (DH), p. 371.

TOOLS-USA-1997-Winroth #c++ #interface #library #scripting language

A Scripting Language Interface to C++ Libraries (HW), pp. 247–259.

ICSE-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.

ICSE-1997-BrowneM #library #reuse #web

Reuse Library Interoperability and the World Wide Web (SB, JWM), pp. 684–691.

DAC-1996-ChenS #algorithm #power management

An Exact Algorithm for Low Power Library-Specific Gate Re-Sizing (DSC, MS), pp. 783–788.

DAC-1996-LokanathanBR #concurrent #library #optimisation #process

A Methodology for Concurrent Fabrication Process/Cell Library Optimization (ANL, JBB, JER), pp. 825–830.

ICSM-1996-ChowN #automation #library

Semi-automatic update of applications in response to library changes (KC, DN), p. 359–?.

CHI-1996-Magpantay #library

The American Library Association (AM), pp. 504–505.

AdaEurope-1996-PuenteAA #ada #design #library

Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries (JAdlP, AA, AA), pp. 78–88.

SEKE-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.

ICDAR-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.

ICSM-1995-NakanishiAI #interface #library #metric

A metric for evaluating class library interfaces and its application to library upgrades (KN, TA, MI), pp. 12–19.

AFP-1995-Hughes95 #design #library #pretty-printing

The Design of a Pretty-printing Library (JH), pp. 53–96.

CIKM-1995-WakeF #library #named

SortTables: A Browser for a Digital Library (WCW, EAF), pp. 175–181.

SIGIR-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.

SIGIR-1995-Winograd #library

Digital Libraries: Bridging the Two Cultures (TW), p. 2.

ASF+SDF-1995-MauwM #data type #library

A PSF Library of Data Types (SM, JCM), pp. 53–64.

PPoPP-1995-GotwalsSG #data type #distributed #library

pC++/streams: a Library for I/O on Complex Distributed Data Structures (JG, SS, DG), pp. 11–18.

EDAC-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.

KBSE-1994-LowryPPU #automation #library #named #programming

AMPHION: Automatic Programming for Subroutine Libraries (MRL, AP, TP, IU), p. 2.

VLDB-1994-Lesk #how #image #library

Experiments on Access to Digital Libraries: How can Images and Text be Used Together (ML), pp. 655–667.

TRI-Ada-1994-GieringMB #ada #library #runtime

Features of the GNU Ada Runtime Library (EWG, FM, TPB), pp. 93–103.

TOOLS-EUROPE-1994-Meyer94a #design #library

Library Design (BM), p. 519.

TOOLS-EUROPE-1994-Schmid #library #requirements #reuse

Reuse Inhibitors with, and Requirements for Collection Class Libraries (HAS), pp. 243–252.

SAC-1994-FogelsongDS #framework #library #reuse

Graphics class library for plotting (GCLIP), an extensible, reusable graphics framework (BAF, SD, DAS), pp. 64–69.

SAC-1994-Poulin #library #reuse #scalability

Balancing the need for large corporate and small domain-specific reuse libraries (JSP), pp. 88–93.

HPDC-1994-Dongarra #library

Constructing Numerical Software Libraries for HPCC Environments (JD), p. 4.

CADE-1994-StickelWLPU #composition #deduction #library

Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.

CADE-1994-SutcliffeSY #library #problem

The TPTP Problem Library (GS, CBS, TY), pp. 252–266.

CSM-1993-Abd-El-HafizB #library #source code #using

Documenting Programs Using a Library of Tree Structured Plans (SKAEH, VRB), pp. 152–161.

HCI-ACS-1993-HuuhtanenVL #automation #communication #implementation #library #named

Communication — A Key Factor in Implementation of Library Automation (PH, MV, IL), pp. 976–981.

ECOOP-1993-Jezequel #approach #compilation #library #parallel #reuse

Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach (JMJ), pp. 384–405.

OOPSLA-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.

TOOLS-EUROPE-1993-Johnson #library #reuse

Reusable Class Libraries (PJ), p. 319.

TOOLS-EUROPE-1993-Johnson93a #library #reuse

Associated Paper: Reusable Libraries (PJ), pp. 321–324.

TOOLS-PACIFIC-1993-Maughan #implementation #library #persistent #programming #requirements

Persistent Programming: Requirements for a Class Library Implementation (GM), pp. 371–381.

TOOLS-PACIFIC-1993-MenziesEN #library #reuse

The Mysterious Case of the Missing Reusable Class Libraries (TM, JME, KN), pp. 421–427.

TOOLS-PACIFIC-1993-NakanishiAM #library

Understandibility of Class Libraries and Zipf's Law (KN, TA, TM), pp. 225–232.

TOOLS-PACIFIC-1993-PloschW #communication #distributed #hybrid #library

An Extensible Communication Class Library for Hybrid Distributed Systems (RP, RW), pp. 431–437.

SAC-1993-NgMN #library #object-oriented #programming

A Class Library Management System for Object-Oriented Programming (KWN, JM, GMN), pp. 445–451.

ESEC-1993-JengC #component #formal method #library #using

Using Formal Methods to Construct a Software Component Library (JJJ, BHCC), pp. 397–417.

FSE-1993-BatorySST #library #scalability

Scalable Software Libraries (DSB, VS, MS, JT), pp. 191–199.

HPDC-1993-Skjellum #library #scalability

Scalable Libraries in a Heterogeneous Environment (AS), pp. 13–20.

KBSE-1992-MiLS #development #knowledge-based #library #process

A Knowledge-based Software Process Library for Process-driven Software Development (PM, MJL, WS), p. 20.

TRI-Ada-C-1992-BannerS #ada #component #library #object-oriented #reuse

Assessing Ada 9X OOP: Building a Reusable Components Library (BB, ES), pp. 79–90.

TRI-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.

TRI-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.

TRI-Ada-C-1992-JensenSW #component #experience #library #reuse

Successful Experience with AdaSAGE Reusable Component Library (JSJ, HDS, PHW), pp. 276–280.

SEKE-1992-Wong #incremental #library #using

Using Version Spaces to Support Incremental Searches in a Software Library (YCW), pp. 412–419.

SIGIR-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.

ECOOP-1992-LauS #heuristic #library #object-oriented #parallel #scalability

An Object-Oriented Class Library for Scalable Parallel Heuristic Search (WCL, VS), pp. 252–267.

OOPSLA-1992-KiczalesL #design #documentation #library

Issues in the Design and Documentation of Class Libraries (GK, JL), pp. 435–451.

TOOLS-EUROPE-1992-CarnduffG #design #eiffel #library

An Eiffel Class Library for Ship Design (TWC, WAG), pp. 233–245.

TOOLS-PACIFIC-1992-Henderson-SellersF #library #named

OLMS — An Object Library Management System (BHS, CF), pp. 175–180.

TOOLS-PACIFIC-1992-MaE #approach #library #relational #using

A Practical Approach to Class Library Management Using a Relational DBMS (JM, JME), pp. 165–173.

DAC-1991-DuttK #library #synthesis

Bridging High-Level Synthesis to RTL Technology Libraries (NDD, JRK), pp. 526–529.

HT-1991-EganLKLRLL #hypermedia #library

Hypertext for the Electronic Library? CORE Sample Results (DEE, ML, RDK, CCL, JRR, MLL, TKL), pp. 299–312.

HT-1991-SamuelsonG #analysis #hypermedia #library

Intellectual Property Rights for Digital Library and Hypertext Publishing Systems: An Analysis of Xanadu (PS, RJG), pp. 39–50.

VDME-1991-1-SchmidtH #compilation #generative #library

The VDM Domain Compiler: A VDM Class Library Generator (US, HMH), pp. 675–676.

AdaEurope-1991-FernandezP #component #library

Constructing a Pilot Library of Components for Avionic Systems (JLF, JAdlP), pp. 362–371.

SIGIR-1991-Lesk #library

The CORE Electronic Chemistry Library (ML), pp. 93–112.

OOPSLA-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.

TOOLS-USA-1991-Horstmann #c++ #design #library #standard

Design Considerations for a Standard C++ Container Class Library (CSH), pp. 327–338.

TOOLS-USA-1991-Korson #design #library #object-oriented #specification

The Specification and Design of Object-Oriented Class Libraries (TK), pp. 485–486.

TOOLS-USA-1991-Omohundro #library

The Sather Language and Libraries (SMO), pp. 439–440.

ICLP-1991-RollinsW #library #specification

Specifications as Search Keys for Software Libraries (EJR, JMW), pp. 173–187.

DAC-1990-Chan #algorithm #logic

Algorithms for Library-Specific Sizing of Combinational Logic (PKC), pp. 353–356.

ICALP-1990-NaherM #algorithm #data type #library #named #performance

LEDA: A Library of Efficient Data Types and Algorithms (SN, KM), pp. 1–5.

ICSE-1990-JohnsonF #evolution #library

Building an Evolution Transformation Library (WLJ, MSF), pp. 238–248.

CADE-1990-Rittri #equation #identifier #library

Retrieving Library Identifiers via Equational Matching of Types (MR), pp. 603–617.

FPCA-1989-Rittri #library #using

Using Types as Search Keys in Function Libraries (MR), pp. 174–183.

SIGIR-1989-MaarekS #library

Full Text Indexing Based on Lexical Relations An Application: Software Libraries (YSM, FAS), pp. 198–206.

SIGIR-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.

SIGIR-1988-Ait-KaciNS #library #named

BABEL: A Base for an Experimental Library (HAK, RN, JS), pp. 175–190.

DAC-1979-NiengB #component #library

Component library for an integratel DA system (KYN, DAB), pp. 437–444.

ICSE-1979-Denert #development #library

The Project Library : A Tool for Software Development (ED), pp. 153–173.

SIGIR-1973-Artandi #documentation #interface #library #online #retrieval

The On-Line Interface of Library Management and Document Retrieval Systems (SA), pp. 71–74.