BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
symmetri (21)
barrier (17)
comput (6)
process (6)
effici (5)

Stem break$ (all stems)

113 papers:

DocEngDocEng-2015-HassanH #automation #documentation #flexibility #layout
Knuth-Plass Revisited: Flexible Line-Breaking for Automatic Document Layout (TH, AH), pp. 17–20.
HTHT-2015-GadirajuSFK #behaviour #categorisation #comprehension
Breaking Bad: Understanding Behavior of Crowd Workers in Categorization Microtasks (UG, PS, BF, RK), pp. 33–38.
LATALATA-2015-UlyantsevZS #automaton #identification #symmetry
BFS-Based Symmetry Breaking Predicates for DFA Identification (VU, IZ, AS), pp. 611–622.
CHICHI-2015-ChengTIB #comparison
Break It Down: A Comparison of Macro- and Microtasks (JC, JT, STI, MSB), pp. 4061–4064.
ICMLICML-2015-DasBB #modelling #order #parametricity
Ordered Stick-Breaking Prior for Sequential MCMC Inference of Bayesian Nonparametric Models (MKD, TB, CB), pp. 550–559.
KDDKDD-2015-XieBDG #performance #personalisation #rank
Edge-Weighted Personalized PageRank: Breaking A Decade-Old Performance Barrier (WX, DB, AJD, JG), pp. 1325–1334.
CADECADE-2015-HeuleHW #proving #symmetry
Expressing Symmetry Breaking in DRAT Proofs (MH, WAHJ, NW), pp. 591–606.
DATEDATE-2014-RaminiGGBFB #architecture #energy
Assessing the energy break-even point between an optical NoC architecture and an aggressive electronic baseline (LR, AG, PG, SB, HTF, DB), pp. 1–6.
VLDBVLDB-2014-Markl #big data #data analysis #declarative #independence
Breaking the Chains: On Declarative Data Analysis and Data Independence in the Big Data Era (VM), pp. 1730–1733.
ICSMEICSME-2014-KerzaziKA #automation #empirical #why
Why Do Automated Builds Break? An Empirical Study (NK, FK, BA), pp. 41–50.
SCAMSCAM-2014-RaemaekersDV #case study #repository #semantics #version control
Semantic Versioning versus Breaking Changes: A Study of the Maven Repository (SR, AvD, JV), pp. 215–224.
PLDIPLDI-2014-VilkB #named
Doppio: breaking the browser language barrier (JV, EDB), p. 52.
STOCSTOC-2014-DvirSW #polynomial
Breaking the quadratic barrier for 3-LCC’s over the reals (ZD, SS, AW), pp. 784–793.
STOCSTOC-2014-Sherstov
Breaking the minsky-papert barrier for constant-depth circuits (AAS), pp. 223–232.
ICALPICALP-v1-2014-Hertli #satisfiability
Breaking the PPSZ Barrier for Unique 3-SAT (TH), pp. 600–611.
IFMIFM-2014-DrossopoulouN #how #policy #semantics
How to Break the Bank: Semantics of Capability Policies (SD, JN), pp. 18–35.
CHICHI-2014-Schoenebeck #how #social #social media #twitter #why
Giving up Twitter for Lent: how and why we take breaks from social media (SYS), pp. 773–782.
ECIRECIR-2014-WangWF #microblog #retrieval
An Exploration of Tie-Breaking for Microblog Retrieval (YW, HW, HF), pp. 713–719.
ICMLICML-c1-2014-SoufianiPX #modelling #parametricity #ranking
Computing Parametric Ranking Models via Rank-Breaking (HAS, DCP, LX), pp. 360–368.
KDIRKDIR-2014-BenhamouJSS #mining #symmetry
Symmetry Breaking in Itemset Mining (BB, SJ, LS, YS), pp. 86–96.
SEKESEKE-2014-HuangCWC #how #interactive #question #testing
How to Do Tie-breaking in Prioritization of Interaction Test Suites? (RH, JC, RW, DC), pp. 121–125.
OnwardOnward-2014-ProustM #invariant
It’s Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It (RP, AM), pp. 163–171.
OOPSLAOOPSLA-2014-PradelSNS #generative #latency #named #testing #user interface
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (MP, PS, GCN, KS), pp. 33–47.
ASEASE-2013-SayyadIMA #product line #scalability
Scalable product line configuration: A straw to break the camel’s back (ASS, JI, TM, HA), pp. 465–474.
DATEDATE-2013-AmpaduZS #energy #fault tolerance #manycore
Breaking the energy barrier in fault-tolerant caches for multicore systems (PA, MZ, VS), pp. 731–736.
DocEngDocEng-2013-PinkneyBB #readability
No need to justify your choice: pre-compiling line breaks to improve eBook readability (AJP, SRB, DFB), pp. 237–240.
ICSMEICSM-2013-ShahDM #automation #java #on the #refactoring
On the Automation of Dependency-Breaking Refactorings in Java (SMAS, JD, CM), pp. 160–169.
CHICHI-2013-Yarosh
Shifting dynamics or breaking sacred traditions?: the role of technology in twelve-step fellowships (SY), pp. 3413–3422.
CSCWCSCW-2013-JoycePB #collaboration
Keeping eyes on the prize: officially sanctioned rule breaking in mass collaboration systems (EJ, JP, BSB), pp. 1081–1092.
HCIDUXU-NTE-2013-MartinsMS #design #multi #paradigm
Breaking Technological Paradigms — Sustainable Design in Air Transport Multi-mission (ETM, ITM, MMS), pp. 160–168.
ICEISICEIS-v3-2013-FerreiraFSCRPO #analysis #interactive #search-based
Log Analysis of Human Computer Interactions Regarding Break The Glass Accesses to Genetic Reports (AMF, PF, CSP, RJCC, PPR, AdCP, VO), pp. 46–53.
ICMLICML-c3-2013-AilonCX #clustering #graph
Breaking the Small Cluster Barrier of Graph Clustering (NA, YC, HX), pp. 995–1003.
SACSAC-2013-Schefer-WenzlS #information management #policy
Generic support for RBAC break-glass policies in process-aware information systems (SSW, MS), pp. 1441–1446.
HPCAHPCA-2013-KrishnaCKP #latency #using
Breaking the on-chip latency barrier using SMART (TK, CHOC, WCK, LSP), pp. 378–389.
CAVCAV-2013-ChevalCP #how #privacy
Lengths May Break Privacy — Or How to Check for Equivalences with Length (VC, VC, AP), pp. 708–723.
DATEDATE-2012-LeupersMPHSKV
Virtual platforms: Breaking new grounds (RL, GM, RP, AH, FS, TK, MV), pp. 685–690.
DATEDATE-2012-StojilovicNSBI #flexibility
Selective flexibility: Breaking the rigidity of datapath merging (MS, DN, LS, PB, PI), pp. 1543–1548.
PODSPODS-2012-ChoromanskiM #algorithm #database #graph #power of #privacy #statistics
The power of the dinur-nissim algorithm: breaking privacy of statistical and graph databases (KC, TM), pp. 65–76.
CHICHI-2012-HuLWWSM #twitter
Breaking news on twitter (MH, SL, FW, YW, JTS, KLM), pp. 2751–2754.
CIKMCIKM-2012-CuiZLMZ #twitter
Discover breaking events with popular hashtags in twitter (AC, MZ, YL, SM, KZ), pp. 1794–1798.
RERE-2012-Cleland-HuangMMA #recommendation #traceability
Breaking the big-bang practice of traceability: Pushing timely trace recommendations to project stakeholders (JCH, PM, MM, SA), pp. 231–240.
ICSTSAT-2012-BalintS #probability
Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break (AB, US), pp. 16–29.
CASECASE-2011-FantiSU #constraints #problem #scheduling #symmetry #using
Solving scheduling problems in distribution centers using symmetry breaking constraints (MPF, GS, WU), pp. 58–65.
DATEDATE-2011-PandeCPMBMG #energy #performance #question
Sustainability through massively integrated computing: Are we ready to break the energy efficiency wall for single-chip platforms? (PPP, FC, DP, IM, PB, RM, AG), pp. 1656–1661.
WCREWCRE-2011-NadiH #linux #mining
Make it or Break it: Mining Anomalies from Linux Kbuild (SN, RCH), pp. 315–324.
STOCSTOC-2011-BourgainDFKK #matrix
Breaking the k2 barrier for explicit RIP matrices (JB, SJD, KF, SK, DK), pp. 637–644.
STOCSTOC-2011-KawarabayashiK #algorithm #approximate #problem
Breaking o(n1/2)-approximation algorithms for the edge-disjoint paths problem with congestion two (KiK, YK), pp. 81–88.
CHICHI-2011-Kivran-SwaineGN #network #online #social #twitter
The impact of network structure on breaking ties in online social networks: unfollowing on twitter (FKS, PG, MN), pp. 1101–1104.
CHICHI-2011-KuznetsovTKHPS #bound
Breaking boundaries: strategies for mentoring through textile computing workshops (SK, LCT, CK, IH, EP, DPS), pp. 2957–2966.
ICMLICML-2011-PaisleyCB #process
Variational Inference for Stick-Breaking Beta Process Priors (JWP, LC, DMB), pp. 889–896.
SOSPSOSP-2011-ColpNZACDLW #security
Breaking up is hard to do: security and functionality in a commodity hypervisor (PC, MN, JZ, WA, GC, TD, PL, AW), pp. 189–202.
DATEDATE-2010-LiSBNO #analysis #implementation
Power Variance Analysis breaks a masked ASIC implementation of AES (YL, KS, LB, DN, KO), pp. 1059–1064.
SOFTVISSOFTVIS-2010-ChengTWH #animation #automation #debugging #named
xDIVA: automatic animation between debugging break points (YPC, HYT, CSW, CHH), pp. 221–222.
ICMLICML-2010-PaisleyZWGC #process
A Stick-Breaking Construction of the Beta Process (JWP, AKZ, CWW, GSG, LC), pp. 847–854.
RecSysRecSys-2010-XieLW #recommendation
Breaking out of the box of recommendations: from items to packages (MX, LVSL, PTW), pp. 151–158.
SEKESEKE-2010-XuDWG #evaluation #fault #locality
An Evaluation of Tie-Breaking Strategies for Fault Localization Techniques (XX, VD, WEW, DG), pp. 123–128.
ECOOPECOOP-2010-RenggliGN #tool support
Embedding Languages without Breaking Tools (LR, TG, ON), pp. 380–404.
LICSLICS-2010-GuglielmiGS #logic
Breaking Paths in Atomic Flows for Classical Logic (AG, TG, LS), pp. 284–293.
HCIHCI-NIMT-2009-Valle-AgudoCCR #generative #independence #interactive
Breaking of the Interaction Cycle: Independent Interpretation and Generation for Advanced Dialogue Management (DdVA, FJCG, DCF, JRE), pp. 674–683.
ICSTSAT-2009-SchaafsmaHM #simulation #symmetry
Dynamic Symmetry Breaking by Simulating Zykov Contraction (BS, MH, HvM), pp. 223–236.
ICALPICALP-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.
ICALPICALP-A-2008-JansenT #algorithm #approximate #parallel #scheduling
Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2 (KJ, RT), pp. 234–245.
ICALPICALP-A-2008-PemmarajuS #random #symmetry
The Randomized Coloring Procedure with Symmetry-Breaking (SVP, AS), pp. 306–319.
CHICHI-2008-HuangT #design #interactive #mobile #paradigm
Breaking the disposable technology paradigm: opportunities for sustainable interaction design for mobile phones (EMH, KNT), pp. 323–332.
CHICHI-2008-MorrisBM #named #type system #using
SuperBreak: using interactivity to enhance ergonomic typing breaks (DM, AJBB, BM), pp. 1817–1826.
ICMLICML-2008-AnWSWCD #analysis #image #kernel #multi #process
Hierarchical kernel stick-breaking process for multi-task image analysis (QA, CW, IS, EW, LC, DBD), pp. 17–24.
SIGIRSIGIR-2008-KalashnikovNM #approach #people #quality #towards #web
Towards breaking the quality curse.: a web-querying approach to web people search (DVK, RNT, SM), pp. 27–34.
SACSAC-2008-AhamedHT #pervasive #trust
Service sharing with trust in pervasive environment: now it’s time to break the jinx (SIA, MMH, NT), pp. 1622–1628.
ICSEICSE-2008-Murphy-HillB #refactoring #tool support
Breaking the barriers to successful refactoring: observations and tools for extract method (ERMH, APB), pp. 421–430.
HCIHCI-AS-2007-LiuKL #approach #learning
Breaking the Traditional E-Learning Mould: Support for the Learning Preference Approach (FL, JK, LL), pp. 294–301.
ICMLICML-2007-XueDC #flexibility #learning #matrix #multi #process
The matrix stick-breaking process for flexible multi-task learning (YX, DBD, LC), pp. 1063–1070.
ICSTSAT-2007-LynceM #matrix #modelling #satisfiability #symmetry
Breaking Symmetries in SAT Matrix Models (IL, JPMS), pp. 22–27.
CHICHI-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.
ISSTAISSTA-2006-CobleighAC #composition #reasoning
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.
DACDAC-2005-BeckC #configuration management
Dynamic reconfiguration with binary translation: breaking the ILP barrier with software compatibility (ACSB, LC), pp. 732–737.
ITiCSEITiCSE-2005-TurbanRT
Bridging media breaks in presence presentations (GT, GR, CT), p. 377.
SACSAC-2005-LawL #constraints #matrix #modelling #symmetry #using
Breaking value symmetries in matrix models using channeling constraints (YCL, JHML), pp. 371–376.
DATEDATE-v1-2004-RamaniAMS #graph #independence #symmetry
Breaking Instance-Independent Symmetries in Exact Graph Coloring (AR, FAA, ILM, KAS), pp. 324–331.
CHICHI-2004-SchraefelHMSPF #pervasive
Breaking the book: translating the chemistry lab book into a pervasive computing lab environment (MMCS, GVH, HRM, GS, TRP, JGF), pp. 25–32.
ICSEICSE-2004-ManhartS #agile #case study #development #embedded #experience #industrial
Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report (PM, KS), pp. 378–386.
DACDAC-2003-AloulMS #named #performance #satisfiability #symmetry
Shatter: efficient symmetry-breaking for boolean satisfiability (FAA, ILM, KAS), pp. 836–839.
CSEETCSEET-2002-DuleyM
Cutting Hacking: Breaking from Tradition (RD, SPM), pp. 224–233.
SATSAT-2002-LiJP #symmetry
Integrating symmetry breaking into a DLL procedure (CML, BJ, PWP), p. 18.
PLDIPLDI-2001-BaconALRS #garbage collection #java #multi
Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector (DFB, CRA, HBL, VTR, SES), pp. 92–103.
AdaSIGAda-2001-Taft01a
Keynote address: fixing software before it breaks (STT), pp. 97–98.
TOOLSTOOLS-USA-2001-Devos01a
Confronting Possibilities and Needs in the Digital Economy: Breaking out of the Box to Envision the System (MMD), pp. 432–434.
SACSAC-2001-Zhang #automation #satisfiability #symmetry
Automatic symmetry breaking method combined with SAT (JZ0), pp. 17–21.
ICSTSAT-2001-Shlyakhter #effectiveness #generative #problem #symmetry
Generating effective symmetry-breaking predicates for search problems (IS), pp. 19–35.
ICPRICPR-v1-2000-TankusY
Convexity-Based Camouflage Breaking (AT, YY), pp. 1454–1457.
GPCEGCSE-2000-CoplienZ #design pattern #symmetry
Symmetry Breaking in Software Patterns (JC, LZ), pp. 37–56.
VLDBVLDB-1999-KeimH #clustering #towards
Optimal Grid-Clustering: Towards Breaking the Curse of Dimensionality in High-Dimensional Clustering (AH, DAK), pp. 506–517.
STOCSTOC-1999-DinitzMR #complexity #symmetry
Bit Complexity of Breaking and Achieving Symmetry in Chains and Rings (Extended Abstract) (YD, SM, SR), pp. 265–274.
HCIHCI-CCAD-1999-GillerT #effectiveness
Effective accessibility engineering: breaking organisational habits (VG, MT), pp. 828–832.
HCIHCI-CCAD-1999-HeldK #process
The ice-breaking VALAMO — a tool for participatory processes (JH, HK), pp. 563–567.
KDDKDD-1999-TungLHF #mining #transaction
Breaking the Barrier of Transactions: Mining Inter-Transaction Association Rules (AKHT, HL, JH, LF), pp. 297–301.
SIGMODSIGMOD-1998-BerchtoldBK #towards
The Pyramid-Technique: Towards Breaking the Curse of Dimensionality (SB, CB, HPK), pp. 142–153.
CHICHI-1998-Rocco #trust
Trust Breaks Down in Electronic Contexts But Can Be Repaired by Some Initial Face-to-Face Contact (ER), pp. 496–502.
SACSAC-1998-Sterling #clustering
Beowulf PC clusters: breaking the cost barrier to high end application computing (keynote address — abstract) (TLS), p. 1.
TACASTACAS-1996-Lowe #protocol #using
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR (GL), pp. 147–166.
ICALPICALP-1996-YuY #problem #symmetry
Agent Rendezvous: A Dynamic Symmetry-Breaking Problem (XY, MY), pp. 610–621.
KRKR-1996-CrawfordGLR #problem #symmetry
Symmetry-Breaking Predicates for Search Problems (JMC, MLG, EML, AR), pp. 148–159.
DACDAC-1995-KonukFL #fault #network #performance #simulation
Accurate and Efficient Fault Simulation of Realistic CMOS Network Breaks (HK, FJF, TL), pp. 345–351.
ICALPICALP-1995-BaoI #automaton #finite
Break Finite Automata Public Key Cryptosystem (FB, YI), pp. 147–158.
AdaEuropeAdaEurope-1995-CroxfordS
Breaking Through the V and V Bottleneck (MC, JS), pp. 344–354.
STOCSTOC-1994-AwerbuchCS #distributed #performance #symmetry
Efficient asynchronous distributed symmetry breaking (BA, LC, MAS), pp. 214–223.
STOCSTOC-1994-SahinalpV #symmetry
Symmetry breaking for suffix tree construction (SCS, UV), pp. 300–309.
PODSPODS-1992-PapadimitriouY #semantics
Tie-Breaking Semantics and Structural Totality (CHP, MY), pp. 16–22.
PLDIPLDI-1992-Maslov #dependence #equation #multi #named #performance
Delinearization: An Efficient Way to Break Multiloop Dependence Equations (VM), pp. 152–161.
STOCSTOC-1992-MayerOOY #self #symmetry
Self-Stabilizing Symmetry Breaking in Constant-Space (Extended Abstract) (AJM, YO, RO, MY), pp. 667–678.
DACDAC-1991-BrinerEK #parallel #simulation
Breaking the Barrier of Parallel Simulation of Digital Systems (JVBJ, JLE, GK), pp. 223–226.
STOCSTOC-1987-GoldbergPS #graph #parallel #symmetry
Parallel Symmetry-Breaking in Sparse Graphs (AVG, SAP, GES), pp. 315–324.
STOCSTOC-1983-Adleman #on the
On Breaking Generalized Knapsack Public Key Cryptosystems (Abstract) (LMA), pp. 402–412.
SIGIRSIGIR-1973-Winograd #complexity
Breaking the Complexity Barrier again (TW), pp. 13–30.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.