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:
driven (43)
analysi (24)
base (20)
data (17)
comput (16)

Stem demand$ (all stems)

217 papers:

CASECASE-2015-YuWZ
From passive demand response to proactive demand participation (NY, TW, QZ), pp. 1300–1306.
VLDBVLDB-2015-YangMFLK #approach #lens #named #on-demand
Lenses: An On-Demand Approach to ETL (YY, NM, RF, ZHL, OK), pp. 1578–1589.
PEPMPEPM-2015-LisperMK #slicing
Static Backward Demand-Driven Slicing (BL, ANM, HK), pp. 115–126.
CHICHI-2015-LordHCBWMF #mobile
Demand in My Pocket: Mobile Devices and the Data Connectivity Marshalled in Support of Everyday Practice (CL, MH, AKC, OB, RW, JM, AF), pp. 2729–2738.
CHICHI-2015-SugarmanL #design #persuasion
Designing Persuasive Technology to Manage Peak Electricity Demand in Ontario Homes (VS, EL), pp. 1975–1984.
KDDKDD-2015-ZhouM #approach #kernel #predict
Predicting Ambulance Demand: a Spatio-Temporal Kernel Approach (ZZ, DSM), pp. 2297–2303.
OOPSLAOOPSLA-2015-FengWDL #control flow #interprocedural
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties (YF, XW, ID, CL), pp. 520–534.
ASPLOSASPLOS-2015-MaSSLYHXYCWZB #architecture #on-demand #programmable
Supporting Differentiated Services in Computers via Programmable Architecture for Resourcing-on-Demand (PARD) (JM, XS, NS, YL, ZY, BH, TX, ZY, YC, HW, LZ, YB), pp. 131–143.
CASECASE-2014-LiDZ #policy #social
Social incentive policies to engage commercial building occupants in demand response (SL, KD, MZ), pp. 407–412.
CASECASE-2014-LiuXL #approximate #capacity
A queuing approximation method for capacity planning of emergency department with time-varying demand (QL, XX, RL), pp. 558–563.
CASECASE-2014-SivaramakumarJ #nondeterminism
Production planning with uncertain demands and real options (GRS, SJ), pp. 671–676.
CASECASE-2014-ZhangHSL #coordination
Inventory hedging and coordination under inventory-level-dependent demand (TZ, GQH, YS, SL), pp. 658–664.
DACDAC-2014-AsadiniaAS #named #on-demand
OD3P: On-Demand Page Paired PCM (MA, MA, HSA), p. 6.
DACDAC-2014-RoyKCBC #streaming #using
Demand-Driven Mixture Preparation and Droplet Streaming using Digital Microfluidic Biochips (SR, SK, PPC, BBB, KC), p. 6.
MSRMSR-2014-GousiosVSZ #agile #git
Lean GHTorrent: GitHub data on demand (GG, BV, AS, AZ), pp. 384–387.
SCAMSCAM-2014-AbadiF #algorithm #interprocedural #on-demand #parallel
A Parallel On-Demand Algorithm for Computing Interprocedural Dominators (AA, YAF), pp. 235–244.
PLDIPLDI-2014-HammerKHF #adaptation #composition #incremental #named
Adapton: composable, demand-driven incremental computation (MAH, YPK, MH, JSF), p. 18.
ICALPICALP-v1-2014-FeigeJ #preprocessor #query
Demand Queries with Preprocessing (UF, SJ), pp. 477–488.
CSCWCSCW-2014-KripleanBBKG #on-demand
Integrating on-demand fact-checking with public dialogue (TK, CB, AB, BK, BTG), pp. 1188–1199.
CSCWCSCW-2014-TeodoroONML #case study #experience #mobile #on-demand
The motivations and experiences of the on-demand mobile workforce (RT, , MN, WM, JL), pp. 236–247.
HCIDUXU-DP-2014-MieslerGHW #case study #experience #on-demand #user interface
User Experience of Video-on-Demand Applications for smart TVs: A Case Study (LM, BG, FH, AW), pp. 412–422.
HCIDUXU-ELAS-2014-FordPLNCM #design #feedback
User-Centred Design of an Audio Feedback System for Power Demand Management (RF, JP, YCL, KN, WC, MM), pp. 530–541.
HCIHIMI-AS-2014-GotzeBPB #quote
“A Careful Driver is One Who Looks in Both Directions When He Passes a Red Light” — Increased Demands in Urban Traffic (MG, FB, IPS, KB), pp. 229–240.
EDOCEDOC-2014-Vukojevic-HauptHKL #on-demand
Service Selection for On-Demand Provisioned Services (KVH, FH, DK, FL), pp. 120–127.
KDDKDD-2014-ZoeterDCA #algorithm #deployment
New algorithms for parking demand management and a city-scale deployment (OZ, CRD, SC, JMA), pp. 1819–1828.
SACSAC-2014-Chen #analysis #behaviour #coordination #energy #research #scheduling #student
Student research abstract: demand behavior analysis and coordination scheduling for energy saving in smart building (SC), pp. 569–570.
SACSAC-2014-LopezTCC #algorithm #automation #design
Design of an automatic demand-side management system based on evolutionary algorithms (EGL, AT, SC, VC), pp. 525–530.
ASPLOSASPLOS-2014-NguyenLP #on-demand
Deterministic galois: on-demand, portable and parameterless (DN, AL, KP), pp. 499–512.
ASEASE-2013-ZhangPXJWZ #monitoring #on-demand #towards
Towards contextual and on-demand code clone management by continuous monitoring (GZ, XP, ZX, SJ, HW, WZ), pp. 497–507.
CASECASE-2013-JinJT #energy #enterprise #integration
Managing demand response for manufacturing enterprises via renewable energy integration (TJ, JAJ, ZT), pp. 645–650.
CASECASE-2013-XuJG #coordination #energy
Supply demand coordination for building energy saving (ZX, QSJ, XG), pp. 89–94.
CASECASE-2013-ZhouL #detection #realtime #throughput
Real time electricity demand response for sustainable manufacturing systems considering throughput bottleneck detection (ZZ, LL), pp. 640–644.
DACDAC-2013-DinakarraoWY #3d #multi #reduction
Peak power reduction and workload balancing by space-time multiplexing based demand-supply matching for 3D thousand-core microprocessor (SMPD, KW, HY), p. 6.
DATEDATE-2013-WangYWZ #3d #configuration management #manycore #network
3D reconfigurable power switch network for demand-supply matching between multi-output power converters and many-core microprocessors (KW, HY, BW, CZ), pp. 1643–1648.
CHICHI-2013-YamashitaKHK #comprehension #product line
Understanding the conflicting demands of family caregivers caring for depressed family members (NY, HK, KH, TK), pp. 2637–2646.
HCIDUXU-WM-2013-WilliamsGMW13a #approach
A User Centred Approach to Evaluating the Future Demand for Bandwidth from Consumers (DW, AG, JM, JW), pp. 150–159.
HCIHCI-UC-2013-ZhaoK #empirical #enterprise #on-demand
Continuing On-Premise or Adopt On-Demand? An Empirical Study of ERP Adoption in SMEs (FZ, EK), pp. 492–500.
ICEISICEIS-v1-2013-GrabisK #integration #on-demand
On-demand Data Integration for Decision-making Applications (JG, JK), pp. 201–208.
ICEISICEIS-v1-2013-LiuV #modelling #simulation
An Agent-based Modeling for Price-responsive Demand Simulation (HL, JV), pp. 436–443.
SACSAC-2013-CicekD #smarttech
Demand response computation for future smart grids incorporating wind power (, HD), pp. 680–685.
SACSAC-2013-KuptsovNGL #metric #network #novel
A novel demand-aware fairness metric for IEEE 802.11 wireless networks (DK, BN, AG, AL), pp. 603–610.
SACSAC-2013-LeeJS #locality
Demand-based flash translation layer considering spatial locality (YL, TJ, IS), pp. 1550–1551.
SACSAC-2013-SteinbauerKK #community #on-demand
Building an on-demand virtual computing market in non-commercial communities (MS, IK, GK), pp. 351–356.
ASPLOSASPLOS-2013-KimKJLM #coordination #scheduling #virtual machine
Demand-based coordinated scheduling for SMP VMs (HK, SK, JJ, JL, SM), pp. 369–380.
HPCAHPCA-2013-AnsariFGTM #lightweight #named
Illusionist: Transforming lightweight cores into aggressive cores on demand (AA, SF, SG, JT, SAM), pp. 436–447.
WICSA-ECSAWICSA-ECSA-2012-GorlickST #architecture #distributed #named #on-demand
COAST: An Architectural Style for Decentralized On-Demand Tailored Services (MMG, KS, RNT), pp. 71–80.
CASECASE-2012-LiST #case study #challenge #realtime
Real time electricity demand response for sustainable manufacturing systems: Challenges and a case study (LL, ZS, ZT), pp. 353–357.
DATEDATE-2012-BattezzatiCMS #algorithm #architecture #industrial #novel
SURF algorithm in FPGA: A novel architecture for high demanding industrial applications (NB, SC, MM, LS), pp. 161–162.
DATEDATE-2012-SchmutzlerSB #on the
On demand dependent deactivation of automotive ECUs (CS, MS, JB), pp. 69–74.
CHICHI-2012-AmershiFW #interactive #machine learning #named #network #on-demand #social
Regroup: interactive machine learning for on-demand group creation in social networks (SA, JF, DSW), pp. 21–30.
ICMLICML-2012-DavisCBPPC #clustering #predict #relational
Demand-Driven Clustering in Relational Domains for Predicting Adverse Drug Events (JD, VSC, EB, DP, PLP, MC), p. 172.
OOPSLAOOPSLA-2012-KlingMCR #infinity #named #on-demand
Bolt: on-demand infinite loop escape in unmodified binaries (MK, SM, MC, MCR), pp. 431–450.
OOPSLAOOPSLA-2012-Zhang0LZMY #android #java #on-demand #refactoring
Refactoring android Java code for on-demand computation offloading (YZ, GH, XL, WZ, HM, SY), pp. 233–248.
ICSEICSE-2012-HaoZWMR #on-demand #reduction #testing
On-demand test suite reduction (DH, LZ, XW, HM, GR), pp. 738–748.
CGOCGO-2012-ShangXX #analysis #on-demand #points-to
On-demand dynamic summary-based points-to analysis (LS, XX, JX), pp. 264–274.
HPDCHPDC-2012-LeeWF #distributed #named #resource management #using
PonD: dynamic creation of HTC pool on demand using a decentralized resource discovery system (KL, DW, RJOF), pp. 161–172.
ICLPICLP-2012-Hanus #analysis #lazy evaluation #nondeterminism
Improving Lazy Non-Deterministic Computations by Demand Analysis (MH), pp. 130–143.
DATEDATE-2011-BaiocchiC #embedded
Demand code paging for NAND flash in MMU-less embedded systems (JB, BRC), pp. 517–532.
CHICHI-2011-DoringKMPSGS #gesture #interactive #visual notation
Gestural interaction on the steering wheel: reducing the visual demand (TD, DK, PM, MP, JS, VG, AS), pp. 483–492.
EDOCEDOC-2011-BucklGMSS #architecture #enterprise #modelling
Modeling the Supply and Demand of Architectural Information on Enterprise Level (SB, AG, FM, CS, CMS), pp. 44–51.
ICEISICEIS-v4-2011-CuiYZ #analysis #empirical #industrial #social
An Empirical Analysis of the Relationship between Social Consumption Demand Factors and the Cultural Industry in China (LC, HY, HZ), pp. 606–610.
KEODKEOD-2011-ModicaT #semantics
A Semantic Model to Support Advanced Supply-demand Matchmaking in Future Cloud Resources Market (GDM, OT), pp. 429–432.
SIGIRSIGIR-2011-SilvaGVMF #analysis #effectiveness #self #sentiment
Effective sentiment stream analysis with self-augmenting training and demand-driven projection (ISS, JG, AV, WMJ, RF), pp. 475–484.
SACSAC-2011-CaoZGXLWX #incremental #named #on-demand
AoDI: an allocation-on-demand incremental volume based on LVM (RC, CZ, YG, GX, XL, GW, GX), pp. 133–138.
SACSAC-2011-ParisAL #on-demand
Accelerated chaining: a better way to harness peer power in video-on-demand applications (JFP, AA, DDEL), pp. 534–539.
ICSEICSE-2011-DumitruGHCMCM #mining #on-demand #recommendation
On-demand feature recommendations derived from mining public product descriptions (HD, MG, NH, JCH, BM, CCH, MM), pp. 181–190.
PLEASEPLEASE-2011-GurgelDG #case study #integration #on-demand #product line #reuse
On-demand integration of product lines: a study of reuse and stability (ACG, FD, AFG), pp. 35–39.
ISSTAISSTA-2011-YanXR #alias #analysis #java
Demand-driven context-sensitive alias analysis for Java (DY, G(X, AR), pp. 155–165.
CBSECBSE-2010-LiZYYM #component #deployment #middleware
Enabling on Demand Deployment of Middleware Services in Componentized Middleware (YL, MZ, CY, GY, HM), pp. 113–129.
CASECASE-2010-GeK #contract
Integrating advance demand information in supply chain contracts (DG, AK), pp. 380–385.
CASECASE-2010-MazierXS #scheduling
Scheduling inpatient admission under high demand of emergency patients (AM, XX, MS), pp. 792–797.
DocEngDocEng-2010-GiannettiDLSC #estimation #on-demand #performance #profiling
PDF profiling for B&W versus color pages cost estimation for efficient on-demand book printing (FG, GD, RDL, GPeS, AC), pp. 177–180.
SIGMODSIGMOD-2010-CortezSGM #information management #learning #named #on-demand
ONDUX: on-demand unsupervised learning for information extraction (EC, ASdS, MAG, ESdM), pp. 807–818.
RecSysRecSys-2010-Balakrishnan #on-demand #recommendation
On-demand set-based recommendations (SB), pp. 313–316.
OOPSLAOOPSLA-2010-DilligDA #abstraction #axiom #invariant #memory management
Symbolic heap abstraction with demand-driven axiomatization of memory invariants (ID, TD, AA), pp. 397–410.
SACSAC-2010-LvLLC #multi #on-demand #realtime #scheduling
Profit-based on-demand broadcast scheduling of real-time multi-item requests (JL, VCSL, ML, EC), pp. 580–584.
HPCAHPCA-2010-BiCG #interactive #named #on-demand #performance
IADVS: On-demand performance for interactive applications (MB, IC, CG), pp. 1–10.
HPDCHPDC-2010-ChapmanEMCG #architecture #on-demand
Software architecture definition for on-demand cloud provisioning (CC, WE, FGM, SC, AG), pp. 61–72.
ICLPICLP-J-2010-GuzmanCW #evaluation #on-demand
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling (PCdG, MC, DSW), pp. 401–416.
CASECASE-2009-KarnikTS #capacity #modelling #nondeterminism #robust
Robust models for manufacturing capacity planning under demand uncertainty (AK, CST, AS), pp. 310–315.
CASECASE-2009-ZiedSN #maintenance #probability #random
An optimal production/maintenance planning under stochastic random demand, service level and failure rate (ZH, SD, NR), pp. 292–297.
DACDAC-2009-BanerjeePBR
Sustainable data centers: enabled by supply and demand side management (PB, CDP, CB, PR), pp. 884–887.
SIGMODSIGMOD-2009-ChanTWSCH #integration #interactive #named #on-demand #visualisation
Vispedia: on-demand data integration for interactive visualization and exploration (BC, JT, LW, NS, MC, PH), pp. 1139–1142.
HCIHCI-VAD-2009-MajimaNMS #development #on-demand #student #ubiquitous
Development of Ubiquitous On-Demand Study Support Environment for Nursing Students (YM, YN, YM, YS), pp. 149–155.
SACSAC-2009-MasaruS #algorithm #modelling #search-based
Daily demand forecasting of new products utilizing diffusion models and genetic algorithms (TM, MS), pp. 1106–1107.
ICSEICSE-2009-GeayPTRD #analysis #composition #precise #string
Modular string-sensitive permission analysis with demand-driven precision (EG, MP, TT, BGR, JD), pp. 177–187.
ASPLOSASPLOS-2009-GuptaKU #named
DFTL: a flash translation layer employing demand-based selective caching of page-level address mappings (AG, YK, BU), pp. 229–240.
HPCAHPCA-2009-Patt #interface #manycore
Multi-core demands multi-interfaces (YNP), pp. 147–148.
PPoPPPPoPP-2009-Patt #interface #manycore
Multi-core demands multi-interfaces (YNP), pp. 99–100.
ICLPICLP-2009-KoninckDS #normalisation #term rewriting
Demand-Driven Normalisation for ACD Term Rewriting (LDK, GJD, PJS), pp. 484–488.
CASECASE-2008-QianK #component #performance #product line
Supply chain performance with various price-dependent demand functions and component commonality in one product family (LQ, Z(K), pp. 760–765.
HTHT-2008-VuillemotR #navigation #on-demand #visualisation
Mapping visualization on-demand onto a virtual globe: an appealing complement to browser-based navigation (RV, BR), pp. 249–250.
TACASTACAS-2008-AnandGT #composition #execution #symbolic computation
Demand-Driven Compositional Symbolic Execution (SA, PG, NT), pp. 367–381.
FLOPSFLOPS-2008-UnnoK #dependent type #on-demand #refinement
On-Demand Refinement of Dependent Types (HU, NK), pp. 81–96.
ICEISICEIS-HCI-2008-VuillemotRP #architecture #on-demand #scalability #visual notation #visualisation
Anatomy of a Visualization On-Demand Server — A Service Oriented Architecture to Visually Explore Large Data Collections (RV, BR, JMP), pp. 86–93.
ICEISICEIS-J-2008-VuillemotRP08a #on-demand #visualisation
Dissection of a Visualization On-Demand Server (RV, BR, JMP), pp. 348–360.
ICPRICPR-2008-OrtegaGJV #modelling
Background modelling in demanding situations with confidence measure (JARO, GAG, ÁRJ, VLAV), pp. 1–4.
POPLPOPL-2008-ZhengR #alias #analysis #c
Demand-driven alias analysis for C (XZ, RR), pp. 197–208.
SACSAC-2008-BatistaDF #grid #nondeterminism #scheduling
Scheduling grid tasks under uncertain demands (DMB, ACD, NLSdF), pp. 2041–2045.
FSEFSE-2008-LeS #detection #named
Marple: a demand-driven path-sensitive buffer overflow detector (WL, MLS), pp. 272–282.
SPLCSPLC-2008-NiuE #analysis #clustering #functional #on-demand #product line #requirements
On-Demand Cluster Analysis for Product Line Functional Requirements (NN, SME), pp. 87–96.
CAVCAV-2008-PodelskiRW
Heap Assumptions on Demand (AP, AR, TW), pp. 314–327.
CASECASE-2007-GengJ #capacity #nondeterminism
Capacity Planning for Semiconductor Wafer Fabrication with Uncertain Demand and Capacity (NG, ZJ), pp. 100–105.
CASECASE-2007-HablaDMPE
A Short-Term Forecast Method for Demand Quantities in Semiconductor Manufacturing (CH, RD, LM, TP, HE), pp. 94–99.
CASECASE-2007-SchwartzR #modelling #multi
Multi-Objective Control-Relevant Demand Modeling for Production and Inventory Control (JDS, DER), pp. 710–715.
CASECASE-2007-TanonkouBX #design #multi #network #random
Design of multi-commodity distribution network with random demands and supply lead-times (GAT, LB, XX), pp. 698–703.
DATEDATE-2007-SpindlerJ #estimation #performance
Fast and accurate routing demand estimation for efficient routability-driven placement (PS, FMJ), pp. 1226–1231.
SIGMODSIGMOD-2007-ShivamDGIGYBC #automation #database #on-demand #virtual machine
Automated and on-demand provisioning of virtual machines for database applications (PS, AD, PG, DEI, LEG, ARY, SB, JSC), pp. 1079–1081.
PASTEPASTE-2007-LeS #analysis #detection
Refining buffer overflow detection via demand-driven path-sensitive analysis (WL, MLS), pp. 63–68.
CHICHI-2007-PettittBS #information management #predict #visual notation
An extended keystroke level model (KLM) for predicting the visual demand of in-vehicle information systems (MP, GEB, AS), pp. 1515–1524.
HCIHIMI-IIE-2007-BaekPKJ
e-Sports Live: e-Sports Relay Broadcasting on Demand (WB, AP, JK, KJ), pp. 685–693.
EDOCEDOC-2007-Lankhorst #architecture #towards
Towards A Service-Oriented Architecture for Demand-Driven e Government (MML), pp. 214–228.
ICEISICEIS-AIDSS-2007-LevashovaPL #approach #enterprise #modelling
Provision of Context-Sensitive Enterprise Knowledge for Decision Support: An Approach based on Enterprise Models and Information Demand Contexts (TL, MP, ML), pp. 88–93.
ICEISICEIS-DISI-2007-DangelmaierRHBKDT #information management #named #reliability
OOPUS — a production planning information system to assure high delivery reliability under short-term demand changes and production disturbances (WD, TR, TH, DB, DK, AD, TT), pp. 423–432.
ICEISICEIS-SAIC-2007-HeRBSG #design
A Design for Business Intelligence Service in Demand Driven Supply Chain Management (TH, PR, RB, LS, CAG), pp. 20–25.
KDDKDD-2007-Anderson
Calculating latent demand in the long tail (CA), p. 1.
MLDMMLDM-2007-AburtoW #hybrid #predict
A Sequential Hybrid Forecasting System for Demand Prediction (LA, RW), pp. 518–532.
LCTESLCTES-2007-InSK #memory management #named
SWL: a search-while-load demand paging scheme with NAND flash memory (JI, IS, HK), pp. 217–226.
ICLPICLP-2007-CostaSL #prolog
Demand-Driven Indexing of Prolog Clauses (VSC, KFS, RL), pp. 395–409.
CBSECBSE-2006-TibermacineFS #component #evolution #on-demand
On-Demand Quality-Oriented Assistance in Component-Based Software Evolution (CT, RF, SS), pp. 294–309.
CASECASE-2006-ChenYY #algorithm #simulation
Backward-traversing Waveform Relaxation Algorithm for Circuit Simulation and Simulation on Demand (CJC, JLY, TNY), pp. 134–139.
CASECASE-2006-TanonkouBX #design #network #random
Distribution network design with random demand and unreliable suppliers (GAT, LB, XX), pp. 15–20.
PLDIPLDI-2006-ErtlCG #automaton #flexibility #on-demand #performance
Fast and flexible instruction selection with on-demand tree-parsing automata (MAE, KC, DG), pp. 52–60.
DACDAC-2005-TiwaryR #megamodelling #on-demand #scalability
Scalable trajectory methods for on-demand analog macromodel extraction (SKT, RAR), pp. 403–408.
DATEDATE-2005-Hughes #challenge
Striking a New Balance in the Nanometer Era: First-Time-Right and Time-to-Market Demands Versus Technology Challenges (GH), p. 3.
DATEDATE-2005-PradeepVBK #agile #on-demand
FPGA based Agile Algorithm-On-Demand Co-Processor (RP, SV, SB, VK), pp. 82–83.
STOCSTOC-2005-CodenottiMV #equilibrium
Market equilibrium via the excess demand function (BC, BM, KRV), pp. 74–83.
STOCSTOC-2005-HajiaghayiKLR #graph #random
Oblivious routing in directed graphs with random demands (MTH, JHK, TL, HR), pp. 193–201.
SEFMSEFM-2005-Leino #invariant
Invariants on Demand (KRML), pp. 148–149.
ICEISICEIS-v1-2005-KircheZT #corba #realtime
Real-Time Sales & Operations Planning with Corba: Linking Demand Management with Production Planning (ETK, JZ, TT), pp. 122–129.
OOPSLAOOPSLA-2005-SridharanGSB #analysis #java #points-to
Demand-driven points-to analysis for Java (MS, DG, LS, RB), pp. 59–76.
PPDPPPDP-2005-SahaR #analysis #incremental #logic programming #points-to #using
Incremental and demand-driven points-to analysis using logic programming (DS, CRR), pp. 117–128.
ICSEICSE-2005-MisurdaCRCS #testing
Demand-driven structural testing with dynamic instrumentation (JM, JAC, JLR, BRC, MLS), pp. 156–165.
CCCC-2005-MisurdaCRCS #named #testing
Jazz: A Tool for Demand-Driven Structural Testing (JM, JAC, JLR, BRC, MLS), pp. 242–245.
COCVCOCV-J-2005-Langmaack #question #reasoning #what
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer? (HL), pp. 5–32.
HPDCHPDC-2005-SonAL #named #on-demand #traversal
CODO: firewall traversal by cooperative on-demand opening (SCS, BA, ML), pp. 233–242.
DATEDATE-v2-2004-MaxiaguineKT #execution
Workload Characterization Model for Tasks with Variable Execution Demand (AM, SK, LT), pp. 1040–1045.
ICEISICEIS-v3-2004-PanedaMGGN #analysis #monitoring #predict #video
Analysis and Configuration Methodology for Video on Demand Services Based on Monitoring Information and Prediction (XGP, DM, RG, VGG, ÁN), pp. 289–294.
KDDKDD-2004-AggarwalHWY #classification #data type #on the
On demand classification of data streams (CCA, JH, JW, PSY), pp. 503–508.
ECOOPECOOP-2004-SpoonS #precise #scalability #type inference
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability (SAS, OS), pp. 51–74.
SACSAC-2004-FoulirasXTM #lightweight #multi #named #performance #protocol #video
LEMP: Lightweight Efficient Multicast Protocol for video on demand (PEF, SX, NT, AM), pp. 1226–1231.
SACSAC-2004-GustafssonH #database #on-demand #realtime
Dynamic on-demand updating of data in real-time database systems (TG, JH), pp. 846–853.
DATEDATE-2003-KandemirKZ #energy #evaluation #implementation #on-demand
Implementation and Evaluation of an On-Demand Parameter-Passing Strategy for Reducing Energy (MTK, IK, WZ), pp. 11058–11063.
VLDBVLDB-2003-Mattos
Integrating Information for On Demand Computing (NMM), pp. 8–14.
WCREWCRE-2003-AliasB #algorithm #analysis #data flow #recognition
Algorithm Recognition based on Demand-Driven Data-flow Analysis (CA, DB), pp. 296–305.
ICALPICALP-2003-ChekuriMS #multi
Multicommodity Demand Flow in a Tree (CC, MM, FBS), pp. 410–425.
ECIRECIR-2003-BertoldiBCFGLS #framework
The ITC-irst News on Demand Platform (NB, FB, MC, MF, DG, EL, VS), pp. 520–527.
SIGIRSIGIR-2003-WuRDCMHY #named
SE-LEGO: creating metasearch engines on demand (ZW, VVR, CD, KSC, WM, HH, CTY), p. 464.
PPDPPPDP-2003-Virseda #calculus
A demand-driven narrowing calculus with overlapping definitional trees (RdVV), pp. 253–263.
SACSAC-2003-HuaTV #internet #multi #video
Overlay Multicast for Video On Demand on the Internet (KAH, DAT, RV), pp. 935–942.
HPDCHPDC-2003-JiangX #architecture #named #on-demand
SODA: A Service-On-Demand Architecture for Application Service Hosting Utility Platforms (XJ, DX), pp. 174–183.
CSMRCSMR-2002-HajnalF #algorithm #precise
A Precise Demand-Driven Def-Use Chaining Algorithm (ÁH, IF), p. 77–?.
ICFPICFP-2002-DubeF #adaptation #analysis
A demand-driven adaptive type analysis (DD, MF), pp. 84–97.
OOPSLAOOPSLA-2002-MeziniO #component #independence #on-demand
Integrating independent components with on-demand remodularization (MM, KO), pp. 52–67.
SACSAC-2002-RoccettiGSGMPS #internet #on-demand
The structuring of a wireless internet application for a music-on-demand service on UMST devices (MR, VG, PS, AG, DM, MP, DS), pp. 1066–1073.
CCCC-2002-AgrawalLS #graph
Evaluating a Demand Driven Technique for Call Graph Construction (GA, JL, QS), pp. 29–45.
ISMMISMM-2002-KaplanMC #adaptation
Adaptive caching for demand prepaging (SFK, LAM, MFC), pp. 221–232.
SATSAT-2002-RuessM #satisfiability
Lemmas on demand for Satisfiability solvers (HR, LdM), p. 17.
VLDBVLDB-2001-AksoyZF #on-demand #staging
Data Staging for On-Demand Broadcast (DA, MJF, SBZ), pp. 571–580.
PLDIPLDI-2001-HeintzeT #analysis #pointer
Demand-Driven Pointer Analysis (NH, OT), pp. 24–34.
CIKMCIKM-2001-HuangPC #mobile #on-demand
Binary Interpolation Search for Solution Mapping on Broadcast and On-demand Channels in a Mobile Computing Environment (JLH, WCP, MSC), pp. 434–441.
PPDPPPDP-2001-Lucas #on-demand #source code #termination
Termination of On-Demand Rewriting and Termination of OBJ Programs (SL), pp. 82–93.
WRLAWRLA-2000-NakamuraO #evaluation #normalisation #on-demand
The evaluation strategy for head normal form with and without on-demand flags (MN, KO), pp. 212–228.
PLDIPLDI-2000-BodikGS #array #bound #named
ABCD: eliminating array bounds checks on demand (RB, RG, VS), pp. 321–333.
CSCWCSCW-2000-HeGG #design #on-demand
Designing presentations for on-demand viewing (LH, JG, AG), pp. 127–134.
ICEISICEIS-2000-Dunsby
Serving the Demands of E-Business (BD), p. XXV.
ICEISICEIS-2000-SheeTT #architecture
Keys to the Supply-Demand Architecture in Electronic Commerce (DYS, TIT, JtET), pp. 494–498.
CIKMCIKM-2000-XuHLL #named #on-demand #performance #policy
SAIU: An Efficient Cache Replacement Policy for Wireless On-demand Broadcasts (JX, QH, DLL, WCL), pp. 46–53.
ICPRICPR-v2-2000-JainJV #experience #network #using
Short-Term Water Demand Forecasting Using Artificial Neural Networks: IIT Kanpur Experience (AJ, UCJ, AKV), pp. 2459–2462.
SACSAC-2000-OgataF #evaluation #on-demand #semantics
Operational Semantics of Rewriting with the On-demand Evaluation Strategy (KO, KF), pp. 756–764.
ICSEICSE-2000-CrnkovicL #case study #component #development
A case study: demands on component-based development (IC, ML), pp. 23–31.
CCCC-2000-Agrawal #graph
Demand-Driven Construction of Call Graphs (GA), pp. 125–140.
ICSMEICSM-1999-Agrawal #analysis #data flow #graph
Simultaneous Demand-Driven Data-Flow and Call Graph Analysis (GA), pp. 453–462.
HCIHCI-CCAD-1999-OppermannS #adaptation #learning #mobile
Adaptive mobile museum guide for information and learning on demand (RO, MS), pp. 642–646.
HCIHCI-CCAD-1999-Rentzsch #design
Human-computer-interactions in call centres — ergonomic demands and design solutions (MR), pp. 1311–1315.
HCIHCI-EI-1999-KasamatsuAFIN
Effect of Menstrual Cycle on Monotonous Works Demand High Awaking Conditions (KK, MA, MFF, KI, SPN), pp. 167–172.
HCIHCI-EI-1999-Perinotti #multi #on-demand #web
Benefits of Internationalizing Software and Successful On-Demand Multilingual Web Publishing (TP), pp. 1337–1339.
IFLIFL-1998-Pape #higher-order
Higher Order Demand Propagation (DP), pp. 153–168.
SACSAC-1998-ShiG #memory management #on-demand
Trading memory for disk bandwidth in video-on-demand servers (WS, SG), pp. 505–512.
HPDCHPDC-1998-KapadiaF #design #on the
On the Design of a Demand-Based Network-Computing System: The Purdue University Network-Computing Hub (NHK, JABF), pp. 71–80.
VLDBVLDB-1997-TriantafillouP #multi #on-demand
On-Demand Data Elevation in Hierarchical Multimedia Storage Servers (PT, TP), pp. 226–235.
HCIHCI-CC-1997-SchmitzNCS #development
Emotional Demands in Musculoskeletal Discomfort: Development of a New Questionnaire (WS, LN, PC, MJS), pp. 505–508.
HCIHCI-SEC-1997-KohtakeYA #communication #process #strict
Reducing Restriction of Activity in Media Communication with Demand Driven Viewer (NK, YY, YA), pp. 189–192.
SIGIRSIGIR-1997-Aaronson #hypermedia
Optimal Demand-oriented Topology for Hypertext Systems (SA), pp. 168–177.
POPLPOPL-1997-Biswas #analysis
A Demand-Driven Set-Based Analysis (SKB), pp. 372–385.
RERE-1997-Fickas
Software on Demand: Issues for RE (SF), pp. 222–223.
ICLPICLP-1997-DecorteS #analysis #automation #constraints #logic programming #source code
Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs (SD, DDS), pp. 78–92.
SEKESEKE-1996-OrjiN #interactive #layout #on-demand
Data Layout for Interactive Video-on-Demand Storage Systems (CUO, KCN), pp. 285–292.
ICSEICSE-1996-DuesterwaldGS #data flow #integration #testing
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level (ED, RG, MLS), pp. 575–584.
ASPLOSASPLOS-1996-FoxGBA #adaptation #network #on-demand #variability
Adapting to Network and Client Variability via On-Demand Dynamic Distillation (AF, SDG, EAB, EA), pp. 160–170.
HPDCHPDC-1996-BourasKMOST #hypermedia #multi #network #on-demand
On-Demand Hypermedia/Multimedia Service over Broadband Networks (CB, VK, DM, VO, PGS, AT), pp. 224–231.
HPDCHPDC-1996-TsoiR #collaboration #email #multi #on-demand #web
“Media-on-Demand” Multimedia Electronic Mail: A Tool for Collaboration on the Web (KNT, SMR), pp. 121–126.
ICLPJICSLP-1996-FalaschiHW #analysis #concurrent #constraints #source code
Demand Transformation Analysis for Concurrent Constraint Programs (MF, PH, WHW), pp. 333–347.
SIGMODSIGMOD-1995-FreedmanD #on-demand #scalability
The SPIFFI Scalable Video-on-Demand System (CSF, DJD), pp. 352–363.
POPLPOPL-1995-DuesterwaldGS #data flow #interprocedural
Demand-driven Computation of Interprocedural Data Flow (ED, RG, MLS), pp. 37–48.
ESECESEC-1995-Schwartzel #industrial
Demands and Perspectives for Future Software Engineers: An Industrial Viewpoint (Abstract) (HS), pp. 1–2.
FSEFSE-1995-HorwitzRS #analysis #data flow #interprocedural
Demand Interprocedural Dataflow Analysis (SH, TWR, SS), pp. 104–115.
VLDBVLDB-1994-NgY #on-demand
Maximizing Buffer and Disk Utilizations for News On-Demand (RTN, JY), pp. 451–462.
VLDBVLDB-1994-OzdenBRS #database #low cost
A Low-Cost Storage Server for Movie on Demand Databases (, AB, RR, AS), pp. 594–605.
SACSAC-1994-AwadS #multi #on-demand
Synchronization in the multimedia on-demand systems (MA, HS), pp. 1–5.
SACSAC-1994-StoltzWG #constant
Constant propagation: a fresh, demand-driven look (ES, MW, MPG), pp. 400–404.
CCCC-1994-Reps #analysis #interprocedural #problem
Solving Demand Versions of Interprocedural Analysis Problems (TWR), pp. 389–403.
HCIHCI-ACS-1993-LindstromLP #implementation
Follow-up of Job Demands and Strain Symptoms after Implementation of New VDT Applications in an Insurance Company (KL, TL, MP), pp. 1005–1010.
PPDPPLILP-1993-LoogenFR #lazy evaluation
A Demand Driven Computation Strategy for Lazy Narrowing (RL, FJLF, MRA), pp. 184–200.
SASWSA-1992-ParkG #analysis #lazy evaluation
Order-of-Demand Analysis for Lazy Languages (YGP, BG), pp. 91–101.
FPCAFPCA-1991-LeungM #lazy evaluation #reasoning
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages (AL, PM), pp. 328–351.
DACDAC-1990-SubramanianZ #distributed #logic #parallel #simulation
Distributed and Parallel Demand Driven Logic Simulation (KS, MRZ), pp. 485–490.
PLDIPLDI-1990-BallanceMO #dependence #imperative #representation #web
The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages (RAB, ABM, KJO), pp. 257–271.
DACDAC-1987-Rosenberg87a #interactive
A New Interactive Supply/Demand Router with Rip-Up Capability for Printed Circuit Boards (ER), pp. 721–726.
DACDAC-1987-SmithMB #simulation
Demand Driven Simulation: BACKSIM (SPS, MRM, BB), pp. 181–187.
HCIHCI-SES-1987-GansterHT #development
Development of a Scale to Assess Occupational Cognitive Demands (DCG, JJHJ, LTT), pp. 231–238.
ICALPICALP-1983-Moller #algebra #data-driven #evaluation #functional #lazy evaluation #semantics
An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language (BM), pp. 513–526.
SOSPSOSP-1977-Potier #analysis #policy #set
Analysis of Demand Paging Policies with Swapped Working Sets (DP), pp. 125–131.
SOSPSOSP-1975-BrundageB #source code
Computational Processor Demands of Algol-60 Programs (REB, APB), pp. 161–168.
SOSPSOSP-1975-CoffmanM #scheduling
Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands (EGCJ, IM), pp. 187–191.
DACDAC-1972-Dudnik #architecture #nondeterminism #optimisation
Optimization of planning and architectural decisions under conditions of uncertain demand (EED), pp. 213–219.
SOSPSOSP-1971-WinogradMH #memory management #operating system #simulation
Simulation Studies of a Virtual Memory, Time Shared, Demand Paging Operating System (JW, SJM, RH), pp. 149–155.

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.