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:
memori (28)
data (19)
use (16)
intern (11)
system (11)

Stem extern$ (all stems)

147 papers:

CASECASE-2015-LuSJSX #approach #multi #nondeterminism #programming
A chance constrained programming approach for multi-product multi-stage integrated production planning under internal and external uncertainties (SL, HS, CJ, HS, LX), pp. 880–885.
DATEDATE-2015-LeeLMHP #monitoring #named #security
Extrax: security extension to extract cache resident information for snoop-based external monitors (JL, YL, HM, IH, YP), pp. 151–156.
PODSPODS-2015-HuQT #memory management
External Memory Stream Sampling (XH, MQ, YT), pp. 229–239.
HCIHIMI-IKD-2015-SakuraiNKTH #image #integration
Basic Study of Evoking Emotion Through Extending One’s Body Image by Integration of Internal Sense and External Sense (SS, TN, TK, TT, MH), pp. 433–444.
ICSEICSE-v1-2015-SiegmundSA #empirical #re-engineering
Views on Internal and External Validity in Empirical Software Engineering (JS, NS, SA), pp. 9–19.
MSRMSR-2014-PadhyeMS #case study #community #git #open source
A study of external community contribution to open-source projects on GitHub (RP, SM, VSS), pp. 332–335.
CHICHI-2014-BalataCM #2d #on the #using
On the selection of 2D objects using external labeling (JB, LC, ZM), pp. 2255–2258.
CHICHI-2014-TraftonR
The law of unintended consequences: the case of external subgoal support (JGT, RMR), pp. 1767–1776.
HCISCSM-2014-Scheiner #dependence #identification #social #social media
The Importance of Social Media as Source of Information in the Technology Identification in Dependence of External and Internal Factors (CWS), pp. 103–112.
ICEISICEIS-v1-2014-AdamB #database #framework
External Database Extension Framework (AA, WB), pp. 249–255.
HTHT-2013-WolffMC #data flow #named #using
Storyscope: using theme and setting to guide story enrichment from external data sources (AW, PM, TDC), pp. 79–88.
PODSPODS-2013-HaririCGDM #relational #verification
Verification of relational data-centric dynamic systems with external services (BBH, DC, GDG, AD, MM), pp. 163–174.
ICALPICALP-v2-2013-GravinL
Competitive Auctions for Markets with Positive Externalities (NG, PL), pp. 569–580.
HCIDHM-HB-2013-LiWW
Oxygenation and Blood Volume in Skeletal Muscle in Response to External Force (HL, CW, ZW), pp. 359–365.
ICEISICEIS-v1-2013-LeiteMP #fault #multi
Multiple External Representations in Remediation of Math Errors (MDL, DM, ARP), pp. 519–523.
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.
CIKMCIKM-2013-LuoFHWB #bisimulation #graph #memory management #reduction
External memory K-bisimulation reduction of big graphs (YL, GHLF, JH, YW, PDB), pp. 919–928.
ICMLICML-c2-2013-HanczarN #clustering
Precision-recall space to correct external indices for biclustering (BH, MN), pp. 136–144.
SIGIRSIGIR-2013-DeveaudSB #topic
Estimating topical context by diverging from external resources (RD, ES, PB), pp. 1001–1004.
CGOCGO-2013-EmaniWO #adaptation #parallel
Smart, adaptive mapping of parallelism in the presence of external workload (MKE, ZW, MFPO), p. 10.
PODSPODS-2012-ShengT #memory management
Dynamic top-k range reporting in external memory (CS, YT), pp. 121–130.
SIGMODSIGMOD-2012-HellingsFH #bisimulation #graph #performance
Efficient external-memory bisimulation on DAGs (JH, GHLF, HJH), pp. 553–564.
CIKMCIKM-2012-LongCZZ #classification #named #using
TCSST: transfer classification of short & sparse text using external data (GL, LC, XZ, CZ), pp. 764–772.
KDDKDD-2012-MyersZL #information management #network
Information diffusion and external influence in networks (SAM, CZ, JL), pp. 33–41.
KMISKMIS-2012-GazzeBATM #documentation #integration #web #web service #workflow
Integration of External Data in Document Workflows via Web Services (DG, AB, MA, MT, AM), pp. 346–351.
KMISKMIS-2012-RamosSB #enterprise
Improving Enterprise IT Governance and Management by Applying Competitive Intelligence and External Context Discovery on COBIT 5.0 (ECR, FMS, FAB), pp. 89–96.
SLESLE-2012-HillsKV #metalanguage #type safety
Meta-language Support for Type-Safe Access to External Resources (MH, PK, JJV), pp. 372–391.
ICLPICLP-2012-Redl #programming #set
Answer Set Programming with External Sources (CR), pp. 469–475.
ICLPICLP-J-2012-EiterFKR
Conflict-driven ASP solving with external sources (TE, MF, TK, CR), pp. 659–679.
CASECASE-2011-LiuFOCK #visual notation
Weld pool visual sensing without external illumination (JL, ZF, SIO, KHC, JKK), pp. 145–150.
DACDAC-2011-LiLWCDCHCLHHMBWTWKHC #interface #low cost #testing
A low-cost wireless interface with no external antenna and crystal oscillator for cm-range contactless testing (CFL, CYL, CHW, SLC, LMD, CCC, HJH, MYC, JJL, SYH, PCH, HPM, JCB, CWW, CCT, CHW, YSK, CTH, TYC), pp. 771–776.
PODSPODS-2011-ShengT11a #memory management #on the
On finding skylines in external memory (CS, YT), pp. 107–116.
PODSPODS-2011-ShengT11b #2d #memory management #orthogonal
New results on two-dimensional orthogonal range aggregation in external memory (CS, YT), pp. 129–139.
ICEISICEIS-v3-2011-WangRL
The Pricing Mechanism of Suppliers in Risk-sharing in External Financing (ZW, YR, HL), pp. 145–149.
CIKMCIKM-2011-GunnemannFMAS #clustering #evaluation #metric
External evaluation measures for subspace clustering (SG, IF, EM, IA, TS), pp. 1363–1372.
KMISKMIS-2011-RamosSB #process
A Method for Discovering the Relevance of External Context Variables to Business Processes (ECR, FMS, FAB), pp. 399–408.
KMISKMIS-2011-TangPI #behaviour
Employees’ Innovation Behavior — The Role of External Information Awareness and Proactiveness of Innovation Strategy (JT, LGP, JI), pp. 5–17.
SEKESEKE-2011-ShinM #embedded #self
Self-Management of External Device Failures in Embedded Software Systems (MES, PM), pp. 543–546.
SIGIRSIGIR-2011-BerberichKLZ #ranking
Improving local search ranking through external logs (KB, ACK, DL, PZ), pp. 785–794.
ISSTAISSTA-2011-NaminK #testing
The use of mutation in testing experiments and its sensitivity to external threats (ASN, SK), pp. 342–352.
HTHT-2010-PazD #adaptation
Providing resilient XPaths for external adaptation engines (IP, OD), pp. 67–76.
STOCSTOC-2010-VerbinZ #bound #memory management
The limits of buffering: a tight lower bound for dynamic membership in the external memory model (EV, QZ), pp. 447–456.
EDOCEDOC-2010-AgaramL #architecture #component
A Componentized Architecture for Externalized Business Rules (MKA, BL), pp. 175–183.
ICPRICPR-2010-KeuperBRPH #3d #robust
Mean Shift Gradient Vector Flow: A Robust External Force Field for 3D Active Surfaces (MK, HB, OR, JP, PH), pp. 2784–2787.
KMISKMIS-2010-EtoMKM #evaluation #process
Externalization Method and Its Evaluation of Know-how Information for Care Planning Processes by Awareness of Novices (KE, MM, YK, TM), pp. 201–206.
SACSAC-2010-GroppeG #database #scalability #semantics #sorting #web
External sorting for index construction of large semantic web databases (SG, JG), pp. 1373–1380.
ICSEICSE-2010-HolmesW #recommendation
Customized awareness: recommending relevant external change events (RH, RJW), pp. 465–474.
ASPLOSASPLOS-2010-LeeWVNCF #multi #named #online #performance
Respec: efficient online multiprocessor replayvia speculation and external determinism (DL, BW, KV, SN, PMC, JF), pp. 77–90.
DATEDATE-2009-ChangBM #design #using
Customizing IP cores for system-on-chip designs using extensive external don’t-cares (KHC, VB, ILM), pp. 582–585.
ICALPICALP-v1-2009-AndoniIOR
External Sampling (AA, PI, KO, RR), pp. 83–94.
CIKMCIKM-2009-HuSZC #clustering #semantics #using
Exploiting internal and external semantics for the clustering of short texts using world knowledge (XH, NS, CZ, TSC), pp. 919–928.
ECIRECIR-2009-YinSC #query #using
Query Expansion Using External Evidence (ZY, MS, NC), pp. 362–374.
KDDKDD-2009-HuZLPZ #clustering #documentation #wiki
Exploiting Wikipedia as external knowledge for document clustering (XH, XZ, CL, EKP, XZ), pp. 389–396.
ICLPICLP-2009-ChenJL #logic programming #source code
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (XC, JJ, FL), pp. 130–144.
VLDBVLDB-2008-DalviKS #graph #keyword #memory management
Keyword search on external memory data graphs (BBD, MK, SS), pp. 1189–1204.
VLDBVLDB-2008-KoltsidasMV #memory management #sorting
Sorting hierarchical data in external memory for archiving (IK, HM, SV), pp. 1205–1216.
ICEISICEIS-DISI-2008-PetersTW #enterprise #network #research #resource management #roadmap
Network Externalities for Enterprise Resource Planning Software — A Research Roadmap (GP, FT, RW), pp. 97–104.
CIKMCIKM-2008-CustisA #corpus #query #statistics
Investigating external corpus and clickthrough statistics for query expansion in the legal domain (TC, KAK), pp. 1363–1364.
KRKR-2008-ChenJL
Computing Loops with at Most One External Support Rule (XC, JJ, FL), pp. 401–410.
MODELSMoDELS-2008-JanotaKW #constraints #interactive #semantics #syntax
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
MODELSMoDELS-2008-JanotaKW #constraints #interactive #semantics #syntax
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
ECOOPECOOP-2008-ZhangJ #concurrent #java
Externalizing Java Server Concurrency with CAL (CZ, HAJ), pp. 362–386.
SACSAC-2008-CostaF
A QoS-oriented external scheduler (RLdCC, PF), pp. 1029–1033.
HPCAHPCA-2008-UsecheGBAR #energy #named
EXCES: External caching in energy saving storage systems (LU, JG, MB, MA, RR), pp. 89–100.
CAVCAV-2008-EdelkampSS #ltl #model checking
Semi-external LTL Model Checking (SE, PS, PS), pp. 530–542.
VMCAIVMCAI-2008-Schmidt #abstract interpretation #logic
Internal and External Logics of Abstract Interpretations (DAS), pp. 263–278.
DACDAC-2007-XuZC #architecture #fault #optimisation
SOC Test Architecture Optimization for Signal Integrity Faults on Core-External Interconnects (QX, YZ, KC), pp. 676–681.
DACDAC-2007-YangHH #automation #behaviour #design #verification
Automatic Verification of External Interrupt Behaviors for Microprocessor Design (FCY, WKH, IJH), pp. 896–901.
LATALATA-2007-Kresz #automaton #nondeterminism
Nondeterministic soliton automata with a single external vertex (MK), pp. 319–330.
HCIDHM-2007-LiuHZ
Actions of an External Electrical Shock on Human Atrial Excitation — A Computer Model Study (JL, AVH, HZ), pp. 659–667.
ICEISICEIS-DISI-2007-AraqueSD #data flow #monitoring #using #web
Monitoring web data sources using temporal properties as an external resources of a data warehouse (FA, AS, CD), pp. 28–35.
ICEISICEIS-DISI-2007-BoppSH #automation #knowledge base
Enabling CSCW systems to automatically bind external knowledge bases (TB, JS, TH), pp. 323–329.
CIKMCIKM-2007-BotelhoZ #scalability #set
External perfect hashing for very large key sets (FCB, NZ), pp. 653–662.
SIGIRSIGIR-2007-Huggett #behaviour #modelling
Information-behaviour modeling with external cues (MH), p. 920.
SIGIRSIGIR-2007-LiLHC #ad hoc #corpus #query #using #wiki
Improving weak ad-hoc queries using wikipedia as external corpus (YL, RWPL, EKSH, KFLC), pp. 797–798.
ICSEICSE-2007-Ludi #requirements
Introducing Accessibility Requirements through External Stakeholder Utilization in an Undergraduate Requirements Engineering Course (SL), pp. 736–743.
LCTESLCTES-2007-NingK #embedded #memory management #multi
External memory page remapping for embedded multimedia systems (KN, DRK), pp. 185–194.
ICEISICEIS-J-2006-TrienekensKVKMS06a #aspect-oriented #development #process
Improvement of Software Development Processes, Balancing Internal and External Organizational Aspects (JJMT, RJK, FvV, DK, DM, PS), pp. 75–85.
SIGIRSIGIR-2006-DiazM #corpus #estimation #modelling #scalability #using
Improving the estimation of relevance models using large external corpora (FD, DM), pp. 154–161.
PADLPADL-2006-SoaresRF #prolog
Generic Cut Actions for External Prolog Predicates (TS, RR, MF), pp. 16–30.
ICLPICLP-2006-SilvaRL #implementation #linear #prolog
An External Module for Implementing Linear Tabling in Prolog (CS, RR, RL), pp. 429–430.
VMCAIVMCAI-2006-JabbarE #linear #model checking #parallel
Parallel External Directed Model Checking with Linear I/O (SJ, SE), pp. 237–251.
PODSPODS-2005-GroheS #bound #memory management #random #sorting
Lower bounds for sorting with few random accesses to external memory (MG, NS), pp. 238–249.
ICALPICALP-2005-GroheKS #bound #memory management #query #streaming
Tight Lower Bounds for Query Processing on Streaming and External Memory Data (MG, CK, NS), pp. 1076–1088.
CAiSECAiSE-2005-EderL #workflow
Synchronizing Copies of External Data in Workflow Management Systems (JE, ML), pp. 248–261.
ICEISICEIS-v1-2005-Mattsson #database #encryption #enterprise #implementation
A Practical Implementation of Transparent Encryption and Separation of Duties in Enterprise Databases — Protection against External and Internal Attacks on Databases (UTM), pp. 146–153.
WICSAWICSA-2004-WileE #framework #self
An Externalized Infrastructure for Self-Healing Systems (DSW, AE), pp. 285–290.
ICALPICALP-2004-ArgeMT #algorithm #graph #memory management
External Memory Algorithms for Diameter and All-Pairs Shortest-Paths on Sparse Graphs (LA, UM, LT), pp. 146–157.
ICTSSTestCom-2004-Vassiliou-GiolesDS #execution #using
Execution of External Applications using TTCN-3 (TVG, GD, IS), pp. 209–223.
ICEISICEIS-v1-2003-StrandO
The Hamlet Dilemma on External Data in Data Warehouses (MS, MO), pp. 570–573.
SIGIRSIGIR-2003-YangCWK
Structured use of external knowledge for event-based open domain question answering (HY, TSC, SW, CKK), pp. 33–40.
ECOOPECOOP-2003-ClarkeW
External Uniqueness Is Unique Enough (DC, TW), pp. 176–200.
DocEngDocEng-2002-CiancariniFRV #named
XLinkProxy: external linkbases with XLink (PC, FF, DR, FV), pp. 57–65.
ICSMEICSM-2002-ArsanjaniAZ #architecture #component #configuration management #maintenance
Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style (AA, JJA, HZ), pp. 628–637.
ICFPICFP-2002-OhoriY #calculus
An interoperable calculus for external object access (AO, KY), pp. 60–71.
CAiSECAiSE-2002-LeicherB #component #requirements #validation
External Requirements Validation for Component-Based Systems (AL, FB), pp. 404–419.
PADLPADL-2002-ShenSNS #eclipse #interface #programming language
A High-Level Generic Interface to External Programming Languages for ECLiPSe (KS, JS, SN, JS), pp. 262–279.
ICTSSTestCom-2002-MannCK #testing
Testing Access to External Information Sources in a Mediator Environment (ZÁM, JC, PK), p. 111–?.
DATEDATE-2000-SugiharaYD #analysis #approach
Analysis and Minimization of Test Time in a Combined BIST and External Test Approach (MS, HY, HD), pp. 134–140.
CIKMCIKM-2000-HambruschL #replication
Data Replication for External Searching in Static Tree Structures (SEH, CML), pp. 360–367.
CIKMCIKM-2000-PedersenSGJ #database #query
Extending OLAP Querying to External Object Databases (TBP, AS, JG, CSJ), pp. 405–413.
ICLPCL-2000-Tarau #named #prolog #refactoring
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects (PT), pp. 1225–1239.
VLDBVLDB-1999-Chawathe #memory management
Comparing Hierarchical Data in External Memory (SSC), pp. 90–101.
DLTDLT-1999-Holzer #on the
On fixed and general membership for external and internal contextual languages (MH), pp. 351–361.
ICALPICALP-1999-Vitter #data type #memory management #online
Online Data Structures in External Memory (JSV), pp. 119–133.
HCIHCI-EI-1999-Davies99a #generative #memory management #strict
The role of external memory in a complex task: Effects of device and memory restrictions on program generation (SPD), pp. 1268–1272.
HCIHCI-EI-1999-ONeill #development #usability
Cooperative Development: Underspecification in External Representations and Software Usability (EO), pp. 918–922.
ICMLICML-1999-PeshkinMK #learning #memory management #policy
Learning Policies with External Memory (LP, NM, LPK), pp. 307–314.
ECOOPECOOP-1999-Kuhne
Internal Iteration Externalized (TK), pp. 329–350.
TOOLSTOOLS-PACIFIC-1999-ZendraC #eiffel #library
Adding External Iterators to an Existing Eiffel Class Library (OZ, DC), pp. 188–199.
ICTSSIWTCS-1999-ArtychB #concept #consistency #requirements #tool support
External Conformance Requirements: Concepts, Methods and Tools (RA, KMB), pp. 363–378.
PODSPODS-1998-Vitter #algorithm #memory management
External Memory Algorithms (JSV), pp. 119–128.
SIGMODSIGMOD-1998-LarsonG #generative #memory management #sorting
Memory Management During Run Generation in External Sorting (PÅL, GG), pp. 472–483.
VLDBVLDB-1998-ZhangL
Buffering and Read-Ahead Strategies for External Mergesort (WZ, PÅL), pp. 523–533.
KDDKDD-1998-DasMR #similarity
Similarity of Attributes by External Probes (GD, HM, PR), pp. 23–29.
VLDBVLDB-1997-ZhangL #memory management
Dynamic Memory Adjustment for External Mergesort (WZ, PÅL), pp. 376–385.
STOCSTOC-1997-ArgeFGV #memory management #on the #sorting #string
On Sorting Strings in External Memory (Extended Abstract) (LA, PF, RG, JSV), pp. 540–548.
FMFME-1997-YoungB #analysis #memory management #modelling
Mathematical Modeling and Analysis of an External Memory Manager (WDY, WRB), pp. 237–257.
CHICHI-1997-Tweedie #interactive
Characterizing Interactive Externalizations (LT), pp. 375–382.
TOOLSTOOLS-USA-1997-Kuhne
The Translator Pattern — External Functionality with Homomorphic Mappings (TK), pp. 48–62.
PODSPODS-1996-LevyRU #query #using
Answering Queries Using Limited External Processors (AYL, AR, JDU), pp. 227–237.
VLDBVLDB-1996-DiwanRSS #clustering
Clustering Techniques for Minimizing External Path Length (AAD, SR, SS, SS), pp. 342–353.
VLDBVLDB-1996-StaudtJ #incremental #maintenance
Incremental Maintenance of Externally Materialized Views (MS, MJ), pp. 75–86.
STOCSTOC-1996-VengroffV #3d #memory management #performance
Efficient 3-D Range Searching in External Memory (DEV, JSV), pp. 192–201.
DACDAC-1995-SawasakiYL #implementation
Externally Hazard-Free Implementations of Asynchronous Circuits (MHS, CYC, BL), pp. 718–724.
SIGMODSIGMOD-1995-ChaudhuriDY #execution #optimisation #query
Join Queries with External Text Sources: Execution and Optimization Techniques (SC, UD, TWY), pp. 410–422.
STOCSTOC-1995-FerraginaG #data type #string
A fully-dynamic data structure for external substring search (Extended Abstract) (PF, RG), pp. 693–702.
PODSPODS-1994-RamaswamyS
Path Caching: A Technique for Optimal External Searching (SR, SS), pp. 25–35.
ICSMEICSM-1994-DalyBMRW #maintenance #replication #verification
Verification of Results in Software Maintenance Through External Replication (JWD, AB, JM, MR, MW), pp. 50–57.
PODSPODS-1993-NodineGV #graph
Blocking for External Graph Searching (MHN, MTG, JSV), pp. 222–232.
VLDBVLDB-1993-PangCL #adaptation #sorting
Memory-Adaptive External Sorting (HP, MJC, ML), pp. 618–629.
SOSPSOSP-WIP-1991-HartyC92 #memory management #physics #using
Application-Controlled Physical Memory using External Page-Cache Management (Abstract) (KH, DRC), p. 19.
ASPLOSASPLOS-1992-HartyC #memory management #physics #using
Application-Controlled Physical Memory using External Page-Cache Management (KH, DRC), pp. 187–197.
PPDPPLILP-1991-Boye #logic programming #named #semantics #source code
S-SLD-resolution — An Operational Semantics for Logic Programs with External Procedures (JB), pp. 383–393.
DACDAC-1990-SavojB #multi #network
The Use of Observability and External Don’t Cares for the Simplification of Multi-Level Networks (HS, RKB), pp. 297–301.
SIGMODSIGMOD-1990-SalzbergTGSUV #distributed #named
FastSort: A Distributed Single-Input Single-Output External Sort (BS, AT, JG, MS, SU, BV), pp. 94–101.
HTHT-1989-NeuwirthK #design #process #tool support
The Role of External Representations in the Writing Process: Implications for the Design of Hypertext-Based Writing Tools (CN, DK), pp. 319–341.
ICLPNACLP-1989-HeED #database
An Expert System which Intelligently Accesses an External Database (XH, GWE, FD), pp. 209–223.
PPDPPLILP-1988-BonnierM #logic programming #source code #towards
Towards a Clean Amalgamation of Logic Programs with External Procedures (SB, JM), pp. 20–34.
ICLPJICSCP-1988-BonnierM88 #logic programming #source code #towards
Towards a Clean Amalgamation of Logic Programs with External Procedures (SB, JM), pp. 311–326.
SIGMODSIGMOD-1985-LarsonR
External Perfect Hashing (PÅL, MVR), pp. 190–200.
PODSPODS-1982-GonnetL
External Hashing with Limited Internal Storage (GHG, PÅL), pp. 256–261.
VLDBVLDB-1982-LochovskyT #database #interactive #query
An Interactive Query Language for External Data Bases (FHL, DT), pp. 11–21.
VLDBVLDB-1979-Clemons
An External Schema Facility for CODASYL 1978 (EKC), pp. 119–128.
VLDBVLDB-1978-Clemons
The External Schema and CODASYL (EKC), p. 130.
SIGMODSIGMOD-1977-DaleD #database #interactive
Main Schema-External Schema Interaction in Hierarchically Organized Data Bases (AGD, NBD), pp. 102–110.
VLDBVLDB-1977-DaleY #database #interface #multi
A Processing Interface for Multiple External Schema Access to a Data Base Management System (AGD, CVY), pp. 318–325.

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.