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:
system (132)
manag (102)
base (89)
use (82)
model (67)

Stem resourc$ (all stems)

776 papers:

CASECASE-2015-FeiAR #bound #clustering #resource management #symbolic computation #using
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques (ZF, , SAR), pp. 799–806.
CASECASE-2015-FerrerALVLH #approach #assembly #automation #process
An approach for knowledge-driven product, process and resource mappings for assembly automation (BRF, BA, AL, DAV, JLML, RH), pp. 1104–1109.
DACDAC-2015-FernandezJAQVC15a #manycore #off the shelf #resource management
Resource usage templates and signatures for COTS multicore processors (GF, JJ, JA, EQ, TV, FJC), p. 6.
DACDAC-2015-KhdrPSH #resource management
Thermal constrained resource management for mixed ILP-TLP workloads in dark silicon chips (HK, SP, MS, JH), p. 6.
DACDAC-2015-WangH0LL #logic #memory management #named
ProPRAM: exploiting the transparent logic resources in non-volatile memory for near data computing (YW, YH, LZ, HL, XL), p. 6.
DATEDATE-2015-AhsanK #architecture #optimisation #quantum #using
Optimization of quantum computer architecture using a resource-performance simulator (MA, JK), pp. 1108–1113.
HTHT-2015-MishraDBS #analysis #incremental #learning #sentiment
Sentiment Analysis with Incremental Human-in-the-Loop Learning and Lexical Resource Customization (SM, JD, JB, ES), pp. 323–325.
SIGMODSIGMOD-2015-DokaPTMK #big data #data analysis #multi #named #workflow
IReS: Intelligent, Multi-Engine Resource Scheduler for Big Data Analytics Workflows (KD, NP, DT, CM, NK), pp. 1451–1456.
SIGMODSIGMOD-2015-HuangBTRTR #machine learning #scalability
Resource Elasticity for Large-Scale Machine Learning (BH, MB, YT, BR, ST, FRR), pp. 137–152.
ITiCSEITiCSE-2015-Koppelman #case study #web
Enriching a Course with Web Resources: a Case Study (HK), pp. 284–289.
FASEFASE-2015-ShinBOBH #prototype #specification
Resource Specification for Prototyping Human-Intensive Systems (SYS, YB, LJO, HB, PLH), pp. 332–346.
TACASTACAS-2015-AlbertFR #analysis #cumulative
Non-cumulative Resource Analysis (EA, JCF, GRD), pp. 85–100.
SANERSANER-2015-LiZXBPGZ #named #online #programming
amAssist: In-IDE ambient search of online programming resources (HL, XZ, ZX, LB, XP, DG, WZ), pp. 390–398.
PEPMPEPM-2015-LeCT #concurrent #thread #verification
Threads as Resource for Concurrency Verification (DKL, WNC, YMT), pp. 73–84.
PLDIPLDI-2015-Carbonneaux0S #bound #composition
Compositional certified resource bounds (QC, JH, ZS), pp. 467–478.
FMFM-2015-AlbertACGGMPR #analysis #concurrent #distributed #source code
Resource Analysis: From Sequential to Concurrent and Distributed Programs (EA, PA, JC, SG, MGZ, EMM, GP, GRD), pp. 3–17.
CHICHI-2015-WoltersKMDM #corpus #design #interface
The CADENCE Corpus: A New Resource for Inclusive Voice Interface Design (MKW, JK, SEM, MD, JDM), pp. 3963–3966.
CSCWCSCW-2015-TrainerCKH #community #question #what
From Personal Tool to Community Resource: What’s the Extra Work and Who Will Do It? (EHT, CC, AK, JDH), pp. 417–430.
HCIDUXU-UI-2015-GuimaraesS #simulation
Humanizing Labor Resource in a Discrete Event Manufacturing Simulation Software (LBdMG, CSS), pp. 14–22.
HCIHIMI-IKD-2015-SharmaMMTD #graph #modelling
A Team Hiring Solution Based on Graph-Based Modelling of Human Resource Entities (AS, JM, AM, AT, PD), pp. 115–126.
HCILCT-2015-Sein-EchaluceBG #education #information management #social #using
A Knowledge Management System to Classify Social Educational Resources Within a Subject Using Teamwork Techniques (MLSE, ÁFB, FJGP, MÁCG), pp. 510–519.
CAiSECAiSE-2015-CabanillasKRRMC #named #process #visual notation
RALph: A Graphical Notation for Resource Assignments in Business Processes (CC, DK, MR, MR, JM, ARC), pp. 53–68.
ICEISICEIS-v1-2015-ArevaloRC #approach #information management #legacy #modelling #process
Discovering Business Models for Software Process Management — An Approach for Integrating Time and Resource Perspectives from Legacy Information Systems (CA, IMR, MJEC), pp. 353–359.
ICEISICEIS-v1-2015-FreitasJR #fuzzy #resource management #workflow
Fuzzy Resource Allocation Mechanisms in Workflow Nets (JCJdF, SJ, LPdR), pp. 471–478.
ICEISICEIS-v2-2015-FrantzSRYE #ecosystem #integration #markov #on the #process #using
On using Markov Decision Processes to Model Integration Solutions for Disparate Resources in Software Ecosystems (RZF, SS, FRF, IY, MTME), pp. 260–267.
ICEISICEIS-v3-2015-NyameB #information management
The Adoption and Use of Human Resource Information System (HRIS) in Ghana (PKON, RB), pp. 130–138.
ECIRECIR-2015-BouchouchaLN #query #towards
Towards Query Level Resource Weighting for Diversified Query Expansion (AB, XL, JYN), pp. 1–12.
KDDKDD-2015-JohnsonB #resource management
Structured Hedging for Resource Allocations with Leverage (NJ, AB), pp. 477–486.
SIGIRSIGIR-2015-LiuJG #comprehension #education
Scientific Information Understanding via Open Educational Resources (OER) (XL, ZJ, LG), pp. 645–654.
MoDELSMoDELS-2015-KrikavaRS #framework #modelling #resource management #runtime #towards
Infrastructure as runtime models: Towards Model-Driven resource management (FK, RR, LS), pp. 100–105.
OOPSLAOOPSLA-2015-BrutschyFTP #named #resource management
ShamDroid: gracefully degrading functionality in the presence of limited resource access (LB, PF, OT, MP), pp. 316–331.
GPCEGPCE-2015-ByalikCT #automation #named #programming #synthesis
Native-2-native: automated cross-platform code synthesis from web-based programming resources (AB, SC, ET), pp. 99–108.
QAPLQAPL-2015-BortolussiNGGHL #adaptation #markov #named
CARMA: Collective Adaptive Resource-sharing Markovian Agents (LB, RDN, VG, SG, JH, DL, ML, MM), pp. 16–31.
SACSAC-2015-AttiaTHKTC #detection
On-device anomaly detection for resource-limited systems (MBA, CT, AHL, BK, VT, MC), pp. 548–554.
SACSAC-2015-JuniorSM #approach #semantics
An approach for building lexical-semantic resources based on heterogeneous information sources (JGdAJ, US, LBM), pp. 402–408.
SACSAC-2015-KundeM #middleware #resource management
Workload characterization model for optimal resource allocation in cloud middleware (SK, TM), pp. 442–447.
SACSAC-2015-SharmaMDH #trust
Bi-directional trust index computation in resource marketplace (AS, TM, PD, VGH), pp. 2305–2311.
SACSAC-2015-TambeN #behaviour #game studies #modelling #resource management #robust #security
Robust resource allocation in security games and ensemble modeling of adversary behavior (AT, TN), pp. 277–282.
SACSAC-2015-VianaTVAGA #architecture #as a service
A service-oriented architecture for billing resources in IaaS cloud platforms (NPV, FT, RV, RMCA, VCG, REA), pp. 1719–1721.
ICSEICSE-v2-2015-RaudjarvG #android #runtime
JRebel.Android: Runtime Class- and Resource Reloading for Android (RR, ARG), pp. 741–744.
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.
CGOCGO-2015-LiYLZ #automation #gpu #memory management
Automatic data placement into GPU on-chip memory resources (CL, YY, ZL, HZ), pp. 23–33.
HPCAHPCA-2015-WangM #approach #architecture #manycore #named #resource management #scalability
XChange: A market-based approach to scalable dynamic multi-resource allocation in multicore architectures (XW, JFM), pp. 113–125.
HPDCHPDC-2015-KlusacekCR #optimisation
Planning and Optimization in TORQUE Resource Manager (DK, VC, HR), pp. 203–206.
HPDCHPDC-2015-PatkiLSMRSS #performance #resource management
Practical Resource Management in Power-Constrained, High Performance Computing (TP, DKL, AS, MM, BR, MS, BRdS), pp. 121–132.
HPDCHPDC-2015-WangZQLMR #consistency #distributed #scalability #towards
Towards Scalable Distributed Workload Manager with Monitoring-Based Weakly Consistent Resource Stealing (KW, XZ, KQ, ML, BM, IR), pp. 219–222.
HPDCHPDC-2015-ZhouHCL #as a service #declarative #optimisation #resource management #workflow
A Declarative Optimization Engine for Resource Provisioning of Scientific Workflows in IaaS Clouds (ACZ, BH, XC, CTL), pp. 223–234.
HPDCHPDC-2015-ZhouLLPZ #abstraction #graph #parallel #performance
Fast Iterative Graph Computation with Resource Aware Graph Parallel Abstractions (YZ, LL, KL, CP, QZ), pp. 179–190.
TLCATLCA-2015-HofmannM #analysis #multi #term rewriting
Multivariate Amortised Resource Analysis for Term Rewrite Systems (MH, GM), pp. 241–256.
QoSAQoSA-2014-BrunnertWK #architecture #enterprise #modelling #performance #using
Using architecture-level performance models as resource profiles for enterprise applications (AB, KW, HK), pp. 53–62.
WICSAWICSA-2014-BiancoMKR #bound #case study #ecosystem #framework
The Role of Platform Boundary Resources in Software Ecosystems: A Case Study (VdB, VM, MK, MR), pp. 11–20.
ASEASE-2014-OhmannHFHPBB #behaviour #model inference #resource management
Behavioral resource-aware model inference (TO, MH, SF, AH, MP, IB, YB), pp. 19–30.
DACDAC-2014-HollerDKSF #co-evolution #design #encryption #hardware
Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource-Constrained Applications (AH, ND, CK, CS, TF), p. 6.
DACDAC-2014-SiyoumGC #analysis #data flow
Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources (FS, MG, HC), p. 6.
DACDAC-2014-WietfeldID #mobile #performance
Resource Efficient Mobile Communications for Crowd-Sensing (CW, CI, BD), p. 6.
DATEDATE-2014-Braak #adaptation #embedded #scalability #using
Using guided local search for adaptive resource reservation in large-scale embedded systems (TDtB), pp. 1–4.
DATEDATE-2014-CasparLH #automation #strict #testing #using
Automated system testing using dynamic and resource restricted clients (MC, ML, WH), pp. 1–4.
DATEDATE-2014-LiuSZSC #constraints #latency #optimisation #streaming
Resource optimization for CSDF-modeled streaming applications with latency constraints (DL, JS, JTZ, TS, GC), pp. 1–6.
DATEDATE-2014-NaqviS #resource management
A tree arbiter cell for high speed resource sharing in asynchronous environments (SRN, AS), pp. 1–6.
DATEDATE-2014-ReinekeW #performance #predict #resource management
Impact of resource sharing on performance and performance prediction (JR, RW), pp. 1–2.
DATEDATE-2014-SanderSDBBBMKALHRHH #hardware #manycore
Hardware virtualization support for shared resources in mixed-criticality multicore systems (OS, TS, VVD, SB, FB, JB, HUM, DK, DA, EL, JH, AR, CH, AH), pp. 1–6.
DATEDATE-2014-Stenstrom #effectiveness #performance #resource management #towards
Effective resource management towards efficient computing (PS), p. 1.
DATEDATE-2014-WildermannGT #distributed #multi #resource management #runtime
Multi-objective distributed run-time resource management for many-cores (SW, MG, JT), pp. 1–6.
HTHT-2014-KawaseSNHN
Exploiting the wisdom of the crowds for characterizing and connecting heterogeneous resources (RK, PS, BPN, EH, WN), pp. 56–65.
SIGMODSIGMOD-2014-FanWW #bound #graph #query
Querying big graphs within bounded resources (WF, XW, YW), pp. 301–312.
SIGMODSIGMOD-2014-YamamotoIF #approximate #data type #mining
Resource-oriented approximation for frequent itemset mining from bursty data streams (YY, KI, SF), pp. 205–216.
VLDBVLDB-2014-QinHLYT #named #reliability #volunteer
Fatman: Cost-saving and reliable archival storage based on volunteer resources (AQ, DH, JL, WY, DT), pp. 1748–1753.
VLDBVLDB-2014-ZhangLTYTX #fault tolerance #internet #named #resource management #scheduling
Fuxi: a Fault-Tolerant Resource Management and Job Scheduling System at Internet Scale (ZZ, CL, YT, RY, HT, JX), pp. 1393–1404.
VLDBVLDB-2015-LiNN14 #database #parallel
Resource Bricolage for Parallel Database Systems (JL, JFN, RVN), pp. 25–36.
ESOPESOP-2014-GhicaS #bound #linear
Bounded Linear Types in a Resource Semiring (DRG, AIS), pp. 331–350.
ESOPESOP-2014-NanevskiLSD #communication #concurrent #fine-grained
Communicating State Transition Systems for Fine-Grained Concurrent Resources (AN, RLW, IS, GAD), pp. 290–310.
FoSSaCSFoSSaCS-2014-Lang #automaton #game studies #graph #reachability
Resource Reachability Games on Pushdown Graphs (ML0), pp. 195–209.
FLOPSFLOPS-2014-HoffmannS #analysis #array #integer #type system
Type-Based Amortized Resource Analysis with Integers and Arrays (JH, ZS), pp. 152–168.
CHICHI-2014-JoshiRRESKPSRSSVR #people
Supporting treatment of people living with HIV / AIDS in resource limited settings with IVRs (ANJ, MR, DR, NE, PS, NK, SP, DS, RR, DGS, KS, EV, RR), pp. 1595–1604.
CSCWCSCW-2014-LampeGFE #facebook
Help is on the way: patterns of responses to resource requests on facebook (CL, RG, ATF, NBE), pp. 3–15.
HCIDUXU-ELAS-2014-GoodS #design #health #interface #people #web
Accessing Web Based Health Care and Resources for Mental Health: Interface Design Considerations for People Experiencing Mental Illness (AG, AS), pp. 25–33.
CAiSECAiSE-2014-PikaWFHLA #behaviour #framework #using
An Extensible Framework for Analysing Resource Behaviour Using Event Logs (AP, MTW, CJF, AHMtH, ML, WMPvdA), pp. 564–579.
ICEISICEIS-v1-2014-BouzidCFP #approach #enterprise #retrieval #semantics
A Pattern-based Approach for Semantic Retrieval of Information Resources in Enterprises — Application Within STMicroelectronics (SB, CC, CSF, JP), pp. 193–200.
ICEISICEIS-v1-2014-MezghaniPZAS #detection #social
Analyzing Tagged Resources for Social Interests Detection (MM, AP, CAZ, IA, FS), pp. 340–345.
ICEISICEIS-v2-2014-GulnazMT #information management
University’s Scientific Resources Processing in Knowledge Management Systems (GZ, MM, TB), pp. 225–232.
ICEISICEIS-v2-2014-HaoH #bibliography #enterprise
Cloud-based Enterprise Resources Planning System (ERP) — A Review of the Literature (YH, PH), pp. 185–192.
ICEISICEIS-v2-2014-OtonBGGB #learning #metadata #using
Description of Accessible Learning Resources by Using Metadata (SO, CB, EG, AGC, RB), pp. 620–626.
ICEISICEIS-v2-2014-SamejimaMK #flexibility #resource management
Flexible Peak Shaving in Data Center by Suppression of Application Resource Usage (MS, HTM, NK), pp. 355–360.
ECIRECIR-2014-BouchouchaLN #multi #query
Integrating Multiple Resources for Diversified Query Expansion (AB, XL, JYN), pp. 437–442.
KEODKEOD-2014-TawfikGB #framework #interactive #multi
An Interactive Platform for Multilingual Linguistic Resource Enrichment (AT, FG, FB), pp. 195–206.
KMISKMIS-2014-BartuskovaK #information management #learning
Knowledge Management and Sharing in E-Learning — Hierarchical System for Managing Learning Resources (AB, OK), pp. 179–185.
SEKESEKE-2014-ParkSHSHB #algorithm #resource management #search-based #using
Practical Human Resource Allocation in Software Projects Using Genetic Algorithm (JP, DS, GH, DS, JH, DHB), pp. 688–694.
SACSAC-2014-ChangCHKL #analysis #behaviour #mobile
Application behavior analysis in resource consumption for mobile devices (SWC, SWC, PCH, TWK, CWL), pp. 1469–1474.
SACSAC-2014-WangW #network
Wavelength resources based lightpath-level active rerouting in all-optical WDM networks (SWW, CYW), pp. 495–500.
ASPLOSASPLOS-2014-DelimitrouK #clustering #named
Quasar: resource-efficient and QoS-aware cluster management (CD, CK), pp. 127–144.
ASPLOSASPLOS-2014-ZahediL #multi #named
REF: resource elasticity fairness with sharing incentives for multiprocessors (SMZ, BCL), pp. 145–160.
HPCAHPCA-2014-JungK #named #resource management
Sprinkler: Maximizing resource utilization in many-chip solid state disks (MJ, MTK), pp. 524–535.
HPCAHPCA-2014-LeeSMKSCR #concurrent #resource management #scheduling #thread
Improving GPGPU resource utilization through alternative thread block scheduling (ML, SS, JM, JK, WS, YGC, SR), pp. 260–271.
CAVCAV-2014-MadhavanK #bound #functional #source code
Symbolic Resource Bound Inference for Functional Programs (RM, VK), pp. 762–778.
ICLPICLP-J-2014-SerranoLH #abstract interpretation #analysis #logic programming #resource management #source code #using
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (AS, PLG, MVH), pp. 739–754.
ASEASE-2013-GuoZYZZ #android #detection
Characterizing and detecting resource leaks in Android applications (CG, JZ, JY, ZZ, YZ), pp. 389–398.
CASECASE-2013-TanTL #policy #resource management
Improving patient length-of-stay in emergency department through dynamic resource allocation policies (KWT, WHT, HCL), pp. 984–989.
CASECASE-2013-YueH #concurrent #robust #using
Robust deadlock control using shared-resources for production systems with unreliable workstations (HY, HH), pp. 1095–1100.
CASECASE-2013-ZhengC #enterprise #industrial
Master production schedule and system for excelling enterprise resources (SEER) in the LED industry (JNZ, CFC), pp. 1034–1039.
DACDAC-2013-AnagnostopoulosTBS #distributed #manycore #resource management #runtime
Distributed run-time resource management for malleable applications on many-core platforms (IA, VT, AB, DS), p. 6.
DACDAC-2013-ChenXKGHKOA #design #manycore #scalability
Dynamic voltage and frequency scaling for shared resources in multicore processor designs (XC, ZX, HK, PVG, JH, MK, ÜYO, RZA), p. 7.
DACDAC-2013-ColmenaresEHBMCGRBMAK #adaptation #named #refactoring
Tessellation: refactoring the OS around explicit resource containers with continuous adaptation (JAC, GE, SAH, SB, MM, DC, BG, ER, DBB, NM, KA, JK), p. 10.
DATEDATE-2013-CanisAB #multi #reduction #synthesis
Multi-pumping for resource reduction in FPGA high-level synthesis (AC, JHA, SDB), pp. 194–197.
DATEDATE-2013-ChenZ #design #optimisation
Resource-constrained high-level datapath optimization in ASIP design (YC, HZ), pp. 198–201.
DATEDATE-2013-GiraoSW #clustering #policy
Exploring resource mapping policies for dynamic clustering on NoC-based MPSoCs (GG, TS, FRW), pp. 681–684.
DATEDATE-2013-GoswamiMSXC #design #multi
Multirate controller design for resource- and schedule-constrained automotive ECUs (DG, AM, RS, CJX, SC), pp. 1123–1126.
DATEDATE-2013-Kozyrakis #performance
Resource efficient computing for warehouse-scale datacenters (CK), pp. 1351–1356.
DATEDATE-2013-LuMS13a #estimation
Analytical timing estimation for temporally decoupled TLMs considering resource conflicts (KL, DMG, US), pp. 1161–1166.
DATEDATE-2013-YoonKBS #design #multi #optimisation #parametricity #scheduling
Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling (MKY, JEK, RMB, LS), pp. 1313–1318.
DATEDATE-2013-ZhangCBACL #3d #architecture #composition #manycore #named #performance
3D-MMC: a modular 3D multi-core architecture with efficient resource pooling (TZ, AC, GB, PA, AKC, YL), pp. 1241–1246.
SIGMODSIGMOD-2013-MozafariCJM #modelling #performance
Performance and resource modeling in highly-concurrent OLTP workloads (BM, CC, AJ, SM), pp. 301–312.
VLDBVLDB-2013-Hoppe #automation #big data #learning #ontology #web
Automatic ontology-based User Profile Learning from heterogeneous Web Resources in a Big Data Context (AH), pp. 1428–1433.
CHICHI-2013-CoughlanPM #collaboration #education #reuse
Building open bridges: collaborative remixing and reuse of open educational resources across organisations (TC, RP, PM), pp. 991–1000.
CSCWCSCW-2013-BradyZMB #network #social
Investigating the appropriateness of social network question asking as a resource for blind users (ELB, YZ, MRM, JPB), pp. 1225–1236.
HCIDUXU-CXC-2013-MoodyTOKHB #self
Exploring the Need for, and Feasibility of, a Web-Based Self-Management Resource for Teenage and Young Adult Cancer Survivors in the UK (LM, AT, JO, JKA, LH, LB), pp. 417–423.
HCIDUXU-WM-2013-KondoK #development #evaluation #image #interactive #prototype #using #visual notation
Trial of Diagnostic to Find Preferable Job Using the Visual Image Information Interaction: Prototype Development and Evaluation in Global Human Resources Matching Site (AK, NK), pp. 525–532.
HCIHCI-UC-2013-Herberhold #enterprise #interactive #resource management
Interaction between Enterprise Resource Planning Systems and Organizational Culture (CH), pp. 381–387.
HCIHCI-UC-2013-KraftT #enterprise #resource management #semantics
Semantically Integrated Business Applications for Enterprise Resource Planning Systems (PK, RT), pp. 411–417.
VISSOFTVISSOFT-2013-PauwWB #distributed #visualisation
Visualizing jobs with shared resources in distributed environments (WDP, JLW, AB), pp. 1–10.
CAiSECAiSE-2013-MeyerRM #internet #modelling #process
Internet of Things-Aware Process Modeling: Integrating IoT Devices as Business Process Resources (SM, AR, CM), pp. 84–98.
EDOCEDOC-2013-AzevedoIASPG #modelling #ontology
An Ontology-Based Well-Founded Proposal for Modeling Resources and Capabilities in ArchiMate (CLBA, MEI, JPAA, MvS, LFP, GG), pp. 39–48.
ICEISICEIS-v1-2013-FeldmanSCA #enterprise #resource management
Enterprise Resource Planning Systems — Streamlining Upgrade Decisions (GF, HS, CC, AA), pp. 128–135.
ICEISICEIS-v3-2013-RamdoyalPDSLJ #metamodelling #resource management #workflow
A Generic Workflow Metamodel to Support Resource-aware Decision Making (RR, CP, MAD, GS, IL, JMJ), pp. 243–250.
ECIRECIR-2013-MarkovAC #nondeterminism
Reducing the Uncertainty in Resource Selection (IM, LA, FC), pp. 507–519.
KDIRKDIR-KMIS-2013-RaafatZR #database #named #semantics
Arabase — A Database Combining Different Arabic Resources with Lexical and Semantic Information (HMR, MAZ, MR), pp. 233–240.
KEODKEOD-2013-LabadieFR #personalisation #semantics
Personalized Semantic Resources — The SemComp Project Presentation and Preliminary Works (AL, SF, TR), pp. 164–169.
KEODKEOD-2013-SagaeF #development #identification #image
Knowledge Resource Development for Identifying Matching Image Descriptions (AS, SEF), pp. 100–108.
SEKESEKE-2013-HoritaHGB #development #maturity #quality
Maturity Model and Lesson Learned for improve the Quality of Organizational Knowledge and Human Resources Management in Software Development (S) (FEAH, MIH, FHG, RMdB), pp. 552–555.
SEKESEKE-2013-YuFCL #in the cloud #modelling
Modeling and Analyzing Attack-Defense Strategy of Resource Service in Cloud Computing (HY, GF, LC, DL), pp. 77–82.
SIGIRSIGIR-2013-DeveaudSB #topic
Estimating topical context by diverging from external resources (RD, ES, PB), pp. 1001–1004.
SIGIRSIGIR-2013-HongS
Search result diversification in resource selection for federated search (DH, LS), pp. 613–622.
SKYSKY-2013-GarzonSK #elicitation #re-engineering
Knowledge Re-use and Dissemination for Resource Elicitation in Software Engineering (MHG, CS, JK), pp. 14–23.
MODELSMoDELS-2013-ZhangCZWY0L #modelling #runtime
Runtime Model Based Management of Diverse Cloud Resources (XZ, XC, YZ, YW, WY, GH, QL), pp. 572–588.
MODELSMoDELS-2013-ZhangCZWY0L #modelling #runtime
Runtime Model Based Management of Diverse Cloud Resources (XZ, XC, YZ, YW, WY, GH, QL), pp. 572–588.
LOPSTRLOPSTR-2013-AlbertGG #analysis #approach
A Transformational Approach to Resource Analysis with Typed-Norms (EA, SG, RG), pp. 38–53.
SACSAC-2013-BheemeshKCF #coordination #resource management
Radio resource management in coordinated antenna system deployments (VB, PK, FC, ZF), pp. 573–576.
SACSAC-2013-BusseSDMR #architecture #manycore #scheduling
Analyzing resource interdependencies in multi-core architectures to improve scheduling decisions (AB, JHS, MD, GM, JR), pp. 1595–1602.
SACSAC-2013-JiaBJPM #algorithm #multi
A multi-resource load balancing algorithm for cloud cache systems (YJ, IB, RJP, MPM, DM), pp. 463–470.
SACSAC-2013-MinerviniFdE #predict #rank #semantics
Rank prediction for semantically annotated resources (PM, NF, Cd, FE), pp. 333–338.
SACSAC-2013-OyamadaKK #concurrent #query
Continuous query processing with concurrency control: reading updatable resources consistently (MO, HK, HK), pp. 788–794.
SACSAC-2013-SchroderN #behaviour #resource management
Inter cloud capable dynamic resource management with model of behavior (KS, WN), pp. 408–410.
SACSAC-2013-SimaoV
A progress and profile-driven cloud-VM for resource-efficiency and fairness in e-science environments (JS, LV), pp. 357–362.
SACSAC-2013-StevensonYDPMV #network #reasoning #resource management #self #semantics
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (GS, JY, SD, DP, SM, MV), pp. 1369–1376.
ESEC-FSEESEC-FSE-2013-DuboisBWH #middleware #mobile #named #peer-to-peer #resource management
ShAir: extensible middleware for mobile peer-to-peer resource sharing (DJD, YB, KW, HH), pp. 687–690.
HPDCHPDC-2013-ClaySM #clustering #interactive #scalability
Building and scaling virtual clusters with residual resources from interactive clouds (RBC, ZS, XM), pp. 119–120.
HPDCHPDC-2013-YuZQYWG #game studies #gpu #named #scheduling
VGRIS: virtualized GPU resource isolation and scheduling in cloud gaming (MY, CZ, ZQ, JY, YW, HG), pp. 203–214.
SOSPSOSP-2013-WeissHAA #game studies #named #parallel #thread
ROOT: replaying multithreaded traces with resource-oriented ordering (ZW, TH, ACAD, RHAD), pp. 373–387.
TLCATLCA-2013-Breuvart #relational #λ-calculus
The Resource λ Calculus Is Short-Sighted in Its Relational Model (FB), pp. 93–108.
QoSAQoSA-2012-HuberBK #modelling
Modeling dynamic virtualized resource landscapes (NH, FB, SK), pp. 81–90.
WICSA-ECSAWICSA-ECSA-2012-NewmanK #architecture #embedded #resource management #runtime
A Runtime Resource-aware Architecture for Service-oriented Embedded Systems (PN, GK), pp. 61–70.
CASECASE-2012-CaiL #algorithm #hybrid #multi #problem #scheduling #search-based
A hybrid genetic algorithm for resource-constrained multi-project scheduling problem with resource transfer time (ZC, XL), pp. 569–574.
CASECASE-2012-GhonaimGS #on the #problem
On the assignment problem of arbitrary processing time operations in partially overlapping manufacturing resources (WG, HG, WS), pp. 341–346.
CASECASE-2012-HanXZLW #concurrent #policy
Two-stage deadlock prevention policy based on resource-transition circuits (LH, KX, MZ, HL, FW), pp. 741–746.
CASECASE-2012-NazeemR #algorithm #performance #resource management
An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems (AN, SAR), pp. 686–693.
CASECASE-2012-SharabianiD #policy
Observation policies for patient and resource tracking in outpatient clinics (AS, HD), pp. 532–537.
DATEDATE-2012-HansenS #multi #pipes and filters #resource management
Multi-token resource sharing for pipelined asynchronous systems (JH, MS), pp. 1191–1196.
DATEDATE-2012-LafayePBGF #embedded #modelling #resource management #simulation
Model driven resource usage simulation for critical embedded systems (ML, LP, EB, MG, DF), pp. 312–315.
DATEDATE-2012-MarianiSPZSB #architecture #configuration management #design #multi #resource management #runtime #using
Using multi-objective design space exploration to enable run-time resource management for reconfigurable architectures (GM, VMS, GP, VZ, CS, KB), pp. 1379–1384.
DATEDATE-2012-ThieleE #analysis #data flow #graph #optimisation #performance
Optimizing performance analysis for synchronous dataflow graphs with shared resources (DT, RE), pp. 635–640.
DATEDATE-2012-YangGBSC #game studies #graph #policy #resource management
Playing games with scenario- and resource-aware SDF graphs through policy iteration (YY, MG, TB, SS, HC), pp. 194–199.
DATEDATE-2012-ZhangWHY #algorithm #energy #game studies #resource management
Fair energy resource allocation by minority game algorithm for smart buildings (CZ, WW, HH, HY), pp. 63–68.
HTHT-2012-LevacherLW #adaptation #hypermedia #named #reuse
Slicepedia: providing customized reuse of open-web resources for adaptive hypermedia (KL, SL, VW), pp. 23–32.
VLDBVLDB-2012-LiKNC #estimation #query #robust #sql #statistics #using
Robust Estimation of Resource Consumption for SQL Queries using Statistical Techniques (JL, ACK, VRN, SC), pp. 1555–1566.
ITiCSEITiCSE-2012-Retik #education #visual notation
Visual search with deep zoom to explore curriculum resources interactively (AR), p. 405.
FASEFASE-2012-AlbertBGHR #source code
Verified Resource Guarantees for Heap Manipulating Programs (EA, RB, SG, RH, GRD), pp. 130–145.
PEPMPEPM-2012-AlbertCPR #analysis #incremental #resource management
Incremental resource usage analysis (EA, JC, GP, GRD), pp. 25–34.
CIAACIAA-2012-DeganoFM #automaton #resource management
Nominal Automata for Resource Usage Control (PD, GLF, GM), pp. 125–137.
SEFMSEFM-2012-BistarelliS #concurrent #constraints #programming
Securely Accessing Shared Resources with Concurrent Constraint Programming (SB, FS), pp. 308–322.
SEFMSEFM-2012-ColomboFMP #bound #configuration management #monitoring #named #resource management #runtime #verification
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries (CC, AF, RM, GJP), pp. 218–232.
CHICHI-2012-VinesBLDMO #concept #design
Questionable concepts: critique as resource for designing with eighty somethings (JV, MB, SL, PD, AM, PO), pp. 1169–1178.
CSCWCSCW-2012-GogginsMM #coordination #network #online
Relief work after the 2010 Haiti earthquake: leadership in an online resource coordination network (SPG, CMM, SM), pp. 57–66.
CSCWCSCW-2012-KolkoHBSGKN #adaptation #collaboration
Adapting collaborative radiological practice to low-resource environments (BEK, AH, WB, KS, WG, MK, RN), pp. 97–106.
AdaEuropeAdaEurope-2012-FairbairnB #implementation #verification
Implementing and Verifying EDF Preemption-Level Resource Control (MLF, AB), pp. 193–206.
CAiSECAiSE-2012-LucknerI #documentation #internet
Publication of Geodetic Documentation Center Resources on Internet (ML, WI), pp. 533–548.
ICEISICEIS-v2-2012-RenardCR #documentation #fault #process
A Tool to Evaluate Error Correction Resources and Processes Suited for Documents Improvement (AR, SC, BR), pp. 27–35.
ICEISICEIS-v3-2012-BauerEFH #analysis #consistency #process
Resource-oriented Consistency Analysis of Engineering Processes (BB, TE, CF, BH), pp. 206–211.
CIKMCIKM-2012-WanKC #recommendation #social
Location-sensitive resources recommendation in social tagging systems (CW, BK, DWC), pp. 1960–1964.
SEKESEKE-2012-Collazo-MojicaSEB #constraints #monitoring #scalability
Cloud Application Resource Mapping and Scaling Based on Monitoring of QoS Constraints (XJCM, SMS, JE, RMB), pp. 88–93.
SEKESEKE-2012-HoritaBB #development #process #quality
A Process Model for Human Resources Management Focused on Increasing the Quality of Software Development (FEAH, JDB, RMdB), pp. 225–230.
SEKESEKE-2012-WangL #analysis #approach #modelling #petri net #workflow
Resource Modeling and Analysis for Workflows: A Petri Net Approach (JW, DL), pp. 381–386.
SEKESEKE-2012-WauteletHK
A Usage-Based Unified Resource Model (YW, SH, MK), pp. 299–304.
OOPSLAOOPSLA-2012-Anderson #fine-grained #parallel #policy #resource management #using
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies (ZRA), pp. 717–736.
OOPSLAOOPSLA-2012-SuenagaFI #concurrent #type system
Type-based safe resource deallocation for shared-memory concurrency (KS, RF, AI), pp. 1–20.
PADLPADL-2012-BradyH #domain-specific language #embedded #programming
Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.
POPLPOPL-2012-BotincanDJ #abduction
Resource-sensitive synchronization inference by abduction (MB, MD, SJ), pp. 309–322.
POPLPOPL-2012-RamananandroRL #c++ #resource management #semantics
A mechanized semantics for C++ object construction and destruction, with applications to resource management (TR, GDR, XL), pp. 521–532.
RERE-2012-Todoran #communication #identification #in the cloud #named #requirements
StakeCloud: Stakeholder requirements communication and resource identification in the cloud (IT), pp. 353–356.
SACSAC-2012-BrylTGS #novel #semantics #web
A novel Framenet-based resource for the semantic web (VB, ST, CG, LS), pp. 360–365.
SACSAC-2012-DietzeYGKDT #education #web
Linked education: interlinking educational resources and the Web of data (SD, HQY, DG, EK, ND, DT), pp. 366–371.
SACSAC-2012-KimWLLL #component #migration #multi
HW resource componentizing for smooth migration from single-function ECU to multi-function ECU (JCK, KSW, CGL, KJL, YSL), pp. 1821–1828.
SACSAC-2012-ScandurraRPMC #adaptation #coordination #framework #optimisation #resource management
A layered coordination framework for optimizing resource allocation in adapting cloud-based applications (PS, CR, PP, RM, RC), pp. 471–472.
SACSAC-2012-UkimotoDO #resource management #testing
Software testing-resource allocation with operational profile (SU, TD, HO), pp. 1203–1208.
SACSAC-2012-WauteletHK #ontology #representation
An ontological basis for resource representation (YW, SH, MK), pp. 765–766.
SACSAC-2012-ZankerJS #personalisation #web
Harnessing geo-tagged resources for Web personalization (MZ, MJ, MS), pp. 332–339.
ICSEICSE-2012-DagenaisR #api #learning #traceability
Recovering traceability links between an API and its learning resources (BD, MPR), pp. 47–57.
ICSEICSE-2012-SusB #education #integration #re-engineering #using
Using continuous integration of code and content to teach software engineering with limited resources (JGS, WB), pp. 1175–1184.
ICSEICSE-2012-ZhengZ #detection #problem #static analysis
Static detection of resource contention problems in server-side scripts (YZ, XZ), pp. 584–594.
SLESLE-2012-HillsKV #metalanguage #type safety
Meta-language Support for Type-Safe Access to External Resources (MH, PK, JJV), pp. 372–391.
ASPLOSASPLOS-2012-VasicNMKB #named #resource management
DejaVu: accelerating resource allocation in virtualized environments (NV, DMN, SM, DK, RB), pp. 423–436.
HPCAHPCA-2012-HomayounKSLT #3d
Dynamically heterogeneous cores through 3D resource pooling (HH, VK, AS, TWL, DMT), pp. 323–334.
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.
HPDCHPDC-2012-LiSBKS #in the cloud #named #pipes and filters
CAM: a topology aware minimum cost flow based resource manager for MapReduce applications in the cloud (ML, DS, ARB, AK, PS), pp. 211–222.
HPDCHPDC-2012-PhullLRCC #clustering #resource management
Interference-driven resource management for GPU-based heterogeneous clusters (RP, CHL, KR, SC, STC), pp. 109–120.
CAVCAV-2012-0002AH #ml
Resource Aware ML (JH, KA, MH), pp. 781–786.
CAVCAV-2012-BrazdilCKN #game studies #multi #performance #synthesis
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types (TB, KC, AK, PN), pp. 23–38.
ICTSSICTSS-2012-LahamiKBJ #adaptation #architecture #design #distributed #problem #using
Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems (ML, MK, MB, MJ), pp. 103–118.
ECSAECSA-2011-LulliMPR #resource management
Resource Management in the Air Traffic Domain (GL, RM, PP, CR), pp. 97–104.
ECSAECSA-2011-OrlicDML #architecture #component #concept #configuration management #framework #resource management
Dynamically Reconfigurable Resource-Aware Component Framework: Architecture and Concepts (BO, ID, RHM, JJL), pp. 212–215.
WICSAWICSA-2011-NewmanK #embedded #framework #runtime
A Runtime Resource-Management Framework for Embedded Service-Oriented Systems (PN, GK), pp. 123–126.
ASEASE-2011-LiuZCXM
Finding the merits and drawbacks of software resources from comments (CL, YZ, SC, BX, HM), pp. 432–435.
ASEASE-2011-WuLWXM #mining #specification
Iterative mining of resource-releasing specifications (QW, GL, QW, TX, HM), pp. 233–242.
CASECASE-2011-FeiMA #automaton #finite #modelling #resource management #using
Modeling sequential resource allocation systems using Extended Finite Automata (ZF, SM, ), pp. 444–449.
CASECASE-2011-KalyanasundaramLR #combinator #distributed #resource management
Fail-Stop Distributed Combinatorial Auctioning Systems with fair resource allocation (AK, RAKL, SR), pp. 181–188.
CASECASE-2011-NazeemR #classification #concurrent #design #policy #resource management
Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory (AN, SAR), pp. 405–412.
CASECASE-2011-ViswanadhamB #resource management
Resource allocation for healthcare organizations (NV, KB), pp. 543–548.
DACDAC-2011-AdirNSZMS #validation #verification
Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor (AA, AN, GS, AZ, CM, JS), pp. 569–574.
DATEDATE-2011-ChouM #multi #named #resource management
FARM: Fault-aware resource management in NoC-based multiprocessor platforms (CLC, RM), pp. 673–678.
DATEDATE-2011-ShafiqueBAH #configuration management #manycore #resource management #runtime
Minority-Game-based resource allocation for run-time reconfigurable multi-core processors (MS, LB, WA, JH), pp. 1261–1266.
DATEDATE-2011-StattelmannBR #analysis #manycore #performance #simulation
Fast and accurate resource conflict simulation for performance analysis of multi-core systems (SS, OB, WR), pp. 210–215.
DATEDATE-2011-YangO #adaptation #flexibility #manycore
Frugal but flexible multicore topologies in support of resource variation-driven adaptivity (CY, AO), pp. 1255–1260.
DRRDRR-2011-LamiroyLKH #analysis #documentation #how #research #resource management
How carefully designed open resource sharing can help and expand document analysis research (BL, DPL, HFK, JH), pp. 1–10.
HTHT-2011-SteichenOW #personalisation #semantics #social
Personalisation in the wild: providing personalisation across semantic, social and open-web resources (BS, AO, VW), pp. 73–82.
CSEETCSEET-2011-MonteithM #student
Integrating instructional and study materials to tailor a student-specific resource (JYM, JDM), pp. 294–303.
ITiCSEITiCSE-2011-AkbarFCDSFC #education #how #online
How educators find educational resources online (MA, WF, LNC, LMLD, CAS, EAF, YC), p. 367.
ITiCSEITiCSE-2011-AnjorinGR #collaboration #framework #learning #named #web
CROKODIL: a platform supporting the collaborative management of web resources for learning purposes (MA, RDG, CR), p. 361.
ITiCSEITiCSE-2011-UrbanoMMM #information retrieval #student
Bringing undergraduate students closer to a real-world information retrieval setting: methodology and resources (JU, MM, DM, JM), pp. 293–297.
ICPCICPC-2011-Ali #analysis #automation #named #retrieval #trust
Trustrace: Improving Automated Trace Retrieval through Resource Trust Analysis (NA), pp. 230–233.
PEPMPEPM-2011-AlbertBGHPR #using
Verified resource guarantees using COSTA and KeY (EA, RB, SG, RH, GP, GRD), pp. 73–76.
CIAACIAA-2011-PajicPP #approach #finite #information management #transducer
Information Extraction from Semi-structured Resources: A Two-Phase Finite State Transducers Approach (VP, GPL, MP), pp. 282–289.
CHICHI-2011-PaekH #set
Sampling representative phrase sets for text entry experiments: a procedure and public resource (TP, BJPH), pp. 2477–2480.
CHICHI-2011-RosnerT #design
Antiquarian answers: book restoration as a resource for design (DKR, AST), pp. 2665–2668.
CHICHI-2011-Sharma
Role of available and provided resources in sensemaking (NS), pp. 1807–1816.
HCIDUXU-v1-2011-ChenT #design #industrial #learning #problem #student
Exploring the Learning Problems and Resources Usage of Undergraduate Industrial Design Students in Design Studio (WC, HHT), pp. 43–52.
HCIOCSC-2011-SharminB #design #online
Online Design Discussion Sites: Emerging Resource for Creative Design (MS, BPB), pp. 219–228.
EDOCEDOC-2011-PsaierSSD #resource management
Resource and Agreement Management in Dynamic Crowdcomputing Environments (HP, FS, DS, SD), pp. 193–202.
ICEISICEIS-J-2011-BorekHGP #framework
IS/IT Resources and Business Value: Operationalization of an Information Oriented Framework (AB, MH, MG, AKP), pp. 420–434.
ICEISICEIS-J-2011-ChaoC11a #clustering #data type #resource management #ubiquitous
Ubiquitous Resource-Aware Clustering of Data Streams (CMC, GLC), pp. 81–97.
ICEISICEIS-v1-2011-AdamKM #enterprise #resource management
Acceptance of Enterprise Resource Planning Systems by Small Manufacturing Enterprises (RA, PK, AvdM), pp. 229–238.
ICEISICEIS-v1-2011-AsghariNAA #approach #enterprise #fuzzy #implementation #resource management #risk management #using
Risk Management in Enterprise Resource Planning Implementation using a Fuzzy Approach (HAA, MN, FA, FA), pp. 290–294.
ICEISICEIS-v1-2011-ChaoC #clustering #data type #quality #resource management #ubiquitous
Resource-aware High Quality Clustering in Ubiquitous Data Streams (CMC, GLC), pp. 64–73.
ICEISICEIS-v4-2011-BorekPHG #framework
An Information Oriented Framework for Relating IS/IT Resources and Business Value (AB, AKP, MH, MG), pp. 358–367.
ICEISICEIS-v4-2011-SinghW #adaptation #design #enterprise #interface #resource management
The Design of Adaptive Interfaces for Enterprise Resource Planning Systems (AS, JW), pp. 281–286.
CIKMCIKM-2011-BrodtSM #performance #rdf #retrieval
Efficient resource attribute retrieval in RDF triple stores (AB, OS, BM), pp. 1445–1454.
CIKMCIKM-2011-QuattroneCMFU #effectiveness #folksonomy #retrieval #similarity #using
Effective retrieval of resources in folksonomies using a new tag similarity measure (GQ, LC, PDM, EF, DU), pp. 545–550.
CIKMCIKM-2011-RonzanoMT #editing #wiki
Editing knowledge resources: the wiki way (FR, AM, MT), pp. 2533–2536.
KDIRKDIR-2011-KharratJG #multi #semantics
Semantic Relationships between Multimedia Resources (MK, AJ, FG), pp. 342–347.
KEODKEOD-2011-ModicaT #semantics
A Semantic Model to Support Advanced Supply-demand Matchmaking in Future Cloud Resources Market (GDM, OT), pp. 429–432.
KEODKEOD-2011-Ylisaukko-ojaHKSV #interface #semantics
Semantic Interface for Resource Constrained Wireless Sensors (AYo, PH, JK, JPS, EV), pp. 505–511.
KMISKMIS-2011-MendesR11a #development #ontology #semantics
The BRIDG Model as the Most Authoritative Resource in Shared Semantics for Ontologies Development in Healthcare Practice (DM, IPR), pp. 379–383.
SIGIRSIGIR-2011-SkoutasA #ranking
Ranking tags in resource collections (DS, MA), pp. 1207–1208.
MODELSMoDELS-2011-FleureyMSB
MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.
MODELSMoDELS-2011-FleureyMSB
MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.
LOPSTRLOPSTR-2011-AlbertGR #generative #testing
Resource-Driven CLP-Based Test Case Generation (EA, MGZ, JMR), pp. 25–41.
POPLPOPL-2011-GhicaS #geometry #resource management #synthesis #type inference
Geometry of synthesis III: resource management through type inference (DRG, AS), pp. 345–356.
POPLPOPL-2011-HoffmannAH #analysis #multi
Multivariate amortized resource analysis (JH, KA, MH), pp. 357–370.
POPLPOPL-2011-RamseyD #composition #dependent type #independence #low level #type system #using
Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code (NR, JD), pp. 575–586.
RERE-2011-Waldmann #agile #constraints #development #requirements #what
There’s never enough time: Doing requirements under resource constraints, and what requirements engineering can learn from agile development (BW), pp. 301–305.
SACSAC-2011-ChiangH #embedded #operating system
Supporting dynamic update and resource protection in an embedded operating system (MLC, HYH), pp. 616–620.
SACSAC-2011-EcharteACVL #classification #folksonomy
A method for the classification of folksonomy resources (FE, JJA, AC, JEV, AL), pp. 1675–1680.
SACSAC-2011-GuerraF #realtime #resource management
Handling overload of target sensitive real-time applications for increased system utility and improved resource usage (RG, GF), pp. 742–747.
SACSAC-2011-IakymchukNB #resource management
Improving high-performance computations on clouds through resource underutilization (RI, JN, PB), pp. 119–126.
SACSAC-2011-Sanchez-GilHO
Relating function spaces to resourced function spaces (LSG, MHH, YOM), pp. 1301–1308.
SACSAC-2011-SinhaTKWG #analysis #mobile #resource management
Resource-aware ECG analysis on mobile devices (AS, HT, SK, ABW, MMG), pp. 1012–1013.
ICSEICSE-2011-BoehmV #challenge #estimation #research
Impact of software resource estimation research on practice: a preliminary report on achievements, synergies, and challenges (BWB, RV), pp. 1057–1065.
PLEASEPLEASE-2011-ChastekDM #analysis #variability
Commonality and variability analysis for resource constrained organizations (GJC, PD, JDM), pp. 31–34.
ISMMISMM-2011-HertzKKBDGB #garbage collection
Waste not, want not: resource-based garbage collection in a shared environment (MH, SK, EK, TB, CD, XG, JEB), pp. 65–76.
LCTESLCTES-2011-BerthierMM #embedded #operating system #programming
Synchronous programming of device drivers for global resource control in embedded operating systems (NB, FM, LM), pp. 81–90.
CSLCSL-2011-BucciarelliCEM #abstraction #calculus #testing
Full Abstraction for Resource Calculus with Tests (AB, AC, TE, GM), pp. 97–111.
CSLCSL-2011-Ehrhard #difference #λ-calculus
Resource λ-Calculus: the Differential Viewpoint (TE), p. 1.
ICLPICLP-2011-Campli #framework
A Semiring-based framework for fair resources allocation (PC), pp. 268–273.
ICSTICST-2011-Grasland #automation #resource management #testing
Testing Resource Usage in Home Automation Systems (YG), pp. 419–422.
TLCATLCA-2011-ManzonettoP #theorem #λ-calculus
Böhm’s Theorem for Resource λ Calculus through Taylor Expansion (GM, MP), pp. 153–168.
CASECASE-2010-NazeemR #approach #design #resource management
A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems (AN, SR), pp. 451–458.
CASECASE-2010-WangBHMFS
Integrated management of cooling resources in air-cooled data centers (ZW, CB, CH, AAM, CJF, RS), pp. 762–767.
DACDAC-2010-SchranzhoferPCTC #analysis #manycore #modelling #resource management #worst-case
Worst-case response time analysis of resource access models in multi-core systems (AS, RP, JJC, LT, MC), pp. 332–337.
DACDAC-2010-VeetilCSB #monte carlo #performance #resource management
Efficient smart monte carlo based SSTA on graphics processing units with improved resource utilization (VV, YHC, DS, DB), pp. 793–798.
DATEDATE-2010-BraakHKHS #realtime #resource management #runtime
Run-time spatial resource management for real-time applications on heterogeneous MPSoCs (TDtB, PKFH, JK, JH, GJMS), pp. 357–362.
DATEDATE-2010-CongLX #behaviour #coordination #optimisation #synthesis
Coordinated resource optimization in behavioral synthesis (JC, BL, JX), pp. 1267–1272.
DATEDATE-2010-MarianiAVYPSZ #design #framework #industrial #manycore #resource management #runtime
An industrial design space exploration framework for supporting run-time resource management on multi-core systems (GM, PA, GV, CYC, GP, CS, VZ), pp. 196–201.
DATEDATE-2010-PakbazniaGP #power management #resource management
Temperature-aware dynamic resource provisioning in a power-optimized datacenter (EP, MG, MP), pp. 124–129.
DATEDATE-2010-SchlieckerNE #analysis #bound #multi #performance
Bounding the shared resource load for the performance analysis of multiprocessor systems (SS, MN, RE), pp. 759–764.
HTHT-2010-LipczakM #collaboration
The impact of resource title on tags in collaborative tagging systems (ML, EEM), pp. 179–188.
HTHT-2010-ZhangQHJWHHJ #approach #collaboration #hybrid #identification #web
Collaborative identification and annotation of government deep web resources: a hybrid approach (PZ, YQ, CH, PTJ, JW, WSH, JEH, XJ), pp. 285–286.
VLDBVLDB-2010-WeiRM #quality #xml
Achieving High Output Quality under Limited Resources through Structure-based Spilling in XML Streams (MW, EAR, MM), pp. 1267–1278.
ITiCSEITiCSE-2010-BrownSK #collaboration #community #development #education #named
Greenroom: a teacher community for collaborative resource development (NB, PS, MK), p. 305.
ESOPESOP-2010-Atkey #analysis #logic
Amortised Resource Analysis with Separation Logic (RA), pp. 85–103.
ESOPESOP-2010-HoffmannH #analysis #polynomial
Amortized Resource Analysis with Polynomial Potential (JH, MH), pp. 287–306.
FASEFASE-2010-XiaoOWL #development #scheduling
Dynamic Resource Scheduling in Disruption-Prone Software Development Environments (JX, LJO, QW, ML), pp. 107–122.
FoSSaCSFoSSaCS-2010-PaganiR #λ-calculus
Solvability in Resource λ-Calculus (MP, SRDR), pp. 358–373.
WCREWCRE-2010-AthanasopoulosK #identification #legacy
Identification of REST-like Resources from Legacy Service Descriptions (MA, KK), pp. 215–219.
ICALPICALP-v1-2010-ColeR #multi #sorting
Resource Oblivious Sorting on Multicores (RC, VR), pp. 226–237.
ICGTICGT-2010-Donyina #modelling #probability #resource management #simulation
Stochastic Modelling and Simulation of Dynamic Resource Allocation (AD), pp. 388–390.
CAiSECAiSE-2010-Paraszczak
The Influence of IT Systems on the Use of the Earth’s Resources (JRP), pp. 7–8.
ICEISICEIS-ISAS-2010-LaurierBP #enterprise #modelling
A Consolidated Enterprise Reference Model — Integrating McCarthy’s and Hruby’s Resource-Event-Agent Reference Models (WL, MB, GP), pp. 159–164.
ICEISICEIS-ISAS-2010-Nicolicin-GeorgescuBLB #ontology #resource management
Ontology-based Autonomic Computing for Resource Sharing between Data Warehouses in Decision Support Systems (VNG, VB, RL, HB), pp. 199–206.
CIKMCIKM-2010-CaiL #collaboration #personalisation
Personalized search by tag-based user profile and resource profile in collaborative tagging systems (YC, QL), pp. 969–978.
ICPRICPR-2010-ChakrabortyG #recognition #speech
Role of Synthetically Generated Samples on Speech Recognition in a Resource-Scarce Language (RC, UG), pp. 1618–1621.
KDDKDD-2010-AttenbergP #classification #learning #modelling #why
Why label when you can search?: alternatives to active learning for applying human resources to build classification models under extreme class imbalance (JA, FJP), pp. 423–432.
KEODKEOD-2010-Picca #multi
Building Multilingual Lexical Resources on Semiotic Principles (DP), pp. 412–415.
SEKESEKE-2010-ZhaoXWX #named #repository #resource management #reuse
TSRR: A Software Resource Repository for Trustworthiness Resource Management and Reuse (JZ, BX, YW, YX), pp. 752–756.
SIGIRSIGIR-2010-HongSBWJ #classification #probability
A joint probabilistic classification model for resource selection (DH, LS, PB, MW, TJ), pp. 98–105.
SIGIRSIGIR-2010-LiZM #analysis #process
Exploring desktop resources based on user activity analysis (YL, XZ, XM), p. 700.
OOPSLAOOPSLA-2010-RinardHMS #analysis #comprehension #statistics
Patterns and statistical analysis for understanding reduced resource computing (MCR, HH, SM, SS), pp. 806–821.
GPCEGPCE-2010-NavasBP #component #embedded #evolution #framework #runtime
A component-based run-time evolution infrastructure for resource-constrained embedded systems (JFN, JPB, JP), pp. 73–82.
POPLPOPL-2010-JostHLH #higher-order #resource management #source code
Static determination of quantitative resource usage for higher-order programs (SJ, KH, HWL, MH), pp. 223–236.
SACSAC-2010-BautistaSHPD #clustering #power management #requirements #set
Dynamic task set partitioning based on balancing resource requirements and utilization to reduce power consumption (DB, JS, HH, SP, JD), pp. 521–526.
SACSAC-2010-FacchinettiF #architecture #clustering #manycore #realtime
Resource partitioning for real-time processing on a multicore architecture (TF, MF), pp. 359–360.
ICSEICSE-2010-May #quality
Dynamic service quality and resource negotiation for high-availability service-oriented systems (NRM), pp. 327–328.
ICSEICSE-2010-TorlakC #detection #effectiveness #interprocedural
Effective interprocedural resource leak detection (ET, SC), pp. 535–544.
ASPLOSASPLOS-2010-ZhuravlevBF #manycore #scheduling
Addressing shared resource contention in multicore processors via scheduling (SZ, SB, AF), pp. 129–142.
HPCAHPCA-2010-KaseridisSCJ #resource management #scalability #using
A bandwidth-aware memory-subsystem resource management using non-invasive resource profilers for large CMP systems (DK, JS, JC, LKJ), pp. 1–11.
HPDCHPDC-2010-ChardBK #case study #grid #resource management
High occupancy resource allocation for grid and cloud systems, a study with DRIVE (KC, KB, PK), pp. 73–84.
HPDCHPDC-2010-SimmhanR #comparison #framework #workflow
Comparison of resource platform selection approaches for scientific workflows (YLS, LR), pp. 445–450.
HPDCHPDC-2010-ZhuA #adaptation #constraints #resource management
Resource provisioning with budget constraints for adaptive applications in cloud environments (QZ, GA), pp. 304–307.
OSDIOSDI-2010-FeldmanZFF #collaboration #named #using
SPORC: Group Collaboration using Untrusted Cloud Resources (AJF, WPZ, MJF, EWF), pp. 337–350.
CSLCSL-2010-OHearn #abduction #deduction #induction #reasoning
Abductive, Inductive and Deductive Reasoning about Resources (PWO), pp. 49–50.
ICLPICLP-2010-Lopez-GarciaDB10 #debugging #framework #resource management #verification
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification (PLG, LD, FB), pp. 104–113.
LICSLICS-2010-Ehrhard
A Finiteness Structure on Resource Terms (TE), pp. 402–410.
ASEASE-2009-ZhongZXM #api #documentation #natural language #specification
Inferring Resource Specifications from Natural Language API Documentation (HZ, LZ, TX, HM), pp. 307–318.
CASECASE-2009-LeeB #architecture #composition #nondeterminism #petri net
A modular petri net based architecture to model manufacturing systems exhibiting resource and timing uncertainties (HL, AB), pp. 525–530.
DATEDATE-2009-GolshanB #composition #design
SEU-aware resource binding for modular redundancy based designs on FPGAs (SG, EB), pp. 1124–1129.
DATEDATE-2009-NegreanSE #analysis #multi
Response-time analysis of arbitrarily activated tasks in multiprocessor systems with shared resources (MN, SS, RE), pp. 524–529.
DocEngDocEng-2009-GotscharekRRS #documentation #on the
On lexical resources for digitization of historical documents (AG, UR, CR, KUS), pp. 193–200.
HTHT-2009-LopezE #named #towards #web
To: //: towards an open namespace for web resources (PGL, ME), pp. 335–336.
HTHT-2009-StrohmaierKK #automation
Automatically annotating textual resources with human intentions (MS, MK, CK), pp. 355–356.
ICDARICDAR-2009-CollFL #analysis #documentation
Graphological Analysis of Handwritten Text Documents for Human Resources Recruitment (RC, AF, JL), pp. 1081–1085.
WCREWCRE-1999-AriasAA99a #resource management #scalability
Constructing a Resource Usage View of a Large and Complex Software-Intensive System (TBCA, PA, PA), pp. 247–255.
FMFM-2009-JostLHSH #analysis #bound #using
“Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis (SJ, HWL, KH, NS, MH), pp. 354–369.
GT-VMTGT-VMT-2009-BottoniS #adaptation #diagrams #process #workflow
Resource-based enactment and adaptation of workflows from activity diagrams (PB, AS), pp. 159–170.
HCIHIMI-DIE-2009-LimAC #case study #grid #performance
A Study on Computing Resource Partition for Increasing Efficiency of Grid System (CL, SJA, JC), pp. 563–569.
HCIHIMI-DIE-2009-LinYLL #enterprise #implementation
A Human Factors Model for Enterprise Resources Planning System Implementation (CJL, CWY, SBL, SFL), pp. 123–130.
AdaSIGAda-2009-LosebyCB #embedded
Use of SPARK in a resource constrained embedded system (CL, PC, CB), pp. 87–90.
ICEISICEIS-AIDSS-2009-NebotL #ontology #scalability
Building Tailored Ontologies from Very Large Knowledge Resources (VN, RBL), pp. 144–151.
ICEISICEIS-DISI-2009-Perez-CebrerosMC #algorithm #parallel #query #scheduling
PSO-based Resource Scheduling Algorithm for Parallel Query Processing on Grids (APC, GML, NCC), pp. 131–137.
ICEISICEIS-J-2009-CallegariB #fuzzy #logic #multi #using
A Multi-criteria Resource Selection Method for Software Projects Using Fuzzy Logic (DAC, RMB), pp. 376–388.
ICEISICEIS-J-2009-MuellerTZ #architecture #multi #scalability
A Scalable Parametric-RBAC Architecture for the Propagation of a Multi-modality, Multi-resource Informatics System (RM, VAT, GQZ), pp. 114–124.
ICEISICEIS-J-2009-SchwindG #automation #framework #internet #multi #resource management
A Multiagent-System for Automated Resource Allocation in the IT Infrastructure of a Medium-Sized Internet Service Provider (MS, MG), pp. 689–703.
CIKMCIKM-2009-ArguelloCD #classification
Classification-based resource selection (JA, JC, FD), pp. 1277–1286.
CIKMCIKM-2009-BiSK #collaboration #resource management #social
Collaborative resource discovery in social tagging systems (BB, LS, BK), pp. 1919–1922.
CIKMCIKM-2009-CetintasSY #learning #query
Learning from past queries for resource selection (SC, LS, HY), pp. 1867–1870.
CIKMCIKM-2009-ParekhHRWW #challenge #experience #resource management
Characterizing, constructing and managing resource usage profiles of system S applications: challenges and experience (SP, KH, DR, JLW, KLW), pp. 1177–1186.
ECIRECIR-2009-BaillieCC #distributed #information retrieval #quality #topic
A Topic-Based Measure of Resource Description Quality for Distributed Information Retrieval (MB, MJC, FC), pp. 485–496.
RecSysRecSys-2009-ZhouR #assessment #recommendation
Assessment of conversation co-mentions as a resource for software module recommendation (DXZ, PR), pp. 133–140.
SEKESEKE-2009-FiondellaG #composition #resource management
Resource Allocation for a Modular Software System (LF, SSG), pp. 480–486.
SEKESEKE-2009-XieWXWY #named #scheduling
PP-HAS: A Task Priority Based Preemptive Human Resource Scheduling Method (LX, QW, JX, YW, YY), pp. 655–660.
SIGIRSIGIR-2009-PascaA #concept #information retrieval #web
Web-derived resources for web information retrieval: from conceptual hierarchies to attribute hierarchies (MP, EA), pp. 596–603.
POPLPOPL-2009-BrotherstonC #logic #reasoning
Classical BI: a logic for reasoning about dualising resources (JB, CC), pp. 328–339.
SACSAC-2009-KimYCH #embedded
Impact of function inlining on resource-constrained embedded systems (BK, SY, YC, JH), pp. 287–292.
SACSAC-2009-LiangZSZ #adaptation #architecture #distributed #embedded #realtime #resource management
Adaptive resource management architecture for distributed real-time embedded systems (KL, XZ, RS, KZ), pp. 1050–1055.
SACSAC-2009-OrdinezDSO #behaviour #resource management #scheduling
Resource sharing in behavioral based scheduling (LO, DD, RMS, JO), pp. 1972–1978.
HPDCHPDC-2009-CastilloRH #distributed #resource management #scalability
Resource co-allocation for large-scale distributed environments (CC, GNR, KH), pp. 131–140.
ICSTICST-2009-ChangRV #resource management #testing
Optimal Resource Allocation for Batch Testing (FC, JR, RV), pp. 91–100.
TAPTAP-2009-FazlalizadehKAP #constraints #performance #testing
Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization (YF, AK, MAA, SP), pp. 43–57.
CASECASE-2008-HajiAGDM #multi #resource management #scheduling
An improved multi-mode resource allocation and project scheduling model (MH, LA, PG, HD, MM), pp. 365–370.
CASECASE-2008-ReveliotisR #multi #paradigm #resource management
Conflict resolution in multi-vehicle systems: A resource allocation paradigm (SAR, ER), pp. 115–121.
DACDAC-2008-PaulB #configuration management #memory management #performance #resource management #using
Reconfigurable computing using content addressable memory for improved performance and resource usage (SP, SB), pp. 786–791.
DATEDATE-2008-LuMGB #algorithm #for free #performance
An efficient algorithm for free resources management on the FPGA (YL, TM, GG, KB), pp. 1095–1098.
DocEngDocEng-2008-Schmitz #framework #maintenance
The CONCUR framework forcommunity maintenance of curated resources (PS), pp. 123–126.
VLDBVLDB-2008-AvanesF #adaptation #constraints #network #resource management #scheduling #workflow
Adaptive workflow scheduling under resource allocation constraints and network dynamics (AA, JCF), pp. 1631–1637.
ITiCSEITiCSE-2008-MorenoICM #database #design #distance #education #learning #towards #using
Using accessible digital resources for teaching database design: towards an inclusive distance learning proposal (LM, AI, EC, PM), pp. 32–36.
ICPCICPC-2008-BinkleyLMM #memory management
Impact of Limited Memory Resources (DB, DL, SM, CM), pp. 83–92.
ICSMEICSM-2008-XiaoWLYZX #constraints #development #maintenance #process #scheduling
A constraint-driven human resource scheduling method in software development and maintenance process (JX, QW, ML, YY, FZ, LX), pp. 17–26.
ICALPICALP-A-2008-EisenbrandR #realtime #scheduling
A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation (FE, TR), pp. 246–257.
GT-VMTGT-VMT-2008-BraatzB #framework #graph transformation
Graph Transformations for the Resource Description Framework (BB, CB).
GT-VMTGT-VMT-2008-GrohmannM #graph #resource management
Controlling resource access in Directed Bigraphs (DG, MM).
CSCWCSCW-2008-MarkS #collaboration
Resilience in collaboration: technology as a resource for new patterns of action (GM, BS), pp. 137–146.
CAiSECAiSE-2008-RussellA #people #resource management
Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities (NR, WMPvdA), pp. 94–108.
ICEISICEIS-AIDSS-2008-LamKL #knowledge-based #metric #performance #resource management
A Knowledge-Based Performance Measurement System for Improving Resource Utilization (ACYL, SKK, WBL), pp. 187–192.
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-SeoC #using
Blog site search using resource selection (JS, WBC), pp. 1053–1062.
SEKESEKE-2008-KhwajaU #execution #modelling #named #specification
RealSpec: an Executable Specification Language for Modeling Resources (AAK, JEU), pp. 97–102.
SEKESEKE-2008-SaccolEG #metadata #peer-to-peer #query #xml
A Metadata Model for Managing and Querying XML Resources in Peer-to-peer Systems (DdBS, NE, RdMG), pp. 525–530.
SEKESEKE-2008-XieXLW #scheduling
A Project Scheduling Method Based on Human Resource Availability (LX, JX, DL, QW), pp. 161–166.
SIGIRSIGIR-2008-Gan #approach #query #using
Using a mediated query approach for matching unstructured query with structured resources (KHG), p. 895.
SIGIRSIGIR-2008-HoonKTK #named #query
Minexml: bridging unstructured query with structured resources via mediated query (GKH, PKK, SST, TEK), p. 879.
POPLPOPL-2008-BohannonFPPS #lens #named #string
Boomerang: resourceful lenses for string data (AB, JNF, BCP, AP, AS), pp. 407–419.
SACSAC-2008-ErdilL #grid #hybrid #scheduling #self
Supporting self-organization for hybrid grid resource scheduling (DCE, MJL), pp. 1981–1986.
SACSAC-2008-LunaAAB #fault tolerance #heuristic #multi #resource management
Dynamic resource allocation heuristics for providing fault tolerance in multi-agent systems (AdLA, SA, JPB), pp. 66–70.
SACSAC-2008-OrdinezDS #approach #behaviour #scheduling
A behavior priority driven approach for resource reservation scheduling (LO, DD, RMS), pp. 315–319.
SACSAC-2008-TeleckenML #specification #visual notation
Applying markup language resources in the specification of visual alphabets and visual sentences (TLT, EVM, JVdL), pp. 222–227.
HPDCHPDC-2008-DrostNMB #distributed #parallel
Resource tracking in parallel and distributed applications (ND, RvN, JM, HEB), pp. 221–222.
ISMMISMM-2008-ChinNPQ #bound #low level #memory management #source code
Analysing memory resource bounds for low-level programs (WNC, HHN, CP, SQ), pp. 151–160.
ISMMISMM-2008-DilligDYC #automation #java #resource management
The CLOSER: automating resource management in java (ID, TD, EY, SC), pp. 1–10.
LCTESLCTES-2008-BadeaNV #embedded #energy #virtual machine
Impact of JVM superoperators on energy consumption in resource-constrained embedded systems (CB, AN, AVV), pp. 23–30.
LCTESLCTES-2008-HomayounPMV #adaptation #embedded #energy #performance
Improving performance and reducing energy-delay with adaptive resource resizing for out-of-order embedded processors (HH, SP, MAM, AVV), pp. 71–78.
ICLPICLP-2008-BeniniBM #constraints #multi #policy #programming #resource management #using
Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming (LB, DB, MM), pp. 470–484.
ICSTICST-2008-SeceleanuPH #resource management #scheduling
Scheduling Timed Modules for Correct Resource Sharing (CCS, PP, HH), pp. 102–111.
QoSAQoSA-2007-Woodside #architecture #performance
Resource Architecture and Continuous Performance Engineering (CMW), pp. 1–14.
WICSAWICSA-2007-JainK #design pattern #resource management
Pattern Oriented Software Architecture: Patterns for Resource Management (PJ, MK), p. 41.
CASECASE-2007-HongC #approach #automation #petri net #resource management
Resource Allocation for a Life Science Automation Line: a Petri nets Approach (TH, MYC), pp. 887–892.
CASECASE-2007-PiS #process
Resource-Task Assignment Process with Rejections and Reassignments (LP, LS), pp. 448–453.
DACDAC-2007-BanerjeeBDN #architecture #configuration management #resource management #scheduling
Selective Band width and Resource Management in Scheduling for Dynamically Reconfigurable Architectures (SB, EB, ND, JN), pp. 771–776.
DACDAC-2007-BobrekPT #modelling #resource management
Shared Resource Access Attributes for High-Level Contention Models (AB, JMP, DET), pp. 720–725.
DACDAC-2007-KumarMCTH #approach #estimation #multi #performance #probability
A Probabilistic Approach to Model Resource Contention for Performance Estimation of Multi-featured Media Devices (AK, BM, HC, BDT, YH), pp. 726–731.
DACDAC-2007-StuijkBGC #data flow #graph #multi #resource management
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs (SS, TB, MG, HC), pp. 777–782.
DATEDATE-2007-FaragES #2d #configuration management #using
Improving utilization of reconfigurable resources using two dimensional compaction (AAEF, HMEB, SIS), pp. 135–140.
DATEDATE-2007-HamersE #predict
Resource prediction for media stream decoding (JH, LE), pp. 594–599.
SIGMODSIGMOD-2007-LuoTY #adaptation #detection #realtime
Resource-adaptive real-time new event detection (GL, CT, PSY), pp. 497–508.
ITiCSEITiCSE-2007-HawthorneCK #education
Curricular resources from the acm two-year college education committee (EKH, RDC, KJK), p. 309.
FoSSaCSFoSSaCS-2007-BartolettiDFZ #analysis #resource management
Types and Effects for Resource Usage Analysis (MB, PD, GLF, RZ), pp. 32–47.
CHICHI-2007-Salovaara
Appropriation of a MMS-based comic creator: from system functionalities to resources for action (AS), pp. 1117–1126.
HCIOCSC-2007-Huang #case study #library #social
Integrating Digital Library Resources in Elementary School Classrooms — A Case Study of Social Study Instruction (KHH), pp. 372–374.
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.
ECIRECIR-2007-BoyerB #natural language #web
Natural Language Processing for Usage Based Indexing of Web Resources (AB, AB), pp. 517–524.
SEKESEKE-2007-Gomez-PerezRV #reuse #standard
Methodology for Reusing Human Resources Management Standards (AGP, JR, BVT), pp. 280–285.
SEKESEKE-2007-RaibuletUM #adaptation #approach #resource management
An Adaptive Resource Management Approach for a Healthcare System (CR, LU, SM), pp. 286–291.
SIGIRSIGIR-2007-Leidner #information management #monitoring
Resource monitoring in information extraction (JLL), pp. 779–780.
SIGIRSIGIR-2007-Witschel #peer-to-peer #retrieval
Global resources for peer-to-peer text retrieval (HFW), p. 923.
ECOOPECOOP-2007-DegenTW #java #linear
Tracking Linear and Affine Resources with Java(X) (MD, PT, SW), pp. 550–574.
QAPLQAPL-2007-ChothiaPD #component
Keeping Secrets in Resource Aware Components (TC, JP, MTD), pp. 79–94.
SACSAC-2007-BonenfantCHMWW #cost analysis #towards
Towards resource-certified software: a formal cost model for time and its application to an image-processing example (AB, ZC, KH, GM, AMW, IW), pp. 1307–1314.
SACSAC-2007-ClaycombS #collaboration #pervasive #resource management #towards
Towards secure resource sharing for impromptu collaboration in pervasive computing (WC, DS), pp. 940–946.
SACSAC-2007-MoreiraMB #multi #online #resource management
Online resource management in a multiprocessor with a network-on-chip (OM, JJDM, MB), pp. 1557–1564.
SACSAC-2007-PreuveneersB #adaptation #mobile #self #towards
Towards context-aware and resource-driven self-adaptation for mobile handheld applications (DP, YB), pp. 1165–1170.
ESEC-FSEESEC-FSE-2007-FosterEKMRU #composition #constraints #model checking
Model checking service compositions under resource constraints (HF, WE, JK, JM, DSR, SU), pp. 225–234.
ICSEICSE-2007-Zualkernan #learning #programming #using
Using Soloman-Felder Learning Style Index to Evaluate Pedagogical Resources for Introductory Programming Classes (IAZ), pp. 723–726.
HPDCHPDC-2007-ByunJK #adaptation #reliability #resource management #scalability #towards
Towards adaptive, scalable, and reliable resource provisioning for wsrf-compliant applications (EKB, JWJ, JSK), pp. 217–218.
HPDCHPDC-2007-HuangCC #generative #grid #specification
Generating grid resource requirement specifications (RYH, AAC, HC), pp. 233–234.
ISMMISMM-2007-OHearn #concurrent #logic #resource management
Separation logic and concurrent resource management (PWO), p. 1.
ICLPICLP-2007-Naish #analysis #concurrent
Resource-Oriented Deadlock Analysis (LN), pp. 302–316.
ICLPICLP-2007-NavasMLH #analysis #bound #logic programming #source code
User-Definable Resource Bounds Analysis for Logic Programs (JAN, EM, PLG, MVH), pp. 348–363.
LICSLICS-2007-MelliesT #game studies #semantics
Resource modalities in game semantics (PAM, NT), pp. 389–398.
CASECASE-2006-GohBDEHR #resource management
A Resource Planning Model for Professional Services Organizations (MG, KB, RdS, BTE, JH, BKR), pp. 636–639.
DACDAC-2006-ChenCFX #multi
Optimality study of resource binding with multi-Vdds (DC, JC, YF, JX), pp. 580–585.
DACDAC-2006-WangGDK #design #optimisation #using
Design space exploration using time and resource duality with the ant colony optimization (GW, WG, BD, RK), pp. 451–454.
DATEDATE-2006-CherrounDF #constraints #equation #scheduling #using
Scheduling under resource constraints using dis-equations (HC, AD, PF), pp. 1067–1072.
DATEDATE-2006-DimondML #automation #memory management #resource management
Automating processor customisation: optimised memory access and resource sharing (RGD, OM, WL), pp. 206–211.
DATEDATE-2006-XueOLKK #architecture #clustering #embedded #memory management
Dynamic partitioning of processing and memory resources in embedded MPSoC architectures (LX, ÖÖ, FL, MTK, IK), pp. 690–695.
CSEETCSEET-2006-RappaSY #re-engineering
Open Course Resources as Part of the OpenSeminar in Software Engineering (MR, SES, AY), pp. 187–192.
ITiCSEITiCSE-2006-CasselF
Sharing the wealth: publishing electronic resources (LNC, EAF), p. 327.
PEPMPEPM-2006-IwamaIK #analysis #exception #functional #resource management
Resource usage analysis for a functional language with exceptions (FI, AI, NK), pp. 38–47.
STOCSTOC-2006-ChoG #distributed #multi #resource management
Pricing for fairness: distributed resource allocation for multiple objectives (SwC, AG), pp. 197–204.
FLOPSFLOPS-2006-MarionP #analysis
Resource Analysis by Sup-interpretation (JYM, RP), pp. 163–176.
ICEISICEIS-AIDSS-2006-SoaresSS #community #semantics
Selecting and Structuring Semantic Resources to Support SMEs Knowledge Communities (ALS, MMdS, DS), pp. 270–277.
ICEISICEIS-DISI-2006-Ifinedo #enterprise #metric #resource management
Enterprise Resource Planning (ERP) Systems Success Measurement: An Extended Model (PI), pp. 71–78.
ICEISICEIS-ISAS-2006-BarresiRML #integration #semantics
Methodology to Support Semantic Resources Integration in the Construction Sector (SB, YR, FM, CL), pp. 94–101.
ICEISICEIS-ISAS-2006-ChengP #aspect-oriented #bibliography #development #embedded #realtime #resource management #scheduling #using
Using Aspect-Oriented Software Development in Real-Time Embedded Systems Software — A Review of Scheduling, Resource Allocation and Synchronization (PLC, GAP), pp. 388–393.
ICEISICEIS-J-2006-BarresiRLM #integration #semantics
Semantic Resources Integration and Interoperability in the Construction Domain (SB, YR, CL, FM), pp. 336–347.
ICEISICEIS-J-2006-Ifinedo06a #approach #enterprise #equation #modelling #resource management
Measuring Enterprise Resource Planning (ERP) Systems Success: A Structural Equation Modeling Approach (PI), pp. 86–97.
ICEISICEIS-SAIC-2006-SchwindG #combinator #grid #resource management #using
Using Shadow Prices for Resource Allocation in a Combinatorial Grid with Proxy-Bidding Agents (MS, OG), pp. 11–18.
ICEISICEIS-SAIC-2006-WuMLYL
WSRF-Based Virtualization for Manufacturing Resources (LW, XM, SL, CY, XL), pp. 132–137.
CIKMCIKM-2006-HeinzS #kernel #resource management #streaming
Resource-aware kernel density estimators over streaming data (CH, BS), pp. 870–871.
ICPRICPR-v1-2006-PerrinDZ #2d #3d #assessment #parametricity #process #using
2D and 3D Vegetation Resource Parameters Assessment using Marked Point Processes (GP, XD, JZ), pp. 1–4.
ICPRICPR-v2-2006-JiangL #3d #image #synthesis
Synthesis of Stereoscopic 3D Videos by Limited Resources of Range Images (XJ, ML), pp. 1220–1224.
SEKESEKE-2006-McElroyR #release planning
Decision Support for Resource-centric Software Release Planning (JM, GR), pp. 132–137.
SIGIRSIGIR-2006-CarberryED #library
Information graphics: an untapped resource for digital libraries (SC, SE, SD), pp. 581–588.
SACSAC-2006-BaillieAC #evaluation #metric #quality
An evaluation of resource description quality measures (MB, LA, FC), pp. 1110–1111.
SACSAC-2006-BendaJPSC #algorithm #distributed #resource management
A distributed stand-in agent based algorithm for opportunistic resource allocation (PB, PJ, MP, NS, MMC), pp. 119–125.
SACSAC-2006-ChoiBS #design #implementation #kernel #linux #programming #robust
Design and implementation of a kernel resource protector for robustness of Linux module programming (JC, SB, SYS), pp. 1477–1481.
SACSAC-2006-GaberY #approach #clustering #data type #framework #information management #resource management
A framework for resource-aware knowledge discovery in data streams: a holistic approach with its application to clustering (MMG, PSY), pp. 649–656.
SACSAC-2006-IfinedoN #enterprise #metric #resource management
Prioritization of enterprise resource planning (ERP) systems success measures: viewpoints of two organizational stakeholder groups (PI, NN), pp. 1554–1560.
SACSAC-2006-LiV #community #grid #resource management #semantics
Grid resource discovery based on semantic P2P communities (JL, STV), pp. 754–758.
SACSAC-2006-SharminAA #adaptation #middleware #resource management #self #usability #using
Ubicomp assistant: an omnipresent customizable service using MARKS (middleware adaptability for resource discovery, knowledge usability and self-healing) (MS, SA, SIA), pp. 1013–1017.
ICSEICSE-2006-PoonY #case study #enterprise #experience #resource management
Procurement of enterprise resource planning systems: experiences with some Hong Kong companies (PLP, YTY), pp. 561–568.
HPCAHPCA-2006-KumarA #concurrent #detection #fault #performance
Reducing resource redundancy for concurrent error detection techniques in high performance microprocessors (SK, AA), pp. 212–221.
HPDCHPDC-2006-AamnitchiDG #energy #physics #resource management
Filecules in High-Energy Physics: Characteristics and Impact on Resource Management (AI, SD, GG), pp. 69–80.
HPDCHPDC-2006-KeeYCC #distributed #resource management #robust #scalability
Robust Resource Allocation for Large-scale Distributed Shared Resource Environments (YSK, KY, AAC, HC), pp. 341–342.
HPDCHPDC-2006-RenLEB #fine-grained #predict
Resource Availability Prediction in Fine-Grained Cycle Sharing Systems (XR, SL, RE, SB), pp. 93–104.
HPDCHPDC-2006-SandholmLOO #grid #performance #predict #resource management #using
Market-Based Resource Allocation using Price Prediction in a High Performance Computing Grid for Scientific Applications (TS, KL, JAO, JO), pp. 132–143.
HPDCHPDC-2006-Yom-TovA #estimation #requirements
Improving Resource Matching Through Estimation of Actual Job Requirements (EYT, YA), pp. 367–368.
LICSLICS-2006-ParkinsonBC #hoare #logic
Variables as Resource in Hoare Logics (MJP, RB, CC), pp. 137–146.
VMCAIVMCAI-2006-KobayashiSW #analysis #resource management #π-calculus
Resource Usage Analysis for the pi-Calculus (NK, KS, LW), pp. 298–312.
CBSECBSE-2005-FredrikssonSA #component #optimisation #realtime #resource management
Optimizing Resource Usage in Component-Based Real-Time Systems (JF, KS, ), pp. 49–65.
ASEASE-2005-KapfhammerSM #execution #testing
Testing in resource constrained execution environments (GMK, MLS, DM), pp. 418–422.
CASECASE-2005-ChewL #multi #robust
Robust supervisory control for production systems with multiple resource failures (SFC, MAL), pp. 375–380.
CASECASE-2005-WangCL #capacity #robust #using
Using shared resource capacity for robust control of failure prone manufacturing systems (SW, SFC, MAL), pp. 369–374.
CASECASE-2005-ZhangZNZ
Production planning with joint resources usage semiconductor test manufacturing (ZZ, MTZ, SN, LZ), pp. 49–54.
DACDAC-2005-MukherjeeMM #resource management #synthesis
Temperature-aware resource allocation and binding in high-level synthesis (RM, SOM, GM), pp. 196–201.
DATEDATE-2005-KimKPJC #architecture #configuration management #optimisation #pipes and filters #resource management
Resource Sharing and Pipelining in Coarse-Grained Reconfigurable Architecture for Domain-Specific Optimization (YK, MK, CP, JJ, KC), pp. 12–17.
DATEDATE-2005-NolletMAM #configuration management #hardware #resource management #runtime
Centralized Run-Time Resource Management in a Network-on-Chip Containing Reconfigurable Hardware Tiles (VN, TM, PA, JYM), pp. 234–239.
HTHT-2005-MulhollandCZ
Spotlight browsing of resource archives (PM, TDC, ZZ), pp. 23–31.
HTHT-2005-Rafiei #scalability
Bulk loading large collections of hyperlinked resources (DR), pp. 267–269.
CSEETCSEET-2005-WilliamsSR #agile #development #re-engineering
Resources for Agile Software Development in the Software Engineering Course (LW, SES, MR), pp. 236–238.
ESOPESOP-2005-ChanderEILN #bound #dynamic analysis #verification
Enforcing Resource Bounds via Static Verification of Dynamic Checks (AC, DE, NI, PL, GCN), pp. 311–325.
PLDIPLDI-2005-NiKSI #ad hoc #mobile #network #programming
Programming ad-hoc networks of mobile and resource-constrained devices (YN, UK, AS, LI), pp. 249–260.
ICALPICALP-2005-Zhang #game studies #performance #resource management
The Efficiency and Fairness of a Fixed Budget Resource Allocation Game (LZ0), pp. 485–496.
SEFMSEFM-2005-JinH #concurrent #process #towards
Towards A Truly Concurrent Model for Processes Sharing Resources (NJ, JH), pp. 231–239.
CEFPCEFP-2005-Hammond #approach #behaviour #bound #functional #programming
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (KH), pp. 100–134.
CHICHI-2005-OulasvirtaTRK #human-computer #interactive #mobile
Interaction in 4-second bursts: the fragmented nature of attentional resources in mobile HCI (AO, ST, VR, JK), pp. 919–928.
CAiSECAiSE-2005-RussellAHE #identification #representation #tool support #workflow
Workflow Resource Patterns: Identification, Representation and Tool Support (NR, WMPvdA, AHMtH, DE), pp. 216–232.
ICEISICEIS-v2-2005-AhmanH #approach #game studies #reduction #simulation #using
Using a Game Theoretical Approach for Experimental Simulation of Brood Reduction — Conflict and Co-Operation, Effect on Brood Size with Limited Resources (, LH), pp. 220–225.
ICEISICEIS-v3-2005-WhiteJM #adaptation #data access #ubiquitous
User-Centric Adaptive Access Control and Resource Configuration for Ubiquitous Computing Environments (MW, BJ, SvdM), pp. 349–354.
SEKESEKE-2005-SiciliaCR #learning #ontology #process
Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning Technologies (MÁS, JJC, DR), pp. 145–150.
SIGIRSIGIR-2005-Lin #evaluation
Evaluation of resources for question answering evaluation (JJL), pp. 392–399.
PPDPPPDP-2005-CraigL #prolog #self
Self-tuning resource aware specialisation for prolog (SJC, ML), pp. 23–34.
PPDPPPDP-2005-HermenegildoALP #abstraction
Abstraction carrying code and resource-awareness (MVH, EA, PLG, GP), pp. 1–11.
SACSAC-2005-BertholdSLH #data type #resource management
Integrated resource management for data stream systems (HB, SS, WL, CJH), pp. 555–562.
SACSAC-2005-HeI #distributed #resource management #self
Forming resource-sharing coalitions: a distributed resource allocation mechanism for self-interested agents in computational grids (LH, TRI), pp. 84–91.
SACSAC-2005-LauW #approach #multi #optimisation #problem
A multi-agent approach for solving optimization problems involving expensive resources (HCL, HW), pp. 79–83.
HPDCHPDC-2005-Burruss
The resource oriented authorization manager (ROAM) (JB), pp. 308–309.
HPDCHPDC-2005-ChenCTAC #resource management #scalability
DHT overlay schemes for scalable p-range resource discovery (LC, KSC, JT, DA, DC), pp. 297–298.
HPDCHPDC-2005-HumphreyWJBRGBLFMPM #comparison #framework #implementation #web #web service
State and events for Web services: a comparison of five WS-resource framework and WS-notification implementations (MH, GSW, KRJ, JB, MR, JG, JB, SL, ITF, SM, SP, MM), pp. 3–13.
HPDCHPDC-2005-OppenheimerAPV #design #implementation #resource management #trade-off
Design and implementation tradeoffs for wide-area resource discovery (DLO, JRA, DAP, AV), pp. 113–124.
CBSECBSE-2004-MuskensC #component #multi #predict #runtime
Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems (JM, MRVC), pp. 162–177.
DACDAC-2004-SelvakkumaranRRK #algorithm #clustering #multi
Multi-resource aware partitioning algorithms for FPGAs with heterogeneous resources (NS, AR, SR, GK), pp. 741–746.
DATEDATE-v2-2004-BobrekPNPT #approach #hybrid #modelling #simulation #using
Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach (AB, JJP, JEN, JMP, DET), pp. 1144–1149.
DATEDATE-v2-2004-GrunewaldNPR #multi #network
A Mapping Strategy for Resource-Efficient Network Processing on Multiprocessor SoC (MG, JCN, MP, UR), pp. 758–763.
SIGMODSIGMOD-2004-JainCW #adaptation #resource management #using
Adaptive Stream Resource Management Using Kalman Filters (AJ, EYC, YFW), pp. 11–22.
VLDBVLDB-2004-ArasuW #resource management
Resource Sharing in Continuous Sliding-Window Aggregates (AA, JW), pp. 336–347.
ITiCSEITiCSE-2004-CasselF
Sharing the wealth: publishing electronic resources (LNC, EAF), p. 234.
ITiCSEITiCSE-WGR-2004-Campbell #assurance #security
IT security and data assurance: a new resource for two-year colleges (RDC), p. 20.
ESOPESOP-2004-OHearn #concurrent #reasoning
Resources, Concurrency, and Local Reasoning (Abstract) (PWO), pp. 1–2.
TACASTACAS-2004-RasmussenLS #automaton #scheduling #using
Resource-Optimal Scheduling Using Priced Timed Automata (JIR, KGL, KS), pp. 220–235.
PEPMPEPM-2004-PopeeaC #correctness #protocol #proving #type system #verification
A type system for resource protocol verification and its correctness proof (CP, WNC), pp. 135–146.
STOCSTOC-2004-ChekuriGKK #multi #scheduling
Multi-processor scheduling to minimize flow time with epsilon resource augmentation (CC, AG, SK, AK), pp. 363–372.
ICALPICALP-2004-Atkey #λ-calculus
A λ-Calculus for Resource Separation (RA), pp. 158–170.
SEFMSEFM-2004-NaiyongJ #co-evolution #design #hardware #modelling #specification
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language (NJ, JH), pp. 132–141.
ICEISICEIS-v1-2004-ChertourasC #approach #case study #enterprise #process #re-engineering
ERP Based Business Process Reengineering in a Human Resources Department: A Case Study Approach (KC, TC), pp. 78–83.
ICEISICEIS-v1-2004-CorcolesG #integration #web #xml
Study of Different Approaches to the Integration of Spatial XML Web Resources (JEC, PG), pp. 364–369.
ICEISICEIS-v3-2004-Salimifard #component #modelling #petri net #using
Component-Based Modelling of Organisational Resources Using Coloured Petri Nets (KS), pp. 577–580.
ICEISICEIS-v4-2004-KleinSF #resource management
Resource Sharing and Load Balancing Based on Agent Mobility (GK, AS, AEFS), pp. 350–355.
ICEISICEIS-v5-2004-RousseauBMFM #multi #personalisation #profiling #repository #resource management #using
Personalised Resource Discovery Searching over Multiple Repository Types: Using User and Information Provider Profiling (BR, PB, PM, PF, VM), pp. 35–43.
CIKMCIKM-2004-MaSPZL #enterprise #named #query #rdf #resource management
RStar: an RDF storage and query system for enterprise resource management (LM, ZS, YP, LZ, TL), pp. 484–491.
CIKMCIKM-2004-PetinotGBTHC #library #named #towards
CiteSeer-API: towards seamless resource location and interlinking for digital libraries (YP, CLG, VB, PBT, HH, IGC), pp. 553–561.
CIKMCIKM-2004-SiC #framework
Unified utility maximization framework for resource selection (LS, JPC), pp. 32–41.
ECIRECIR-2004-NottelmannF #approach
Combining CORI and the Decision-Theoretic Approach for Advanced Resource Selection (HN, NF), pp. 138–153.
KRKR-2004-HaarslevM #documentation #optimisation #owl #rdf
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results (VH, RM), pp. 163–174.
SIGIRSIGIR-2004-RogatiY #information retrieval
Resource selection for domain-specific cross-lingual IR (MR, YY), pp. 154–161.
SIGIRSIGIR-2004-XuU #analysis #mining #ranking #web
A unified model of literal mining and link analysis for ranking web resources (YX, KU), pp. 546–547.
SACSAC-2004-CherkasovaT #performance #resource management
Providing resource allocation and performance isolation in a shared streaming-media hosting service (LC, WT), pp. 1213–1218.
SACSAC-2004-CoutoMS #biology #using #web
Classifying biological articles using web resources (FMC, BM, MJS), pp. 111–115.
SACSAC-2004-LischkaK #execution #modelling
Modeling and execution of E-Learning resources (JL, DK), pp. 971–972.
SACSAC-2004-MichaelsonHS #automaton #bound #named #programming #using
FSM-Hume: programming resource-limited systems using bounded automata (GM, KH, JS), pp. 1455–1461.
ICSEICSE-2004-FentonMNCFT #resource management
Making Resource Decisions for Software Projects (NEF, WM, MN, PC, SF, MT), pp. 397–406.
ICSEICSE-2004-PoladianSGS #resource management
Dynamic Configuration of Resource-Aware Services (VP, JPS, DG, MS), pp. 604–613.
HPDCHPDC-2004-GuptaLD #comprehension
Measuring and Understanding User Comfort With Resource Borrowing (AG, BL, PAD), pp. 214–224.
HPDCHPDC-2004-KichkayloK #component #deployment #distributed #resource management
Optimal Resource-Aware Deployment Planning for Component-Based Distributed Applications (TK, VK), pp. 150–159.
HPDCHPDC-2004-KwonHKL #grid #named #resource management
GRASP: A Grid Resource Allocation System based on OGSA (OKK, JH, SK, JRL), pp. 278–279.
HPDCHPDC-2004-RipeanuBCFM #resource management
Globus and PlanetLab Resource Management Solutions Compared (MR, MB, JSC, ITF, MM), pp. 246–255.
HPDCHPDC-2004-WassonBMH #dot-net
WS-ResourceFramework on .NET (GSW, NB, MMM, MH), pp. 258–259.
HPDCHPDC-2004-ZhangKPCNWS #algorithm #parallel #using
Strategies for Using Additional Resources in Parallel Hash-Based Join Algorithms (XZ, TMK, TP, ÜVÇ, SN, PW, JHS), pp. 4–13.
LCTESLCTES-2004-SaputraCBVKI #embedded
Code protection for resource-constrained embedded devices (HS, GC, RRB, NV, MTK, MJI), pp. 240–248.
LCTESLCTES-2004-ZhangK #adaptation
Adaptive code unloading for resource-constrained JVMs (LZ, CK), pp. 155–164.
CSLCSL-2004-AmadioCDJ #bound #bytecode #functional #verification
A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.
DACDAC-2003-MemikMJK #data flow #graph #resource management #synthesis
Global resource sharing for synthesis of control data flow graphs on FPGAs (SOM, GM, RJ, EK), pp. 604–609.
DACDAC-2003-SzymanekK #constraints #graph
Partial task assignment of task graphs under heterogeneous resource constraints (RS, KK), pp. 244–249.
DATEDATE-2003-GericotaASF #configuration management #logic #runtime
Run-Time Management of Logic Resources on Reconfigurable Systems (MGG, GRA, MLS, JMF), pp. 10974–10979.
DRRDRR-2003-WuL #image #web
Resource-optimized delivery of web images to small-screen devices (YW, DPL), pp. 144–155.
SIGMODSIGMOD-2003-DeshpandeNGS03a #named
IrisNet: Internet-scale Resource-Intensive Sensor Services (AD, SN, PBG, SS), p. 667.
ITiCSEITiCSE-2003-Cassel #using
Using CITIDEL resources to support documenting objectives and outcomes (LNC), p. 255.
ITiCSEITiCSE-2003-CrescenziI #usability
A tool to develop electronic course books based on WWW technologies, resources and usability criteria (PC, GI), pp. 163–167.
ITiCSEITiCSE-2003-PearsPE #learning #online
Enriching online learning resources with “explanograms” (ANP, LP, CE), p. 237.
ICSMEICSM-2003-Ramil #estimation #evolution
Continual Resource Estimation for Evolving Software (JFR), pp. 289–292.
SASSAS-2003-UnnikrishnanCKKK #requirements
Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications (PU, GC, MTK, MK, IK), pp. 383–400.
ICALPICALP-2003-GorlaP #resource management
Resource Access and Mobility Control with Dynamic Privileges Acquisition (DG, RP), pp. 119–132.
CHICHI-2003-GaverBB #ambiguity #design
Ambiguity as a resource for design (WWG, JB, SB), pp. 233–240.
ICEISICEIS-v1-2003-KaranikolasS #framework #legacy #navigation
Shifting From Legacy Systems to a Data Mart and Computer Assisted Information Resources Navigation Framework (NK, CS), pp. 300–305.
ICEISICEIS-v1-2003-MorleyH #enterprise #quality #resource management
Technical Use Quality in a University Enterprise Resource Planning System: Perceptions of Response Time and Its Strategic Importance (MM, LvH), pp. 341–346.
ICEISICEIS-v2-2003-Debenham #constraints #people #process
Agents for High-Level Process Management: The Right Activities, People and Resources to Satisfy Process Constraints (JKD), pp. 434–437.
ICEISICEIS-v2-2003-Raisinghani #enterprise #information management #taxonomy
Knowledge Management Systems for Leveraging Enterprise Data Resources: Taxonomy and Key Issues (MSR), pp. 519–521.
ICEISICEIS-v3-2003-LeeS #enterprise #optimisation #resource management
Complementary Adoption and Optimization of Enterprise Resource Planning Systems (CSL, WSS), pp. 615–618.
ICEISICEIS-v4-2003-Roth #collaboration #framework #mobile
The Resource Framework for Mobile Applications: Enabling Collaboration Between Mobile Users (JR), pp. 87–94.
CIKMCIKM-2003-BallesterosS #retrieval
Addressing the lack of direct translation resources for cross-language retrieval (LB, MS), pp. 147–152.
SIGIRSIGIR-2003-BartlettT #data flow
Discovering and structuring information flow among bioinformatics resources (JCB, EGT), pp. 411–412.
SIGIRSIGIR-2003-BerrettiCNSW #data fusion #distributed #library #multi #named
MIND: resource selection and data fusion in multimedia distributed digital libraries (SB, JPC, HN, XMS, SW), p. 465.
SIGIRSIGIR-2003-CallanCNPS #data fusion #distributed #library #multi
Resource selection and data fusion in multimedia distributed digital libraries (JPC, FC, HN, PP, XMS), pp. 363–364.
SIGIRSIGIR-2003-NottelmannF #quality #retrieval
Evaluating different methods of estimating retrieval quality for resource selection (HN, NF), pp. 290–297.
SIGIRSIGIR-2003-SiC #documentation #estimation
Relevant document distribution estimation method for resource selection (LS, JPC), pp. 298–305.
SACSAC-2003-RamanCBDR #network #pervasive #resource management
Access-Controlled Resource Discovery for Pervasive Networks (SR, DEC, MB, SD, RLR), pp. 338–345.
CGOCGO-2003-SmelyanskiyMDL #constraints #scheduling
Predicate-Aware Scheduling: A Technique for Reducing Resource Constraints (MS, SAM, ESD, HHSL), pp. 169–178.
HPDCHPDC-2003-AgarwalaPKSW #distributed #monitoring #resource management
Resource-Aware Stream Management with the Customizable dproc Distributed Monitoring Mechanisms (SA, CP, JK, KS, MW), pp. 250–259.
HPDCHPDC-2003-RamanLS #policy #resource management
Policy Driven Heterogeneous Resource Co-Allocation with Gangmatching (RR, ML, MHS), pp. 80–89.
HPDCHPDC-2003-SenapathiCSSP #adaptation #clustering #interactive #middleware
QoS-Aware Middleware for Cluster-Based Servers to support Interactive and Resource-Adaptive Applications (SS, BC, DS, HWS, DKP), pp. 205–215.
HPDCHPDC-2003-SpenceH #distributed #framework #named #resource management
XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform (DS, TH), pp. 216–225.
HPDCHPDC-2003-SundaresanLKPS #adaptation #grid #monitoring #using
Adaptive Polling of Grid Resource Monitors Using a Slacker Coherence Model (RS, ML, TMK, SP, JHS), pp. 260–269.
PPoPPPPoPP-2003-TauraKEY #named #parallel #programming
Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources (KT, KK, TE, AY), pp. 216–229.
SOSPSOSP-2003-FuCCSV #architecture #named
SHARP: an architecture for secure resource peering (YF, JSC, BNC, SS, AV), pp. 133–148.
CBSECBSE-2003-JongeMC #component #predict #runtime
Scenario-Based Prediction of Run-time Resource Consumption in Component-Based Software Systems (MdJ, JM, MRVC), p. 4.
DATEDATE-2002-ChandraC #clustering #testing
Test Resource Partitioning and Reduced Pin-Count Testing Based on Test Data Compression (AC, KC), pp. 598–603.
DATEDATE-2002-ZhaoMB #compilation #design #modelling #set #using
Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models (QZ, BM, TB), pp. 1021–1026.
VLDBVLDB-2002-ConradGJM #database #logic #physics #using
Database Selection Using Actual Physical and Acquired Logical Collection Resources in a Massive Domain-specific Operational Environment (JGC, XSG, PJ, MM), pp. 71–82.
VLDBVLDB-2002-SenkulKT #constraints #framework #logic #resource management #scheduling #workflow
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints (PS, MK, IHT), pp. 694–705.
CSEETCSEET-2002-SeffahG #education #re-engineering
Learner-Centered Software Engineering Education: From Resources to Skills and Pedagogical Patterns (AS, PG), pp. 14–21.
ITiCSEITiCSE-2002-Knox #named
CITIDEL: making resources available (DK), p. 225.
TACASTACAS-2002-BasuKPR #model checking #recursion #source code
Resource-Constrained Model Checking of Recursive Programs (SB, KNK, LRP, CRR), pp. 236–250.
TACASTACAS-2002-EmersonK #model checking #resource management #scalability
Model Checking Large-Scale and Parameterized Resource Allocation Systems (EAE, VK), pp. 251–265.
ICALPICALP-2002-EpsteinSS #bound #online
New Bounds for Variable-Sized and Resource Augmented Online Bin Packing (LE, SSS, RvS), pp. 306–317.
FMFME-2002-ArtsED #case study #erlang #verification
Verifying Erlang Code: A Resource Locker Case-Study (TA, CBE, JD), pp. 184–203.
ICEISICEIS-2002-Peters #enterprise #resource management
Introducing an Enterprise Resource Planning (ERP) System in a Hospital (SCAP), pp. 275–281.
CIKMCIKM-2002-SiJCO #framework #modelling
A language modeling framework for resource selection and results merging (LS, RJ, JPC, PO), pp. 391–397.
ICPRICPR-v3-2002-BerrettiBP #distributed #image #retrieval
Extraction of Resource Descriptors for Distributed Content Based Image Retrieval (SB, ADB, PP), pp. 995–998.
KDDKDD-2002-Aggarwal02a #case study #collaboration #crawling #experience #mining #resource management #topic #user interface
Collaborative crawling: mining user experiences for topical resource discovery (CCA), pp. 423–428.
SEKESEKE-2002-LoiaSS #deduction #named #web
LearnMiner: deductive, tolerant agents for discovering didactic resources on the web (VL, SS, MIS), pp. 109–115.
SEKESEKE-2002-ReisRSN #process
A policy-based resource instantiation mechanism to automate software process management (CALR, RQR, HS, DJN), pp. 795–802.
SIGIRSIGIR-2002-LavelliMS #categorisation
Building thematic lexical resources by term categorization (AL, BM, FS), pp. 415–416.
SIGIRSIGIR-2002-McNameeM #query
Comparing cross-language query expansion techniques by degrading translation resources (PM, JM), pp. 159–166.
POPLPOPL-2002-IgarashiK #analysis #resource management
Resource usage analysis (AI, NK), pp. 331–342.
ICSEICSE-2002-KimP #testing
A history-based test prioritization technique for regression testing in resource constrained environments (JMK, AAP), pp. 119–129.
ICSEICSE-2002-WeinsbergB #programming
A programming model and system for disconnected-aware applications on resource-constrained devices (YW, IBS), pp. 374–384.
ASPLOSASPLOS-2002-ZengELV #ecosystem #energy #named #operating system
ECOSystem: managing energy as a first class operating system resource (HZ, CSE, ARL, AV), pp. 123–132.
HPDCHPDC-2002-HuangV #resource management
QoS-Based Resource Discovery in Intermittently Available Environments (YH, NV), p. 50–?.
HPDCHPDC-2002-IamnitchiFN #approach #grid #peer-to-peer
A Peer-to-Peer Approach to Resource Location in Grid Environments (AI, ITF, DN), p. 419.
HPDCHPDC-2002-KenyonC #architecture #grid #requirements
Architecture Requirements for Commercializing Grid Resources (CK, GC), pp. 215–224.
HPDCHPDC-2002-LiuYFA #design #evaluation #framework #grid
Design and Evaluation of a Resource Selection Framework for Grid Applications (CL, LY, ITF, DA), pp. 63–72.
HPDCHPDC-2002-SnellTEC #grid #resource management
An Enterprise-Based Grid Resource Management System (QS, KT, JJE, MJC), p. 83–?.
OSDIOSDI-2002-ShenTYC #clustering #internet #resource management
Integrated Resource Management for Cluster-based Internet Services (KS, HT, TY, LC), pp. 225–238.
OSDIOSDI-2002-UrgaonkarSR #profiling
Resource Overbooking and Application Profiling in Shared Hosting Platforms (BU, PJS, TR), pp. 239–254.
OSDIOSDI-2002-Waldspurger #memory management #resource management
Memory Resource Management in VMware ESX Server (CAW), pp. 181–194.
CSLCSL-2002-GalmicheMP
Resource Tableaux (DG, DM, DJP), pp. 183–199.
CSLCSL-2002-HodasLPSP #logic programming #proving #resource management
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming (JSH, PL, JP, LS, EP), pp. 167–182.
DACDAC-2001-AlpertHSV #resource management
A Practical Methodology for Early Buffer and Wire Resource Allocation (CJA, JH, SSS, PV), pp. 189–194.
DATEDATE-2001-IyerM #architecture #power management #scalability
Power aware microarchitecture resource scaling (AI, DM), pp. 190–196.
HTHT-2001-ConlanHLWA #adaptation #learning #metadata
Extending eductional metadata schemas to describe adaptive learning resources (OC, CH, PL, VPW, DA), pp. 161–162.
HTHT-2001-Feise #approach #persistent #web
An approach to persistence of Web resources (JF), pp. 215–216.
ICDARICDAR-2001-Hurst #layout #using
Layout and Language: Exploring Text Block Discovery in Tables Using Linguistic Resources (MH), pp. 523–527.
STOCSTOC-2001-KempeKD #protocol
Spatial gossip and resource location protocols (DK, JMK, AJD), pp. 163–172.
VISSOFTSVIS-2001-RossG #education #learning #named #web
Hypertextbooks: Animated, Active Learning, Comprehensive Teaching and Learning Resources for the Web (RJR, MTG), pp. 269–284.
ICEISICEIS-v1-2001-HengP #resource management
Domain Knowledge as Corporate Resource of Financial Firms (MSHH, SCAP), pp. 69–74.
ICEISICEIS-v2-2001-NevesVCSMT #modelling
Unified Resource Modelling (JN, AV, AC, PS, RM, JMT), pp. 898–904.
CIKMCIKM-2001-BrownSCPCAP #speech #towards
Towards Speech as a Knowledge Resource (EWB, SS, AC, DBP, JWC, AA, JP), pp. 526–528.
SIGIRSIGIR-2001-Larson #distributed #resource management
Distributed Resource Discovery and Structured Data Searching with Cheshire II (RRL), p. 455.
OOPSLAOOPSLA-2001-BinderHV #approach #java
Portable Resource Control in Java: The J-SEAL2 Approach (WB, JH, AV), pp. 139–155.
TOOLSTOOLS-USA-2001-KimovskiTD #resource management
Virtual Laboratory-Agent-Based Resource Sharing System (GK, VT, DD), pp. 89–99.
HPDCHPDC-2001-CzajkowskiDKT #resource management #visual notation
Practical Resource Management for Grid-Based Visual Exploration (KC, AKD, CK, MT), p. 416–?.
HPDCHPDC-2001-CzajkowskiKFF #distributed #grid #information management #resource management
Grid Information Services for Distributed Resource Sharing (KC, CK, SF, ITF), pp. 181–194.
HPDCHPDC-2001-LopezO #evaluation #network
Evaluation of a Resource Selection Mechanism for Complex Network Services (JCL, DRO), pp. 171–180.
HPDCHPDC-2001-NatrajanFHGWCB #case study #experience #grid #using
Studying Protein Folding on the Grid: Experiences Using CHARMM on NPACI Resources under Legion (AN, ADF, MAH, ASG, NWD, MC, CLBI), pp. 14–21.
HPDCHPDC-2001-RoyoCKF #architecture #network #pipes and filters #resource management
Active Yellow Pages: A Pipelined Resource Management Architecture for Wide-Area Network Computing (DR, LDdC, NHK, JABF), pp. 147–157.
HPDCHPDC-2001-SkicewiczDS #behaviour #multi #query #using
Multi-Resolution Resource Behaviour Queries Using Wavelets (JAS, PAD, JMS), pp. 395–394.
HPDCHPDC-2001-TerekhovPWLLTVVWS #data access #distributed #resource management
Distributed Data Access and Resource Management in the D0 SAM System (IT, RP, VW, LL, LLC, JT, SV, MV, SW, HS), p. 87–?.
PPoPPPPoPP-2001-RencuzogullariD #adaptation #network #parallel
Dynamic adaptation to available resources for parallel computing in an autonomous network of workstations (UR, SD), pp. 72–81.
SOSPSOSP-2001-ChaseATVD #energy
Managing Energy and Server Resources in Hosting Centres (JSC, DCA, PNT, AV, RPD), pp. 103–116.
CBSECBSE-2000-ErikssonV #resource management
Applying CBSE Theory on Corporate Resources (NE, TV), p. 1.
ASEASE-2000-El-FakihYBH #automation #distributed #petri net #specification
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources (KEF, HY, GvB, TH), pp. 305–308.
DATEDATE-2000-CotaRABCL #reuse
Reuse of Existing Resources for Analog BIST of a Switch Capacitor Filte (ÉFC, MR, FA, YB, LC, ML), pp. 226–230.
DATEDATE-2000-KruseSJSN #bound #constraints #data flow #graph #power management
Lower Bounds on the Power Consumption in Scheduled Data Flow Graphs with Resource Constraints (LK, ES, GJ, AS, WN), p. 737.
DATEDATE-2000-OuaissV #configuration management #performance
Efficient Resource Arbitration in Reconfigurable Computing Environments (IO, RV), pp. 560–566.
SIGMODSIGMOD-2000-HsiaoN #named #transaction
DLFM: A Transactional Resource Manager (HIH, IN), pp. 518–528.
VLDBVLDB-2000-DingGS #web
Computing Geographical Scopes of Web Resources (JD, LG, NS), pp. 545–556.
ITiCSEITiCSE-2000-KleinDHBGLCS #challenge #education
Teaching inter-institutional courses (panel session): sharing challenges and resources (BJK, MD, DH, AB, AG, MZL, TC, ES), pp. 178–179.
ITiCSEITiCSE-2000-SheardPM #difference #student
Subject differences in student attitudes to paper-based and Web-based resources (poster session) (JS, MP, SM), pp. 192–193.
STOCSTOC-2000-Bar-NoyBFNS #approach #approximate #resource management #scheduling
A unified approach to approximating resource allocation and scheduling (ABN, RBY, AF, JN, BS), pp. 735–744.
ICALPICALP-2000-CsirikW #bound #online
Resource Augmentation for Online Bounded Space Bin Packing (JC, GJW), pp. 296–304.
ICALPICALP-2000-HennessyR #data flow #resource management #π-calculus
Information Flow vs. Resource Access in the Asynchronous π-Calculus (MH, JR), pp. 415–427.
CAiSECAiSE-2000-KrumbholzM #enterprise #how #implementation #resource management
How Culture Might Impact on the Implementation of Enterprise Resource Planning Packages (MK, NAMM), pp. 279–293.
CIKMCIKM-2000-LeeS #distributed #framework #multi #resource management
A Market-based Resource Management and QoS Support Framework for Distributed Multimedia Systems (WL, JS), pp. 472–479.
ICPRICPR-v4-2000-RahmanF #comparison #multi #performance
Comparison of Some Multiple Expert Strategies: An Investigation of Resource Prerequisites and Achievable Performance (AFRR, MCF), pp. 4841–4844.
POPLPOPL-2000-CraryW #bound #certification
Resource Bound Certification (KC, SW), pp. 184–198.
HPDCHPDC-2000-BasneyL #network
Managing Network Resources in Condor (JB, ML), pp. 298–299.
HPDCHPDC-2000-GehringS #resource management #robust
Robust Resource Management for Metacomputers (JG, AS), pp. 105–112.
HPDCHPDC-2000-PattenH #distributed #flexibility
Flexible High-Performance Access to Distributed Storage Resources (CJP, KAH), pp. 175–181.
HPDCHPDC-2000-RamanLS #multi #resource management
Resource Management through Multilateral Matchmaking (RR, ML, MHS), pp. 290–291.
HPDCHPDC-2000-ShenC #architecture #distributed #multi #performance #predict
A Distributed Multi-Storage Resource Architecture and I/O Performance Prediction for Scientific Computing (XS, ANC), pp. 21–30.
HPDCHPDC-2000-XiaoZK #clustering #memory management #migration #network #ram
Incorporating Job Migration and Network RAM to Share Cluster Memory Resources (LX, XZ, SAK), pp. 71–78.
HPDCHPDC-2000-XuNVW #multi
QoS and Contention-Aware Multi-Resource Reservation (DX, KN, AV, DW), pp. 3–10.
OSDIOSDI-2000-BackHL #java #process #resource management
Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java (GB, WCH, JL), pp. 333–346.
LICSLICS-2000-BussK #bound
Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (SRB, BMK), pp. 77–83.
DATEDATE-1999-JaschkeLB #resource management #scheduling
Time Constrained Modulo Scheduling with Global Resource Sharing (CJ, RL, FB), pp. 210–216.
DATEDATE-1999-Kuchcinski #constraints #finite #graph #scheduling #using
Integrated Resource Assignment and Scheduling of Task Graphs Using Finite Domain Constraints (KK), pp. 772–773.
VLDBVLDB-1999-ChakrabartiBD #distributed #hypermedia #resource management
Distributed Hypertext Resource Discovery Through Examples (SC, MvdB, BD), pp. 375–386.
ITiCSEITiCSE-1999-EllisHSLDCRT #collaboration #education #java #programming
A collaborative strategy for developing shared Java teaching resources to support first year programming (AE, DH, JS, JL, WD, AC, JR, ST), pp. 84–87.
CSMRCSMR-1999-KrikhaarPZ #resource management
Employing Use-cases and Domain Knowledge for Comprehending Resource Usage (RLK, MP, JZ), pp. 14–21.
WCREWCRE-1999-CifuentesER #design
The Design of a Resourceable and Retargetable Binary Translator (CC, MVE, NR), pp. 280–291.
HCIHCI-CCAD-1999-KlobasM #behaviour
A planned behavior in context model of networked information resource use (JEK, DM), pp. 823–827.
CAiSECAiSE-1999-HuanS #resource management
Policy-Based Resource Management (YNH, MCS), pp. 422–428.
ICEISICEIS-1999-El-DenB #modelling #process
Infomartion Modelling for Resource-Oriented Business Process (JED, JPB), p. 770.
TOOLSTOOLS-EUROPE-1999-CzajkowskiE #internet
Internet Servers, Safe-Language Extensions, and Structured Resource Control (GC, TvE), pp. 295–304.
PADLPADL-1999-CarlssonKA #constraints #resource management #scheduling
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing (MC, PK, ), pp. 335–349.
HPDCHPDC-1999-AkarsuFHKKSY #performance #using
Using Gateway System to Provide a Desktop Access to High Performance Computational Resources (EA, GF, TH, AK, KSK, PS, CHY), pp. 294–298.
HPDCHPDC-1999-BruneRV #distributed
A Resource Description Environment for Distributed Computing Systems (MB, AR, JV), pp. 279–286.
HPDCHPDC-1999-CzajkowskiFK #resource management
Resource Co-Allocation in Computational Grids (KC, ITF, CK), pp. 219–228.
HPDCHPDC-1999-LowekampOG #distributed #network #query
Direct Queries for Discovering Network Resource Properties in a Distributed Environment (BL, DRO, TRG), pp. 38–46.
HPDCHPDC-1999-Nahrstedt #question #resource management
To Overprovision or To Share via QoS-aware Resource Management? (KN), pp. 205–212.
HPDCHPDC-1999-Romberg #architecture #distributed
The UNICORE Architecture Seamless Access to Distributed Resources (MR), pp. 287–293.
OSDIOSDI-1999-Baker-Harvey #multi #resource management #scheduling
ETI Resource Distributor: Guaranteed Resource Allocation and Scheduling in Multimedia Systems (MBH), pp. 131–144.
OSDIOSDI-1999-BangaDM #resource management
Resource Containers: A New Facility for Resource Management in Server Systems (GB, PD, JCM), pp. 45–58.
SOSPSOSP-1999-GovilTHR #clustering #multi #resource management #using
Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors (KG, DT, YH, MR), pp. 154–169.
CSLCSL-1999-IshtiaqP #modelling #λ-calculus
Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (SSI, DJP), pp. 235–249.
TLCATLCA-1999-OHearn #λ-calculus
Resource Interpretations, Bunched Implications and the αλ-Calculus (PWO), pp. 258–279.
DACDAC-1998-HanonoD #code generation #resource management #scheduling
Instruction Selection, Resource Allocation, and Scheduling in the AVIV Retargetable Code Generator (SH, SD), pp. 510–515.
DACDAC-1998-ParulkarGB #behaviour
Introducing Redundant Computations in a Behavior for Reducing BIST Resources (IP, SKG, MAB), pp. 548–553.
DATEDATE-1998-GrodeKM #clustering #hardware #resource management
Hardware Resource Allocation for Hardware/Software Partitioning in the LYCOS System (JG, PVK, JM), pp. 22–27.
DATEDATE-1998-ParulkarGB #scheduling
Scheduling and Module Assignment for Reducing Bist Resources (IP, SKG, MAB), pp. 66–73.
VLDBVLDB-1998-GarofalakisIO #multi #scheduling
Resource Scheduling for Composite Multimedia Objects (MNG, YEI, ), pp. 74–85.
ITiCSEITiCSE-1998-Ellis #development #internet #learning #multi #problem
Group 1 (working group): development and use of multimedia and Internet resources for a problem based learning environment (AE), p. 269.
ITiCSEITiCSE-1998-Ellis98a #multi #tutorial #web
Use of multimedia and World Wide Web resources in a traditional lecture/tutorial environment (poster) (AE), p. 279.
ITiCSEITiCSE-1998-LeungN #case study #learning #library #web
Does World Wide Web provide better resources than library for learning — a case study (poster) (RMWL, EMWN), p. 290.
FoSSaCSFoSSaCS-1998-Rathke #modelling
Resource Based Models for Asynchrony (JR), pp. 273–287.
PLDIPLDI-1998-SastryPS #execution #float #integer
Exploiting Idle Floating-Point Resources for Integer Execution (SSS, SP, JES), pp. 118–129.
ICGTTAGT-1998-KrappKSW #development #graph #modelling #process
Graph-Based Models for Managing Development Processes, Resources, and Products (CAK, SK, AS, BW), pp. 455–474.
OOPSLAOOPSLA-1998-CzajkowskiE #interface #java #named
JRes: A Resource Accounting Interface for Java (GC, TvE), pp. 21–35.
SACSAC-1998-LiII #algorithm #constraints #estimation #recursion
A recursive time estimation algorithm for program traces under resource constraints (DL, YI, NI), pp. 635–640.
HPDCHPDC-1998-DiwanG #adaptation #approach #communication
Adaptive Utilization of Communication and Computational Resources in High-Performance Distribution Systems: The EMOP Approach (SD, DG), pp. 2–9.
HPDCHPDC-1998-LowekampMSGSS #interface #query
A Resource Query Interface for Network-Aware Applications (BL, NM, DS, TRG, PS, JS), pp. 189–196.
HPDCHPDC-1998-RamanLS #distributed #named #resource management #throughput
Matchmaking: Distributed Resource Management for High Throughput Computing (RR, ML, MHS), pp. 140–146.
ASEASE-1997-Sucrow #graph grammar #human-computer #interactive #specification
Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources (BS), pp. 28–35.
VLDBVLDB-1997-GarofalakisI #optimisation #parallel #query #scheduling
Parallel Query Scheduling and Optimization with Time- and Space-Shared Resources (MNG, YEI), pp. 296–305.
VLDBVLDB-1997-GarofalakisOS #database #scheduling
Resource Scheduling in Enhanced Pay-Per-View Continuous Media Databases (MNG, , AS), pp. 516–525.
ITiCSEITiCSE-1997-Goldberg #student
WebCT and first year: student reaction to and use of a Web-based resource in first year computer science (MWG), pp. 127–129.
PEPMPEPM-1997-Debray #bound #partial evaluation
Resource-Bounded Partial Evaluation (SKD), pp. 179–192.
STOCSTOC-1997-PhillipsSTW #scheduling
Optimal Time-Critical Scheduling via Resource Augmentation (Extended Abstract) (CAP, CS, ET, JW), pp. 140–149.
DLTDLT-1997-FernauHF #bound #distributed
Bounding resources in Cooperating Distributed Grammar Systems (HF, MH, RF), pp. 261–272.
ICALPICALP-1997-BuhrmanFF #bound
Results on Resource-Bounded Measure (HB, SAF, LF), pp. 188–194.
ICFPICFP-1997-Shivers #automation #operating system
Automatic Management of Operating System Resources (OS), pp. 274–279.
CHICHI-1997-SellenH #design
Paper as an Analytic Resource for the Design of New Technologies (AS, RHRH), pp. 319–326.
AdaTRI-Ada-1997-KaiserP #case study #implementation #reliability #resource management
Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study (CK, JFPP), pp. 51–65.
AdaTRI-Ada-1997-Sanden #concurrent #design pattern #resource management
Concurrent Design Patterns for Resource Sharing (BS), pp. 173–183.
EDOCEDOC-1997-PreussSK #resource management
Virtual Private Resources (TP, JHS, HK), pp. 216–226.
CIKMCIKM-1997-PerryC #resource management
Discovering Similar Resources by Content Part-Linking (BP, WWC), pp. 317–324.
RERE-1997-Ben-AbdallahLK #analysis #functional #requirements #specification
Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements (HBA, IL, YSK), pp. 198–209.
SACSAC-1997-HaraHTN #network
Location Management Methods of Migratory Data Resources in ATM Networks (TH, KH, MT, SN), pp. 123–130.
SACSAC-1997-LiMII #communication
Booking heterogeneous processor resources to reduce communication overhead (DL, AM, YI, NI), pp. 354–360.
SACSAC-1997-Maddi #problem
Token based solutions to M resources allocation problem (AM), pp. 340–344.
CADECADE-1997-HarlandP #constraints
Resource-Distribution via Boolean Constraint (Extended Abstract) (JH, DJP), pp. 222–236.
DACDAC-1996-ParulkarGB #bound #data flow #graph
Lower Bounds on Test Resources for Scheduled Data Flow Graphs (IP, SKG, MAB), pp. 143–148.
SIGMODSIGMOD-1996-GarofalakisI #parallel #query #scheduling
Multi-dimensional Resource Scheduling for Parallel Queries (MNG, YEI), pp. 365–376.
ITiCSEITiCSE-1996-HartleyGJMMPRS #education #interactive #internet #using #web
Enhancing teaching using the Internet: report of the working group on the World Wide Web as an interactive teaching resource (SH, JGP, DJ, CM, MDM, BAP, MR, MKS), pp. 218–228.
ITiCSEITiCSE-1996-Siviter #collaboration #education #process
Computer assistance for managing educational resources and managing collaborative educational processes (DS), pp. 104–106.
KDDAKDDM-1996-Piatetsky-Shapiro #data mining #information management #internet #mining
Data Mining and Knowledge Discovery Internet Resources (GPS), pp. 593–595.
CAVCAV-1996-ClarkeBLXS #analysis #bound #named #realtime #specification #tool support #visual notation
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems (DC, HBA, IL, HlX, OS), pp. 402–405.
CSLCSL-1996-Roversi #resource management #λ-calculus
A Type-Free Resource-Aware λ-Calculus (LR), pp. 399–413.
ICLPJICSLP-1996-TamuraK #compilation #linear #logic programming #programming language #resource management
Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract) (NT, YK), p. 545.
SIGMODSIGMOD-1995-DavisonG #execution #multi #query
Dynamic Resource Brokering for Multi-User Query Execution (DLD, GG), pp. 281–292.
VLDBVLDB-1995-RahmM #database #parallel
Dynamic Multi-Resource Load Balancing in Parallel Database Systems (ER, RM), pp. 395–406.
ICALPICALP-1995-AulettaPP #algorithm
Placing Resources in a Tree: Dynamic and Static Algorithms (VA, DP, GP), pp. 232–243.
ICALPICALP-1995-LeonardiM #online #resource management #scheduling
On-line Resource Management with Applications to Routing and Scheduling (SL, AMS), pp. 303–314.
AdaTRI-Ada-1995-Sanden95b #concurrent #resource management
Resource Sharing Deadlock Prevention (BS), pp. 70–103.
KDDKDD-1995-ZaianeH #design #empirical #information management
Resource and Knowledge Discovery in Global Information Systems: A Preliminary Design and Experiment (ORZ, JH), pp. 331–336.
SOSPSOSP-1995-EnglerKO #architecture #kernel #named #operating system #resource management
Exokernel: An Operating System Architecture for Application-Level Resource Management (DRE, MFK, JO), pp. 251–266.
SOSPSOSP-1995-FongS #approach #resource management #scheduling
Time-Function Scheduling: A General Approach To Controllable Resource Management (LLF, MSS), p. 230.
DACDAC-1994-BhattacharyaDB #optimisation #resource management
Clock Period Optimization During Resource Sharing and Assignment (SB, SD, FB), pp. 195–200.
DACDAC-1994-PotkonjakD #optimisation #resource management #testing #using
Optimizing Resource Utilization and Testability Using Hot Potato Techniques (MP, SD), pp. 201–205.
DATEEDAC-1994-DalkilicP #bound #scheduling #using
Optimal Operation Scheduling Using Resource Lower Bound Estimations (MED, VP), pp. 319–324.
PEPMPEPM-1994-CourtenageC #type inference #λ-calculus
Analysing Resource Use in the λ Calculus by Type Inference (SC, CDC), pp. 33–41.
ICALPICALP-1994-BuhrmanT #bound #on the
On the Cutting Edge of Relativization: The Resource Bounded Injury Method (HB, LT), pp. 263–273.
SEKESEKE-1994-ZajicekB #constraints #design #interactive #interface #resource management #specification #visual notation
Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system (MZ, KWB), pp. 217–224.
ICSEICSE-1994-KeaneH #approach #case study #experience #formal method #parallel
A Formal Approach to Determining Parallel Resource Bindings: Experience Report (JAK, WH), pp. 15–22.
ASPLOSASPLOS-1994-UptonHMB #resource management
Resource Allocation in a High Clock Rate Microprocessor (MU, TH, TNM, RBB), pp. 98–109.
ICLPICLP-1994-JacquetM #named
PP-clauses: A Means for Handling Resources (JMJ, LM), p. 743.
DACDAC-1993-SharmaJ93a #architecture #performance #synthesis
Estimating Architectural Resources and Performance for High-Level Synthesis Applications (AS, RJ), pp. 355–360.
STOCSTOC-1993-BaruahCPV #resource management
Proportionate progress: a notion of fairness in resource allocation (SKB, NKC, CGP, DAV), pp. 345–354.
ICALPICALP-1993-Yamamoto #bound #nondeterminism #trade-off #turing machine
Reversal-Space Trade-offs For Simultaneous Resource-Bounded Nondeterministic Turing Machines (HY), pp. 203–214.
FMFME-1993-KalinichenkoNZ #composition #development #query #semantics #synthesis
Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics (LAK, NSN, VZ), pp. 428–441.
HPDCHPDC-1993-NeumannR #distributed #parallel #resource management
Resource Management for Distributed Parallel Systems (BCN, SR), pp. 316–323.
ICLPILPS-1993-BruningHSTS #deduction
Disjunction In Resource-Oriented Deductive Planning (SB, SH, UCS, MT, JS), p. 670.
DACDAC-1992-GregoryMF #named #performance #resource management
ISIS: A System for Performance Driven Resource Sharing (BG, DM, DF), pp. 285–290.
VLDBVLDB-1992-Raz #multi #principle #using
The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Mangers Using Atomic Commitment (YR), pp. 292–312.
STOCSTOC-1992-ChoyS #algorithm #distributed #fault tolerance #performance #resource management
Efficient Fault Tolerant Algorithms for Resource Allocation in Distributed Systems (MC, AKS), pp. 593–602.
TOOLSTOOLS-EUROPE-1992-Johnson #eiffel #network #resource management
An Eiffel Program for Static Network Resource Allocation (PJ), pp. 335–347.
CAiSECAiSE-1991-Olaisen #communication #information management
Information as a Strategic Resource: A Question of Communication (JO), pp. 141–167.
PPoPPPPoPP-1991-NicolauW #bound #parallel
Optimal Schedules for Parallel Prefix Computation with Bounded Resources (AN, HW), pp. 1–10.
DACDAC-1990-HwangHL #constraints #heuristic #scheduling
Optimum and Heuristic Data Path Scheduling Under Resource Constraints (CTH, YCH, YLL), pp. 65–70.
CAVCAV-1990-BuyM #liveness #proving
A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers (UAB, RM), pp. 292–301.
CSLCSL-1990-Gabbay #algorithm #proving
Algorithmic Proof with Diminishing Resources, Part 1 (DMG), pp. 156–173.
DACDAC-1989-PotkonjackR #algorithm #graph #resource management #scheduling
A Scheduling and Resource Allocation Algorithm for Hierarchical Signal Flow Graphs (MP, JMR), pp. 7–12.
VLDBVLDB-1989-CareyJL #scheduling
Priority in DBMS Resource Scheduling (MJC, RJ, ML), pp. 397–410.
VLDBVLDB-1989-MurphyR #effectiveness #execution #multi #resource management
Effective Resource Utilization for Multiprocessor Join Execution (MCM, DR), pp. 67–75.
CHICHI-1989-FrohlichL
Conversational resources for situated action (DMF, PL), pp. 253–258.
CAiSECAiSE-1989-Swende #architecture #data-driven #named #resource management
IRMA — Information Resource Management Architecture: A Data-driven Method Used in Planning the Overall System Architecture (ES).
CSEETSEI-1988-LeventhalM #design #re-engineering #user interface
A Scarce Resource in Undergraduate Software Engineering Courses: User Interface Design Materials (LML, BTM), pp. 187–198.
ICSEICSE-1988-JefferyB #validation
Validating the TAME Resource Data Model (DRJ, VRB), pp. 187–201.
SIGIRSIGIR-1985-Lesk #visual notation
Graphical Information Resources: Maps and Beyond (ML), pp. 2–8.
ICSEICSE-1985-KafuraC #metric #using #validation
A Validation of Software Metrics Using Many Metrics and Two Resources (DGK, JC), pp. 378–385.
ICALPICALP-1984-ReifS #distributed #probability #resource management
Probabilistic Bidding Gives Optimal Distributed Resource Allocation (JHR, PGS), pp. 391–402.
ICSEICSE-1984-Ramamritham #ada #semantics
Resource Controller Tasks in Ada: Their Structure and Semantics (KR), pp. 67–77.
DACDAC-1983-BoardM #architecture #evaluation #interactive #parallel #simulation
An interactive simulation facility for the evaluation of shared-resource architectures (Parallel ARchitecture SIMulator — PARSIM) (JABJ, PNM), pp. 83–92.
SOSPSOSP-1983-Craft #distributed #resource management
Resource Management In A Decentralized System (DHC), pp. 11–19.
ICLPILPC-1982-PereiraSO82 #evaluation #named #natural language
ORBI — An Expert System for Environmental Resource Evaluation through Natural Language (LMP, PS, EO), pp. 200–209.
VLDBVLDB-1981-BeeriO #algorithm #concurrent #detection #independence
A Resource Class Independent Deadlock Detection Algorithm (CB, RO), pp. 166–178.
ICSEICSE-1981-BaileyB #development #metamodelling
A Meta-Model for Software Development Resource Expenditures (JWB, VRB), pp. 107–116.
ICSEICSE-1981-CunhaM #data type #programming
Resource = Abstract Data Type + Synchronization — A Methodology for Message Oriented Programming (PRFC, TSEM), pp. 263–272.
STOCSTOC-1980-Lloyd #constraints #scheduling
Critical Path Scheduling of Task Systems with Resource and Processor Constraints (Extended Abstract) (ELL), pp. 436–446.
STOCSTOC-1980-Lynch #distributed #performance
Fast Allocation of Nearby Resources in a Distributed System (NAL), pp. 70–81.
POPLPOPL-1979-Clarke #concurrent #invariant #source code #synthesis
Synthesis of Resource Invariants for Concurrent Programs (EMC), pp. 211–221.
SIGMODSIGMOD-1978-MenascePM #coordination #database #distributed #protocol
A Locking Protocol for Resource Coordination in Distributed Databases (Abstract) (DAM, GJP, RRM), p. 2.
SIGMODSIGMOD-1978-Winkler
Managing the Data Resource (JW), pp. 15–16.
VLDBVLDB-J-1975-MahmoudR76 #distributed #network
Optimal Allocation of Resources in Distributed Information Networks (SAM, JSR), pp. 66–78.
AdaDIPL-1976-AndrewsM #parallel
Language features for parallel processing and resource control (GRA, JRM), pp. 243–287.
ICSEICSE-1976-AlsbergD #distributed
A Principle for Resilient Sharing of Distributed Resources (PA, JDD), pp. 562–570.
ICSEICSE-1976-SilberschatzKB #concurrent #pascal #resource management
Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract) (AS, RBK, AJB), p. 236.
ICSEICSE-1976-Stephenson #analysis #development
An Analysis of the Resources Used in the SAFEGUARD System Software Development (WES), pp. 312–321.
VLDBVLDB-1975-MahmoudR #distributed #network
Optimal Allocation of Resources in Distributed Information Networks (SAM, JSR), p. i.
SOSPSOSP-1975-CosellJMSSTW #operating system #resource management
An Operating System for Computer Resource Sharing (BSC, PRJ, JHM, RES, JS, RHT, DCW), pp. 75–81.
SOSPSOSP-1973-GareyG #bound #scheduling
Bounds on Scheduling with Limited Resources (MRG, RLG), pp. 104–111.
SOSPSOSP-1969-BetourneBFKKKM #multi #process #resource management
Process management and resource sharing in the multiaccess system “ESOPE” (CB, JB, JF, CK, JK, SK, JM), pp. 67–74.
SOSPSOSP-1967-OppenheimerW68 #operating system #resource management
Resource management for a medium scale time-sharing operating system (GO, NW), pp. 313–322.

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.