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:
use (32)
effici (21)
system (18)
comput (17)
softwar (17)

Stem increas$ (all stems)

191 papers:

CASECASE-2015-PellicciariBBG #energy #performance
Increasing position accuracy and energy efficiency of servo-actuated mechanisms (MP, GB, FB, MG), pp. 1339–1344.
DACDAC-2015-FernandezJAQVC #bound #realtime
Increasing confidence on measurement-based contention bounds for real-time round-robin buses (GF, JJ, JA, EQ, TV, FJC), p. 6.
DACDAC-2015-SeyedzadehMJM #encoding #memory management #named #pseudo #reduction
PRES: pseudo-random encoding scheme to increase the bit flip reduction in the memory (SMS, RM, AKJ, RGM), p. 6.
ITiCSEITiCSE-2015-ButlerMSSFW
Initiatives to Increase Engagement in First-Year ICT (MB, MM, JS, S, KEF, AW), pp. 308–313.
CHICHI-2015-AndristMT #motivation
Look Like Me: Matching Robot Personality via Gaze to Increase Motivation (SA, BM, AT), pp. 3603–3612.
CHICHI-2015-HydeCKH #interactive #persuasion #using
Using an Interactive Avatar’s Facial Expressiveness to Increase Persuasiveness and Socialness (JH, EJC, SBK, JKH), pp. 1719–1728.
CSCWCSCW-2015-CiampagliaT #lightweight #named #wiki
MoodBar: Increasing New User Retention in Wikipedia through Lightweight Socialization (GLC, DT), pp. 734–742.
CSCWCSCW-2015-VashisthaCT
Increasing the Reach of Snowball Sampling: The Impact of Fixed versus Lottery Incentives (AV, EC, WT), pp. 1359–1363.
HCIHCI-DE-2015-Kelly #experience #interactive
Interactions in Affective Computing: Sharing a Haptic Experience Increases Calmness and Closeness (NK), pp. 477–488.
HCIHCI-DE-2015-Teixeira-FariaI #abstraction #complexity #component #interactive #visual notation
Reduce Complexity by Increasing Abstraction in Interactive Visual Components (PMTF, JRI), pp. 426–437.
HCIHIMI-IKD-2015-HilanoY
Increase and Decrease of Optical Illusion Strength By Vibration (TH, KY), pp. 366–373.
HCILCT-2015-KlemkeKLS #education #game studies #learning #mobile #multi
Transferring an Educational Board Game to a Multi-user Mobile Learning Game to Increase Shared Situational Awareness (RK, SK, HL, MS), pp. 583–594.
HCILCT-2015-OnoOIY #case study #communication
Voice-Based Computer Mediated Communication for Individual Practice to Increase Speaking Proficiency: Construction and Pilot Study (YO, AO, MI, MY), pp. 115–123.
ESEC-FSEESEC-FSE-2015-White #generative #parametricity #performance #search-based #testing #using
Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.
SPLCSPLC-2015-0002Z #agile #approach
Lean variation management: increasing business value with a diversified approach (MB, BZ), p. 385.
HPCAHPCA-2015-JimenezBBOCV #manycore #performance
Increasing multicore system efficiency through intelligent bandwidth shifting (VJ, AB, PB, FPO, FJC, MV), pp. 39–50.
ICSTICST-2015-LeottaSRT #multi #robust #testing #using #web
Using Multi-Locators to Increase the Robustness of Web Test Cases (ML, AS, FR, PT), pp. 1–10.
DATEDATE-2014-HillerS #performance
Increasing the efficiency of syndrome coding for PUFs with helper data compression (MH, GS), pp. 1–6.
CSEETCSEET-2014-Dagnino #education #effectiveness #industrial #re-engineering
Increasing the effectiveness of teaching software engineering: A University and industry partnership (AD), pp. 49–54.
ITiCSEITiCSE-WGR-2014-BrusilovskyEKMB #education #learning
Increasing Adoption of Smart Learning Content for Computer Science Education (PB, SHE, ANK, LM, LB, DB, PI, RP, TS, SAS, JUF, AV, MW), pp. 31–57.
SEFMSEFM-2014-GrovO #analysis #consistency #formal method #multi
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis (JG, PCÖ), pp. 159–174.
HCIDUXU-DI-2014-EstupinanRNFD #artificial reality #case study
Can Virtual Reality Increase Emotional Responses (Arousal and Valence)? A Pilot Study (SE, FR, PN, CF, ED), pp. 541–549.
HCIDUXU-DP-2014-JeurensTB #product line
Increasing Family Involvement in Elderly Care (JJ, KvT, RB), pp. 403–411.
HCIHCI-AS-2014-MurrayWHSMGBTSCSH #animation #interactive #people #physics #process #question
Can a Theory-Informed Interactive Animation Increase Intentions to Engage in Physical Activity in Young People with Asthma? (JM, BW, GH, SS, JM, DG, GB, ST, FS, LC, AS, SH), pp. 289–300.
HCIHIMI-AS-2014-GotzeBPB #quote
“A Careful Driver is One Who Looks in Both Directions When He Passes a Red Light” — Increased Demands in Urban Traffic (MG, FB, IPS, KB), pp. 229–240.
HCIHIMI-DE-2014-PinheiroCM #network #social
Increasing Information Auditability for Social Network Users (AP, CC, CM), pp. 536–547.
CIKMCIKM-2014-AllahoL #latency #online #recommendation
Increasing the Responsiveness of Recommended Expert Collaborators for Online Open Projects (MYA, WCL), pp. 749–758.
ICMTICMT-2014-DiskinWGC #symmetry #taxonomy #towards
Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization (ZD, AW, HG, KC), pp. 57–73.
ASPLOSASPLOS-2014-GutierrezCGDCM #3d #design #physics
Integrated 3D-stacked server designs for increasing physical density of key-value stores (AG, MC, BG, RGD, LC, TNM), pp. 485–498.
HPCAHPCA-2014-PhamBEL #clustering
Increasing TLB reach by exploiting clustering in page translations (BP, AB, YE, GHL), pp. 558–567.
DATEDATE-2013-ParkCA #energy
Non-speculative double-sampling technique to increase energy-efficiency in a high-performance processor (JP, AC, JAA), pp. 254–257.
ITiCSEITiCSE-2013-RodgerGML
Increasing the experimentation of theoretical computer science with new features in JFLAP (SHR, JG, IM, PL), p. 351.
ITiCSEITiCSE-2013-VihavainenVLK #case study #experience
Massive increase in eager TAs: experiences from extreme apprenticeship-based CS1 (AV, TV, ML, JK), pp. 123–128.
PASTEPASTE-2013-BallHSL #interactive #web
Increasing human-tool interaction via the web (TB, PdH, NS, DL), pp. 49–52.
CHICHI-2013-BentleyT #behaviour #mobile #power of
The power of mobile notifications to increase wellbeing logging behavior (FB, KT), pp. 1095–1098.
CHICHI-2013-HuangF #crowdsourcing #exclamation #social
Don’t hide in the crowd!: increasing social transparency between peer workers improves crowdsourcing outcomes (SWH, WTF), pp. 621–630.
CHICHI-2013-LomasKPCLKF #design #game studies #power of
The power of play: design lessons for increasing the lifespan of outdated computers (DL, AK, KP, DC, ML, MK, JF), pp. 2735–2744.
HCIDUXU-NTE-2013-JaimesMR #tool support #trust
Increasing Trust in Personal Informatics Tools (LGJ, TM, AR), pp. 520–529.
HCIDUXU-WM-2013-GencerBZV #framework #machine learning #mobile #using
A New Framework for Increasing User Engagement in Mobile Applications Using Machine Learning Techniques (MG, GB, ÖZ, TV), pp. 651–659.
HCIHIMI-HSM-2013-DamrongratKI #multi #ontology #representation #simulation #using
Increasing Situational Awareness of Indoor Emergency Simulation Using Multilayered Ontology-Based Floor Plan Representation (CD, HK, MI), pp. 39–45.
CIKMCIKM-2013-KharitonovMSO #using
Using historical click data to increase interleaving sensitivity (EK, CM, PS, IO), pp. 679–688.
ECIRECIR-2013-GuanY
Increasing Stability of Result Organization for Session Search (DG, HY), pp. 471–482.
KDDKDD-2013-NiemannW #approach #collaboration #recommendation
A new collaborative filtering approach for increasing the aggregate diversity of recommender systems (KN, MW), pp. 955–963.
KDIRKDIR-KMIS-2013-BaliBBG #information management #tool support #using
Using Knowledge Management Tools and Techniques to Increase the Rate of Attendance at Breast Screening (RKB, JB, VB, MCG), pp. 344–350.
SEKESEKE-2013-GomedeB #development #process #quality #re-engineering
A Non-Intrusive Process to Software Engineering Decision Support focused on increasing the Quality of Software Development (S) (EG, RMB), pp. 95–100.
REFSQREFSQ-2013-JantunenHG #challenge #problem
Adjusting to Increasing Product Management Problems: Challenges and Improvement Proposals in One Software Company (SJ, KH, DCG), pp. 386–400.
ICSEICSE-2013-Jonsson #machine learning #performance #scalability #using
Increasing anomaly handling efficiency in large organizations using applied machine learning (LJ), pp. 1361–1364.
ASEASE-2012-DosingerMB #automation #communication #effectiveness #integration #testing
Communicating continuous integration servers for increasing effectiveness of automated testing (SD, RM, SB), pp. 374–377.
CASECASE-2012-MeikePBVR #energy #industrial #multi #performance
Increasing the energy efficiency of multi-robot production lines in the automotive industry (DM, MP, GB, AV, LR), pp. 700–705.
VLDBVLDB-2012-ShinnarCHS #in memory #named #performance
M3R: Increased performance for in-memory Hadoop jobs (AS, DC, BH, VAS), pp. 1736–1747.
CHICHI-2012-BullingAS #security #using #visual notation
Increasing the security of gaze-based cued-recall graphical passwords using saliency masks (AB, FA, AS), pp. 3011–3020.
CHICHI-2012-MasliT #community #online
Evaluating compliance-without-pressure techniques for increasing participation in online communities (MM, LGT), pp. 2915–2924.
CHICHI-2012-TopkaraPLDWB #email #enterprise #quote #video
“You’ve got video”: increasing clickthrough when sharing enterprise video with email (MT, SP, JCL, AD, SW, JB), pp. 565–568.
CSCWCSCW-2012-XuB12a #pipes and filters
A reference-based scoring model for increasing the findability of promising ideas in innovation pipelines (AX, BPB), pp. 1183–1186.
ICPRICPR-2012-KusumaSLL #recognition #sequence #using
Appearance-based object recognition using weighted longest increasing subsequence (GPK, AS, YL, JAL), pp. 3668–3671.
KDIRKDIR-2012-FormosoFCC #performance #recommendation #using
Using Neighborhood Pre-computation to Increase Recommendation Efficiency (VF, DF, FC, VC), pp. 333–335.
MLDMMLDM-2012-SinghCS #approach #hybrid #performance #recognition #using
A Hybrid Approach to Increase the Performance of Protein Folding Recognition Using Support Vector Machines (LS, GC, DS), pp. 660–668.
SEKESEKE-2012-HoritaBB #development #process #quality
A Process Model for Human Resources Management Focused on Increasing the Quality of Software Development (FEAH, JDB, RMdB), pp. 225–230.
SIGIRSIGIR-2012-ZhaoLHC
Increasing temporal diversity with purchase intervals (GZ, MLL, WH, WC), pp. 165–174.
SACSAC-2012-MaggiorePBA #3d #compilation #performance #safety
A compilation technique to increase X3D performance and safety (GM, FP, MB, MA), pp. 969–974.
ICSEICSE-2012-AlshahwanH #effectiveness #testing
Augmenting test suites effectiveness by increasing output diversity (NA, MH), pp. 1345–1348.
HTHT-2011-NemotoGL #collaboration #editing #performance #social #wiki
Social capital increases efficiency of collaboration among Wikipedia editors (KN, PAG, RL), pp. 231–240.
CSEETCSEET-2011-LongstreetC #education #game studies #re-engineering #student #using
Using games in software engineering education to increase student success and retention (CSL, KMLC), p. 554.
ITiCSEITiCSE-2011-RodgerQS
Changes to JFLAP to increase its use in courses (SHR, HQ, JS), p. 339.
CHICHI-2011-Hincapie-RamosTB #framework #named #volunteer
GridOrbit: an infrastructure awareness system for increasing contribution in volunteer computing (JDHR, AT, JEB), pp. 1899–1908.
CSCWCSCW-2011-FarzanDKP #community #design #online #social
Increasing commitment to online communities by designing for social presence (RF, LAD, REK, TP), pp. 321–330.
HCIDUXU-v1-2011-HeimgartnerWS #design #human-computer #quality
The Necessity of Personal Freedom to Increase HCI Design Quality (RH, HW, AS), pp. 62–68.
HCIDUXU-v2-2011-ArdavanC #3d #exclamation #safety #towards
Listen! Somebody Is Walking towards Your Car (Introducing the Awareness-3D Sound System into the Driver to Increase the Pedestrian’s Safety) (MA, FC), pp. 89–98.
HCIDUXU-v2-2011-BolchiniF #experience #mobile #prototype
The Fusing of “Paper-in-Screen”: Reducing Mobile Prototyping Artificiality to Increase Emotional Experience (DB, AF), pp. 548–556.
HCIHCI-MIIE-2011-MattheijSBRS #named #towards
GooGreen: Towards Increasing the Environmental Awareness of Households (RM, LS, LdB, KR, SS), pp. 500–509.
HCIHIMI-v2-2011-FagerstromG #empirical #facebook #network #social #using
Co-Creation of Value through Social Network Marketing: A Field Experiment Using a Facebook Campaign to Increase Conversion Rate (AF, GG), pp. 229–235.
REFSQREFSQ-2011-WnukRB #challenge #complexity #development #requirements #scalability
Scaling Up Requirements Engineering — Exploring the Challenges of Increasing Size and Complexity in Market-Driven Software Development (KW, BR, BB), pp. 54–59.
SACSAC-2011-GuerraF #realtime #resource management
Handling overload of target sensitive real-time applications for increased system utility and improved resource usage (RG, GF), pp. 742–747.
DACDAC-2010-ChouMM #design #embedded #experience
Find your flow: increasing flow experience by designing “human” embedded systems (CLC, AMM, RM), pp. 619–620.
DATEDATE-2010-FerreiraZBCMM #in memory #memory management
Increasing PCM main memory lifetime (APF, MZ, SB, BRC, RGM, DM), pp. 914–919.
DATEDATE-2010-Schlager #hardware #interactive #performance
Increasing the power efficiency of PCs by improving the hardware/OS interaction (CS), p. 1005.
ITiCSEITiCSE-2010-FinkelsteinPHDCB #game studies #named #network #social #student #using
SNAG: using social networking games to increase student retention in computer science (SLF, EP, AH, KD, SRC, TB), pp. 142–146.
CSCWCSCW-2010-Dickey-KurdziolekSTR #coordination #lessons learnt
Lessons from thoughtswap-ing: increasing participants’ coordinative agency in facilitated discussions (MDK, MS, DGT, IPR), pp. 81–90.
ICEISICEIS-J-2010-UrbanoRO10a #metric #using
Extracting Trustworthiness Tendencies Using the Frequency Increase Metric (JU, APR, ECO), pp. 208–221.
ICPRICPR-2010-HendrikseVS #verification
Verification Under Increasing Dimensionality (AH, RNJV, LJS), pp. 589–592.
ICPRICPR-2010-Rivest-HenaultCDL #segmentation
Length Increasing Active Contour for the Segmentation of Small Blood Vessels (DRH, MC, SD, CL), pp. 2796–2799.
RecSysRecSys-2010-MarxHM #algorithm #comprehension #hybrid #recommendation
Increasing consumers’ understanding of recommender results: a preference-based hybrid algorithm with strong explanatory power (PM, THT, AM), pp. 297–300.
ASPLOSASPLOS-2010-SudanCNABD #named #performance
Micro-pages: increasing DRAM efficiency with locality-aware data placement (KS, NC, DWN, MA, RB, AD), pp. 219–230.
ICTSSICTSS-2010-WalkinshawBDP #case study #functional #induction #testing
Increasing Functional Coverage by Inductive Testing: A Case Study (NW, KB, JD, JP), pp. 126–141.
DATEDATE-2009-SulflowFBKD #debugging #satisfiability
Increasing the accuracy of SAT-based debugging (AS, GF, CB, UK, RD), pp. 1326–1331.
DATEDATE-2009-ZabelM #injection #simulation
Increased accuracy through noise injection in abstract RTOS simulation (HZ, WM), pp. 1632–1637.
ICDARICDAR-2009-Alonso-FernandezFGGO #robust #verification
Robustness of Signature Verification Systems to Imitators with Increasing Skills (FAF, JF, AG, JG, JOG), pp. 728–732.
SASSAS-2009-CalmanZ #interprocedural
Increasing the Scope and Resolution of Interprocedural Static Single Assignment (SC, JZ), pp. 154–170.
CHICHI-2009-GonzalesFD #question
(Perceived) interactivity: does interactivity increase enjoyment and creative identity in artistic spaces? (ALG, TF, SPD), pp. 415–418.
CHICHI-2009-Hudson #challenge #design
Reduced empathizing skills increase challenges for user-centered design (WH), pp. 1327–1330.
CHICHI-2009-PirolliWS #wiki
So you know you’re getting the best possible information: a tool that increases Wikipedia credibility (PP, EW, BS), pp. 1505–1508.
HCIHCD-2009-YambalM #experience #user interface
Plugging the Holes: Increasing the Impact of User Experience Evaluations (SSY, SM), pp. 147–156.
HCIHIMI-DIE-2009-LimAC #case study #grid #performance
A Study on Computing Resource Partition for Increasing Efficiency of Grid System (CL, SJA, JC), pp. 563–569.
RecSysRecSys-2009-AmatriainPTO #recommendation
Rate it again: increasing recommendation accuracy by user re-rating (XA, JMP, NT, NO), pp. 173–180.
RecSysRecSys-2009-FreyneJGG #recommendation
Increasing engagement through early recommender intervention (JF, MJ, IG, WG), pp. 85–92.
HPDCHPDC-2009-DickensL #file system #library #named #performance
Y-lib: a user level library to increase the performance of MPI-IO in a lustre file system environment (PMD, JL), pp. 31–38.
ASEASE-2008-JordeED #testing
Increasing Test Granularity by Aggregating Unit Tests (MJ, SGE, MBD), pp. 9–18.
DACDAC-2008-SavolainenR #design #interface #mobile #performance #standard
Standard interfaces in mobile terminals: increasing the efficiency of device design and accelerating innovation (RS, TR), p. 592.
AdaEuropeAdaEurope-2008-Pettit #analysis #architecture #concurrent
Increasing Confidence in Concurrent Software through Architectural Analysis (RGPI), pp. 199–210.
AdaEuropeAdaEurope-2008-SinghoffPD #realtime #scheduling #usability
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project (FS, AP, PD), pp. 240–253.
ICEISICEIS-ISAS2-2008-Hawryszkiewycz #modelling
Modeling Increasingly Complex Socio-Technical Environments (ITH), pp. 111–116.
SACSAC-2008-Nassiri #3d #e-commerce #trust
Increasing trust through the use of 3d e-commerce environment (NN), pp. 1463–1466.
CGOCGO-2008-FanPKM #hardware #reuse #scheduling
Modulo scheduling for highly customized datapaths to increase hardware reusability (KF, HP, MK, SAM), pp. 124–133.
ICSTICST-2008-MetsaKM #aspect-oriented #testing
Comparing Aspects with Conventional Techniques for Increasing Testability (JM, MK, TM), pp. 387–395.
VLDBVLDB-2007-LangBMW #multi
Increasing Buffer-Locality for Multiple Index Based Scans through Intelligent Placement and Index Scan Speed Control (CAL, BB, TM, KW), pp. 1298–1309.
CSEETCSEET-2007-CarverHHHR #programming #re-engineering #student #using
Increased Retention of Early Computer Science and Software Engineering Students Using Pair Programming (JCC, LH, LH, JEH, DSR), pp. 115–122.
ITiCSEITiCSE-2007-RodgerLR #automaton #formal method #interactive
Increasing interaction and support in the formal languages and automata theory course (SHR, JL, SR), pp. 58–62.
CHICHI-2007-BallNB #navigation #performance #physics #scalability
Move to improve: promoting physical navigation to increase user performance with large displays (RB, CN, DAB), pp. 191–200.
CHICHI-2007-VasalouJP #online #self
Constructing my online self: avatars that increase self-focused attention (AV, ANJ, JP), pp. 445–448.
HCIHIMI-MTT-2007-SatoKF #concept #interface #precise #verification
Basic Experimental Verification of Grasping Information Interface Concept, Grasping Force Increases in Precise Periods (SS, MK, YF), pp. 180–188.
HPCAHPCA-2007-QureshiSP #capacity #word
Line Distillation: Increasing Cache Capacity by Filtering Unused Words in Cache Lines (MKQ, MAS, YNP), pp. 250–259.
CADECADE-2007-GieslTSS #bound #proving #termination
Proving Termination by Bounded Increase (JG, RT, SS, PSK), pp. 443–459.
CASECASE-2006-JinLXS #reliability
Computerized Repairable Inventory Management with Reliability Growth and System Installations Increase (TJ, HL, ZX, CHS), pp. 336–341.
DACDAC-2006-NanshiS #simulation
Guiding simulation with increasingly refined abstract traces (KN, FS), pp. 737–742.
ITiCSEITiCSE-2006-Pargas #process #scalability #student
Reducing lecture and increasing student activity in large computer science courses (RPP), pp. 3–7.
ICPCICPC-2006-StefikFA #comprehension #debugging #effectiveness #music #runtime #using
Layered Program Auralization: Using Music to Increase Runtime Program Comprehension and Debugging Effectiveness (AS, KF, RTA), pp. 89–93.
ICSMEICSM-2006-BreechTP #impact analysis #precise
Integrating Influence Mechanisms into Impact Analysis for Increased Precision (BB, MT, LLP), pp. 55–65.
CHICHI-2006-PuVF #using
Increasing user decision accuracy using suggestions (PP, PV, BF), pp. 121–130.
CHICHI-2006-ZhaoAH #multi #using
Zone and polygon menus: using relative position to increase the breadth of multi-stroke marking menus (SZ, MA, KH), pp. 1077–1086.
ICEISICEIS-ISAS-2006-KrogstieDJ #modelling #process
Increasing the Value of Process Modelling (JK, VD, SMJ), pp. 70–77.
FSEFSE-2006-GirouxR #detection #testing #using
Detecting increases in feature coupling using regression tests (OG, MPR), pp. 163–174.
ICSEICSE-2006-DamianLM #effectiveness #requirements
The role of asynchronous discussions in increasing the effectiveness of remote synchronous requirements negotiations (DED, FL, TM), pp. 917–920.
HPCAHPCA-2006-PujaraA #performance
Increasing the cache efficiency by eliminating noise (PP, AA), pp. 145–154.
DATEDATE-2005-MemikKO #fault
Increasing Register File Immunity to Transient Errors (GM, MTK, ÖÖ), pp. 586–591.
VLDBVLDB-2005-Olstad #database #query #why
Why Search Engines are Used Increasingly to Offload Queries from Databases (BO), p. 1.
ITiCSEITiCSE-2005-Deibel #interactive
Team formation methods for increasing interaction during in-class group work (KD), pp. 291–295.
ICSMEICSM-2005-BriandDL #aspect-oriented #contract #debugging #programming
Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging (LCB, WJD, YL), pp. 687–690.
ECOOPECOOP-2005-OstermannMB #composition
Expressive Pointcuts for Increased Modularity (KO, MM, CB), pp. 214–240.
ICSEICSE-2005-KatiraWO #student #towards
Towards increasing the compatibility of student pair programmers (NK, LAW, JAO), pp. 625–626.
HPDCHPDC-2005-SundararajGD #adaptation #performance #runtime
Increasing application performance in virtual environments through run-time inference and adaptation (AIS, AG, PAD), pp. 47–58.
LCTESLCTES-2005-SassoneWL #dependence #embedded #performance
Static strands: safely collapsing dependence chains for increasing embedded power efficiency (PGS, DSW, GHL), pp. 127–136.
ICSTSAT-J-2004-SubbarayanP05 #named #preprocessor #satisfiability
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances (SS, DKP), pp. 276–291.
CBSECBSE-2004-SimonsS #assembly #exception #named #robust
CMEH: Container Managed Exception Handling for Increased Assembly Robustness (KS, JAS), pp. 122–129.
ITiCSEITiCSE-2004-WangC #assessment #learning #online #performance
Extending e-books with annotation, online support and assessment mechanisms to increase efficiency of learning (CYW, GDC), pp. 132–136.
CHICHI-2004-LudfordCFT #community #difference #online #using
Think different: increasing online community participation using uniqueness and group dissimilarity (PJL, DC, DF, LGT), pp. 631–638.
ECOOPECOOP-2004-VitenbergKS #concurrent #database #program analysis #using
Increasing Concurrency in Databases Using Program Analysis (RV, KK, AKS), pp. 341–363.
SACSAC-2004-ZhangCC04a #towards #web
Towards increasing web application productivity (JZ, JYC, CKC), pp. 1677–1681.
CCCC-2004-SoH
Increasing the Applicability of Scalar Replacement (BS, MWH), pp. 185–201.
HTHT-2003-KarousosTP #approach #developer #hypermedia
Increasing the usage of open hypermedia systems: a developer-side approach (NK, MT, IP), pp. 148–149.
ITiCSEITiCSE-2003-KolasF #game studies #motivation #using
Increasing assignment motivation using a game Al tournament (ØK, IF), p. 269.
CHICHI-2003-WilsonBBGCCDR #correctness #programming
Harnessing curiosity to increase correctness in end-user programming (AW, MMB, LB, OG, LC, CRC, MD, GR), pp. 305–312.
HPCAHPCA-2003-RedstoneEL #named #smt #thread
Mini-Threads: Increasing TLP on Small-Scale SMT Processors (JR, SJE, HML), pp. 19–30.
DACDAC-2002-LekatsasHJ #design #embedded #hardware #performance
Design of an one-cycle decompression hardware for performance increase in embedded systems (HL, JH, VJ), pp. 34–39.
DATEDATE-2002-StohrSG #named #reuse #verification
FlexBench: Reuse of Verification IP to Increase Productivity (BS, MS, JG), p. 1131.
ITiCSEITiCSE-2002-WaltersASBK #learning
Increasing learning and decreasing costs in a computer fluency course (DW, CA, BS, DTB, HK), pp. 208–212.
STOCSTOC-2002-Bachmat #analysis #scheduling #sequence
Average case analysis for batched disk scheduling and increasing subsequences (EB), pp. 277–286.
POPLPOPL-2002-Hofmann
The strength of non-size increasing computation (MH0), pp. 260–269.
ASPLOSASPLOS-2002-KimPR #interface #network #throughput #web
Increasing web server throughput with network interface data caching (HyK, VSP, SR), pp. 239–250.
CAiSECAiSE-2001-EcksteinAN #development #information management #reuse
Increasing Reusability in Information Systems Development by Applying Generic Methods (SE, PA, KN), pp. 251–266.
FSEESEC-FSE-2001-JagannathanS #component #implementation
Increasing client-side confidence in remote component implementations (RJ, PAGS), pp. 52–61.
HPCAHPCA-2001-GoemanVB #difference #performance #predict
Differential FCM: Increasing Value Prediction Accuracy by Improving Table Usage Efficiency (BG, HV, KDB), pp. 207–216.
CAiSECAiSE-2000-Farshchian #development #distributed #named
Gossip: An Awareness Engine for Increasing Product Awareness in Distributed Development Projects (BAF), pp. 264–278.
ICEISICEIS-2000-ChesneyF #modelling #requirements
Increasing End User Involvement in Requirements Modelling in Small Organisations (TC, HF), pp. 248–252.
SACSAC-2000-Armstrong #email #reliability
Increasing the Reliability of Email Services (JLA), pp. 627–632.
LICSLICS-2000-AehligS #analysis #polynomial
A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation (KA, HS), pp. 84–91.
DATEDATE-1999-MeinelS #model checking #order #performance
Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering (CM, CS), pp. 760–761.
ICSMEICSM-1999-MayrhauserWL #approach #architecture #comprehension #experience #reverse engineering
Experience Paper: Experience with a Reverse Engineering Architecture Approach to Increase Understanding (AvM, JW, QL), pp. 131–138.
HCIHCI-CCAD-1999-BookG #interface
Mental effort increases when adding a voice control feature to a familiar interface (RB, MG), pp. 23–27.
HCIHCI-CCAD-1999-PetrucciRAP #visual notation #web
An audio browser for increasing access to world wide web sites for blind and visually impaired computer users (LP, PR, AA, TP), pp. 995–998.
ICEISICEIS-1999-BarberGJS #evolution #requirements #reuse
Increasing Opportunities for Reuse Through Tool and Methodology Support for Enterprise-Wide Requirements Reuse and Evolution (KSB, TJG, SRJ, JS), pp. 383–390.
OOPSLAOOPSLA-1999-TravassosSFB #design #detection #fault #object-oriented #quality #using
Detecting Defects in Object-Oriented Designs: Using Reading Techniques to Increase Software Quality (GT, FS, MF, VRB), pp. 47–56.
RERE-1999-Heitmeyer #development
Increasing the Role of RE in the Development of Dependable Systems (CLH, PM), p. 191–?.
LICSLICS-1999-Hofmann99a #linear #polynomial
Linear Types and Non-Size-Increasing Polynomial Time Computation (MH0), pp. 464–473.
CIKMCIKM-1998-Tang #incremental #performance #using
Using Incremental Pruning to Increase the Efficiency of Dynamic Itemset Counting for Association Rules (JT), pp. 273–280.
ICPRICPR-1998-FlorebySS #bound #fourier #image #order #using
Boundary finding using Fourier surfaces of increasing order [simulated medical images] (LF, LS, KS), pp. 465–467.
DACDAC-1997-BeniniMP #adaptation #design #latency #pipes and filters #throughput
Telescopic Units: Increasing the Average Throughput of Pipelined Designs by Adaptive Latency Control (LB, EM, MP), pp. 22–27.
DATEEDTC-1997-PomeranzR97a #finite #on the #state machine #testing
On the use of reset to increase the testability of interconnected finite-state machines (IP, SMR), pp. 554–559.
ICSMEICSM-2000-Han #design #maintenance
Designing for Increased Software Maintainability (JH), pp. 278–286.
CAiSECAiSE-1997-Puustjarvi #approach #automation #transaction #workflow
Negotiation Transactions: An Approach to Increase the Automation of Workflows (JP), pp. 89–102.
KDDKDD-1997-AronisP #algorithm #data mining #mining #performance
Increasing the Efficiency of Data Mining Algorithms with Breadth-First Marker Propagation (JMA, FJP), pp. 119–122.
AdaEuropeAdaEurope-1996-KimB #ada #approach #component #reuse
An Approach to Increasing Software Component Reusability in Ada (HK, CB), pp. 89–100.
HPCAHPCA-1996-ChenL #named
Shuffle-Ring: Overcoming the Increasing Degree of Hypercube (GC, FCML), pp. 130–138.
PODSPODS-1995-KeidarD #commit
Increasing the Resilience of Atomic Commit at No Additional Cost (IK, DD), pp. 245–254.
PLDIPLDI-1995-LoE #compilation #optimisation #parallel #scheduling
Improving Balanced Scheduling with Compiler Optimizations that Increase Instruction-Level Parallelism (JLL, SJE), pp. 151–162.
ICMLICML-1995-Lubinsky #classification #consistency #performance #using
Increasing the Performance and Consistency of Classification Trees by Using the Accuracy Criterion at the Leaves (DJL), pp. 371–377.
DACDAC-1993-GirczycC #design #quality #reuse
Increasing Design Quality and Engineering Productivity through Design Reuse (EFG, SC), pp. 48–53.
SEKESEKE-1993-LaiY #classification #grid #multi #reuse
Multi-Layer Repertory Grid Classification for Increasing Software Reusability (STL, CCY), pp. 252–254.
FSEFSE-1993-CaiP #algorithm #implementation #towards
Towards Increased Productivity of Algorithm Implementation (JC, RP), pp. 71–78.
PODSPODS-1992-WongA #bound #concurrent #consistency #database #nondeterminism
Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems (MHW, DA), pp. 236–245.
ICMLML-1991-BennettD #probability
Comparing Stochastic Planning to the Acquisition of Increasingly Permissive Plans (SB, GD), pp. 586–590.
LISPLFP-1990-MohrKH #lazy evaluation #parallel #source code
Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs (EM, DAK, RHHJ), pp. 185–197.
DACDAC-1987-PraizlerF
A Parts Selection Expert System to Increase Manufacturability (DP, GF), pp. 706–712.
HCIHCI-CE-1987-Swain #automation #dependence #problem
Four Human Factors Problems for System Operators as Dependence on Automation Increases (ADS), pp. 105–112.
ICSEICSE-1985-Vefsnmo #communication #quality #quote #re-engineering
“DASOM” — A Software Engineering Tool for Communication Applications Increasing Productivity and Software Quality (EAMV), pp. 26–35.
PODSPODS-1984-SkeenW #database
Increasing Availability in Partitioned Database Systems (DS, DDW), pp. 290–299.
DACDAC-1982-Saluja #fault #generative
An enhancement of lssd to reduce test pattern generation effort and increase fault coverage (KKS), pp. 489–494.
ASPLOSASPLOS-1982-HennessyJBGG #hardware #performance #trade-off
Hardware/Software Tradeoffs for Increased Performance (JLH, NPJ, FB, TRG, JG), pp. 2–11.
DACDAC-1981-Nash
Government actions to increase CAD software productivity (DCN), p. 342.
ICSEICSE-1981-RichardsonC #analysis #reliability
A Partition Analysis Method to Increase Program Reliability (DJR, LAC), pp. 244–253.
ICALPICALP-1974-Dezani-CiancagliniZ #algorithm #parallel #performance
Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms (MDC, MZ), pp. 170–184.
DACDAC-1972-Rosenthal #interactive
Increasing capabilities in interactive computer graphics terminals (CWR), pp. 317–325.

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.