Stem barrier$ (all stems)

107 papers:

FM-2015-Evans #authentication #development

Software Development and Authentication for Arms Control Information Barriers (NE), pp. 581–584.

CHI-2015-CordeiroETBJAF #challenge

Barriers and Negative Nudges: Exploring Challenges in Food Journaling (FC, DAE, ET, EB, AKJ, GDA, JF), pp. 1159–1162.

CHI-2015-KimMP #mobile #volunteer

Exploring Barriers to the Adoption of Mobile Technologies for Volunteer Data Collection Campaigns (SK, JM, EP), pp. 3117–3126.

CHI-2015-SenFMGKH #locality #volunteer

Barriers to the Localness of Volunteered Geographic Information (SS, HF, DRM, MG, OSBK, BH), pp. 197–206.

CSCW-2015-SteinmacherCGR #open source #social

Social Barriers Faced by Newcomers Placing Their First Contribution in Open Source Software Projects (IS, TC, MAG, DFR), pp. 1379–1392.

DUXU-DD-2015-FloraB #behaviour #energy #reduction

Motivators of Energy Reduction Behavioral Intentions: Influences of Technology, Personality Characteristics, Perceptions, and Behavior Barriers (JAF, BB), pp. 436–446.

ICEIS-v2-2015-CuencaBBT #case study #concept #development #framework #multi

Conceptual Interoperability Barriers Framework (CIBF) — A Case Study of Multi-organizational Software Development (LC, AB, ÁOB, JJMT), pp. 521–531.

KDD-2015-XieBDG #performance #personalisation #rank

Edge-Weighted Personalized PageRank: Breaking A Decade-Old Performance Barrier (WX, DB, AJD, JG), pp. 1325–1334.

ESEC-FSE-2015-MahallySB #case study #development

Barriers and enablers for shortening software development lead-time in mechatronics organizations: a case study (MMM, MS, JB), pp. 1006–1009.

ISMM-2015-MirandaB #object-oriented #performance #programming

A partial read barrier for efficient support of live object-oriented programming (EM, CB), pp. 93–104.

PPoPP-2015-ChabbiLJSMI #parallel #source code

Barrier elision for production parallel programs (MC, WL, WdJ, KS, JMMC, CI), pp. 109–119.

PPoPP-2015-CogumbreiroHMY #concurrent #verification

Dynamic deadlock verification for general barrier synchronisation (TC, RH, FM, NY), pp. 150–160.

ISSTA-2015-DhokMR #automation #named #parallel #thread

Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.

PLDI-2014-VilkB #named

Doppio: breaking the browser language barrier (JV, EDB), p. 52.

STOC-2014-DvirSW #polynomial

Breaking the quadratic barrier for 3-LCC’s over the reals (ZD, SS, AW), pp. 784–793.

STOC-2014-Sherstov

Breaking the minsky-papert barrier for constant-depth circuits (AAS), pp. 223–232.

ICALP-v1-2014-Hertli #satisfiability

Breaking the PPSZ Barrier for Unique 3-SAT (TH), pp. 600–611.

CHI-2014-LiR14a #named

SmartVoice: a presentation support system for overcoming the language barrier (XL, JR), pp. 1563–1570.

DHM-2014-KimCBH #challenge #usability

Usability Challenges and Barriers in EHR Training of Primary Care Resident Physicians (MSK, MAC, JLB, EH), pp. 385–391.

DUXU-ELAS-2014-AbbasHIARSAY

Barriers and Reforms for Promoting ICTs in Rural Areas of Pakistan (AA, MH, MI, SA, SR, MS, WA, NY), pp. 391–399.

ICSE-2014-MusluBNC #case study #distributed #version control

Transition from centralized to decentralized version control systems: a case study on reasons, barriers, and outcomes (KM, CB, NN, JC), pp. 334–344.

PPoPP-2014-LuZBW #multi #performance #thread

Efficient deterministic multithreading without global barriers (KL, XZ, TB, XW), pp. 287–300.

DATE-2013-AmpaduZS #energy #fault tolerance #manycore

Breaking the energy barrier in fault-tolerant caches for multicore systems (PA, MZ, VS), pp. 731–736.

ITiCSE-2013-ScottG #learning #programming #question

Implicit theories of programming aptitude as a barrier to learning to code: are they distinct from intelligence? (MJS, GG), p. 347.

CHI-2013-FanISMWIFT #feedback

Reality jockey: lifting the barrier between alternate realities through audio and haptic feedback (KF, HI, YS, KM, SW, MI, NF, ST), pp. 2557–2566.

ICML-c3-2013-AilonCX #clustering #graph

Breaking the Small Cluster Barrier of Graph Clustering (NA, YC, HX), pp. 995–1003.

KDIR-KMIS-2013-ZhouNL #case study #collaboration #problem

Mitigating Barriers to Patient-centred Knowledge Sharing — A Case-study of Knowledge Sharing Problems in the Collaboration of Traditional and Western Practitioners in Chinese Hospitals (LZ, MBN, WL), pp. 298–307.

OOPSLA-2013-ChongDKKQ #abstraction #analysis #gpu #invariant #kernel

Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels (NC, AFD, PHJK, JK, SQ), pp. 605–622.

SPLC-2013-ClementsRY

Barriers for SPL practice and paths to get over them (PCC, JR, KY), p. 289.

HPCA-2013-KrishnaCKP #latency #using

Breaking the on-chip latency barrier using SMART (TK, CHOC, WCK, LSP), pp. 378–389.

PPoPP-2013-CarvalhoC #memory management #runtime #transaction

Runtime elision of transactional barriers for captured memory (FMC, JPC), pp. 303–304.

PPoPP-2013-YanLZ #algorithm #named #performance

StreamScan: fast scan algorithms for GPUs without global barrier synchronization (SY, GL, YZ), pp. 229–238.

CAV-2013-KongHSHG #generative #hybrid #safety #verification

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.

DATE-2012-AbellanPABBMB #clustering #communication #design #framework

Design of a collective communication infrastructure for barrier synchronization in cluster-based nanoscale MPSoCs (JLA, JFP, MEA, DB, DB, AM, LB), pp. 491–496.

DocEng-2012-TranouezNDBHLGF #documentation #named #physics

DocExplore: overcoming cultural and physical barriers to access ancient documents (PT, SN, VD, AB, LH, YL, RMG, MCF), pp. 205–208.

CIAA-2012-ReussS

Crossing the Syntactic Barrier: Hom-Disequalities for H1-Clauses (AR, HS), pp. 301–312.

CHI-2012-BanovicCGF

Triggering triggers and burying barriers to customizing software (NB, FC, TG, GWF), pp. 2717–2726.

CSCW-2012-LiRM #collaboration #distributed

Distributed scientific group collaboration across biocontainment barriers (JL, TR, CMT), pp. 1247–1256.

ICPR-2012-KarsnasSS #distance

The vectorial Minimum Barrier Distance (AK, RS, PKS), pp. 792–795.

KMIS-2012-FruhmannZ #enterprise #motivation

Enterprise 2.0 Adoption in SMEs — Application Areas, Motivation, Success Factors and Barriers (SF, MZ), pp. 202–207.

SIGIR-2012-SaidJNPAS #case study #recommendation

Estimating the magic barrier of recommender systems: a user study (AS, BJJ, SN, TP, SA, CS), pp. 1061–1062.

OOPSLA-2012-SchillerE #specification

Reducing the barriers to writing verified specifications (TWS, MDE), pp. 95–112.

SAC-2012-HuaS #kernel #lightweight #memory management #named

Barrier: a lightweight hypervisor for protecting kernel integrity via memory isolation (JH, KS), pp. 1470–1477.

ISMM-2012-SivaramakrishnanZJ

Eliminating read barriers through procrastination and cleanliness (KCS, LZ, SJ), pp. 49–60.

ISMM-2012-YangBFH #exclamation

Barriers reconsidered, friendlier still! (XY, SMB, DF, ALH), pp. 37–48.

PPoPP-2012-MalkisB #verification

Verification of software barriers (AM, AB), pp. 313–314.

ITiCSE-2011-DennyLTH #comprehension #syntax

Understanding the syntax barrier for novices (PD, ALR, EDT, JH), pp. 208–212.

ESOP-2011-HoborG #concurrent #logic

Barriers in Concurrent Separation Logic (AH, CG), pp. 276–296.

STOC-2011-BourgainDFKK #matrix

Breaking the k2 barrier for explicit RIP matrices (JB, SJD, KF, SK, DK), pp. 637–644.

STOC-2011-GuptaHRU #query #statistics

Privately releasing conjunctions and the statistical query barrier (AG, MH, AR, JU), pp. 803–812.

KMIS-2011-KolfschotenDMA #collaboration #community

Tipping the Balance — Drivers and Barriers for Participation in a Knowledge Sharing and Collaboration Community (GLK, DAD, DDM, VDA), pp. 114–122.

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

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

QoSA-2010-DietrichMTS #composition #empirical #java #source code

Barriers to Modularity — An Empirical Study to Assess the Potential for Modularisation of Java Programs (JD, CM, EDT, SMAS), pp. 135–150.

ISMM-2010-HellyerJH #concurrent #locality

The locality of concurrent write barriers (LH, REJ, ALH), pp. 83–92.

POPL-2009-BronsonKO #optimisation

Feedback-directed barrier optimization in a strongly isolated STM (NGB, CK, KO), pp. 213–225.

STOC-2008-AaronsonW #complexity #named

Algebrization: a new barrier in complexity theory (SA, AW), pp. 731–740.

ICALP-A-2008-BaswanaGSU #constant #distance #fault #graph #polynomial

Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error (SB, AG, SS, JU), pp. 609–621.

LATA-2008-Perekrestenko #bound #np-hard

Minimalist Grammars with Unbounded Scrambling and Nondiscriminating Barriers Are NP-Hard (AP), pp. 421–432.

FM-2008-WijbransBRG #case study #development #experience #formal method #re-engineering

Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System (KW, FB, RR, WG), pp. 419–424.

CSCW-2008-CummingsK #collaboration #distributed #experience #research

Who collaborates successfully?: prior experience reduces collaboration barriers in distributed interdisciplinary research (JNC, SBK), pp. 437–446.

ICEIS-SAIC-2008-BrockeTW #e-commerce #mobile

Making Use of Mobile Devices in E-Commerce — Overcoming Organizational Barriers through User Participation (JvB, BT, DW), pp. 168–173.

ICSE-2008-Murphy-HillB #refactoring #tool support

Breaking the barriers to successful refactoring: observations and tools for extract method (ERMH, APB), pp. 421–430.

ICSM-2007-WalkinshawRW #feature model #using

Feature Location and Extraction using Landmarks and Barriers (NW, MR, MW), pp. 54–63.

SCAM-2007-CeccatoPNCT #slicing

Barrier Slicing for Remote Software Trusting (MC, MDP, JN, CSC, PT), pp. 27–36.

OOPSLA-2007-Rinard #termination #using

Using early phase termination to eliminate load imbalances at barrier synchronization points (MCR), pp. 369–386.

PPoPP-2007-ZhangD #source code

Barrier matching for programs with textually unaligned barriers (YZ, ED), pp. 194–204.

SOSP-2007-VandiverBLM #commit #fault #scheduling #transaction #using

Tolerating byzantine faults in transaction processing systems using commit barrier scheduling (BV, HB, BL, SM), pp. 59–72.

CHI-2006-McCurdyCPKV #prototype

Breaking the fidelity barrier: an examination of our current characterization of prototypes and an example of a mixed-fidelity success (MM, CC, GP, BK, AHV), pp. 1233–1242.

ISMM-2006-Meyer #hardware

A true hardware read barrier (MM), pp. 3–16.

ICLP-2006-Pientka #framework #logic #performance #verification

Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks (BP), pp. 3–10.

DAC-2005-BeckC #configuration management

Dynamic reconfiguration with binary translation: breaking the ILP barrier with software compatibility (ACSB, LC), pp. 732–737.

VLDB-2005-MilenovaYC #database

SVM in Oracle Database 10g: Removing the Barriers to Widespread Adoption of Support Vector Machines (BLM, JY, MMC), pp. 1152–1163.

CGO-2005-NandivadaD #concurrent

Compile-Time Concurrent Marking Write Barrier Removal (VKN, DD), pp. 37–48.

PPoPP-2005-DarteS #algorithm #linear

A linear-time algorithm for optimal barrier placement (AD, RS), pp. 26–35.

ICEIS-v3-2004-CloeteG #developer #development #object-oriented

OO Systems Development Barriers for Structural Developers (EC, AG), pp. 42–47.

HPCA-2004-LiMH #energy #multi

The Thrifty Barrier: Energy-Aware Synchronization in Shared-Memory Multiprocessors (JL, JFM, MCH), pp. 14–23.

ISMM-2004-BlackburnH #named #question

Barriers: friend or foe? (SMB, ALH), pp. 143–151.

ISMM-2004-CheadleFMJW #garbage collection #haskell #incremental

Exploring the barrier to entry: incremental generational garbage collection for Haskell (AMC, AJF, SM, SLPJ, RLW), pp. 163–174.

ISMM-2004-VechevB #concurrent #garbage collection

Write barrier elision for concurrent garbage collectors (MTV, DFB), pp. 13–24.

IWPC-2003-Cordy03a #automation #industrial #maintenance

Comprehending Reality — Practical Barriers to Industrial Adoption of Software Maintenance Automation (JRC), pp. 196–206.

SCAM-2003-Krinke #slicing

Barrier Slicing and Chopping (JK), pp. 81–87.

TLCA-2003-Hannay #abstraction #parametricity #relational

Abstraction Barrier-Observing Relational Parametricity (JEH), pp. 135–152.

OOPSLA-2002-ZeeR #static analysis

Write barrier removal by static analysis (KZ, MCR), pp. 191–210.

ISMM-2002-BlackburnM

In or out?: putting write barriers in their place (SB, KSM), pp. 281–290.

FM-v2-1999-ChaudronTW #design #formal method #lessons learnt

Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System (MRVC, JT, KW), pp. 1511–1526.

KDD-1999-TungLHF #mining #transaction

Breaking the Barrier of Transactions: Mining Inter-Transaction Association Rules (AKHT, HL, JH, LF), pp. 297–301.

SEKE-1999-Giaever #information management

Collecting, Storing and Utilizing Information about Improvement Opportunities: A Discussion of the Non-Technological Barriers to Success (HMG), pp. 205–209.

FM-1998-MeulenC #formal method #specification

Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier (MvdM, TC), pp. 296–301.

POPL-1998-AikenG

Barrier Inference (AA, DG), pp. 342–354.

SAC-1998-Sterling #clustering

Beowulf PC clusters: breaking the cost barrier to high end application computing (keynote address — abstract) (TLS), p. 1.

ISMM-1998-Pirinen #incremental

Barrier Techniques for Incremental Tracing (PPP), pp. 20–25.

HCI-CC-1997-Wyrwicka

Barriers and Breakdowns of Computer Integrated Management (MW), pp. 683–685.

HCI-SEC-1997-Wilson #industrial

Barriers to Industrial Application of Virtual Environments (JRW), pp. 985–988.

ICFP-1996-Turbak

First-Class Synchronization Barriers (FAT), pp. 157–168.

FPCA-1995-AdityaAS #semantics #strict

Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language (SA, A, JES), pp. 204–215.

HPCA-1995-Panda #multi #network #performance

Fast Barrier Synchronization in Wormhole k-ary n-cube Networks with Multidestination Worms (DKP), pp. 200–209.

PPoPP-1995-Tseng #compilation #optimisation

Compiler Optimizations for Eliminating Barrier Synchronization (CWT), pp. 144–155.

PPoPP-1993-KontothanassisW #performance #using

Using Scheduler Information to Achieve Optimal Barrier Synchronization Performance (LIK, RWW), pp. 64–72.

TRI-Ada-C-1992-Joiner #reuse

Management Barriers to Software Reuse (HFJ), pp. 295–298.

OOPSLA-1992-HoskingMS #comparative #evaluation #implementation #performance

A Comparative Performance Evaluation of Write Barrier Implementations (ALH, JEBM, DS), pp. 92–109.

DAC-1991-BrinerEK #parallel #simulation

Breaking the Barrier of Parallel Simulation of Digital Systems (JVBJ, JLE, GK), pp. 223–226.

CHI-1991-Mackay

Triggers and barriers to customizing software (WEM), pp. 153–160.

ASPLOS-1991-Johnson

The Case for a Read Barrier (DJ), pp. 279–287.

STOC-1990-FredmanW

BLASTING through the Information Theoretic Barrier with FUSION TREES (MLF, DEW), pp. 1–7.

ASPLOS-1989-Gupta #fuzzy

The Fuzzy Barrier: A Mechanism for High Speed Synchronization of Processors (RG), pp. 54–63.

HCI-SES-1987-LundsgaardeW

Organizational Barriers to the Diffusion of Computer Technology (HPL, JWW), pp. 11–16.

SIGIR-1973-Winograd #complexity

Breaking the Complexity Barrier again (TW), pp. 13–30.