Stem benefit$ (all stems)

170 papers:

DAC-2015-ChanNKDS #2d #3d #estimation #implementation

3DIC benefit estimation and implementation guidance from 2DIC implementation (WTJC, SN, ABK, YD, KS), p. 6.

SANER-2015-AmmerlaanVZ #refactoring #why

Old habits die hard: Why refactoring for understandability does not give immediate benefits (EA, WV, AZ), pp. 504–507.

DHM-HM-2015-KlugeKZ #energy #risk management

Inside the User’s Mind — Perception of Risks and Benefits of Unknown Technologies, Exemplified by Geothermal Energy (JK, SK, MZ), pp. 324–334.

HCI-UC-2015-SorumF #how #quality

How to Evaluate Investments in Website Quality Within eGovernment? Exploring the Webmaster’s Perception of Benefits (HS, AF), pp. 102–111.

ICML-2015-LondonHG #approximate #learning

The Benefits of Learning with Strongly Convex Approximate Inference (BL, BH, LG), pp. 410–418.

MLDM-2015-OliveiraVZ #clustering #on the

On Bicluster Aggregation and its Benefits for Enumerative Solutions (SHGdO, RV, FJVZ), pp. 266–280.

SIGIR-2015-TurpinSMM #estimation #evaluation #information retrieval

The Benefits of Magnitude Estimation Relevance Assessments for Information Retrieval Evaluation (AT, FS, SM, EM), pp. 565–574.

HPCA-2015-JaleelNMSE #latency

High performing cache hierarchies for server workloads: Relaxing inclusion to capture the latency benefits of exclusive caches (AJ, JN, AM, SCSJ, JSE), pp. 343–353.

ECSA-2014-JamrozPW #adaptation #architecture #development #enterprise

Adapting Enterprise Architecture at a Software Development Company and the Resultant Benefits (KJ, DP, JW), pp. 170–185.

DAC-2014-JungSWPL #3d #on the #perspective

On Enhancing Power Benefits in 3D ICs: Block Folding and Bonding Styles Perspective (MJ, TS, YW, YP, SKL), p. 6.

DATE-2014-HenselK #energy

The energy benefit of level-crossing sampling including the actuator’s energy consumption (BH, KK), pp. 1–4.

CSCW-2014-YaroshMA #communication #towards

Towards a questionnaire for measuring affective benefits and costs of communication technologies (SY, PM, GDA), pp. 84–96.

DUXU-ELAS-2014-ZiefleBKS

Public Perception and Acceptance of Electric Vehicles: Exploring Users’ Perceived Benefits and Drawbacks (MZ, SBL, KK, MS), pp. 628–639.

HCI-TMT-2014-SiliMMGP #automation #generative #question #user interface #what

A Practical Solution for the Automatic Generation of User Interfaces — What Are the Benefits of a Practical Solution for the Automatic Generation of User Interfaces? (MS, CCM, MM, MG, MP), pp. 445–456.

KEOD-2014-PintoA #axiom #case study #validation

An e-Government Project Case Study — Interview based DEMO Axioms’ Benefits Validation (DP, DA), pp. 138–149.

KMIS-2014-BorchardtRL #tool support

Determining and Evaluating the Benefits of KM Tool Support for SME (UB, JR, BL), pp. 203–211.

ASPLOS-2014-EyermanE #concurrent #flexibility #manycore #parallel #smt #thread #towards

The benefit of SMT in the multi-core era: flexibility towards degrees of thread-level parallelism (SE, LE), pp. 591–606.

HPCA-2014-ShafieeTBD #memory management #named

MemZip: Exploring unconventional benefits from memory compression (AS, MT, RB, AD), pp. 638–649.

ECSA-2013-Martinez-FernandezAFM #architecture

Benefits and Drawbacks of Reference Architectures (SMF, CPA, XF, HMM), pp. 307–310.

DAC-2013-LeeLL #3d

Power benefit study for ultra-high density transistor-level monolithic 3D ICs (YJL, DBL, SKL), p. 10.

DATE-2013-ZakharenkoAM #cpu #gpu #performance #using

Characterizing the performance benefits of fused CPU/GPU systems using FusionSim (VZ, TMA, AM), pp. 685–688.

CSEET-2013-WernerKSVW #challenge #collaboration #education #re-engineering

Software engineering education via the use of corporate-sponsored projects: A panel discussion of the approaches, benefits, and challenges for industry-academic collaboration (LLW, GK, MJS, JV, WEW), pp. 346–350.

ITiCSE-2013-Liew #student

Benefits of having students develop software for other departments (CWL), p. 348.

CHI-2013-CrossBCAT #education #named #online

TypeRighting: combining the benefits of handwriting and typeface in online educational videos (AC, MB, EC, AA, WT), pp. 793–796.

CHI-2013-FarzanK #bidirectional #community #empirical #online #student #wiki

Wikipedia classroom experiment: bidirectional benefits of students’ engagement in online production communities (RF, REK), pp. 783–792.

CHI-2013-KitturPDTB #cost analysis #information management

Costs and benefits of structured information foraging (AK, AMP, AD, TT, MRB), pp. 2989–2998.

CSCW-2013-BurkeK #difference #facebook #using

Using facebook after losing a job: differential benefits of strong and weak ties (MB, RK), pp. 1419–1430.

DUXU-PMT-2013-KohnoYSN #analysis #approach #design

Pragmatic Approach to Cost Benefit Analysis of User Centered Design (IK, HY, SS, MN), pp. 525–534.

HCI-UC-2013-BeldadS #experience #ll #online #trust

It Was Nice with the Brick So Now I’ll Click: The Effects of Offline and Online Experience, Perceived Benefits, and Trust on Dutch Consumers’ Online Repeat Purchase Intention (AB, MS), pp. 371–380.

HCI-UC-2013-Kawakami #information management #social

Further Benefit of a Kind of Inconvenience for Social Information Systems (HK), pp. 301–306.

HCI-UC-2013-KohPC #people #question

Do All People Enjoy the Benefits from Technology Innovation? (YJK, JHP, BDC), pp. 402–410.

KDD-2013-MontgomerySCM #experience #predict

Experience from hosting a corporate prediction market: benefits beyond the forecasts (TAM, PMS, MJC, PEM), pp. 1384–1392.

KDIR-KMIS-2013-Aveiro #case study #concept #enterprise #ontology

Enterprise Ontology and DEMO — Benefits, Core Concepts and a Case-study (DA), pp. 1–7.

SEKE-2013-RamosRO #process #source code #towards

Towards a strategy for analysing benefits of Software Process Improvement programs (CSR, ARR, KMdO), pp. 638–643.

OOPSLA-2013-HoppeH #comparison #developer #empirical #java

Do developers benefit from generic types?: an empirical comparison of generic and raw types in java (MH, SH), pp. 457–474.

DATE-2012-AksanliRM #energy #network

Benefits of green energy and proportionality in high speed wide area networks connecting data centers (BA, TSR, IM), pp. 175–180.

ITiCSE-2012-LeidigGO #component #education #social

Assessing the benefits of integrating social issues components in the computing curriculum (PML, MG, BBO), pp. 367–368.

CHI-2012-GaoM #game studies

The acute cognitive benefits of casual exergame play (YG, RLM), pp. 1863–1872.

CHI-2012-LiuHDMB #artificial reality #feedback #mobile #realtime

Evaluating the benefits of real-time feedback in mobile augmented reality with hand-held devices (CL, SH, JD, WEM, MBL), pp. 2973–2976.

CHI-2012-NowakN #behaviour #monitoring #online #recommendation

Effects of behavior monitoring and perceived system benefit in online recommender systems (MN, CN), pp. 2243–2246.

CSCW-2012-NathanTLPWBT

In case you missed it: benefits of attendee-shared annotations for non-attendees of remote meetings (MN, MT, JCL, SP, SW, JB, LGT), pp. 339–348.

CSCW-2012-XuB #case study #community #interactive #online #scalability #what

What do you think?: a case study of benefit, expectation, and interaction in a large online critique community (AX, BPB), pp. 295–304.

CAiSE-2012-DumasRMMRS #comprehension #cost analysis #modelling #process

Understanding Business Process Models: The Costs and Benefits of Structuredness (MD, MLR, JM, RM, HAR, NS), pp. 31–46.

KMIS-2012-Bani-HaniHJ #enterprise

Economic Benefits of an ERP System to a Low Tech SME (AIBH, CJH, TWJ), pp. 285–289.

SEKE-2012-KrollSPHGSAF #adaptation #development #empirical

Follow-the-Sun Software Development: A Controlled Experiment to Evaluate the Benefits of Adaptive and Prescriptive Approaches (JK, ARS, RP, ERH, RAG, AS, JLNA, PHLF), pp. 551–556.

MoDELS-2012-GravinoRST #comprehension #design pattern #developer #documentation #replication #source code

Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension (CG, MR, GS, GT), pp. 185–201.

MoDELS-2012-GravinoRST #comprehension #design pattern #developer #documentation #replication #source code

Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension (CG, MR, GS, GT), pp. 185–201.

OOPSLA-2012-CastanosEINNOW #compilation #jit #on the #scripting language #static typing

On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages (JGC, DE, KI, PN, TN, TO, PW), pp. 195–212.

FSE-2012-KimZN #case study #challenge #refactoring

A field study of refactoring challenges and benefits (MK, TZ, NN), p. 50.

ICSE-2012-BnayahuGNS

Making sense of healthcare benefits (JB, MG, MN, YS), pp. 1034–1043.

ICSE-2012-Sprenger #case study #experience #how #industrial #re-engineering

How software engineering can benefit from traditional industries — A practical experience report (Invited industrial talk) (TS), p. 1000.

PPoPP-2012-SimDKV #analysis #framework #identification #performance

A performance analysis framework for identifying potential benefits in GPGPU applications (JS, AD, HK, RWV), pp. 11–22.

ASE-2011-MaderE #empirical #navigation #source code #traceability

Do software engineers benefit from source code navigation with traceability? — An experiment in software change management (PM, AE), pp. 444–447.

CASE-2011-Vogel-HeuserS #approach #automation #modelling #usability

A methodological approach to evaluate the benefit and usability of different modeling notations for open loop control in automation systems (BVH, KS), pp. 474–481.

DATE-2011-KimYLAJ #3d #analysis #embedded #mobile #performance

A quantitative analysis of performance benefits of 3D die stacking on mobile and embedded SoC (DK, SY, SL, JHA, HJ), pp. 1333–1338.

ITiCSE-2011-GiannakosDVK #education #programming

Programming in secondary education: benefits and perspectives (MNG, SD, PV, CK), p. 349.

CSMR-2011-JunioMMNV #maintenance #on the

On the Benefits of Planning and Grouping Software Maintenance Requests (GAJ, MNM, HMdA, HTMN, MTV), pp. 55–64.

WCRE-2011-GuoWGG #empirical #validation

An Empirical Validation of the Benefits of Adhering to the Law of Demeter (YG, MW, EG, HCG), pp. 239–243.

CHI-2011-BillmanAFLST

Benefits of matching domain structure for planning software: the right stuff (DB, LA, MF, JL, AS, RT), pp. 2521–2530.

CHI-2011-LaViolaL #3d #game studies #video

Evaluating the benefits of 3d stereo in modern video games (JJLJ, TL), pp. 2345–2354.

IDGD-2011-Chen11c #mobile #research

Mobile Research: Benefits, Applications, and Outlooks (GC), pp. 11–16.

ICEIS-v2-2011-LivaniPR #analysis

Decision Support System for Cost-benefit Analysis in Service Provision (EL, EP, GR), pp. 198–203.

ICEIS-v3-2011-Yu11a

A Critique of the Benefits Statement 2006/2007 for the UK NHS National Programme for IT (AGY), pp. 482–487.

ICEIS-v4-2011-LiangL #industrial #research

Research on Benefits Distribution of IOT Industry Chain (YL, XL), pp. 662–665.

ICEIS-v4-2011-ShiL #analysis

Analysis of the Economic Benefit of Used Batteries based on Reverse Logistics (XS, ZL), pp. 736–742.

KDD-2011-MaiyaB #bias #network #towards

Benefits of bias: towards better characterization of network sampling (ASM, TYBW), pp. 105–113.

SEKE-2011-AlencarTSDC

Maximizing the Financial Benefits Yielded by IT Projects While Ensuring their Strategic Fit (AJA, GT, EAS, AFdSD, ALC), pp. 288–295.

OOPSLA-2011-BuseSW #evaluation #re-engineering #research

Benefits and barriers of user evaluation in software engineering research (RPLB, CS, WW), pp. 643–656.

DAC-2010-NadakuditiM #cost analysis #on the

On the costs and benefits of stochasticity in stream processing (RRN, ILM), pp. 320–325.

CSCW-2010-AmesGKS #network #product line

Making love in the network closet: the benefits and work of family videochat (MGA, JG, JK, MS), pp. 145–154.

KMIS-2010-LodemannL #framework #ontology #verification

Ontology-based Railway Infrastructure Verification — Planning Benefits (ML, NL), pp. 176–181.

KMIS-2010-ScheibmayerIB #analysis #approach #framework #process

A Framework to Measure the Impact of Knowledge Process Supporting Technologies — An Integrated Approach for a Technology-oriented Business Benefit Analysis (MS, AI, MB), pp. 253–259.

SAC-2010-LamprierASL #clustering

Traveling among clusters: a way to reconsider the benefits of the cluster hypothesis (SL, TA, FS, BL), pp. 1774–1780.

ICSE-2010-CarriereKO #architecture #framework

A cost-benefit framework for making architectural decisions in a business context (SJC, RK, IO), pp. 149–157.

LCTES-2010-ForoozannejadHHG #analysis #streaming

Look into details: the benefits of fine-grain streaming buffer analysis (MHF, MH, TLH, SG), pp. 27–36.

LCTES-2010-KulkarniJW #optimisation #performance #sequence

Improving both the performance benefits and speed of optimization phase sequence searches (PAK, MRJ, DBW), pp. 95–104.

HT-2009-ParisCW #evaluation #information management

A cost-benefit evaluation method for web-based information systems (CP, NC, RW), pp. 353–354.

ICSM-2009-NigulM #maintenance

Software maintainability benefits from annotation-driven code (LN, EM), pp. 417–421.

CHI-2009-AppertZ #tool support #using

Using strokes as command shortcuts: cognitive benefits and toolkit support (CA, SZ), pp. 2289–2298.

HCI-NIMT-2009-PantforderVS #3d #evaluation #interactive #problem #process #visualisation

Benefit and Evaluation of Interactive 3D Process Data Visualization for the Presentation of Complex Problems (DP, BVH, KS), pp. 869–878.

OCSC-2009-KadenbachK #challenge #collaboration #development #education #social #using

Benefits and Challenges of Using Collaborative Development Environments with Social Software in Higher Computer Science Education (DK, CK), pp. 479–487.

VISSOFT-2009-ParkJ #open source #visualisation

Beyond pretty pictures: Examining the benefits of code visualization for Open Source newcomers (YP, CJ), pp. 3–10.

KMIS-2009-Al-Busaidi #information management #process

A Knowledge Management Perspective on Corporate Portal — Processes and Benefits (KAAB), pp. 69–74.

SAC-2009-BakkerI

Web-services in the dutch healthcare insurance sector: expected versus achieved benefits (HB, MEI), pp. 1617–1618.

SAC-2009-JamesC #ml #multi #static analysis

Extended static checking in JML4: benefits of multiple-prover support (PRJ, PC), pp. 609–614.

ASPLOS-2009-HofmannRW

Maximum benefit from a minimal HTM (OSH, CJR, EW), pp. 145–156.

HPDC-2009-AssuncaoCB #capacity #clustering #in the cloud #using

Evaluating the cost-benefit of using cloud computing to extend the capacity of clusters (MDdA, AdC, RB), pp. 141–150.

DATE-2008-SinanogluM #analysis #composition #reduction #testing

Analysis of The Test Data Volume Reduction Benefit of Modular SOC Testing (OS, EJM), pp. 182–187.

DocEng-2008-CesarVKMHBSBG #adaptation #documentation #multi #ubiquitous

Multimedia adaptation in ubiquitous environments: benefits of structured multimedia documents (PC, IV, RK, SM, CH, MB, AS, DCAB, BG), pp. 275–284.

ITiCSE-2008-Saravanos

Potential benefits of corrected-errors in AVBL (AS), p. 374.

FM-2008-VerhulstJM #case study #development #formal method #industrial

An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS (EV, GGdJ, VM), pp. 411–418.

CHI-2008-VertanenK #on the #recognition #speech #visualisation

On the benefits of confidence visualization in speech recognition (KV, POK), pp. 1497–1500.

SOFTVIS-2008-XieKSDF #diagrams #sequence chart

Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments (SX, EK, REKS, LKD, SDF), pp. 9–18.

ICEIS-AIDSS-2008-VolkelA #analysis #design #information management

Cost-Benefit Analysis for the Design of Personal Knowledge Management Systems (MV, AA), pp. 95–105.

RE-2008-HerrmannD #predict #requirements #research

Requirements Prioritization Based on Benefit and Cost Prediction: An Agenda for Future Research (AH, MD), pp. 125–134.

FSE-2008-DoMTR #constraints #empirical #testing

An empirical study of the effect of time constraints on the cost-benefits of regression testing (HD, SM, LT, GR), pp. 71–82.

FSE-2008-SarmaRH #configuration management #empirical

Empirical evidence of the benefits of workspace awareness in software configuration management (AS, DFR, AvdH), pp. 113–123.

ASPLOS-2008-KulkarniPRWBC #clustering #parallel

Optimistic parallelism benefits from data partitioning (MK, KP, GR, BW, KB, LPC), pp. 233–243.

CASE-2007-PanosF #automation

The Benefits of Automatic Data Collection in the Fresh Produce Supply Chain (RP, TF), pp. 1034–1038.

CHI-2007-CockburnKAZ #interface #learning

Hard lessons: effort-inducing interfaces benefit spatial learning (AC, POK, JA, SZ), pp. 1571–1580.

REFSQ-2007-RegnellHB #analysis #mobile #non-functional #performance #quality #requirements

A Quality Performance Model for Cost-Benefit Analysis of Non-functional Requirements Applied to the Mobile Handset Domain (BR, MH, RBS), pp. 277–291.

SPLC-2007-GanesanKKHM #case study #cost analysis #product line

Comparing Costs and Benefits of Different Test Strategies for a Software Product Line: A Study from Testo AG (DG, JK, RK, UH, GM), pp. 74–83.

DocEng-2006-CesarBJ #documentation #multi

Benefits of structured multimedia documents in IDTV: the end-user enrichment system (PC, DCAB, AJJ), pp. 176–178.

CSEET-2006-Layman #analysis #collaboration #development #student

Changing Students’ Perceptions: An Analysis of the Supplementary Benefits of Collaborative Software Development (LL), pp. 159–166.

FASE-2006-HallstromST #design pattern #implementation #specification

Amplifying the Benefits of Design Patterns: From Specification Through Implementation (JOH, NS, BT), pp. 214–229.

CHI-2006-YinZ #navigation #visual notation

The benefits of augmenting telephone voice menu navigation with visual browsing and search (MY, SZ), pp. 319–328.

ICEIS-DISI-2006-Vemuri #agile

The Benefits of Accurate, and Timely Data in Lean Production Environments — RFID in Supply Chain Management (VKV), pp. 221–225.

ICPR-v3-2006-BauckhageK06a #classification #multi

Benefits of Separable, Multilinear Discriminant Classification (CB, TK), pp. 1240–1243.

ICPR-v3-2006-KierA #classification #multi #predict

Predicting the benefit of sample size extension in multiclass k-NN classification (CK, TA), pp. 332–335.

ICPR-v4-2006-BauckhageK06b #classification #multi

Benefits of Separable, Multilinear Discriminant Classification (CB, TK), p. 959.

FSE-2006-DoR #empirical #modelling #testing

An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models (HD, GR), pp. 141–151.

PPoPP-2006-SurJCP #design #protocol

RDMA read based rendezvous protocol for MPI over InfiniBand: design alternatives and benefits (SS, HWJ, LC, DKP), pp. 32–39.

DAC-2005-NowakR #question

Are there economic benefits in DFM? (MN, RR), pp. 767–768.

ICDAR-2005-FarahEKS #classification #multi #recognition #word

Benefit of multiclassifier systems for Arabic handwritten words recognition (NF, AE, TK, MS), pp. 222–226.

VLDB-2005-BartaCM #data access #multi #query #summary #xml

Benefits of Path Summaries in an XML Query Optimizer Supporting Multiple Access Methods (AB, MPC, AOM), pp. 133–144.

FM-2005-Broadfoot #cost analysis #formal method #industrial

ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software (GHB), pp. 548–551.

RE-2005-ArkleyR #problem #traceability

Overcoming the Traceability Benefit Problem (PA, SR), pp. 385–389.

COCV-J-2005-AmmeRF #mobile

Quantifying the Benefits of SSA-Based Mobile Code (WA, JvR, MF), pp. 103–119.

DAC-2004-Sangiovanni-VincentelliCBS #challenge #design

Benefits and challenges for platform-based design (ALSV, LPC, FDB, MS), pp. 409–414.

DATE-v1-2004-SrinivasanBCC #metric #performance #using

Efficient Test Strategy for TDMA Power Amplifiers Using Transient Current Measurements: Uses and Benefit (GS, SB, SC, AC), pp. 280–285.

DATE-v2-2004-VorgRR #cost analysis #metric

Measurement of IP Qualification Costs and Benefits (AV, MR, WR), pp. 996–1001.

AdaEurope-2004-Gogolla #formal method #problem

Benefits and Problems of Formal Methods (MG), pp. 1–15.

ICEIS-v4-2004-LefebvreELO #e-commerce

The Scope and Intensity of Derived Benefits from E-Commerce Penetration in SMEs (LAL, EE, ÉL, OO), pp. 55–61.

ICPR-v1-2004-ChumWM #constraints #estimation #geometry

Epipolar Geometry Estimation via RANSAC Benefits from the Oriented Epipolar Constraint (OC, TW, JM), pp. 112–115.

HPCA-2003-MemikRM

Just Say No: Benefits of Early Cache Miss Determinatio (GM, GR, WHMS), pp. 307–316.

ICSM-2002-MalishevskyRE #modelling #testing #trade-off

Modeling the Cost-Benefits Tradeoffs for Regression Testing Techniques (AGM, GR, SGE), pp. 204–213.

ICPR-v1-2002-VelekLJN #approach #generative #image #online #performance #recognition

An Improved Approach to Generating Realistic Kanji Character Images from On-Line Characters and its Benefit to Off-Line Recognition Performance (OV, CLL, SJ, MN), p. 588–?.

SEKE-2002-Briand #information management #on the #re-engineering

On the many ways software engineering can benefit from knowledge engineering (LCB), pp. 3–6.

SAC-2002-BecksSM #case study #comparative #documentation #information management

Benefits of document maps for text access in knowledge management: a comparative study (AB, CS, RM), pp. 621–626.

ICSE-2002-Butler #approach #evaluation #security

Security attribute evaluation method: a cost-benefit approach (SAB), pp. 232–240.

HT-2001-CrowderSWG #bibliography #hypermedia #using

A review of the benefits of using hypermedia manuals (RC, YWS, GW, RG), pp. 245–246.

ICSM-2001-NgCG #enterprise #maintenance #taxonomy

A Client-Benefits Oriented Taxonomy of ERP Maintenance (CSPN, TC, GGG), p. 528–?.

STOC-2001-JayramKKSS #online

Online server allocation in a server farm via benefit task systems (TSJ, TK, RK, BS, MS), pp. 540–549.

ICEIS-v2-2001-DrinjakJA #perspective #web

Justifying the Benefits of Web Based Electronic Commerce Applications: An Australian Perspective (JD, PJ, GA), pp. 1183–1187.

ICEIS-v2-2001-FairchildV #e-commerce #standard

Coding Standards Benefiting Product and Service Information in E-Commerce (AMF, BdV), pp. 991–995.

ICSE-2001-KazmanAK #architecture #cost analysis

Quantifying the Costs and Benefits of Architectural Decisions (RK, JA, MK), pp. 297–306.

LCTES-OM-2001-KadayifKVIR #architecture

Morphable Cache Architectures: Potential Benefits (IK, MTK, NV, MJI, JR), pp. 128–137.

CAV-2001-CoptyFFGKTV #bound #industrial #model checking

Benefits of Bounded Model Checking at an Industrial Setting (FC, LF, RF, EG, GK, AT, MYV), pp. 436–453.

DATE-2000-LuW #logic #memory management #modelling

Cost and Benefit Models for Logic and Memory BIST (JML, CWW), pp. 710–714.

TACAS-1999-Hirschkoff #bisimulation #on the #using #verification

On the Benefits of Using the Up-To Techniques for Bisimulation Verification (DH), pp. 285–299.

PASTE-1999-Steindl #data flow #programming

Benefits of a Data Flow-Aware Programming Environment (CS), pp. 105–109.

CHI-1999-OmoiguiHGGS #named

Time-Compression: Systems Concerns, Usage, and Benefits (NO, LH, AG, JG, ES), pp. 136–143.

CHI-1999-VeinottOOF #video

Video Helps Remote Work: Speakers Who Need to Negotiate Common Ground Benefit from Seeing Each Other (ESV, JSO, GMO, XF), pp. 302–309.

HCI-EI-1999-Perinotti #multi #on-demand #web

Benefits of Internationalizing Software and Successful On-Demand Multilingual Web Publishing (TP), pp. 1337–1339.

ICEIS-1999-CharltonGLN #automation #generative #process

Maximising the Benefits of Electronic Commerce: Automating the Process of Virtual Store Generation & Marketing for SMEs (CCC, JG, JL, IN), pp. 599–605.

KDD-1999-Piatetsky-ShapiroM #modelling

Estimating Campaign Benefits and Modeling Lift (GPS, BMM), pp. 185–193.

ECOOP-1999-ThorupT

Unifying Genericity — Combining the Benefits of Virtual Types and Parameterized Classes (KKT, MT), pp. 186–204.

TOOLS-PACIFIC-1999-Dick

The Benefits of Object Technology in a Greenfields Site (MD), pp. 286–294.

RE-1999-GreerBS #risk management #using

Prioritisation of System Changes using Cost-Benefit and Risk Assessments (DG, DWB, TS), p. 180–?.

OOPSLA-1998-AgerboC #design pattern #how

How to Preserve the Benefits of Design Patterns (EA, AC), pp. 134–143.

ICSM-2000-LaguePMMH #clone detection #detection #development #process

Assessing the Benefits of Incorporating Function Clone Detection in a Development Process (BL, DP, JM, EM, JPH), pp. 314–321.

HCI-SEC-1997-So #bibliography #image #industrial #predict

Lag Compensation by Image Deflection and Prediction: A Review on the Potential Benefits to Virtual Training Applications for Manufacturing Industry (RHYS), pp. 997–1000.

KDD-1995-DjokoCH

Analyzing the Benefits of Domain Knowledge in Substructure Discovery (SD, DJC, LBH), pp. 75–80.

FSE-1995-PorterSTV #development #empirical #scalability

An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development (AAP, HPS, CAT, LGV), pp. 92–103.

ICSE-1995-TanakaSKMK #estimation #process

Improvement of Software Process by Process Description and Benefit Estimation (TT, KS, SK, KiM, TK), pp. 123–132.

HPDC-1995-CowanLB #performance #programming

Performance Benefits of Optimistic Programming: A Measure of HOPE (CC, HL, MAB), pp. 197–204.

PPoPP-1995-SpertusD #locality

Evaluating the Locality Benefits of Active Messages (ES, WJD), pp. 189–198.

DAC-1994-LeviaMR #analysis #design

Lessons in Language Design: Cost/Benefit analysis of VHDL Features (OL, SM, JR), pp. 447–453.

SAS-1994-Getzinger #abstract interpretation #cost analysis #optimisation #prolog

The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization (TWG), pp. 1–25.

AdaEurope-1994-Noseck #analysis #reuse

Cost-Benefit Analysis for Software-Reuse — A Decision Procedure (HN), pp. 397–405.

LOPSTR-1994-Harmelen #cost analysis

A Model of Costs and Benefits of Meta-Level Computation (FvH), pp. 248–261.

CSM-1993-ArnoldSW #design #question

Do Design Records Really Benefit Software Malntenance? (RSA, MS, NW), pp. 234–243.

TRI-Ada-1993-Brett #ada #compilation #implementation #what

Smart Recompilation: What Is It?, Its Benefits for the User, and Its Implementation in the DEC Ada Compilation System (BRB), pp. 277–287.

ICSE-1992-MargonoR #ada #analysis #reuse #scalability

Software Reuse Economics: Cost-Benefit Analysis on a Large-Scale Ada Project (JM, TER), pp. 338–348.

DAC-1991-ChinDBWND

Linking TCAD to EDA — Benefits and Issues (GRC, WCDJ, DSB, ASW, ARN, RWD), pp. 573–578.

PODS-1991-JohnsonR #bound #consistency #protocol #replication

A Tight Upper Bound on the Benefits of Replication and Consistency Control Protocols (DBJ, LR), pp. 75–81.

NACLP-1990-RoyD #analysis #compilation #data flow #optimisation #prolog

The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (PVR, AMD), pp. 501–515.

ML-1988-WirthC #cost analysis

Experiments on the Costs and Benefits of Windowing in ID3 (JW, JC), pp. 87–99.

HCI-SES-1987-MarinMP

The Benefit/Cost of VDT Highlighting (DWM, DRM, CRP), pp. 89–96.

DAC-1978-ShahY #cost analysis #design

A practical technique for benefit-cost analysis of Computer-Aided Design and Drafting Systems (RRS, GYY).