Stem resourc$ (all stems)

776 papers:

CASE-2015-FeiAR #bound #clustering #resource management #symbolic computation #using

Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques (ZF, KÅ, SAR), pp. 799–806.

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

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

DAC-2015-KhdrPSH #resource management

Thermal constrained resource management for mixed ILP-TLP workloads in dark silicon chips (HK, SP, MS, JH), p. 6.

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

DATE-2015-AhsanK #architecture #optimisation #quantum #using

Optimization of quantum computer architecture using a resource-performance simulator (MA, JK), pp. 1108–1113.

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

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

SIGMOD-2015-HuangBTRTR #machine learning #scalability

Resource Elasticity for Large-Scale Machine Learning (BH, MB, YT, BR, ST, FRR), pp. 137–152.

ITiCSE-2015-Koppelman #case study #web

Enriching a Course with Web Resources: a Case Study (HK), pp. 284–289.

FASE-2015-ShinBOBH #prototype #specification

Resource Specification for Prototyping Human-Intensive Systems (SYS, YB, LJO, HB, PLH), pp. 332–346.

TACAS-2015-AlbertFR #analysis #cumulative

Non-cumulative Resource Analysis (EA, JCF, GRD), pp. 85–100.

SANER-2015-LiZXBPGZ #named #online #programming

amAssist: In-IDE ambient search of online programming resources (HL, XZ, ZX, LB, XP, DG, WZ), pp. 390–398.

PEPM-2015-LeCT #concurrent #thread #verification

Threads as Resource for Concurrency Verification (DKL, WNC, YMT), pp. 73–84.

PLDI-2015-Carbonneaux0S #bound #composition

Compositional certified resource bounds (QC, JH, ZS), pp. 467–478.

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

CHI-2015-WoltersKMDM #corpus #design #interface

The CADENCE Corpus: A New Resource for Inclusive Voice Interface Design (MKW, JK, SEM, MD, JDM), pp. 3963–3966.

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

DUXU-UI-2015-GuimaraesS #simulation

Humanizing Labor Resource in a Discrete Event Manufacturing Simulation Software (LBdMG, CSS), pp. 14–22.

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

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

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

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

ICEIS-v1-2015-FreitasJR #fuzzy #resource management #workflow

Fuzzy Resource Allocation Mechanisms in Workflow Nets (JCJdF, SJ, LPdR), pp. 471–478.

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

ICEIS-v3-2015-NyameB #information management

The Adoption and Use of Human Resource Information System (HRIS) in Ghana (PKON, RB), pp. 130–138.

ECIR-2015-BouchouchaLN #query #towards

Towards Query Level Resource Weighting for Diversified Query Expansion (AB, XL, JYN), pp. 1–12.

KDD-2015-JohnsonB #resource management

Structured Hedging for Resource Allocations with Leverage (NJ, AB), pp. 477–486.

SIGIR-2015-LiuJG #comprehension #education

Scientific Information Understanding via Open Educational Resources (OER) (XL, ZJ, LG), pp. 645–654.

MoDELS-2015-KrikavaRS #framework #modelling #resource management #runtime #towards

Infrastructure as runtime models: Towards Model-Driven resource management (FK, RR, LS), pp. 100–105.

OOPSLA-2015-BrutschyFTP #named #resource management

ShamDroid: gracefully degrading functionality in the presence of limited resource access (LB, PF, OT, MP), pp. 316–331.

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

QAPL-2015-BortolussiNGGHL #adaptation #markov #named

CARMA: Collective Adaptive Resource-sharing Markovian Agents (LB, RDN, VG, SG, JH, DL, ML, MM), pp. 16–31.

SAC-2015-AttiaTHKTC #detection

On-device anomaly detection for resource-limited systems (MBA, CT, AHL, BK, VT, MC), pp. 548–554.

SAC-2015-JuniorSM #approach #semantics

An approach for building lexical-semantic resources based on heterogeneous information sources (JGdAJ, US, LBM), pp. 402–408.

SAC-2015-KundeM #middleware #resource management

Workload characterization model for optimal resource allocation in cloud middleware (SK, TM), pp. 442–447.

SAC-2015-SharmaMDH #trust

Bi-directional trust index computation in resource marketplace (AS, TM, PD, VGH), pp. 2305–2311.

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

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

ICSE-v2-2015-RaudjarvG #android #runtime

JRebel.Android: Runtime Class- and Resource Reloading for Android (RR, ARG), pp. 741–744.

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

CGO-2015-LiYLZ #automation #gpu #memory management

Automatic data placement into GPU on-chip memory resources (CL, YY, ZL, HZ), pp. 23–33.

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

HPDC-2015-KlusacekCR #optimisation

Planning and Optimization in TORQUE Resource Manager (DK, VC, HR), pp. 203–206.

HPDC-2015-PatkiLSMRSS #performance #resource management

Practical Resource Management in Power-Constrained, High Performance Computing (TP, DKL, AS, MM, BR, MS, BRdS), pp. 121–132.

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

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

HPDC-2015-ZhouLLPZ #abstraction #graph #parallel #performance

Fast Iterative Graph Computation with Resource Aware Graph Parallel Abstractions (YZ, LL, KL, CP, QZ), pp. 179–190.

TLCA-2015-HofmannM #analysis #multi #term rewriting

Multivariate Amortised Resource Analysis for Term Rewrite Systems (MH, GM), pp. 241–256.

QoSA-2014-BrunnertWK #architecture #enterprise #modelling #performance #using

Using architecture-level performance models as resource profiles for enterprise applications (AB, KW, HK), pp. 53–62.

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

ASE-2014-OhmannHFHPBB #behaviour #model inference #resource management

Behavioral resource-aware model inference (TO, MH, SF, AH, MP, IB, YB), pp. 19–30.

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

DAC-2014-SiyoumGC #analysis #data flow

Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources (FS, MG, HC), p. 6.

DAC-2014-WietfeldID #mobile #performance

Resource Efficient Mobile Communications for Crowd-Sensing (CW, CI, BD), p. 6.

DATE-2014-Braak #adaptation #embedded #scalability #using

Using guided local search for adaptive resource reservation in large-scale embedded systems (TDtB), pp. 1–4.

DATE-2014-CasparLH #automation #strict #testing #using

Automated system testing using dynamic and resource restricted clients (MC, ML, WH), pp. 1–4.

DATE-2014-LiuSZSC #constraints #latency #optimisation #streaming

Resource optimization for CSDF-modeled streaming applications with latency constraints (DL, JS, JTZ, TS, GC), pp. 1–6.

DATE-2014-NaqviS #resource management

A tree arbiter cell for high speed resource sharing in asynchronous environments (SRN, AS), pp. 1–6.

DATE-2014-ReinekeW #performance #predict #resource management

Impact of resource sharing on performance and performance prediction (JR, RW), pp. 1–2.

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

DATE-2014-Stenstrom #effectiveness #performance #resource management #towards

Effective resource management towards efficient computing (PS), p. 1.

DATE-2014-WildermannGT #distributed #multi #resource management #runtime

Multi-objective distributed run-time resource management for many-cores (SW, MG, JT), pp. 1–6.

HT-2014-KawaseSNHN

Exploiting the wisdom of the crowds for characterizing and connecting heterogeneous resources (RK, PS, BPN, EH, WN), pp. 56–65.

SIGMOD-2014-FanWW #bound #graph #query

Querying big graphs within bounded resources (WF, XW, YW), pp. 301–312.

SIGMOD-2014-YamamotoIF #approximate #data type #mining

Resource-oriented approximation for frequent itemset mining from bursty data streams (YY, KI, SF), pp. 205–216.

VLDB-2014-QinHLYT #named #reliability #volunteer

Fatman: Cost-saving and reliable archival storage based on volunteer resources (AQ, DH, JL, WY, DT), pp. 1748–1753.

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

VLDB-2015-LiNN14 #database #parallel

Resource Bricolage for Parallel Database Systems (JL, JFN, RVN), pp. 25–36.

ESOP-2014-GhicaS #bound #linear

Bounded Linear Types in a Resource Semiring (DRG, AIS), pp. 331–350.

ESOP-2014-NanevskiLSD #communication #concurrent #fine-grained

Communicating State Transition Systems for Fine-Grained Concurrent Resources (AN, RLW, IS, GAD), pp. 290–310.

FoSSaCS-2014-Lang #automaton #game studies #graph #reachability

Resource Reachability Games on Pushdown Graphs (ML0), pp. 195–209.

FLOPS-2014-HoffmannS #analysis #array #integer #type system

Type-Based Amortized Resource Analysis with Integers and Arrays (JH, ZS), pp. 152–168.

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

CSCW-2014-LampeGFE #facebook

Help is on the way: patterns of responses to resource requests on facebook (CL, RG, ATF, NBE), pp. 3–15.

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

CAiSE-2014-PikaWFHLA #behaviour #framework #using

An Extensible Framework for Analysing Resource Behaviour Using Event Logs (AP, MTW, CJF, AHMtH, ML, WMPvdA), pp. 564–579.

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

ICEIS-v1-2014-MezghaniPZAS #detection #social

Analyzing Tagged Resources for Social Interests Detection (MM, AP, CAZ, IA, FS), pp. 340–345.

ICEIS-v2-2014-GulnazMT #information management

University’s Scientific Resources Processing in Knowledge Management Systems (GZ, MM, TB), pp. 225–232.

ICEIS-v2-2014-HaoH #bibliography #enterprise

Cloud-based Enterprise Resources Planning System (ERP) — A Review of the Literature (YH, PH), pp. 185–192.

ICEIS-v2-2014-OtonBGGB #learning #metadata #using

Description of Accessible Learning Resources by Using Metadata (SO, CB, EG, AGC, RB), pp. 620–626.

ICEIS-v2-2014-SamejimaMK #flexibility #resource management

Flexible Peak Shaving in Data Center by Suppression of Application Resource Usage (MS, HTM, NK), pp. 355–360.

ECIR-2014-BouchouchaLN #multi #query

Integrating Multiple Resources for Diversified Query Expansion (AB, XL, JYN), pp. 437–442.

KEOD-2014-TawfikGB #framework #interactive #multi

An Interactive Platform for Multilingual Linguistic Resource Enrichment (AT, FG, FB), pp. 195–206.

KMIS-2014-BartuskovaK #information management #learning

Knowledge Management and Sharing in E-Learning — Hierarchical System for Managing Learning Resources (AB, OK), pp. 179–185.

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

SAC-2014-ChangCHKL #analysis #behaviour #mobile

Application behavior analysis in resource consumption for mobile devices (SWC, SWC, PCH, TWK, CWL), pp. 1469–1474.

SAC-2014-WangW #network

Wavelength resources based lightpath-level active rerouting in all-optical WDM networks (SWW, CYW), pp. 495–500.

ASPLOS-2014-DelimitrouK #clustering #named

Quasar: resource-efficient and QoS-aware cluster management (CD, CK), pp. 127–144.

ASPLOS-2014-ZahediL #multi #named

REF: resource elasticity fairness with sharing incentives for multiprocessors (SMZ, BCL), pp. 145–160.

HPCA-2014-JungK #named #resource management

Sprinkler: Maximizing resource utilization in many-chip solid state disks (MJ, MTK), pp. 524–535.

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

CAV-2014-MadhavanK #bound #functional #source code

Symbolic Resource Bound Inference for Functional Programs (RM, VK), pp. 762–778.

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

ASE-2013-GuoZYZZ #android #detection

Characterizing and detecting resource leaks in Android applications (CG, JZ, JY, ZZ, YZ), pp. 389–398.

CASE-2013-TanTL #policy #resource management

Improving patient length-of-stay in emergency department through dynamic resource allocation policies (KWT, WHT, HCL), pp. 984–989.

CASE-2013-YueH #concurrent #robust #using

Robust deadlock control using shared-resources for production systems with unreliable workstations (HY, HH), pp. 1095–1100.

CASE-2013-ZhengC #enterprise #industrial

Master production schedule and system for excelling enterprise resources (SEER) in the LED industry (JNZ, CFC), pp. 1034–1039.

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

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

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

DATE-2013-CanisAB #multi #reduction #synthesis

Multi-pumping for resource reduction in FPGA high-level synthesis (AC, JHA, SDB), pp. 194–197.

DATE-2013-ChenZ #design #optimisation

Resource-constrained high-level datapath optimization in ASIP design (YC, HZ), pp. 198–201.

DATE-2013-GiraoSW #clustering #policy

Exploring resource mapping policies for dynamic clustering on NoC-based MPSoCs (GG, TS, FRW), pp. 681–684.

DATE-2013-GoswamiMSXC #design #multi

Multirate controller design for resource- and schedule-constrained automotive ECUs (DG, AM, RS, CJX, SC), pp. 1123–1126.

DATE-2013-Kozyrakis #performance

Resource efficient computing for warehouse-scale datacenters (CK), pp. 1351–1356.

DATE-2013-LuMS13a #estimation

Analytical timing estimation for temporally decoupled TLMs considering resource conflicts (KL, DMG, US), pp. 1161–1166.

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

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

SIGMOD-2013-MozafariCJM #modelling #performance

Performance and resource modeling in highly-concurrent OLTP workloads (BM, CC, AJ, SM), pp. 301–312.

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

CHI-2013-CoughlanPM #collaboration #education #reuse

Building open bridges: collaborative remixing and reuse of open educational resources across organisations (TC, RP, PM), pp. 991–1000.

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

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

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

HCI-UC-2013-Herberhold #enterprise #interactive #resource management

Interaction between Enterprise Resource Planning Systems and Organizational Culture (CH), pp. 381–387.

HCI-UC-2013-KraftT #enterprise #resource management #semantics

Semantically Integrated Business Applications for Enterprise Resource Planning Systems (PK, RT), pp. 411–417.

VISSOFT-2013-PauwWB #distributed #visualisation

Visualizing jobs with shared resources in distributed environments (WDP, JLW, AB), pp. 1–10.

CAiSE-2013-MeyerRM #internet #modelling #process

Internet of Things-Aware Process Modeling: Integrating IoT Devices as Business Process Resources (SM, AR, CM), pp. 84–98.

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

ICEIS-v1-2013-FeldmanSCA #enterprise #resource management

Enterprise Resource Planning Systems — Streamlining Upgrade Decisions (GF, HS, CC, AA), pp. 128–135.

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

ECIR-2013-MarkovAC #nondeterminism

Reducing the Uncertainty in Resource Selection (IM, LA, FC), pp. 507–519.

KDIR-KMIS-2013-RaafatZR #database #named #semantics

Arabase — A Database Combining Different Arabic Resources with Lexical and Semantic Information (HMR, MAZ, MR), pp. 233–240.

KEOD-2013-LabadieFR #personalisation #semantics

Personalized Semantic Resources — The SemComp Project Presentation and Preliminary Works (AL, SF, TR), pp. 164–169.

KEOD-2013-SagaeF #development #identification #image

Knowledge Resource Development for Identifying Matching Image Descriptions (AS, SEF), pp. 100–108.

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

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

SIGIR-2013-DeveaudSB #topic

Estimating topical context by diverging from external resources (RD, ES, PB), pp. 1001–1004.

SIGIR-2013-HongS

Search result diversification in resource selection for federated search (DH, LS), pp. 613–622.

SKY-2013-GarzonSK #elicitation #re-engineering

Knowledge Re-use and Dissemination for Resource Elicitation in Software Engineering (MHG, CS, JK), pp. 14–23.

MoDELS-2013-ZhangCZWY0L #modelling #runtime

Runtime Model Based Management of Diverse Cloud Resources (XZ, XC, YZ, YW, WY, GH, QL), pp. 572–588.

MoDELS-2013-ZhangCZWY0L #modelling #runtime

Runtime Model Based Management of Diverse Cloud Resources (XZ, XC, YZ, YW, WY, GH, QL), pp. 572–588.

LOPSTR-2013-AlbertGG #analysis #approach

A Transformational Approach to Resource Analysis with Typed-Norms (EA, SG, RG), pp. 38–53.

SAC-2013-BheemeshKCF #coordination #resource management

Radio resource management in coordinated antenna system deployments (VB, PK, FC, ZF), pp. 573–576.

SAC-2013-BusseSDMR #architecture #manycore #scheduling

Analyzing resource interdependencies in multi-core architectures to improve scheduling decisions (AB, JHS, MD, GM, JR), pp. 1595–1602.

SAC-2013-JiaBJPM #algorithm #multi

A multi-resource load balancing algorithm for cloud cache systems (YJ, IB, RJP, MPM, DM), pp. 463–470.

SAC-2013-MinerviniFdE #predict #rank #semantics

Rank prediction for semantically annotated resources (PM, NF, Cd, FE), pp. 333–338.

SAC-2013-OyamadaKK #concurrent #query

Continuous query processing with concurrency control: reading updatable resources consistently (MO, HK, HK), pp. 788–794.

SAC-2013-SchroderN #behaviour #resource management

Inter cloud capable dynamic resource management with model of behavior (KS, WN), pp. 408–410.

SAC-2013-SimaoV

A progress and profile-driven cloud-VM for resource-efficiency and fairness in e-science environments (JS, LV), pp. 357–362.

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

HPDC-2013-ClaySM #clustering #interactive #scalability

Building and scaling virtual clusters with residual resources from interactive clouds (RBC, ZS, XM), pp. 119–120.

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

SOSP-2013-WeissHAA #game studies #named #parallel #thread

ROOT: replaying multithreaded traces with resource-oriented ordering (ZW, TH, ACAD, RHAD), pp. 373–387.

TLCA-2013-Breuvart #relational #λ-calculus

The Resource λ Calculus Is Short-Sighted in Its Relational Model (FB), pp. 93–108.

QoSA-2012-HuberBK #modelling

Modeling dynamic virtualized resource landscapes (NH, FB, SK), pp. 81–90.

WICSA-ECSA-2012-NewmanK #architecture #embedded #resource management #runtime

A Runtime Resource-aware Architecture for Service-oriented Embedded Systems (PN, GK), pp. 61–70.

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

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

CASE-2012-HanXZLW #concurrent #policy

Two-stage deadlock prevention policy based on resource-transition circuits (LH, KX, MZ, HL, FW), pp. 741–746.

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

CASE-2012-SharabianiD #policy

Observation policies for patient and resource tracking in outpatient clinics (AS, HD), pp. 532–537.

DATE-2012-HansenS #multi #pipes and filters #resource management

Multi-token resource sharing for pipelined asynchronous systems (JH, MS), pp. 1191–1196.

DATE-2012-LafayePBGF #embedded #modelling #resource management #simulation

Model driven resource usage simulation for critical embedded systems (ML, LP, EB, MG, DF), pp. 312–315.

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

DATE-2012-ThieleE #analysis #data flow #graph #optimisation #performance

Optimizing performance analysis for synchronous dataflow graphs with shared resources (DT, RE), pp. 635–640.

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

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

HT-2012-LevacherLW #adaptation #hypermedia #named #reuse

Slicepedia: providing customized reuse of open-web resources for adaptive hypermedia (KL, SL, VW), pp. 23–32.

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

ITiCSE-2012-Retik #education #visual notation

Visual search with deep zoom to explore curriculum resources interactively (AR), p. 405.

FASE-2012-AlbertBGHR #source code

Verified Resource Guarantees for Heap Manipulating Programs (EA, RB, SG, RH, GRD), pp. 130–145.

PEPM-2012-AlbertCPR #analysis #incremental #resource management

Incremental resource usage analysis (EA, JC, GP, GRD), pp. 25–34.

CIAA-2012-DeganoFM #automaton #resource management

Nominal Automata for Resource Usage Control (PD, GLF, GM), pp. 125–137.

SEFM-2012-BistarelliS #concurrent #constraints #programming

Securely Accessing Shared Resources with Concurrent Constraint Programming (SB, FS), pp. 308–322.

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

CHI-2012-VinesBLDMO #concept #design

Questionable concepts: critique as resource for designing with eighty somethings (JV, MB, SL, PD, AM, PO), pp. 1169–1178.

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

CSCW-2012-KolkoHBSGKN #adaptation #collaboration

Adapting collaborative radiological practice to low-resource environments (BEK, AH, WB, KS, WG, MK, RN), pp. 97–106.

AdaEurope-2012-FairbairnB #implementation #verification

Implementing and Verifying EDF Preemption-Level Resource Control (MLF, AB), pp. 193–206.

CAiSE-2012-LucknerI #documentation #internet

Publication of Geodetic Documentation Center Resources on Internet (ML, WI), pp. 533–548.

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

ICEIS-v3-2012-BauerEFH #analysis #consistency #process

Resource-oriented Consistency Analysis of Engineering Processes (BB, TE, CF, BH), pp. 206–211.

CIKM-2012-WanKC #recommendation #social

Location-sensitive resources recommendation in social tagging systems (CW, BK, DWC), pp. 1960–1964.

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

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

SEKE-2012-WangL #analysis #approach #modelling #petri net #workflow

Resource Modeling and Analysis for Workflows: A Petri Net Approach (JW, DL), pp. 381–386.

SEKE-2012-WauteletHK

A Usage-Based Unified Resource Model (YW, SH, MK), pp. 299–304.

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

OOPSLA-2012-SuenagaFI #concurrent #type system

Type-based safe resource deallocation for shared-memory concurrency (KS, RF, AI), pp. 1–20.

PADL-2012-BradyH #domain-specific language #embedded #programming

Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.

POPL-2012-BotincanDJ #abduction

Resource-sensitive synchronization inference by abduction (MB, MD, SJ), pp. 309–322.

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

RE-2012-Todoran #communication #identification #in the cloud #named #requirements

StakeCloud: Stakeholder requirements communication and resource identification in the cloud (IT), pp. 353–356.

SAC-2012-BrylTGS #novel #semantics #web

A novel Framenet-based resource for the semantic web (VB, ST, CG, LS), pp. 360–365.

SAC-2012-DietzeYGKDT #education #web

Linked education: interlinking educational resources and the Web of data (SD, HQY, DG, EK, ND, DT), pp. 366–371.

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

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

SAC-2012-UkimotoDO #resource management #testing

Software testing-resource allocation with operational profile (SU, TD, HO), pp. 1203–1208.

SAC-2012-WauteletHK #ontology #representation

An ontological basis for resource representation (YW, SH, MK), pp. 765–766.

SAC-2012-ZankerJS #personalisation #web

Harnessing geo-tagged resources for Web personalization (MZ, MJ, MS), pp. 332–339.

ICSE-2012-DagenaisR #api #learning #traceability

Recovering traceability links between an API and its learning resources (BD, MPR), pp. 47–57.

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

ICSE-2012-ZhengZ #detection #problem #static analysis

Static detection of resource contention problems in server-side scripts (YZ, XZ), pp. 584–594.

SLE-2012-HillsKV #metalanguage #type safety

Meta-language Support for Type-Safe Access to External Resources (MH, PK, JJV), pp. 372–391.

ASPLOS-2012-VasicNMKB #named #resource management

DejaVu: accelerating resource allocation in virtualized environments (NV, DMN, SM, DK, RB), pp. 423–436.

HPCA-2012-HomayounKSLT #3d

Dynamically heterogeneous cores through 3D resource pooling (HH, VK, AS, TWL, DMT), pp. 323–334.

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

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

HPDC-2012-PhullLRCC #clustering #resource management

Interference-driven resource management for GPU-based heterogeneous clusters (RP, CHL, KR, SC, STC), pp. 109–120.

CAV-2012-0002AH #ml

Resource Aware ML (JH, KA, MH), pp. 781–786.

CAV-2012-BrazdilCKN #game studies #multi #performance #synthesis

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types (TB, KC, AK, PN), pp. 23–38.

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

ECSA-2011-LulliMPR #resource management

Resource Management in the Air Traffic Domain (GL, RM, PP, CR), pp. 97–104.

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

WICSA-2011-NewmanK #embedded #framework #runtime

A Runtime Resource-Management Framework for Embedded Service-Oriented Systems (PN, GK), pp. 123–126.

ASE-2011-LiuZCXM

Finding the merits and drawbacks of software resources from comments (CL, YZ, SC, BX, HM), pp. 432–435.

ASE-2011-WuLWXM #mining #specification

Iterative mining of resource-releasing specifications (QW, GL, QW, TX, HM), pp. 233–242.

CASE-2011-FeiMA #automaton #finite #modelling #resource management #using

Modeling sequential resource allocation systems using Extended Finite Automata (ZF, SM, KÅ), pp. 444–449.

CASE-2011-KalyanasundaramLR #combinator #distributed #resource management

Fail-Stop Distributed Combinatorial Auctioning Systems with fair resource allocation (AK, RAKL, SR), pp. 181–188.

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

CASE-2011-ViswanadhamB #resource management

Resource allocation for healthcare organizations (NV, KB), pp. 543–548.

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

DATE-2011-ChouM #multi #named #resource management

FARM: Fault-aware resource management in NoC-based multiprocessor platforms (CLC, RM), pp. 673–678.

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

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

DATE-2011-YangO #adaptation #flexibility #manycore

Frugal but flexible multicore topologies in support of resource variation-driven adaptivity (CY, AO), pp. 1255–1260.

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

HT-2011-SteichenOW #personalisation #semantics #social

Personalisation in the wild: providing personalisation across semantic, social and open-web resources (BS, AO, VW), pp. 73–82.

CSEET-2011-MonteithM #student

Integrating instructional and study materials to tailor a student-specific resource (JYM, JDM), pp. 294–303.

ITiCSE-2011-AkbarFCDSFC #education #how #online

How educators find educational resources online (MA, WF, LNC, LMLD, CAS, EAF, YC), p. 367.

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

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

ICPC-2011-Ali #analysis #automation #named #retrieval #trust

Trustrace: Improving Automated Trace Retrieval through Resource Trust Analysis (NA), pp. 230–233.

PEPM-2011-AlbertBGHPR #using

Verified resource guarantees using COSTA and KeY (EA, RB, SG, RH, GP, GRD), pp. 73–76.

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

CHI-2011-PaekH #set

Sampling representative phrase sets for text entry experiments: a procedure and public resource (TP, BJPH), pp. 2477–2480.

CHI-2011-RosnerT #design

Antiquarian answers: book restoration as a resource for design (DKR, AST), pp. 2665–2668.

CHI-2011-Sharma

Role of available and provided resources in sensemaking (NS), pp. 1807–1816.

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

OCSC-2011-SharminB #design #online

Online Design Discussion Sites: Emerging Resource for Creative Design (MS, BPB), pp. 219–228.

EDOC-2011-PsaierSSD #resource management

Resource and Agreement Management in Dynamic Crowdcomputing Environments (HP, FS, DS, SD), pp. 193–202.

ICEIS-J-2011-BorekHGP #framework

IS/IT Resources and Business Value: Operationalization of an Information Oriented Framework (AB, MH, MG, AKP), pp. 420–434.

ICEIS-J-2011-ChaoC11a #clustering #data type #resource management #ubiquitous

Ubiquitous Resource-Aware Clustering of Data Streams (CMC, GLC), pp. 81–97.

ICEIS-v1-2011-AdamKM #enterprise #resource management

Acceptance of Enterprise Resource Planning Systems by Small Manufacturing Enterprises (RA, PK, AvdM), pp. 229–238.

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

ICEIS-v1-2011-ChaoC #clustering #data type #quality #resource management #ubiquitous

Resource-aware High Quality Clustering in Ubiquitous Data Streams (CMC, GLC), pp. 64–73.

ICEIS-v4-2011-BorekPHG #framework

An Information Oriented Framework for Relating IS/IT Resources and Business Value (AB, AKP, MH, MG), pp. 358–367.

ICEIS-v4-2011-SinghW #adaptation #design #enterprise #interface #resource management

The Design of Adaptive Interfaces for Enterprise Resource Planning Systems (AS, JW), pp. 281–286.

CIKM-2011-BrodtSM #performance #rdf #retrieval

Efficient resource attribute retrieval in RDF triple stores (AB, OS, BM), pp. 1445–1454.

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

CIKM-2011-RonzanoMT #editing #wiki

Editing knowledge resources: the wiki way (FR, AM, MT), pp. 2533–2536.

KDIR-2011-KharratJG #multi #semantics

Semantic Relationships between Multimedia Resources (MK, AJ, FG), pp. 342–347.

KEOD-2011-ModicaT #semantics

A Semantic Model to Support Advanced Supply-demand Matchmaking in Future Cloud Resources Market (GDM, OT), pp. 429–432.

KEOD-2011-Ylisaukko-ojaHKSV #interface #semantics

Semantic Interface for Resource Constrained Wireless Sensors (AYo, PH, JK, JPS, EV), pp. 505–511.

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

SIGIR-2011-SkoutasA #ranking

Ranking tags in resource collections (DS, MA), pp. 1207–1208.

MoDELS-2011-FleureyMSB

MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.

MoDELS-2011-FleureyMSB

MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.

LOPSTR-2011-AlbertGR #generative #testing

Resource-Driven CLP-Based Test Case Generation (EA, MGZ, JMR), pp. 25–41.

POPL-2011-GhicaS #geometry #resource management #synthesis #type inference

Geometry of synthesis III: resource management through type inference (DRG, AS), pp. 345–356.

POPL-2011-HoffmannAH #analysis #multi

Multivariate amortized resource analysis (JH, KA, MH), pp. 357–370.

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

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

SAC-2011-ChiangH #embedded #operating system

Supporting dynamic update and resource protection in an embedded operating system (MLC, HYH), pp. 616–620.

SAC-2011-EcharteACVL #classification #folksonomy

A method for the classification of folksonomy resources (FE, JJA, AC, JEV, AL), pp. 1675–1680.

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

SAC-2011-IakymchukNB #resource management

Improving high-performance computations on clouds through resource underutilization (RI, JN, PB), pp. 119–126.

SAC-2011-Sanchez-GilHO

Relating function spaces to resourced function spaces (LSG, MHH, YOM), pp. 1301–1308.

SAC-2011-SinhaTKWG #analysis #mobile #resource management

Resource-aware ECG analysis on mobile devices (AS, HT, SK, ABW, MMG), pp. 1012–1013.

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

PLEASE-2011-ChastekDM #analysis #variability

Commonality and variability analysis for resource constrained organizations (GJC, PD, JDM), pp. 31–34.

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

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

CSL-2011-BucciarelliCEM #abstraction #calculus #testing

Full Abstraction for Resource Calculus with Tests (AB, AC, TE, GM), pp. 97–111.

CSL-2011-Ehrhard #difference #λ-calculus

Resource λ-Calculus: the Differential Viewpoint (TE), p. 1.

ICLP-2011-Campli #framework

A Semiring-based framework for fair resources allocation (PC), pp. 268–273.

ICST-2011-Grasland #automation #resource management #testing

Testing Resource Usage in Home Automation Systems (YG), pp. 419–422.

TLCA-2011-ManzonettoP #theorem #λ-calculus

Böhm’s Theorem for Resource λ Calculus through Taylor Expansion (GM, MP), pp. 153–168.

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

CASE-2010-WangBHMFS

Integrated management of cooling resources in air-cooled data centers (ZW, CB, CH, AAM, CJF, RS), pp. 762–767.

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

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

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

DATE-2010-CongLX #behaviour #coordination #optimisation #synthesis

Coordinated resource optimization in behavioral synthesis (JC, BL, JX), pp. 1267–1272.

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

DATE-2010-PakbazniaGP #power management #resource management

Temperature-aware dynamic resource provisioning in a power-optimized datacenter (EP, MG, MP), pp. 124–129.

DATE-2010-SchlieckerNE #analysis #bound #multi #performance

Bounding the shared resource load for the performance analysis of multiprocessor systems (SS, MN, RE), pp. 759–764.

HT-2010-LipczakM #collaboration

The impact of resource title on tags in collaborative tagging systems (ML, EEM), pp. 179–188.

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

VLDB-2010-WeiRM #quality #xml

Achieving High Output Quality under Limited Resources through Structure-based Spilling in XML Streams (MW, EAR, MM), pp. 1267–1278.

ITiCSE-2010-BrownSK #collaboration #community #development #education #named

Greenroom: a teacher community for collaborative resource development (NB, PS, MK), p. 305.

ESOP-2010-Atkey #analysis #logic

Amortised Resource Analysis with Separation Logic (RA), pp. 85–103.

ESOP-2010-HoffmannH #analysis #polynomial

Amortized Resource Analysis with Polynomial Potential (JH, MH), pp. 287–306.

FASE-2010-XiaoOWL #development #scheduling

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments (JX, LJO, QW, ML), pp. 107–122.

FoSSaCS-2010-PaganiR #λ-calculus

Solvability in Resource λ-Calculus (MP, SRDR), pp. 358–373.

WCRE-2010-AthanasopoulosK #identification #legacy

Identification of REST-like Resources from Legacy Service Descriptions (MA, KK), pp. 215–219.

ICALP-v1-2010-ColeR #multi #sorting

Resource Oblivious Sorting on Multicores (RC, VR), pp. 226–237.

ICGT-2010-Donyina #modelling #probability #resource management #simulation

Stochastic Modelling and Simulation of Dynamic Resource Allocation (AD), pp. 388–390.

CAiSE-2010-Paraszczak

The Influence of IT Systems on the Use of the Earth’s Resources (JRP), pp. 7–8.

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

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

CIKM-2010-CaiL #collaboration #personalisation

Personalized search by tag-based user profile and resource profile in collaborative tagging systems (YC, QL), pp. 969–978.

ICPR-2010-ChakrabortyG #recognition #speech

Role of Synthetically Generated Samples on Speech Recognition in a Resource-Scarce Language (RC, UG), pp. 1618–1621.

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

KEOD-2010-Picca #multi

Building Multilingual Lexical Resources on Semiotic Principles (DP), pp. 412–415.

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

SIGIR-2010-HongSBWJ #classification #probability

A joint probabilistic classification model for resource selection (DH, LS, PB, MW, TJ), pp. 98–105.

SIGIR-2010-LiZM #analysis #process

Exploring desktop resources based on user activity analysis (YL, XZ, XM), p. 700.

OOPSLA-2010-RinardHMS #analysis #comprehension #statistics

Patterns and statistical analysis for understanding reduced resource computing (MCR, HH, SM, SS), pp. 806–821.

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

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

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

SAC-2010-FacchinettiF #architecture #clustering #manycore #realtime

Resource partitioning for real-time processing on a multicore architecture (TF, MF), pp. 359–360.

ICSE-2010-May #quality

Dynamic service quality and resource negotiation for high-availability service-oriented systems (NRM), pp. 327–328.

ICSE-2010-TorlakC #detection #effectiveness #interprocedural

Effective interprocedural resource leak detection (ET, SC), pp. 535–544.

ASPLOS-2010-ZhuravlevBF #manycore #scheduling

Addressing shared resource contention in multicore processors via scheduling (SZ, SB, AF), pp. 129–142.

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

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

HPDC-2010-SimmhanR #comparison #framework #workflow

Comparison of resource platform selection approaches for scientific workflows (YLS, LR), pp. 445–450.

HPDC-2010-ZhuA #adaptation #constraints #resource management

Resource provisioning with budget constraints for adaptive applications in cloud environments (QZ, GA), pp. 304–307.

OSDI-2010-FeldmanZFF #collaboration #named #using

SPORC: Group Collaboration using Untrusted Cloud Resources (AJF, WPZ, MJF, EWF), pp. 337–350.

CSL-2010-OHearn #abduction #deduction #induction #reasoning

Abductive, Inductive and Deductive Reasoning about Resources (PWO), pp. 49–50.

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

LICS-2010-Ehrhard

A Finiteness Structure on Resource Terms (TE), pp. 402–410.

ASE-2009-ZhongZXM #api #documentation #natural language #specification

Inferring Resource Specifications from Natural Language API Documentation (HZ, LZ, TX, HM), pp. 307–318.

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

DATE-2009-GolshanB #composition #design

SEU-aware resource binding for modular redundancy based designs on FPGAs (SG, EB), pp. 1124–1129.

DATE-2009-NegreanSE #analysis #multi

Response-time analysis of arbitrarily activated tasks in multiprocessor systems with shared resources (MN, SS, RE), pp. 524–529.

DocEng-2009-GotscharekRRS #documentation #on the

On lexical resources for digitization of historical documents (AG, UR, CR, KUS), pp. 193–200.

HT-2009-LopezE #named #towards #web

To: //: towards an open namespace for web resources (PGL, ME), pp. 335–336.

HT-2009-StrohmaierKK #automation

Automatically annotating textual resources with human intentions (MS, MK, CK), pp. 355–356.

ICDAR-2009-CollFL #analysis #documentation

Graphological Analysis of Handwritten Text Documents for Human Resources Recruitment (RC, AF, JL), pp. 1081–1085.

WCRE-1999-AriasAA99a #resource management #scalability

Constructing a Resource Usage View of a Large and Complex Software-Intensive System (TBCA, PA, PA), pp. 247–255.

FM-2009-JostLHSH #analysis #bound #using

“Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis (SJ, HWL, KH, NS, MH), pp. 354–369.

GT-VMT-2009-BottoniS #adaptation #diagrams #process #workflow

Resource-based enactment and adaptation of workflows from activity diagrams (PB, AS), pp. 159–170.

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

HIMI-DIE-2009-LinYLL #enterprise #implementation

A Human Factors Model for Enterprise Resources Planning System Implementation (CJL, CWY, SBL, SFL), pp. 123–130.

SIGAda-2009-LosebyCB #embedded

Use of SPARK in a resource constrained embedded system (CL, PC, CB), pp. 87–90.

ICEIS-AIDSS-2009-NebotL #ontology #scalability

Building Tailored Ontologies from Very Large Knowledge Resources (VN, RBL), pp. 144–151.

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

ICEIS-J-2009-CallegariB #fuzzy #logic #multi #using

A Multi-criteria Resource Selection Method for Software Projects Using Fuzzy Logic (DAC, RMB), pp. 376–388.

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

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

CIKM-2009-ArguelloCD #classification

Classification-based resource selection (JA, JC, FD), pp. 1277–1286.

CIKM-2009-BiSK #collaboration #resource management #social

Collaborative resource discovery in social tagging systems (BB, LS, BK), pp. 1919–1922.

CIKM-2009-CetintasSY #learning #query

Learning from past queries for resource selection (SC, LS, HY), pp. 1867–1870.

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

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

RecSys-2009-ZhouR #assessment #recommendation

Assessment of conversation co-mentions as a resource for software module recommendation (DXZ, PR), pp. 133–140.

SEKE-2009-FiondellaG #composition #resource management

Resource Allocation for a Modular Software System (LF, SSG), pp. 480–486.

SEKE-2009-XieWXWY #named #scheduling

PP-HAS: A Task Priority Based Preemptive Human Resource Scheduling Method (LX, QW, JX, YW, YY), pp. 655–660.

SIGIR-2009-PascaA #concept #information retrieval #web

Web-derived resources for web information retrieval: from conceptual hierarchies to attribute hierarchies (MP, EA), pp. 596–603.

POPL-2009-BrotherstonC #logic #reasoning

Classical BI: a logic for reasoning about dualising resources (JB, CC), pp. 328–339.

SAC-2009-KimYCH #embedded

Impact of function inlining on resource-constrained embedded systems (BK, SY, YC, JH), pp. 287–292.

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

SAC-2009-OrdinezDSO #behaviour #resource management #scheduling

Resource sharing in behavioral based scheduling (LO, DD, RMS, JO), pp. 1972–1978.

HPDC-2009-CastilloRH #distributed #resource management #scalability

Resource co-allocation for large-scale distributed environments (CC, GNR, KH), pp. 131–140.

ICST-2009-ChangRV #resource management #testing

Optimal Resource Allocation for Batch Testing (FC, JR, RV), pp. 91–100.

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

CASE-2008-HajiAGDM #multi #resource management #scheduling

An improved multi-mode resource allocation and project scheduling model (MH, LA, PG, HD, MM), pp. 365–370.

CASE-2008-ReveliotisR #multi #paradigm #resource management

Conflict resolution in multi-vehicle systems: A resource allocation paradigm (SAR, ER), pp. 115–121.

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

DATE-2008-LuMGB #algorithm #for free #performance

An efficient algorithm for free resources management on the FPGA (YL, TM, GG, KB), pp. 1095–1098.

DocEng-2008-Schmitz #framework #maintenance

The CONCUR framework forcommunity maintenance of curated resources (PS), pp. 123–126.

VLDB-2008-AvanesF #adaptation #constraints #network #resource management #scheduling #workflow

Adaptive workflow scheduling under resource allocation constraints and network dynamics (AA, JCF), pp. 1631–1637.

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

ICPC-2008-BinkleyLMM #memory management

Impact of Limited Memory Resources (DB, DL, SM, CM), pp. 83–92.

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

ICALP-A-2008-EisenbrandR #realtime #scheduling

A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation (FE, TR), pp. 246–257.

GT-VMT-2008-BraatzB #framework #graph transformation

Graph Transformations for the Resource Description Framework (BB, CB).

GT-VMT-2008-GrohmannM #graph #resource management

Controlling resource access in Directed Bigraphs (DG, MM).

CSCW-2008-MarkS #collaboration

Resilience in collaboration: technology as a resource for new patterns of action (GM, BS), pp. 137–146.

CAiSE-2008-RussellA #people #resource management

Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities (NR, WMPvdA), pp. 94–108.

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

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

CIKM-2008-SeoC #using

Blog site search using resource selection (JS, WBC), pp. 1053–1062.

SEKE-2008-KhwajaU #execution #modelling #named #specification

RealSpec: an Executable Specification Language for Modeling Resources (AAK, JEU), pp. 97–102.

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

SEKE-2008-XieXLW #scheduling

A Project Scheduling Method Based on Human Resource Availability (LX, JX, DL, QW), pp. 161–166.

SIGIR-2008-Gan #approach #query #using

Using a mediated query approach for matching unstructured query with structured resources (KHG), p. 895.

SIGIR-2008-HoonKTK #named #query

Minexml: bridging unstructured query with structured resources via mediated query (GKH, PKK, SST, TEK), p. 879.

POPL-2008-BohannonFPPS #lens #named #string

Boomerang: resourceful lenses for string data (AB, JNF, BCP, AP, AS), pp. 407–419.

SAC-2008-ErdilL #grid #hybrid #scheduling #self

Supporting self-organization for hybrid grid resource scheduling (DCE, MJL), pp. 1981–1986.

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

SAC-2008-OrdinezDS #approach #behaviour #scheduling

A behavior priority driven approach for resource reservation scheduling (LO, DD, RMS), pp. 315–319.

SAC-2008-TeleckenML #specification #visual notation

Applying markup language resources in the specification of visual alphabets and visual sentences (TLT, EVM, JVdL), pp. 222–227.

HPDC-2008-DrostNMB #distributed #parallel

Resource tracking in parallel and distributed applications (ND, RvN, JM, HEB), pp. 221–222.

ISMM-2008-ChinNPQ #bound #low level #memory management #source code

Analysing memory resource bounds for low-level programs (WNC, HHN, CP, SQ), pp. 151–160.

ISMM-2008-DilligDYC #automation #java #resource management

The CLOSER: automating resource management in java (ID, TD, EY, SC), pp. 1–10.

LCTES-2008-BadeaNV #embedded #energy #virtual machine

Impact of JVM superoperators on energy consumption in resource-constrained embedded systems (CB, AN, AVV), pp. 23–30.

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

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

ICST-2008-SeceleanuPH #resource management #scheduling

Scheduling Timed Modules for Correct Resource Sharing (CCS, PP, HH), pp. 102–111.

QoSA-2007-Woodside #architecture #performance

Resource Architecture and Continuous Performance Engineering (CMW), pp. 1–14.

WICSA-2007-JainK #design pattern #resource management

Pattern Oriented Software Architecture: Patterns for Resource Management (PJ, MK), p. 41.

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

CASE-2007-PiS #process

Resource-Task Assignment Process with Rejections and Reassignments (LP, LS), pp. 448–453.

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

DAC-2007-BobrekPT #modelling #resource management

Shared Resource Access Attributes for High-Level Contention Models (AB, JMP, DET), pp. 720–725.

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

DAC-2007-StuijkBGC #data flow #graph #multi #resource management

Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs (SS, TB, MG, HC), pp. 777–782.

DATE-2007-FaragES #2d #configuration management #using

Improving utilization of reconfigurable resources using two dimensional compaction (AAEF, HMEB, SIS), pp. 135–140.

DATE-2007-HamersE #predict

Resource prediction for media stream decoding (JH, LE), pp. 594–599.

SIGMOD-2007-LuoTY #adaptation #detection #realtime

Resource-adaptive real-time new event detection (GL, CT, PSY), pp. 497–508.

ITiCSE-2007-HawthorneCK #education

Curricular resources from the acm two-year college education committee (EKH, RDC, KJK), p. 309.

FoSSaCS-2007-BartolettiDFZ #analysis #resource management

Types and Effects for Resource Usage Analysis (MB, PD, GLF, RZ), pp. 32–47.

CHI-2007-Salovaara

Appropriation of a MMS-based comic creator: from system functionalities to resources for action (AS), pp. 1117–1126.

OCSC-2007-Huang #case study #library #social

Integrating Digital Library Resources in Elementary School Classrooms — A Case Study of Social Study Instruction (KHH), pp. 372–374.

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

ECIR-2007-BoyerB #natural language #web

Natural Language Processing for Usage Based Indexing of Web Resources (AB, AB), pp. 517–524.

SEKE-2007-Gomez-PerezRV #reuse #standard

Methodology for Reusing Human Resources Management Standards (AGP, JR, BVT), pp. 280–285.

SEKE-2007-RaibuletUM #adaptation #approach #resource management

An Adaptive Resource Management Approach for a Healthcare System (CR, LU, SM), pp. 286–291.

SIGIR-2007-Leidner #information management #monitoring

Resource monitoring in information extraction (JLL), pp. 779–780.

SIGIR-2007-Witschel #peer-to-peer #retrieval

Global resources for peer-to-peer text retrieval (HFW), p. 923.

ECOOP-2007-DegenTW #java #linear

Tracking Linear and Affine Resources with Java(X) (MD, PT, SW), pp. 550–574.

QAPL-2007-ChothiaPD #component

Keeping Secrets in Resource Aware Components (TC, JP, MTD), pp. 79–94.

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

SAC-2007-ClaycombS #collaboration #pervasive #resource management #towards

Towards secure resource sharing for impromptu collaboration in pervasive computing (WC, DS), pp. 940–946.

SAC-2007-MoreiraMB #multi #online #resource management

Online resource management in a multiprocessor with a network-on-chip (OM, JJDM, MB), pp. 1557–1564.

SAC-2007-PreuveneersB #adaptation #mobile #self #towards

Towards context-aware and resource-driven self-adaptation for mobile handheld applications (DP, YB), pp. 1165–1170.

ESEC-FSE-2007-FosterEKMRU #composition #constraints #model checking

Model checking service compositions under resource constraints (HF, WE, JK, JM, DSR, SU), pp. 225–234.

ICSE-2007-Zualkernan #learning #programming #using

Using Soloman-Felder Learning Style Index to Evaluate Pedagogical Resources for Introductory Programming Classes (IAZ), pp. 723–726.

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

HPDC-2007-HuangCC #generative #grid #specification

Generating grid resource requirement specifications (RYH, AAC, HC), pp. 233–234.

ISMM-2007-OHearn #concurrent #logic #resource management

Separation logic and concurrent resource management (PWO), p. 1.

ICLP-2007-Naish #analysis #concurrent

Resource-Oriented Deadlock Analysis (LN), pp. 302–316.

ICLP-2007-NavasMLH #analysis #bound #logic programming #source code

User-Definable Resource Bounds Analysis for Logic Programs (JAN, EM, PLG, MVH), pp. 348–363.

LICS-2007-MelliesT #game studies #semantics

Resource modalities in game semantics (PAM, NT), pp. 389–398.

CASE-2006-GohBDEHR #resource management

A Resource Planning Model for Professional Services Organizations (MG, KB, RdS, BTE, JH, BKR), pp. 636–639.

DAC-2006-ChenCFX #multi

Optimality study of resource binding with multi-Vdds (DC, JC, YF, JX), pp. 580–585.

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

DATE-2006-CherrounDF #constraints #equation #scheduling #using

Scheduling under resource constraints using dis-equations (HC, AD, PF), pp. 1067–1072.

DATE-2006-DimondML #automation #memory management #resource management

Automating processor customisation: optimised memory access and resource sharing (RGD, OM, WL), pp. 206–211.

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

CSEET-2006-RappaSY #re-engineering

Open Course Resources as Part of the OpenSeminar in Software Engineering (MR, SES, AY), pp. 187–192.

ITiCSE-2006-CasselF

Sharing the wealth: publishing electronic resources (LNC, EAF), p. 327.

PEPM-2006-IwamaIK #analysis #exception #functional #resource management

Resource usage analysis for a functional language with exceptions (FI, AI, NK), pp. 38–47.

STOC-2006-ChoG #distributed #multi #resource management

Pricing for fairness: distributed resource allocation for multiple objectives (SwC, AG), pp. 197–204.

FLOPS-2006-MarionP #analysis

Resource Analysis by Sup-interpretation (JYM, RP), pp. 163–176.

ICEIS-AIDSS-2006-SoaresSS #community #semantics

Selecting and Structuring Semantic Resources to Support SMEs Knowledge Communities (ALS, MMdS, DS), pp. 270–277.

ICEIS-DISI-2006-Ifinedo #enterprise #metric #resource management

Enterprise Resource Planning (ERP) Systems Success Measurement: An Extended Model (PI), pp. 71–78.

ICEIS-ISAS-2006-BarresiRML #integration #semantics

Methodology to Support Semantic Resources Integration in the Construction Sector (SB, YR, FM, CL), pp. 94–101.

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

ICEIS-J-2006-BarresiRLM #integration #semantics

Semantic Resources Integration and Interoperability in the Construction Domain (SB, YR, CL, FM), pp. 336–347.

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

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

ICEIS-SAIC-2006-WuMLYL

WSRF-Based Virtualization for Manufacturing Resources (LW, XM, SL, CY, XL), pp. 132–137.

CIKM-2006-HeinzS #kernel #resource management #streaming

Resource-aware kernel density estimators over streaming data (CH, BS), pp. 870–871.

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

ICPR-v2-2006-JiangL #3d #image #synthesis

Synthesis of Stereoscopic 3D Videos by Limited Resources of Range Images (XJ, ML), pp. 1220–1224.

SEKE-2006-McElroyR #release planning

Decision Support for Resource-centric Software Release Planning (JM, GR), pp. 132–137.

SIGIR-2006-CarberryED #library

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

SAC-2006-BaillieAC #evaluation #metric #quality

An evaluation of resource description quality measures (MB, LA, FC), pp. 1110–1111.

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

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

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

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

SAC-2006-LiV #community #grid #resource management #semantics

Grid resource discovery based on semantic P2P communities (JL, STV), pp. 754–758.

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

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

HPCA-2006-KumarA #concurrent #detection #fault #performance

Reducing resource redundancy for concurrent error detection techniques in high performance microprocessors (SK, AA), pp. 212–221.

HPDC-2006-AamnitchiDG #energy #physics #resource management

Filecules in High-Energy Physics: Characteristics and Impact on Resource Management (AI, SD, GG), pp. 69–80.

HPDC-2006-KeeYCC #distributed #resource management #robust #scalability

Robust Resource Allocation for Large-scale Distributed Shared Resource Environments (YSK, KY, AAC, HC), pp. 341–342.

HPDC-2006-RenLEB #fine-grained #predict

Resource Availability Prediction in Fine-Grained Cycle Sharing Systems (XR, SL, RE, SB), pp. 93–104.

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

HPDC-2006-Yom-TovA #estimation #requirements

Improving Resource Matching Through Estimation of Actual Job Requirements (EYT, YA), pp. 367–368.

LICS-2006-ParkinsonBC #hoare #logic

Variables as Resource in Hoare Logics (MJP, RB, CC), pp. 137–146.

VMCAI-2006-KobayashiSW #analysis #resource management #π-calculus

Resource Usage Analysis for the pi-Calculus (NK, KS, LW), pp. 298–312.

CBSE-2005-FredrikssonSA #component #optimisation #realtime #resource management

Optimizing Resource Usage in Component-Based Real-Time Systems (JF, KS, MÅ), pp. 49–65.

ASE-2005-KapfhammerSM #execution #testing

Testing in resource constrained execution environments (GMK, MLS, DM), pp. 418–422.

CASE-2005-ChewL #multi #robust

Robust supervisory control for production systems with multiple resource failures (SFC, MAL), pp. 375–380.

CASE-2005-WangCL #capacity #robust #using

Using shared resource capacity for robust control of failure prone manufacturing systems (SW, SFC, MAL), pp. 369–374.

CASE-2005-ZhangZNZ

Production planning with joint resources usage semiconductor test manufacturing (ZZ, MTZ, SN, LZ), pp. 49–54.

DAC-2005-MukherjeeMM #resource management #synthesis

Temperature-aware resource allocation and binding in high-level synthesis (RM, SOM, GM), pp. 196–201.

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

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

HT-2005-MulhollandCZ

Spotlight browsing of resource archives (PM, TDC, ZZ), pp. 23–31.

HT-2005-Rafiei #scalability

Bulk loading large collections of hyperlinked resources (DR), pp. 267–269.

CSEET-2005-WilliamsSR #agile #development #re-engineering

Resources for Agile Software Development in the Software Engineering Course (LW, SES, MR), pp. 236–238.

ESOP-2005-ChanderEILN #bound #dynamic analysis #verification

Enforcing Resource Bounds via Static Verification of Dynamic Checks (AC, DE, NI, PL, GCN), pp. 311–325.

PLDI-2005-NiKSI #ad hoc #mobile #network #programming

Programming ad-hoc networks of mobile and resource-constrained devices (YN, UK, AS, LI), pp. 249–260.

ICALP-2005-Zhang #game studies #performance #resource management

The Efficiency and Fairness of a Fixed Budget Resource Allocation Game (LZ0), pp. 485–496.

SEFM-2005-JinH #concurrent #process #towards

Towards A Truly Concurrent Model for Processes Sharing Resources (NJ, JH), pp. 231–239.

CEFP-2005-Hammond #approach #behaviour #bound #functional #programming

Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (KH), pp. 100–134.

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

CAiSE-2005-RussellAHE #identification #representation #tool support #workflow

Workflow Resource Patterns: Identification, Representation and Tool Support (NR, WMPvdA, AHMtH, DE), pp. 216–232.

ICEIS-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 (FÅ, LH), pp. 220–225.

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

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

SIGIR-2005-Lin #evaluation

Evaluation of resources for question answering evaluation (JJL), pp. 392–399.

PPDP-2005-CraigL #prolog #self

Self-tuning resource aware specialisation for prolog (SJC, ML), pp. 23–34.

PPDP-2005-HermenegildoALP #abstraction

Abstraction carrying code and resource-awareness (MVH, EA, PLG, GP), pp. 1–11.

SAC-2005-BertholdSLH #data type #resource management

Integrated resource management for data stream systems (HB, SS, WL, CJH), pp. 555–562.

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

SAC-2005-LauW #approach #multi #optimisation #problem

A multi-agent approach for solving optimization problems involving expensive resources (HCL, HW), pp. 79–83.

HPDC-2005-Burruss

The resource oriented authorization manager (ROAM) (JB), pp. 308–309.

HPDC-2005-ChenCTAC #resource management #scalability

DHT overlay schemes for scalable p-range resource discovery (LC, KSC, JT, DA, DC), pp. 297–298.

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

HPDC-2005-OppenheimerAPV #design #implementation #resource management #trade-off

Design and implementation tradeoffs for wide-area resource discovery (DLO, JRA, DAP, AV), pp. 113–124.

CBSE-2004-MuskensC #component #multi #predict #runtime

Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems (JM, MRVC), pp. 162–177.

DAC-2004-SelvakkumaranRRK #algorithm #clustering #multi

Multi-resource aware partitioning algorithms for FPGAs with heterogeneous resources (NS, AR, SR, GK), pp. 741–746.

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

DATE-v2-2004-GrunewaldNPR #multi #network

A Mapping Strategy for Resource-Efficient Network Processing on Multiprocessor SoC (MG, JCN, MP, UR), pp. 758–763.

SIGMOD-2004-JainCW #adaptation #resource management #using

Adaptive Stream Resource Management Using Kalman Filters (AJ, EYC, YFW), pp. 11–22.

VLDB-2004-ArasuW #resource management

Resource Sharing in Continuous Sliding-Window Aggregates (AA, JW), pp. 336–347.

ITiCSE-2004-CasselF

Sharing the wealth: publishing electronic resources (LNC, EAF), p. 234.

ITiCSE-WGR-2004-Campbell #assurance #security

IT security and data assurance: a new resource for two-year colleges (RDC), p. 20.

ESOP-2004-OHearn #concurrent #reasoning

Resources, Concurrency, and Local Reasoning (Abstract) (PWO), pp. 1–2.

TACAS-2004-RasmussenLS #automaton #scheduling #using

Resource-Optimal Scheduling Using Priced Timed Automata (JIR, KGL, KS), pp. 220–235.

PEPM-2004-PopeeaC #correctness #protocol #proving #type system #verification

A type system for resource protocol verification and its correctness proof (CP, WNC), pp. 135–146.

STOC-2004-ChekuriGKK #multi #scheduling

Multi-processor scheduling to minimize flow time with epsilon resource augmentation (CC, AG, SK, AK), pp. 363–372.

ICALP-2004-Atkey #λ-calculus

A λ-Calculus for Resource Separation (RA), pp. 158–170.

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

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

ICEIS-v1-2004-CorcolesG #integration #web #xml

Study of Different Approaches to the Integration of Spatial XML Web Resources (JEC, PG), pp. 364–369.

ICEIS-v3-2004-Salimifard #component #modelling #petri net #using

Component-Based Modelling of Organisational Resources Using Coloured Petri Nets (KS), pp. 577–580.

ICEIS-v4-2004-KleinSF #resource management

Resource Sharing and Load Balancing Based on Agent Mobility (GK, AS, AEFS), pp. 350–355.

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

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

CIKM-2004-PetinotGBTHC #library #named #towards

CiteSeer-API: towards seamless resource location and interlinking for digital libraries (YP, CLG, VB, PBT, HH, IGC), pp. 553–561.

CIKM-2004-SiC #framework

Unified utility maximization framework for resource selection (LS, JPC), pp. 32–41.

ECIR-2004-NottelmannF #approach

Combining CORI and the Decision-Theoretic Approach for Advanced Resource Selection (HN, NF), pp. 138–153.

KR-2004-HaarslevM #documentation #optimisation #owl #rdf

Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results (VH, RM), pp. 163–174.

SIGIR-2004-RogatiY #information retrieval

Resource selection for domain-specific cross-lingual IR (MR, YY), pp. 154–161.

SIGIR-2004-XuU #analysis #mining #ranking #web

A unified model of literal mining and link analysis for ranking web resources (YX, KU), pp. 546–547.

SAC-2004-CherkasovaT #performance #resource management

Providing resource allocation and performance isolation in a shared streaming-media hosting service (LC, WT), pp. 1213–1218.

SAC-2004-CoutoMS #biology #using #web

Classifying biological articles using web resources (FMC, BM, MJS), pp. 111–115.

SAC-2004-LischkaK #execution #modelling

Modeling and execution of E-Learning resources (JL, DK), pp. 971–972.

SAC-2004-MichaelsonHS #automaton #bound #named #programming #using

FSM-Hume: programming resource-limited systems using bounded automata (GM, KH, JS), pp. 1455–1461.

ICSE-2004-FentonMNCFT #resource management

Making Resource Decisions for Software Projects (NEF, WM, MN, PC, SF, MT), pp. 397–406.

ICSE-2004-PoladianSGS #resource management

Dynamic Configuration of Resource-Aware Services (VP, JPS, DG, MS), pp. 604–613.

HPDC-2004-GuptaLD #comprehension

Measuring and Understanding User Comfort With Resource Borrowing (AG, BL, PAD), pp. 214–224.

HPDC-2004-KichkayloK #component #deployment #distributed #resource management

Optimal Resource-Aware Deployment Planning for Component-Based Distributed Applications (TK, VK), pp. 150–159.

HPDC-2004-KwonHKL #grid #named #resource management

GRASP: A Grid Resource Allocation System based on OGSA (OKK, JH, SK, JRL), pp. 278–279.

HPDC-2004-RipeanuBCFM #resource management

Globus and PlanetLab Resource Management Solutions Compared (MR, MB, JSC, ITF, MM), pp. 246–255.

HPDC-2004-WassonBMH #dot-net

WS-ResourceFramework on .NET (GSW, NB, MMM, MH), pp. 258–259.

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

LCTES-2004-SaputraCBVKI #embedded

Code protection for resource-constrained embedded devices (HS, GC, RRB, NV, MTK, MJI), pp. 240–248.

LCTES-2004-ZhangK #adaptation

Adaptive code unloading for resource-constrained JVMs (LZ, CK), pp. 155–164.

CSL-2004-AmadioCDJ #bound #bytecode #functional #verification

A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.

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

DAC-2003-SzymanekK #constraints #graph

Partial task assignment of task graphs under heterogeneous resource constraints (RS, KK), pp. 244–249.

DATE-2003-GericotaASF #configuration management #logic #runtime

Run-Time Management of Logic Resources on Reconfigurable Systems (MGG, GRA, MLS, JMF), pp. 10974–10979.

DRR-2003-WuL #image #web

Resource-optimized delivery of web images to small-screen devices (YW, DPL), pp. 144–155.

SIGMOD-2003-DeshpandeNGS03a #named

IrisNet: Internet-scale Resource-Intensive Sensor Services (AD, SN, PBG, SS), p. 667.

ITiCSE-2003-Cassel #using

Using CITIDEL resources to support documenting objectives and outcomes (LNC), p. 255.

ITiCSE-2003-CrescenziI #usability

A tool to develop electronic course books based on WWW technologies, resources and usability criteria (PC, GI), pp. 163–167.

ITiCSE-2003-PearsPE #learning #online

Enriching online learning resources with “explanograms” (ANP, LP, CE), p. 237.

ICSM-2003-Ramil #estimation #evolution

Continual Resource Estimation for Evolving Software (JFR), pp. 289–292.

SAS-2003-UnnikrishnanCKKK #requirements

Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications (PU, GC, MTK, MK, IK), pp. 383–400.

ICALP-2003-GorlaP #resource management

Resource Access and Mobility Control with Dynamic Privileges Acquisition (DG, RP), pp. 119–132.

CHI-2003-GaverBB #ambiguity #design

Ambiguity as a resource for design (WWG, JB, SB), pp. 233–240.

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

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

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

ICEIS-v2-2003-Raisinghani #enterprise #information management #taxonomy

Knowledge Management Systems for Leveraging Enterprise Data Resources: Taxonomy and Key Issues (MSR), pp. 519–521.

ICEIS-v3-2003-LeeS #enterprise #optimisation #resource management

Complementary Adoption and Optimization of Enterprise Resource Planning Systems (CSL, WSS), pp. 615–618.

ICEIS-v4-2003-Roth #collaboration #framework #mobile

The Resource Framework for Mobile Applications: Enabling Collaboration Between Mobile Users (JR), pp. 87–94.

CIKM-2003-BallesterosS #retrieval

Addressing the lack of direct translation resources for cross-language retrieval (LB, MS), pp. 147–152.

SIGIR-2003-BartlettT #data flow

Discovering and structuring information flow among bioinformatics resources (JCB, EGT), pp. 411–412.

SIGIR-2003-BerrettiCNSW #data fusion #distributed #library #multi #named

MIND: resource selection and data fusion in multimedia distributed digital libraries (SB, JPC, HN, XMS, SW), p. 465.

SIGIR-2003-CallanCNPS #data fusion #distributed #library #multi

Resource selection and data fusion in multimedia distributed digital libraries (JPC, FC, HN, PP, XMS), pp. 363–364.

SIGIR-2003-NottelmannF #quality #retrieval

Evaluating different methods of estimating retrieval quality for resource selection (HN, NF), pp. 290–297.

SIGIR-2003-SiC #documentation #estimation

Relevant document distribution estimation method for resource selection (LS, JPC), pp. 298–305.

SAC-2003-RamanCBDR #network #pervasive #resource management

Access-Controlled Resource Discovery for Pervasive Networks (SR, DEC, MB, SD, RLR), pp. 338–345.

CGO-2003-SmelyanskiyMDL #constraints #scheduling

Predicate-Aware Scheduling: A Technique for Reducing Resource Constraints (MS, SAM, ESD, HHSL), pp. 169–178.

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

HPDC-2003-RamanLS #policy #resource management

Policy Driven Heterogeneous Resource Co-Allocation with Gangmatching (RR, ML, MHS), pp. 80–89.

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

HPDC-2003-SpenceH #distributed #framework #named #resource management

XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform (DS, TH), pp. 216–225.

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

PPoPP-2003-TauraKEY #named #parallel #programming

Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources (KT, KK, TE, AY), pp. 216–229.

SOSP-2003-FuCCSV #architecture #named

SHARP: an architecture for secure resource peering (YF, JSC, BNC, SS, AV), pp. 133–148.

CBSE-2003-JongeMC #component #predict #runtime

Scenario-Based Prediction of Run-time Resource Consumption in Component-Based Software Systems (MdJ, JM, MRVC), p. 4.

DATE-2002-ChandraC #clustering #testing

Test Resource Partitioning and Reduced Pin-Count Testing Based on Test Data Compression (AC, KC), pp. 598–603.

DATE-2002-ZhaoMB #compilation #design #modelling #set #using

Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models (QZ, BM, TB), pp. 1021–1026.

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

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

CSEET-2002-SeffahG #education #re-engineering

Learner-Centered Software Engineering Education: From Resources to Skills and Pedagogical Patterns (AS, PG), pp. 14–21.

ITiCSE-2002-Knox #named

CITIDEL: making resources available (DK), p. 225.

TACAS-2002-BasuKPR #model checking #recursion #source code

Resource-Constrained Model Checking of Recursive Programs (SB, KNK, LRP, CRR), pp. 236–250.

TACAS-2002-EmersonK #model checking #resource management #scalability

Model Checking Large-Scale and Parameterized Resource Allocation Systems (EAE, VK), pp. 251–265.

ICALP-2002-EpsteinSS #bound #online

New Bounds for Variable-Sized and Resource Augmented Online Bin Packing (LE, SSS, RvS), pp. 306–317.

FME-2002-ArtsED #case study #erlang #verification

Verifying Erlang Code: A Resource Locker Case-Study (TA, CBE, JD), pp. 184–203.

ICEIS-2002-Peters #enterprise #resource management

Introducing an Enterprise Resource Planning (ERP) System in a Hospital (SCAP), pp. 275–281.

CIKM-2002-SiJCO #framework #modelling

A language modeling framework for resource selection and results merging (LS, RJ, JPC, PO), pp. 391–397.

ICPR-v3-2002-BerrettiBP #distributed #image #retrieval

Extraction of Resource Descriptors for Distributed Content Based Image Retrieval (SB, ADB, PP), pp. 995–998.

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

SEKE-2002-LoiaSS #deduction #named #web

LearnMiner: deductive, tolerant agents for discovering didactic resources on the web (VL, SS, MIS), pp. 109–115.

SEKE-2002-ReisRSN #process

A policy-based resource instantiation mechanism to automate software process management (CALR, RQR, HS, DJN), pp. 795–802.

SIGIR-2002-LavelliMS #categorisation

Building thematic lexical resources by term categorization (AL, BM, FS), pp. 415–416.

SIGIR-2002-McNameeM #query

Comparing cross-language query expansion techniques by degrading translation resources (PM, JM), pp. 159–166.

POPL-2002-IgarashiK #analysis #resource management

Resource usage analysis (AI, NK), pp. 331–342.

ICSE-2002-KimP #testing

A history-based test prioritization technique for regression testing in resource constrained environments (JMK, AAP), pp. 119–129.

ICSE-2002-WeinsbergB #programming

A programming model and system for disconnected-aware applications on resource-constrained devices (YW, IBS), pp. 374–384.

ASPLOS-2002-ZengELV #ecosystem #energy #named #operating system

ECOSystem: managing energy as a first class operating system resource (HZ, CSE, ARL, AV), pp. 123–132.

HPDC-2002-HuangV #resource management

QoS-Based Resource Discovery in Intermittently Available Environments (YH, NV), p. 50–?.

HPDC-2002-IamnitchiFN #approach #grid #peer-to-peer

A Peer-to-Peer Approach to Resource Location in Grid Environments (AI, ITF, DN), p. 419.

HPDC-2002-KenyonC #architecture #grid #requirements

Architecture Requirements for Commercializing Grid Resources (CK, GC), pp. 215–224.

HPDC-2002-LiuYFA #design #evaluation #framework #grid

Design and Evaluation of a Resource Selection Framework for Grid Applications (CL, LY, ITF, DA), pp. 63–72.

HPDC-2002-SnellTEC #grid #resource management

An Enterprise-Based Grid Resource Management System (QS, KT, JJE, MJC), p. 83–?.

OSDI-2002-ShenTYC #clustering #internet #resource management

Integrated Resource Management for Cluster-based Internet Services (KS, HT, TY, LC), pp. 225–238.

OSDI-2002-UrgaonkarSR #profiling

Resource Overbooking and Application Profiling in Shared Hosting Platforms (BU, PJS, TR), pp. 239–254.

OSDI-2002-Waldspurger #memory management #resource management

Memory Resource Management in VMware ESX Server (CAW), pp. 181–194.

CSL-2002-GalmicheMP

Resource Tableaux (DG, DM, DJP), pp. 183–199.

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

DAC-2001-AlpertHSV #resource management

A Practical Methodology for Early Buffer and Wire Resource Allocation (CJA, JH, SSS, PV), pp. 189–194.

DATE-2001-IyerM #architecture #power management #scalability

Power aware microarchitecture resource scaling (AI, DM), pp. 190–196.

HT-2001-ConlanHLWA #adaptation #learning #metadata

Extending eductional metadata schemas to describe adaptive learning resources (OC, CH, PL, VPW, DA), pp. 161–162.

HT-2001-Feise #approach #persistent #web

An approach to persistence of Web resources (JF), pp. 215–216.

ICDAR-2001-Hurst #layout #using

Layout and Language: Exploring Text Block Discovery in Tables Using Linguistic Resources (MH), pp. 523–527.

STOC-2001-KempeKD #protocol

Spatial gossip and resource location protocols (DK, JMK, AJD), pp. 163–172.

SVIS-2001-RossG #education #learning #named #web

Hypertextbooks: Animated, Active Learning, Comprehensive Teaching and Learning Resources for the Web (RJR, MTG), pp. 269–284.

ICEIS-v1-2001-HengP #resource management

Domain Knowledge as Corporate Resource of Financial Firms (MSHH, SCAP), pp. 69–74.

ICEIS-v2-2001-NevesVCSMT #modelling

Unified Resource Modelling (JN, AV, AC, PS, RM, JMT), pp. 898–904.

CIKM-2001-BrownSCPCAP #speech #towards

Towards Speech as a Knowledge Resource (EWB, SS, AC, DBP, JWC, AA, JP), pp. 526–528.

SIGIR-2001-Larson #distributed #resource management

Distributed Resource Discovery and Structured Data Searching with Cheshire II (RRL), p. 455.

OOPSLA-2001-BinderHV #approach #java

Portable Resource Control in Java: The J-SEAL2 Approach (WB, JH, AV), pp. 139–155.

TOOLS-USA-2001-KimovskiTD #resource management

Virtual Laboratory-Agent-Based Resource Sharing System (GK, VT, DD), pp. 89–99.

HPDC-2001-CzajkowskiDKT #resource management #visual notation

Practical Resource Management for Grid-Based Visual Exploration (KC, AKD, CK, MT), p. 416–?.

HPDC-2001-CzajkowskiKFF #distributed #grid #information management #resource management

Grid Information Services for Distributed Resource Sharing (KC, CK, SF, ITF), pp. 181–194.

HPDC-2001-LopezO #evaluation #network

Evaluation of a Resource Selection Mechanism for Complex Network Services (JCL, DRO), pp. 171–180.

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

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

HPDC-2001-SkicewiczDS #behaviour #multi #query #using

Multi-Resolution Resource Behaviour Queries Using Wavelets (JAS, PAD, JMS), pp. 395–394.

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

PPoPP-2001-RencuzogullariD #adaptation #network #parallel

Dynamic adaptation to available resources for parallel computing in an autonomous network of workstations (UR, SD), pp. 72–81.

SOSP-2001-ChaseATVD #energy

Managing Energy and Server Resources in Hosting Centres (JSC, DCA, PNT, AV, RPD), pp. 103–116.

CBSE-2000-ErikssonV #resource management

Applying CBSE Theory on Corporate Resources (NE, TV), p. 1.

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

DATE-2000-CotaRABCL #reuse

Reuse of Existing Resources for Analog BIST of a Switch Capacitor Filte (ÉFC, MR, FA, YB, LC, ML), pp. 226–230.

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

DATE-2000-OuaissV #configuration management #performance

Efficient Resource Arbitration in Reconfigurable Computing Environments (IO, RV), pp. 560–566.

SIGMOD-2000-HsiaoN #named #transaction

DLFM: A Transactional Resource Manager (HIH, IN), pp. 518–528.

VLDB-2000-DingGS #web

Computing Geographical Scopes of Web Resources (JD, LG, NS), pp. 545–556.

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

ITiCSE-2000-SheardPM #difference #student

Subject differences in student attitudes to paper-based and Web-based resources (poster session) (JS, MP, SM), pp. 192–193.

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

ICALP-2000-CsirikW #bound #online

Resource Augmentation for Online Bounded Space Bin Packing (JC, GJW), pp. 296–304.

ICALP-2000-HennessyR #data flow #resource management #π-calculus

Information Flow vs. Resource Access in the Asynchronous π-Calculus (MH, JR), pp. 415–427.

CAiSE-2000-KrumbholzM #enterprise #how #implementation #resource management

How Culture Might Impact on the Implementation of Enterprise Resource Planning Packages (MK, NAMM), pp. 279–293.

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

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

POPL-2000-CraryW #bound #certification

Resource Bound Certification (KC, SW), pp. 184–198.

HPDC-2000-BasneyL #network

Managing Network Resources in Condor (JB, ML), pp. 298–299.

HPDC-2000-GehringS #resource management #robust

Robust Resource Management for Metacomputers (JG, AS), pp. 105–112.

HPDC-2000-PattenH #distributed #flexibility

Flexible High-Performance Access to Distributed Storage Resources (CJP, KAH), pp. 175–181.

HPDC-2000-RamanLS #multi #resource management

Resource Management through Multilateral Matchmaking (RR, ML, MHS), pp. 290–291.

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

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

HPDC-2000-XuNVW #multi

QoS and Contention-Aware Multi-Resource Reservation (DX, KN, AV, DW), pp. 3–10.

OSDI-2000-BackHL #java #process #resource management

Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java (GB, WCH, JL), pp. 333–346.

LICS-2000-BussK #bound

Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (SRB, BMK), pp. 77–83.

DATE-1999-JaschkeLB #resource management #scheduling

Time Constrained Modulo Scheduling with Global Resource Sharing (CJ, RL, FB), pp. 210–216.

DATE-1999-Kuchcinski #constraints #finite #graph #scheduling #using

Integrated Resource Assignment and Scheduling of Task Graphs Using Finite Domain Constraints (KK), pp. 772–773.

VLDB-1999-ChakrabartiBD #distributed #hypermedia #resource management

Distributed Hypertext Resource Discovery Through Examples (SC, MvdB, BD), pp. 375–386.

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

CSMR-1999-KrikhaarPZ #resource management

Employing Use-cases and Domain Knowledge for Comprehending Resource Usage (RLK, MP, JZ), pp. 14–21.

WCRE-1999-CifuentesER #design

The Design of a Resourceable and Retargetable Binary Translator (CC, MVE, NR), pp. 280–291.

HCI-CCAD-1999-KlobasM #behaviour

A planned behavior in context model of networked information resource use (JEK, DM), pp. 823–827.

CAiSE-1999-HuanS #resource management

Policy-Based Resource Management (YNH, MCS), pp. 422–428.

ICEIS-1999-El-DenB #modelling #process

Infomartion Modelling for Resource-Oriented Business Process (JED, JPB), p. 770.

TOOLS-EUROPE-1999-CzajkowskiE #internet

Internet Servers, Safe-Language Extensions, and Structured Resource Control (GC, TvE), pp. 295–304.

PADL-1999-CarlssonKA #constraints #resource management #scheduling

Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing (MC, PK, EÅ), pp. 335–349.

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

HPDC-1999-BruneRV #distributed

A Resource Description Environment for Distributed Computing Systems (MB, AR, JV), pp. 279–286.

HPDC-1999-CzajkowskiFK #resource management

Resource Co-Allocation in Computational Grids (KC, ITF, CK), pp. 219–228.

HPDC-1999-LowekampOG #distributed #network #query

Direct Queries for Discovering Network Resource Properties in a Distributed Environment (BL, DRO, TRG), pp. 38–46.

HPDC-1999-Nahrstedt #question #resource management

To Overprovision or To Share via QoS-aware Resource Management? (KN), pp. 205–212.

HPDC-1999-Romberg #architecture #distributed

The UNICORE Architecture Seamless Access to Distributed Resources (MR), pp. 287–293.

OSDI-1999-Baker-Harvey #multi #resource management #scheduling

ETI Resource Distributor: Guaranteed Resource Allocation and Scheduling in Multimedia Systems (MBH), pp. 131–144.

OSDI-1999-BangaDM #resource management

Resource Containers: A New Facility for Resource Management in Server Systems (GB, PD, JCM), pp. 45–58.

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

CSL-1999-IshtiaqP #modelling #λ-calculus

Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (SSI, DJP), pp. 235–249.

TLCA-1999-OHearn #λ-calculus

Resource Interpretations, Bunched Implications and the αλ-Calculus (PWO), pp. 258–279.

DAC-1998-HanonoD #code generation #resource management #scheduling

Instruction Selection, Resource Allocation, and Scheduling in the AVIV Retargetable Code Generator (SH, SD), pp. 510–515.

DAC-1998-ParulkarGB #behaviour

Introducing Redundant Computations in a Behavior for Reducing BIST Resources (IP, SKG, MAB), pp. 548–553.

DATE-1998-GrodeKM #clustering #hardware #resource management

Hardware Resource Allocation for Hardware/Software Partitioning in the LYCOS System (JG, PVK, JM), pp. 22–27.

DATE-1998-ParulkarGB #scheduling

Scheduling and Module Assignment for Reducing Bist Resources (IP, SKG, MAB), pp. 66–73.

VLDB-1998-GarofalakisIO #multi #scheduling

Resource Scheduling for Composite Multimedia Objects (MNG, YEI, BÖ), pp. 74–85.

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

ITiCSE-1998-Ellis98a #multi #tutorial #web

Use of multimedia and World Wide Web resources in a traditional lecture/tutorial environment (poster) (AE), p. 279.

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

FoSSaCS-1998-Rathke #modelling

Resource Based Models for Asynchrony (JR), pp. 273–287.

PLDI-1998-SastryPS #execution #float #integer

Exploiting Idle Floating-Point Resources for Integer Execution (SSS, SP, JES), pp. 118–129.

TAGT-1998-KrappKSW #development #graph #modelling #process

Graph-Based Models for Managing Development Processes, Resources, and Products (CAK, SK, AS, BW), pp. 455–474.

OOPSLA-1998-CzajkowskiE #interface #java #named

JRes: A Resource Accounting Interface for Java (GC, TvE), pp. 21–35.

SAC-1998-LiII #algorithm #constraints #estimation #recursion

A recursive time estimation algorithm for program traces under resource constraints (DL, YI, NI), pp. 635–640.

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

HPDC-1998-LowekampMSGSS #interface #query

A Resource Query Interface for Network-Aware Applications (BL, NM, DS, TRG, PS, JS), pp. 189–196.

HPDC-1998-RamanLS #distributed #named #resource management #throughput

Matchmaking: Distributed Resource Management for High Throughput Computing (RR, ML, MHS), pp. 140–146.

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

VLDB-1997-GarofalakisI #optimisation #parallel #query #scheduling

Parallel Query Scheduling and Optimization with Time- and Space-Shared Resources (MNG, YEI), pp. 296–305.

VLDB-1997-GarofalakisOS #database #scheduling

Resource Scheduling in Enhanced Pay-Per-View Continuous Media Databases (MNG, BÖ, AS), pp. 516–525.

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

PEPM-1997-Debray #bound #partial evaluation

Resource-Bounded Partial Evaluation (SKD), pp. 179–192.

STOC-1997-PhillipsSTW #scheduling

Optimal Time-Critical Scheduling via Resource Augmentation (Extended Abstract) (CAP, CS, ET, JW), pp. 140–149.

DLT-1997-FernauHF #bound #distributed

Bounding resources in Cooperating Distributed Grammar Systems (HF, MH, RF), pp. 261–272.

ICALP-1997-BuhrmanFF #bound

Results on Resource-Bounded Measure (HB, SAF, LF), pp. 188–194.

ICFP-1997-Shivers #automation #operating system

Automatic Management of Operating System Resources (OS), pp. 274–279.

CHI-1997-SellenH #design

Paper as an Analytic Resource for the Design of New Technologies (AS, RHRH), pp. 319–326.

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

TRI-Ada-1997-Sanden #concurrent #design pattern #resource management

Concurrent Design Patterns for Resource Sharing (BS), pp. 173–183.

EDOC-1997-PreussSK #resource management

Virtual Private Resources (TP, JHS, HK), pp. 216–226.

CIKM-1997-PerryC #resource management

Discovering Similar Resources by Content Part-Linking (BP, WWC), pp. 317–324.

RE-1997-Ben-AbdallahLK #analysis #functional #requirements #specification

Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements (HBA, IL, YSK), pp. 198–209.

SAC-1997-HaraHTN #network

Location Management Methods of Migratory Data Resources in ATM Networks (TH, KH, MT, SN), pp. 123–130.

SAC-1997-LiMII #communication

Booking heterogeneous processor resources to reduce communication overhead (DL, AM, YI, NI), pp. 354–360.

SAC-1997-Maddi #problem

Token based solutions to M resources allocation problem (AM), pp. 340–344.

CADE-1997-HarlandP #constraints

Resource-Distribution via Boolean Constraint (Extended Abstract) (JH, DJP), pp. 222–236.

DAC-1996-ParulkarGB #bound #data flow #graph

Lower Bounds on Test Resources for Scheduled Data Flow Graphs (IP, SKG, MAB), pp. 143–148.

SIGMOD-1996-GarofalakisI #parallel #query #scheduling

Multi-dimensional Resource Scheduling for Parallel Queries (MNG, YEI), pp. 365–376.

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

ITiCSE-1996-Siviter #collaboration #education #process

Computer assistance for managing educational resources and managing collaborative educational processes (DS), pp. 104–106.

AKDDM-1996-Piatetsky-Shapiro #data mining #information management #internet #mining

Data Mining and Knowledge Discovery Internet Resources (GPS), pp. 593–595.

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

CSL-1996-Roversi #resource management #λ-calculus

A Type-Free Resource-Aware λ-Calculus (LR), pp. 399–413.

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

SIGMOD-1995-DavisonG #execution #multi #query

Dynamic Resource Brokering for Multi-User Query Execution (DLD, GG), pp. 281–292.

VLDB-1995-RahmM #database #parallel

Dynamic Multi-Resource Load Balancing in Parallel Database Systems (ER, RM), pp. 395–406.

ICALP-1995-AulettaPP #algorithm

Placing Resources in a Tree: Dynamic and Static Algorithms (VA, DP, GP), pp. 232–243.

ICALP-1995-LeonardiM #online #resource management #scheduling

On-line Resource Management with Applications to Routing and Scheduling (SL, AMS), pp. 303–314.

TRI-Ada-1995-Sanden95b #concurrent #resource management

Resource Sharing Deadlock Prevention (BS), pp. 70–103.

KDD-1995-ZaianeH #design #empirical #information management

Resource and Knowledge Discovery in Global Information Systems: A Preliminary Design and Experiment (ORZ, JH), pp. 331–336.

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

SOSP-1995-FongS #approach #resource management #scheduling

Time-Function Scheduling: A General Approach To Controllable Resource Management (LLF, MSS), p. 230.

DAC-1994-BhattacharyaDB #optimisation #resource management

Clock Period Optimization During Resource Sharing and Assignment (SB, SD, FB), pp. 195–200.

DAC-1994-PotkonjakD #optimisation #resource management #testing #using

Optimizing Resource Utilization and Testability Using Hot Potato Techniques (MP, SD), pp. 201–205.

EDAC-1994-DalkilicP #bound #scheduling #using

Optimal Operation Scheduling Using Resource Lower Bound Estimations (MED, VP), pp. 319–324.

PEPM-1994-CourtenageC #type inference #λ-calculus

Analysing Resource Use in the λ Calculus by Type Inference (SC, CDC), pp. 33–41.

ICALP-1994-BuhrmanT #bound #on the

On the Cutting Edge of Relativization: The Resource Bounded Injury Method (HB, LT), pp. 263–273.

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

ICSE-1994-KeaneH #approach #case study #experience #formal method #parallel

A Formal Approach to Determining Parallel Resource Bindings: Experience Report (JAK, WH), pp. 15–22.

ASPLOS-1994-UptonHMB #resource management

Resource Allocation in a High Clock Rate Microprocessor (MU, TH, TNM, RBB), pp. 98–109.

ICLP-1994-JacquetM #named

PP-clauses: A Means for Handling Resources (JMJ, LM), p. 743.

DAC-1993-SharmaJ93a #architecture #performance #synthesis

Estimating Architectural Resources and Performance for High-Level Synthesis Applications (AS, RJ), pp. 355–360.

STOC-1993-BaruahCPV #resource management

Proportionate progress: a notion of fairness in resource allocation (SKB, NKC, CGP, DAV), pp. 345–354.

ICALP-1993-Yamamoto #bound #nondeterminism #trade-off #turing machine

Reversal-Space Trade-offs For Simultaneous Resource-Bounded Nondeterministic Turing Machines (HY), pp. 203–214.

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

HPDC-1993-NeumannR #distributed #parallel #resource management

Resource Management for Distributed Parallel Systems (BCN, SR), pp. 316–323.

ILPS-1993-BruningHSTS #deduction

Disjunction In Resource-Oriented Deductive Planning (SB, SH, UCS, MT, JS), p. 670.

DAC-1992-GregoryMF #named #performance #resource management

ISIS: A System for Performance Driven Resource Sharing (BG, DM, DF), pp. 285–290.

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

STOC-1992-ChoyS #algorithm #distributed #fault tolerance #performance #resource management

Efficient Fault Tolerant Algorithms for Resource Allocation in Distributed Systems (MC, AKS), pp. 593–602.

TOOLS-EUROPE-1992-Johnson #eiffel #network #resource management

An Eiffel Program for Static Network Resource Allocation (PJ), pp. 335–347.

CAiSE-1991-Olaisen #communication #information management

Information as a Strategic Resource: A Question of Communication (JO), pp. 141–167.

PPoPP-1991-NicolauW #bound #parallel

Optimal Schedules for Parallel Prefix Computation with Bounded Resources (AN, HW), pp. 1–10.

DAC-1990-HwangHL #constraints #heuristic #scheduling

Optimum and Heuristic Data Path Scheduling Under Resource Constraints (CTH, YCH, YLL), pp. 65–70.

CAV-1990-BuyM #liveness #proving

A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers (UAB, RM), pp. 292–301.

CSL-1990-Gabbay #algorithm #proving

Algorithmic Proof with Diminishing Resources, Part 1 (DMG), pp. 156–173.

DAC-1989-PotkonjackR #algorithm #graph #resource management #scheduling

A Scheduling and Resource Allocation Algorithm for Hierarchical Signal Flow Graphs (MP, JMR), pp. 7–12.

VLDB-1989-CareyJL #scheduling

Priority in DBMS Resource Scheduling (MJC, RJ, ML), pp. 397–410.

VLDB-1989-MurphyR #effectiveness #execution #multi #resource management

Effective Resource Utilization for Multiprocessor Join Execution (MCM, DR), pp. 67–75.

CHI-1989-FrohlichL

Conversational resources for situated action (DMF, PL), pp. 253–258.

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

SEI-1988-LeventhalM #design #re-engineering #user interface

A Scarce Resource in Undergraduate Software Engineering Courses: User Interface Design Materials (LML, BTM), pp. 187–198.

ICSE-1988-JefferyB #validation

Validating the TAME Resource Data Model (DRJ, VRB), pp. 187–201.

SIGIR-1985-Lesk #visual notation

Graphical Information Resources: Maps and Beyond (ML), pp. 2–8.

ICSE-1985-KafuraC #metric #using #validation

A Validation of Software Metrics Using Many Metrics and Two Resources (DGK, JC), pp. 378–385.

ICALP-1984-ReifS #distributed #probability #resource management

Probabilistic Bidding Gives Optimal Distributed Resource Allocation (JHR, PGS), pp. 391–402.

ICSE-1984-Ramamritham #ada #semantics

Resource Controller Tasks in Ada: Their Structure and Semantics (KR), pp. 67–77.

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

SOSP-1983-Craft #distributed #resource management

Resource Management In A Decentralized System (DHC), pp. 11–19.

ILPC-1982-PereiraSO82 #evaluation #named #natural language

ORBI — An Expert System for Environmental Resource Evaluation through Natural Language (LMP, PS, EO), pp. 200–209.

VLDB-1981-BeeriO #algorithm #concurrent #detection #independence

A Resource Class Independent Deadlock Detection Algorithm (CB, RO), pp. 166–178.

ICSE-1981-BaileyB #development #metamodelling

A Meta-Model for Software Development Resource Expenditures (JWB, VRB), pp. 107–116.

ICSE-1981-CunhaM #data type #programming

Resource = Abstract Data Type + Synchronization — A Methodology for Message Oriented Programming (PRFC, TSEM), pp. 263–272.

STOC-1980-Lloyd #constraints #scheduling

Critical Path Scheduling of Task Systems with Resource and Processor Constraints (Extended Abstract) (ELL), pp. 436–446.

STOC-1980-Lynch #distributed #performance

Fast Allocation of Nearby Resources in a Distributed System (NAL), pp. 70–81.

POPL-1979-Clarke #concurrent #invariant #source code #synthesis

Synthesis of Resource Invariants for Concurrent Programs (EMC), pp. 211–221.

SIGMOD-1978-MenascePM #coordination #database #distributed #protocol

A Locking Protocol for Resource Coordination in Distributed Databases (Abstract) (DAM, GJP, RRM), p. 2.

SIGMOD-1978-Winkler

Managing the Data Resource (JW), pp. 15–16.

VLDB-J-1975-MahmoudR76 #distributed #network

Optimal Allocation of Resources in Distributed Information Networks (SAM, JSR), pp. 66–78.

DIPL-1976-AndrewsM #parallel

Language features for parallel processing and resource control (GRA, JRM), pp. 243–287.

ICSE-1976-AlsbergD #distributed

A Principle for Resilient Sharing of Distributed Resources (PA, JDD), pp. 562–570.

ICSE-1976-SilberschatzKB #concurrent #pascal #resource management

Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract) (AS, RBK, AJB), p. 236.

ICSE-1976-Stephenson #analysis #development

An Analysis of the Resources Used in the SAFEGUARD System Software Development (WES), pp. 312–321.

VLDB-1975-MahmoudR #distributed #network

Optimal Allocation of Resources in Distributed Information Networks (SAM, JSR), p. i.

SOSP-1975-CosellJMSSTW #operating system #resource management

An Operating System for Computer Resource Sharing (BSC, PRJ, JHM, RES, JS, RHT, DCW), pp. 75–81.

SOSP-1973-GareyG #bound #scheduling

Bounds on Scheduling with Limited Resources (MRG, RLG), pp. 104–111.

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

SOSP-1967-OppenheimerW68 #operating system #resource management

Resource management for a medium scale time-sharing operating system (GO, NW), pp. 313–322.