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:
bottom (104)
speed (88)
scale (50)
base (41)
use (37)

Stem up$ (all stems)

451 papers:

CASECASE-2015-GallertLRJT #2d #3d #biology #industrial #scalability #throughput
Biological high throughput screening of 2D and 3D cell cultures for future industrial up-scaling (CG, RL, TR, SJ, KT), pp. 1527–1532.
CASECASE-2015-GuoD #bottom-up #coordination #multi
Bottom-up motion and task coordination for loosely-coupled multi-agent systems with dependent local tasks (MG, DVD), pp. 348–355.
CASECASE-2015-PanZQ #clustering #how #process #tool support
How to start-up dual-arm cluster tools involving a wafer revisiting process (CP, MZ, YQ), pp. 1194–1199.
DACDAC-2015-NishimiyaSS #evaluation #functional #interface #mockup #modelling #network
Evaluation of functional mock-up interface for vehicle power network modeling (KN, TS, SS), p. 6.
DATEDATE-2015-GarciaMSN #multi #performance
High performance single supply CMOS inverter level up shifter for multi: supply voltages domains (JCG, JAMN, JS, SN), pp. 1273–1276.
VLDBVLDB-2015-PsaroudakisSMSA #adaptation #concurrent #in memory #scalability #towards
Scaling Up Concurrent Main-Memory Column-Store Scans: Towards Adaptive NUMA-aware Data and Task Placement (IP, TS, NM, AS, AA), pp. 1442–1453.
VLDBVLDB-2015-RenW #graph #morphism #scalability
Exploiting Vertex Relationships in Speeding up Subgraph Isomorphism over Large Graphs (XR, JW), pp. 617–628.
SANERSANER-2015-DamevskiSP #code search #developer #evaluation #metric #scalability #tool support
Scaling up evaluation of code search tools through developer usage metrics (KD, DCS, LLP), pp. 181–190.
SASSAS-2015-CastelnuovoNRSY #analysis #bottom-up #case study #composition #top-down
Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis (GC, MN, NR, MS, HY), pp. 252–274.
CIAACIAA-2015-HeamJ #automaton #generative #morphism #on the #random
On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism (PCH, JLJ), pp. 140–152.
SEFMSEFM-2015-Jakobs #clustering #configuration management #reduction #validation
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning (MCJ), pp. 159–174.
CHICHI-2015-SchmidtKMUKCB #artificial reality #named #simulation
Level-Ups: Motorized Stilts that Simulate Stair Steps in Virtual Reality (DS, RK, VM, UU, SK, LPC, PB), pp. 2157–2160.
CSCWCSCW-2015-GallacherOBRCHM #interactive #lightweight
Mood Squeezer: Lightening up the Workplace through Playful and Lightweight Interactions (SG, JO, JB, YR, LC, DH, PM), pp. 891–902.
HCIDHM-EH-2015-UchidaHKEMOUG #analysis #process #using
Process Analysis of the Hand Lay-Up Method Using CFRP Prepreg Sheets (TU, HH, KK, AE, MM, JO, TU, AG), pp. 227–236.
HCIDHM-HM-2015-KikuchiSTGH #information management
An Investigation on Conversion from Tacit Knowledge to Explicit Knowledge in Hand Lay-Up Fabrication Method (TK, ES, YT, AG, HH), pp. 114–123.
HCIDHM-HM-2015-KikuchiSZTGH #quantifier
Effects of Quantified Instructional Tool on Spray-up Fabrication Method (TK, ES, YZ, YT, AG, HH), pp. 104–113.
HCIDHM-HM-2015-MigakiOTMKIH #experience
The Relationship Between Mechanical Properties and the Method Technique of GFRP Plate by Hand Lay-up Method: Effect of the Workers Experience (MM, KO, RT, YM, EK, DI, HH), pp. 143–153.
HCIDUXU-IXD-2015-Pauzie
Head Up Display in Automotive: A New Reality for the Driver (AP), pp. 505–516.
HCIHCI-DE-2015-KitamuraJUIS #development
Development of Tidy-up Promotion System by Anthropomorphication of Shared Space (TK, TJ, MU, HI, HS), pp. 360–369.
HCIHIMI-IKC-2015-GotzeB #comparison #what
Urban Driving: Where to Present What Types of Information — Comparison of Head-Down and Head-Up Displays (MG, KB), pp. 190–200.
HCIHIMI-IKC-2015-OliveiraCBA #artificial reality #gamification #interface #motivation #using
A Head-up Display with Augmented Reality and Gamification for an E-Maintenance System: Using Interfaces and Gamification to Motivate Workers in Procedural Tasks (AO, NC, LCB, RBdA), pp. 499–510.
ICMLICML-2015-GrosseS #matrix #scalability
Scaling up Natural Gradient by Sparsely Factorizing the Inverse Fisher Matrix (RBG, RS), pp. 2304–2313.
KDDKDD-2015-TranHXFB #coordination #probability #scalability
Scaling Up Stochastic Dual Coordinate Ascent (KT, SH, LX, TF, MB), pp. 1185–1194.
RecSysRecSys-2015-AuteriT #linear #personalisation
Personalized Catch-up & DVR: VOD or Linear, That is the Question (PA, RT), p. 227.
RecSysRecSys-2015-Nemeth #recommendation #scalability
Scaling Up Recommendation Services in Many Dimensions (BN), p. 233.
SIGIRSIGIR-2015-LuccheseNOPT #documentation #ranking
Speeding up Document Ranking with Rank-based Features (CL, FMN, SO, RP, NT), pp. 895–898.
POPLPOPL-2015-SjobergW #congruence #programming
Programming up to Congruence (VS, SW), pp. 369–382.
ICSEICSE-v1-2015-WatermanNA #agile #architecture #how
How Much Up-Front? A Grounded theory of Agile Architecture (MW, JN, GA), pp. 347–357.
SPLCSPLC-2015-MartinezZBKT #approach #bottom-up #product line
Bottom-up adoption of software product lines: a generic and extensible approach (JM, TZ, TFB, JK, YLT), pp. 101–110.
CGOCGO-2015-CampanoniHWB #named #parallel #semantics
HELIX-UP: relaxing program semantics to unleash parallelization (SC, GHH, GYW, DMB), pp. 235–245.
HPCAHPCA-2015-SethiaJM #gpu #memory management #named
Mascar: Speeding up GPU warps by reducing memory pitstops (AS, DAJ, SAM), pp. 174–185.
CADECADE-2015-JacquemardKS #bottom-up #constraints #term rewriting
Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (FJ, YK, MS), pp. 137–151.
ICLPICLP-2015-YangSZ #bottom-up #evaluation #logic programming #manycore #parallel #source code
Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines (MY, AS, CZ).
ICSTSAT-2015-BalabanovI #preprocessor
Speeding up MUS Extraction with Preprocessing and Chunking (VB, AI), pp. 17–32.
CASECASE-2014-FrigerioM #energy #policy #probability
Energy saving policies for a machine tool with warm-up, stochastic arrivals and buffer information (NF, AM), pp. 646–651.
CASECASE-2014-HirotaNM #development #empirical
Development of an escalator riding robot: Experiment of riding on an up escalator (KH, SN, NM), pp. 1206–1211.
DATEDATE-2014-MarianiPZS #design #named #predict #scheduling #simulation #using
DeSpErate: Speeding-up design space exploration by using predictive simulation scheduling (GM, GP, VZ, CS), pp. 1–4.
DATEDATE-2014-Torrellas #architecture #energy #performance
Extreme-scale computer architecture: Energy efficiency from the ground up‡ (JT), pp. 1–5.
SIGMODSIGMOD-2014-LeFevreSHTPC14a #big data #multi #named #query
MISO: souping up big data query processing with a multistore system (JL, JS, HH, JT, NP, MJC), pp. 1591–1602.
VLDBVLDB-2015-MozafariSFJM14 #dataset #learning #scalability
Scaling Up Crowd-Sourcing to Very Large Datasets: A Case for Active Learning (BM, PS, MJF, MIJ, SM), pp. 125–136.
SANERCSMR-WCRE-2014-BrandtnerGG #integration #quality
Supporting continuous integration by mashing-up software quality information (MB, EG, HCG), pp. 184–193.
PLDIPLDI-2014-ZhangMNY #analysis #bottom-up #hybrid #interprocedural #top-down
Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.
SASSAS-2014-MonniauxS
Speeding Up Logico-Numerical Strategy Iteration (DM, PS), pp. 253–267.
CIAACIAA-2014-Maletti #bottom-up #multi #power of #transducer
The Power of Regularity-Preserving Multi Bottom-up Tree Transducers (AM), pp. 278–289.
CHICHI-2014-MasdenGGGE #community #multi #social #social media
Tensions in scaling-up community social media: a multi-neighborhood study of nextdoor (CAM, CG, REG, EG, WKE), pp. 3239–3248.
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.
HCIDHM-2014-KikuchiTTGH #information management
Biomechanics Investigation of Skillful Technician in Spray-up Fabrication Method — Converting Tacit Knowledge to Explicit Knowledge in the Fiber Reinforced Plastics Molding (TK, YT, YT, AG, HH), pp. 24–34.
HCIDUXU-ELAS-2014-KarlinPC #experience #learning #online #user interface
Pumping Up the Citizen Muscle Bootcamp: Improving User Experience in Online Learning (BK, BP, AC), pp. 562–573.
HCIDUXU-TMT-2014-FilippiB #analysis #aspect-oriented #functional #human-computer #interactive #nondeterminism
In-Depth Analysis of Non-deterministic Aspects of Human-Machine Interaction and Update of Dedicated Functional Mock-Ups (SF, DB), pp. 185–196.
HCIHCI-AS-2014-FedericiMRDLBM
A Model of Web-Based Follow-Up to Reduce Assistive Technology Abandonment (SF, MLM, SAR, WD, GL, SB, FM), pp. 674–682.
HCIHCI-AS-2014-MateiRR #quantifier
Refreshing Quantification and other Ploys to Give Up the Habit — A Repertoire of Relations, Identities, and Rhetorical Devices in Smoking Cessation Applications (SM, CR, RR), pp. 265–276.
HCIHIMI-DE-2014-LiH
Improving Academic Listening Skills of Second Language by Building up Strategy Object Mashups (HL, SH), pp. 384–395.
ICEISICEIS-v1-2014-Tribolet #adaptation #approach #bottom-up #enterprise #top-down
An Engineering Approach to Natural Enterprise Dynamics — From Top-down Purposeful Systemic Steering to Bottom-up Adaptive Guidance Control (JT), p. XIII.
CIKMCIKM-2014-CohenDPW #scalability #sketching
Sketch-based Influence Maximization and Computation: Scaling up with Guarantees (EC, DD, TP, RFW), pp. 629–638.
CIKMCIKM-2014-YuR #multi
Search Result Diversification via Filling Up Multiple Knapsacks (HY, FR), pp. 609–618.
ICMLICML-c1-2014-BardenetDH #adaptation #approach #markov #monte carlo #scalability #towards
Towards scaling up Markov chain Monte Carlo: an adaptive subsampling approach (RB, AD, CCH), pp. 405–413.
ICMLICML-c1-2014-MannM #approximate #policy #scalability
Scaling Up Approximate Value Iteration with Options: Better Policies with Fewer Iterations (TAM, SM), pp. 127–135.
ICMLICML-c2-2014-TamarMX #approximate #robust #scalability #using
Scaling Up Robust MDPs using Function Approximation (AT, SM, HX), pp. 181–189.
KDDKDD-2014-BenderskyPHJL #retrieval #scalability #video
Up next: retrieval methods for large scale related video suggestion (MB, LGP, JJH, VJ, DL), pp. 1769–1778.
KDDKDD-2014-Bengio #learning #scalability
Scaling up deep learning (YB), p. 1966.
KEODKEOD-2014-FreibergHP #knowledge-based #novel #paradigm
Clarification KBS as Consultation-Justification Mash Ups — Proposing a Novel Paradigm for All-in-One Knowledge-based Systems (MF, FH, FP), pp. 168–175.
RecSysRecSys-2014-BachrachFGKKNP #recommendation #using
Speeding up the Xbox recommender system using a euclidean transformation for inner-product spaces (YB, YF, RGB, LK, NK, NN, UP), pp. 257–264.
CGOCGO-2014-BrankovicSGG #simulation
Warm-Up Simulation Methodology for HW/SW Co-Designed Processors (AB, KS, EG, AG), p. 284.
HPCAHPCA-2014-WonCGHS #learning #network #online #power management
Up by their bootstraps: Online learning in Artificial Neural Networks for CMP uncore power management (JYW, XC, PG, JH, VS), pp. 308–319.
LICSLICS-CSL-2014-BonchiPPR #induction
Coinduction up-to in a fibrational setting (FB, DP, DP, JR), p. 9.
SMTSMT-2014-FremontS #program analysis #smt
Speeding Up SMT-Based Quantitative Program Analysis (DJF, SAS), pp. 3–13.
ASEASE-2013-ZhangCW #concurrent #data type #named #runtime
Round-up: Runtime checking quasi linearizability of concurrent data structures (LZ, AC, CW), pp. 4–14.
DACDAC-2013-KuruvillaSPVC #analysis #optimisation #set #statistics
Speeding up computation of the max/min of a set of gaussians for statistical timing analysis and optimization (VK, DS, JP, CV, NC), p. 7.
DATEDATE-2013-LiBMLO
Optical look up table (ZL, SLB, CM, XL, IO), pp. 873–876.
SIGMODSIGMOD-2013-CheungAMM #database
Speeding up database applications with Pyxis (AC, OA, SM, ACM), pp. 969–972.
VLDBVLDB-2013-FuKR #on the #scalability
On Scaling Up Sensitive Data Auditing (YF, RK, RR), pp. 313–324.
PLDIPLDI-2013-Larus #exclamation #in the cloud
Look up!: your future is in the cloud (JRL), pp. 1–2.
STOCSTOC-2013-GuruswamiX #algebra #bound #geometry
List decoding reed-solomon, algebraic-geometric, and gabidulin subcodes up to the singleton bound (VG, CX), pp. 843–852.
LATALATA-2013-HashimotoSISF #bottom-up #transducer
Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers (KH, RS, YI, HS, TF), pp. 335–346.
CHICHI-2013-EgelmanSMBH
Does my password go up to eleven?: the impact of password meters on password selection (SE, AS, IM, KB, CH), pp. 2379–2388.
CHICHI-2013-GrigoreanuM #agile
Informal cognitive walkthroughs (ICW): paring down and pairing up for an agile world (VG, MM), pp. 3093–3096.
HCIDUXU-CXC-2013-KuramotoIYT #exclamation #gamification #people
Stand Up, Heroes! : Gamification for Standing People on Crowded Public Transportation (IK, TI, KY, YT), pp. 538–547.
HCIDUXU-WM-2013-PropstSPJC #evaluation #knowledge-based #usability
From the Ground-Up: Role of Usability and Aesthetics Evaluation in Creating a Knowledge-Based Website for the U.S. Army Corps of Engineers (DBP, SJS, GLP, EJ, CKC), pp. 274–283.
HCIHCI-AS-2013-DickeJS
Auditory and Head-Up Displays in Vehicles (CD, GJ, JS), pp. 551–560.
HCIHCI-AS-2013-LimongelliLMS #education #process
A Teacher Model to Speed Up the Process of Building Courses (CL, ML, AM, FS), pp. 434–443.
HCIHIMI-D-2013-HungCLC #human-computer #interface #novel #web
A Novel Human-Computer Interface for Browsing Web Data by Leaping Up Web Pages (CLH, CC, CCL, HCC), pp. 197–202.
HILTHILT-2013-Whalen #analysis #architecture #development #formal method #modelling #scalability #using
Up and out: scaling formal analysis using model-based development and architecture modeling (MWW), pp. 41–42.
ICEISICEIS-v1-2013-ChiuPH
An Intelligent System for Reconstructing the Ripped-up Paper-Moneys (NHC, CEP, MCH), pp. 395–400.
ICMLICML-c3-2013-CovielloMCL #exclamation #performance
That was fast! Speeding up NN search of high dimensional distributions (EC, AM, ABC, GRGL), pp. 468–476.
KDDKDD-2013-ChakrabartiH #learning #scalability #social
Speeding up large-scale learning with a social prior (DC, RH), pp. 650–658.
KDIRKDIR-KMIS-2013-PereiraTBW #enterprise
A Risk Diagnosing Methodology Web-based Tool for SME’s and Start-up Enterprises (LP, AT, JB, JW), pp. 308–317.
RecSysRecSys-2013-XuBATMK #recommendation
Catch-up TV recommendations: show old favourites and find new ones (MX, SB, SA, ST, AM, IK), pp. 285–294.
POPLPOPL-2013-BonchiP #automaton #bisimulation #congruence #equivalence #nondeterminism
Checking NFA equivalence with bisimulations up to congruence (FB, DP), pp. 457–468.
SACSAC-2013-Serafino #clustering #composition #graph
Speeding up graph clustering via modular decomposition based compression (PS), pp. 156–163.
ICSEICSE-2013-BagheriS #bottom-up #development #modelling
Bottom-up model-driven development (HB, KJS), pp. 1221–1224.
ICLPICLP-J-2013-GrecoMT #bottom-up #evaluation #logic programming #termination
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (SG, CM, IT), pp. 737–752.
ICSTSAT-2013-LagniezB
Factoring Out Assumptions to Speed Up MUS Extraction (JML, AB), pp. 276–292.
TAPTAP-2013-InsaSR #algorithm #debugging #execution #using
Speeding Up Algorithmic Debugging Using Balanced Execution Trees (DI, JS, AR), pp. 133–151.
DATEDATE-2012-StefanMAG #multi #performance
A TDM NoC supporting QoS, multicast, and fast connection set-up (RAS, AMM, JAA, KG), pp. 1283–1288.
WCREWCRE-2012-OssherSL #bottom-up #named #repository
Astra: Bottom-up Construction of Structured Artifact Repositories (JO, HS, CVL), pp. 41–50.
ICEISICEIS-v2-2012-Pohjalainen #agile #bottom-up #modelling
Agile Models Need to be Bottom-up — Adding Productivity to a Late Project Makes it Later (PP), pp. 395–400.
ICMLICML-2012-ScherrerHTH #algorithm #coordination #problem #scalability
Scaling Up Coordinate Descent Algorithms for Large ℓ1 Regularization Problems (CS, MH, AT, DH), p. 50.
ICPRICPR-2012-DahmBCG #detection #morphism
Topological features and iterative node elimination for speeding up subgraph isomorphism detection (ND, HB, TC, YG), pp. 1164–1167.
ICPRICPR-2012-IwashitaPFLOAT #cost analysis
Speeding up optimum-path forest training by path-cost propagation (ASI, JPP, AXF, RdAL, VMdAO, VHCdA, JMRST), pp. 1233–1236.
ICPRICPR-2012-LinL #bottom-up #process #top-down
Integrating bottom-up and top-down processes for accurate pedestrian counting (YL, NL), pp. 2508–2511.
ICPRICPR-2012-RiechertZMK #estimation #hybrid #realtime #recursion #using
Real-time disparity estimation using line-wise hybrid recursive matching and cross-bilateral median up-sampling (CR, FZ, MM, PK), pp. 3168–3171.
ICPRICPR-2012-ShaukatGWB #approach #bottom-up #detection #top-down
Meeting in the Middle: A top-down and bottom-up approach to detect pedestrians (AS, AG, DW, RB), pp. 874–877.
ICPRICPR-2012-TianC12a #image #optimisation #using
Depth image up-sampling using ant colony optimization (JT, LC), pp. 3795–3798.
KDDKDD-2012-KangPHF #algorithm #analysis #named #scalability
GigaTensor: scaling tensor analysis up by 100 times — algorithms and discoveries (UK, EEP, AH, CF), pp. 316–324.
KMISKMIS-2012-AkiyoshiSK #learning #problem #towards
A Project Manager Skill-up Simulator Towards Problem Solving-based Learning (MA, MS, NK), pp. 190–195.
KMISKMIS-2012-HamadaAS #generative #learning #using
A Generation Method of Reference Operation using Reinforcement Learning on Project Manager Skill-up Simulator (KH, MA, MS), pp. 15–20.
KMISKMIS-2012-OtsukiAS #using
An Improvement Method of User Operations using Decision Tree on Project Manager Skill-up Simulator (MO, MA, MS), pp. 158–163.
SIGIRSIGIR-2012-AzzopardiDMG #interface #named
MaSe: create your own mash-up search interface (LA, DD, KAM, RG), p. 1008.
MODELSMoDELS-2012-CuadradoLG #approach #bottom-up #interactive #metamodelling
Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.
MODELSMoDELS-2012-CuadradoLG #approach #bottom-up #interactive #metamodelling
Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.
PPDPPPDP-2012-Martin-MartinR
Transparent function types: clearing up opacity (EMM, JRH), pp. 127–138.
ICSEICSE-2012-NaganoNKAHUF #mining #repository #scalability #using
Using the GPGPU for scaling up Mining Software Repositories (RN, HN, YK, BA, KH, NU, AF), pp. 1435–1436.
CGOCGO-2012-MatosevicA #analysis #bottom-up #data access #performance #summary
Efficient bottom-up heap analysis for symbolic path-based data access summaries (IM, TSA), pp. 252–263.
ICSTICST-2012-DurelliOD #mutation testing #testing #towards #virtual machine
Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing (VHSD, JO, MED), pp. 681–690.
ASEASE-2011-RobinsonEPAL #automation #generative #scalability #source code #testing
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.
DATEDATE-2011-MeyerNHBSGSB #configuration management #performance #using
Fast Start-up for Spartan-6 FPGAs using Dynamic Partial Reconfiguration (JM, JN, MH, LB, OS, RMG, RS, JB), pp. 1542–1547.
DATEDATE-2011-MichelFP #embedded #simulation
Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation (LM, NF, FP), pp. 277–280.
DATEDATE-2011-YehHWL #framework #simulation
Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method (YFY, CYH, CAW, HCL), pp. 353–358.
ICDARICDAR-2011-HuZ #online #recognition #using
HMM-Based Recognition of Online Handwritten Mathematical Symbols Using Segmental K-Means Initialization and a Modified Pen-Up/Down Feature (LH, RZ), pp. 457–462.
SIGMODSIGMOD-2011-Quiane-RuizPSD #pipes and filters
RAFT at work: speeding-up mapreduce applications under task and node failures (JAQR, CP, JS, JD), pp. 1225–1228.
VLDBVLDB-2011-MogaT #named #realtime
UpStream: A Storage-centric Load Management System for Real-time Update Streams (AM, NT), pp. 1442–1445.
VLDBVLDB-2011-NiuRDS #logic #markov #named #network #scalability #statistics #using
Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS (FN, CR, AD, JWS), pp. 373–384.
CSEETCSEET-2011-BromanS #how #question #re-engineering #student
How can we make software engineering text books well-founded, up-to-date, and accessible to students? (DB, KS), pp. 386–390.
DLTDLT-J-2010-FrieseSM11 #bottom-up #normalisation #transducer
Earliest Normal Form and Minimization for Bottom-up Tree Transducers (SF, HS, SM), pp. 1607–1623.
FMFM-2011-FisherPV
The Only Way Is Up (JF, NP, MYV), pp. 3–11.
CHICHI-2011-DavidoffZZD #coordination #learning #product line
Learning patterns of pick-ups and drop-offs to support busy family coordination (SD, BDZ, JZ, AKD), pp. 1175–1184.
CHICHI-2011-JakobsenH #bibliography #interface #visualisation
Sizing up visualizations: effects of display size in focus+context, overview+detail, and zooming interfaces (MRJ, KH), pp. 1451–1460.
CHICHI-2011-MarshallMRKD #approach #how #interface #multi
Rethinking “multi-user”: an in-the-wild study of how groups approach a walk-up-and-use tabletop interface (PM, RM, YR, SK, MD), pp. 3033–3042.
CHICHI-2011-WahidMDEH #exclamation
Don’t drop it!: pick it up and storyboard (SW, DSM, JD, NE, SH), pp. 1571–1580.
HCIDUXU-v2-2011-NakataniOKNH #case study #internet #layout
The Layout for the User-Friendly Manual: Case Study on an Internet Set-Up Manual (MN, TO, YK, AN, SH), pp. 40–45.
HCIHCI-DDA-2011-ZimmermanKPBLJ #how #performance #quote
“How Do I Line Up?”: Reducing Mental Transformations to Improve Performance (GWZ, DSK, GMP, JB, LML, SDJ), pp. 432–440.
HCIHCI-MIIE-2011-CharissisPMA #evaluation #interface #prototype
Evaluation of Collision Avoidance Prototype Head-Up Display Interface for Older Drivers (VC, SP, LMM, SA), pp. 367–375.
CAiSECAiSE-2011-MedjahedM #bottom-up #fault #web #web service
Bottom-Up Fault Management in Composite Web Services (BM, ZM), pp. 597–611.
ICEISICEIS-v4-2011-Ganesan #enterprise #framework #modelling #process #using
Composite Enterprise Process Modeling (CEProM) Framework — Setting up a Process Modeling Center of Excellence using CEProM Framework (EG), pp. 378–383.
CIKMCIKM-2011-YuKL #approach #bidirectional #bottom-up #information management #top-down #towards
Towards a top-down and bottom-up bidirectional approach to joint information extraction (XY, IK, MRL), pp. 847–856.
ICMLICML-2011-IkonomovskaGZD
Speeding-Up Hoeffding-Based Regression Trees With Options (EI, JG, BZ, SD), pp. 537–544.
ICMLICML-2011-UrnerSB #predict
Access to Unlabeled Data can Speed up Prediction Time (RU, SSS, SBD), pp. 641–648.
KDDKDD-2011-BhaduriMG #algorithm #detection
Algorithms for speeding up distance-based outlier detection (KB, BLM, CG), pp. 859–867.
SIGIRSIGIR-2011-ChenBSCG #named #performance #personalisation #privacy #web
UPS: efficient privacy protection in personalized web search (GC, HB, LS, KC, YG), pp. 615–624.
SIGIRSIGIR-2011-MartinHRF #music #retrieval #towards
Towards an indexing method to speed-up music retrieval (BM, PH, MR, PF), pp. 1167–1168.
SIGIRSIGIR-2011-ZhangMLM #approach #how #information retrieval #ranking
How to count thumb-ups and thumb-downs?: an information retrieval approach to user-rating based ranking of items (DZ, RM, HL, JM), pp. 1223–1224.
OOPSLAOOPSLA-2011-CledatKP #programming
Efficiently speeding up sequential computation through the n-way programming model (RC, TK, SP), pp. 537–554.
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.
SPLCSPLC-2011-Pohjalainen #agile #bottom-up #case study #experience #mobile #modelling #network #product line
Bottom-up Modeling for a Software Product Line: An Experience Report on Agile Modeling of Governmental Mobile Networks (PP), pp. 323–332.
HPDCHPDC-2011-BalkirFR #architecture #distributed #mining #pipes and filters #using
A distributed look-up architecture for text mining applications using mapreduce (ASB, ITF, AR), pp. 279–280.
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.
ICSTSAT-2011-GableskeH #named #random #satisfiability #using
EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation (OG, MH), pp. 367–368.
DATEDATE-2010-YangCZH #multi #satisfiability
SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal (FY, YC, QZ, JH), pp. 1369–1372.
DATEDATE-2010-ZhangDYMZKCPS #code generation #compilation #evaluation
A special-purpose compiler for look-up table and code generation for function evaluation (YZ, LD, PY, SPM, HZ, MTK, CC, NP, XS), pp. 1130–1135.
VLDBVLDB-2010-AilamakiHJMOW
Time for Our Field to Grow Up (AA, LMH, HVJ, DM, MTÖ, MW), p. 1658.
VLDBVLDB-2010-DeutchGM #navigation
Navigating in Complex Mashed-Up Applications (DD, OG, TM), pp. 320–329.
SCAMSCAM-2010-Graf #dependence #generative
Speeding Up Context-, Object- and Field-Sensitive SDG Generation (JG), pp. 105–114.
PLDIPLDI-2010-BurckhardtDMT #automation #named
Line-up: a complete and automatic linearizability checker (SB, CD, MM, RT), pp. 330–340.
DLTDLT-2010-FrieseSM #bottom-up #transducer
Minimization of Deterministic Bottom-Up Tree Transducers (SF, HS, SM), pp. 185–196.
CHICHI-2010-KuznetsovP #low cost #named #persuasion
UpStream: motivating water conservation with low-cost water flow sensing and persuasive displays (SK, EP), pp. 1851–1860.
CSCWCSCW-2010-KirkISTBH #product line
Opening up the family archive (DSK, SI, AS, ST, RB, OH), pp. 261–270.
CAiSECAiSE-2010-KohlbornLKFRRK #approach #bottom-up #concept
Conceptualizing a Bottom-Up Approach to Service Bundling (TK, CL, AK, EF, MR, CR, HK), pp. 129–134.
ICEISICEIS-DISI-2010-AndreiRD #authentication #online
Solutions for Speeding-up On-line Dynamic Signature Authentication (VA, SMR, SD), pp. 121–126.
ICMLICML-2010-DavisD #bottom-up #learning #markov #network
Bottom-Up Learning of Markov Network Structure (JD, PMD), pp. 271–278.
ICPRICPR-2010-TsaiHTC #detection #pipes and filters #predict #scalability #using
Learning-Based Vehicle Detection Using Up-Scaling Schemes and Predictive Frame Pipeline Structures (YMT, KYH, CCT, LGC), pp. 3101–3104.
ICPRICPR-2010-WangAYL #bottom-up #estimation #learning #top-down #using
Combined Top-Down/Bottom-Up Human Articulated Pose Estimation Using AdaBoost Learning (SW, HA, TY, SL), pp. 3670–3673.
KDDKDD-2010-TsengWSY #algorithm #mining #named #performance
UP-Growth: an efficient algorithm for high utility itemset mining (VST, CWW, BES, PSY), pp. 253–262.
KDIRKDIR-2010-PalmeriniRMCV #feature model
Feature Selection for the Instrumented Timed Up and Go in Parkinson’s Disease (LP, LR, SM, LC, FV), pp. 95–99.
SIGIRSIGIR-2010-SandersonPCK #evaluation #metric #question
Do user preferences and evaluation measures line up? (MS, MLP, PDC, EK), pp. 555–562.
MODELSMoDELS-v2-2010-KulkarniRR #experience #lessons learnt #modelling #scalability
Scaling Up Model Driven Engineering — Experience and Lessons Learnt (VK, SR, AR), pp. 331–345.
LOPSTRLOPSTR-2010-InsaS #algorithm #debugging #execution #scalability
Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.
RERE-2010-MahauxHM #requirements
Making It all Up: Getting in on the Act to Improvise Creative Requirements (MM, PH, NAMM), pp. 375–376.
SACSAC-2010-ComuzziS #monitoring
Dynamic set-up of monitoring infrastructures for service based systems (MC, GS), pp. 2414–2421.
PLEASEPLEASE-2010-Hanssen #product line
Opening up software product line engineering (GKH), pp. 1–7.
CGOCGO-2010-Srisa-anCSS #memory management #self
A self-adjusting code cache manager to balance start-up time and memory usage (WSa, MBC, YS, MS), pp. 82–91.
HPCAHPCA-2010-KahngKKS #design #reliability #trade-off
Designing a processor from the ground up to allow voltage/reliability tradeoffs (ABK, SK, RK, JS), pp. 1–11.
ICLPICLP-2010-Brass10 #bottom-up #evaluation #implementation
Implementation Alternatives for Bottom-Up Evaluation (SB), pp. 44–53.
DATEDATE-2009-CabodiCGMNQ #constraints #model checking #verification
Speeding up model checking by exploiting explicit and hidden verification constraints (GC, PC, LG, MM, SN, SQ), pp. 1686–1691.
DATEDATE-2009-Dubrova #how
How to speed-up your NLFSR-based stream cipher (ED), pp. 878–881.
DATEDATE-2009-ZiermannWT #network #protocol
CAN+: A new backward-compatible Controller Area Network (CAN) protocol with up to 16× higher data rates (TZ, SW, JT), pp. 1088–1093.
ICDARICDAR-2009-Smet #automation #documentation #forensics #re-engineering
Semi-automatic Forensic Reconstruction of Ripped-up Documents (PdS), pp. 703–707.
ICDARICDAR-2009-XiuB #recognition #scalability
Scaling Up Whole-Book Recognition (PX, HSB), pp. 698–702.
CSEETCSEET-2009-ThompsonE09a #how #question #student
How Can We Scale-Up Student Admissions and Graduate Completions? (JBT, HME), pp. 298–299.
SASSAS-2009-GulavaniCRN #analysis #bottom-up
Bottom-Up Shape Analysis (BSG, SC, GR, AVN), pp. 188–204.
ICALPICALP-v2-2009-ClementiPS #named
MANETS: High Mobility Can Make Up for Low Transmission Power (AEFC, FP, RS), pp. 387–398.
CHICHI-2009-HansenG #recommendation
Mixing it up: recommending collections of items (DLH, JG), pp. 1217–1226.
CHICHI-2009-WigdorJFBS #collaboration #deployment #design #development #multi #named #visual notation
WeSpace: the design development and deployment of a walk-up and share multi-surface visual collaboration system (DW, HJ, CF, MB, CS), pp. 1237–1246.
HCIHCI-AUII-2009-BreuerKWPS
Love at First Encounter — Start-Up of New Applications (HB, MK, MW, NP, FS), pp. 585–594.
HCIHCI-NT-2009-AdikariMC #agile #approach #design #requirements #usability
Little Design Up-Front: A Design Science Approach to Integrating Usability into Agile Requirements Engineering (SA, CM, JAC), pp. 549–558.
HCIHCI-VAD-2009-CharissisPV #case study #development #interface
Interface Development for Early Notification Warning System: Full Windshield Head-Up Display Case Study (VC, SP, GV), pp. 683–692.
CIKMCIKM-2009-ArmstrongMWZ #ad hoc #retrieval
Improvements that don’t add up: ad-hoc retrieval results since 1998 (TGA, AM, WW, JZ), pp. 601–610.
CIKMCIKM-2009-PhamRMSB #sequence #summary
Time sequence summarization to scale up chronology-dependent applications (QKP, GR, NM, RSP, BB), pp. 1137–1146.
KDDKDD-2009-Macskassy #empirical #graph #learning #metric #using
Using graph-based metrics with empirical risk minimization to speed up active learning on networked data (SAM), pp. 597–606.
KMISKMIS-2009-BahrsH #case study #evaluation #process
KMDL for Innovation and Production Ramp-up Process Evaluation — A Case Study (JB, PH), pp. 280–283.
RecSysRecSys-2009-WedelRC #personalisation #recommendation
Up close and personalized: a marketing view of recommendation systems (MW, RTR, TSC), pp. 3–4.
SACSAC-2009-LopesZ #database #named #relational #scalability
HTILDE: scaling up relational decision trees for very large databases (CL, GZ), pp. 1475–1479.
ASPLOSASPLOS-2009-TiwariWMMCS #data flow
Complete information flow tracking from the gates up (MT, HMGW, BM, SM, FTC, TS), pp. 109–120.
HPCAHPCA-2009-GreskampWKCTCZ #design #named
Blueshift: Designing processors for timing speculation from the ground up (BG, LW, URK, JJC, JT, DC, CBZ), pp. 213–224.
DACDAC-2008-ReyKRCVKT #challenge #generative #multi #question
Next generation wireless-multimedia devices: who is up for the challenge? (JCR, AK, JMR, CC, TV, IK, TBT), pp. 353–354.
VLDBVLDB-2008-KoltsidasV
Flashing up the storage layer (IK, SV), pp. 514–525.
TACASTACAS-2008-BarnatBSW #ltl #model checking
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking (JB, LB, PS, MW), pp. 48–62.
ICSMEICSM-2008-AntoniolHGP #cost analysis #reuse
Reuse or rewrite: Combining textual, static, and dynamic analyses to assess the cost of keeping a system up-to-date (GA, JHH, YGG, MDP), pp. 147–156.
DLTDLT-J-2007-JirasekJS08 #automaton #finite #nondeterminism
Deterministic blow-UPS of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 617–631.
DLTDLT-2008-EngelfrietLM #bottom-up #multi #transducer
Extended Multi Bottom-Up Tree Transducers (JE, EL, AM), pp. 289–300.
ICALPICALP-A-2008-RegevS #quantum
Impossibility of a Quantum Speed-Up with a Faulty Oracle (OR, LS), pp. 773–781.
ICFPICFP-2008-DreyerR #mixin #ml
Mixin’ up the ML module system (DD, AR), pp. 307–320.
CHICHI-2008-Joinson #facebook #people
Looking at, looking up or keeping up with people?: motives and use of facebook (ANJ), pp. 1027–1036.
CHICHI-2008-LindleyCB #behaviour #experience #game studies #social
Stirring up experience through movement in game play: effects on engagement and social behaviour (SEL, JLC, NB), pp. 511–514.
CSCWCSCW-2008-BurkeK #modelling #wiki
Mopping up: modeling wikipedia promotion decisions (MB, RK), pp. 27–36.
EDOCEDOC-2008-SimoninADTJN #architecture #development #enterprise #named
EA4UP: An Enterprise Architecture-Assisted Telecom Service Development Method (JS, FA, JPD, YLT, JMJ, BN), pp. 279–285.
CIKMCIKM-2008-BekkermanS #clustering #scalability #state of the art #weaving
Data weaving: scaling up the state-of-the-art in data clustering (RB, MS), pp. 1083–1092.
CIKMCIKM-2008-HerschelN #detection #graph #scalability
Scaling up duplicate detection in graph data (MH, FN), pp. 1325–1326.
CIKMCIKM-2008-WangLCLO #network #semantics
Speed up semantic search in p2p networks (QW, RL, LC, JL, MTÖ), pp. 1341–1342.
ICPRICPR-2008-ThomeA #bottom-up #detection #invariant
A bottom-up, view-point invariant human detector (NT, SA), pp. 1–4.
ICPRICPR-2008-XuP #image
Finding the splitting vector for image resolution up-conversion (XX, HP), pp. 1–4.
KDDKDD-2008-FormanR #classification #file system #scalability
Scaling up text classification for large file systems (GF, SR), pp. 239–246.
ICSTSAT-2008-StachniakB #learning #satisfiability
Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning (ZS, AB), pp. 257–270.
WICSAWICSA-2007-Sarang #architecture
Setting up Architect Team (PS), p. 18.
CASECASE-2007-KratochvilDZN #automation #metric
Automatic Nanorobotic Characterization of Anomalously Rolled-up SiGe/Si Helical Nanobelts through Vision-based Force Measurement (BK, LD, LZ, BJN), pp. 57–62.
DATEDATE-2007-BonnyH #performance
Efficient code density through look-up table compression (TB, JH), pp. 809–814.
DATEDATE-2007-NaguibG #process #simulation
Speeding up SystemC simulation through process splitting (YNN, RSG), pp. 111–116.
DATEDATE-2007-YeungTB #framework #interactive #interface #multi #novel
Interactive presentation: Novel test infrastructure and methodology used for accelerated bring-up and in-system characterization of the multi-gigahertz interfaces on the cell processor (PY, AT, PB), pp. 725–730.
ICDARICDAR-2007-CaoPNM #bottom-up #fault #robust #segmentation #top-down
Robust Page Segmentation Based on Smearing and Error Correction Unifying Top-down and Bottom-up Approaches (HC, RP, PN, EM), pp. 392–396.
TACASTACAS-2007-KatoenKZJ #bisimulation #model checking #probability
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking (JPK, TK, ISZ, DNJ), pp. 87–101.
DLTDLT-2007-JirasekJS #automaton #finite #nondeterminism
Deterministic Blow-Ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 254–265.
HCIHCI-IDU-2007-HodgettsJ #cost analysis
Reminders, Alerts and Pop-ups: The Cost of Computer-Initiated Interruptions (HMH, DMJ), pp. 818–826.
HCIHCI-IDU-2007-LimLK #development #programming #visual notation #web
Application of Visual Programming to Web Mash Up Development (SCL, SL, JK), pp. 1139–1148.
HCIHCI-IPT-2007-AsaiK #comparative
Comparative Characteristics of a Head-Up Display for Computer-Assisted Instruction (KA, HK), pp. 531–540.
HCIHIMI-IIE-2007-TaketaHKN #artificial reality
Virtual Pop-Up Book Based on Augmented Reality (NT, KH, HK, SN), pp. 475–484.
HCIOCSC-2007-CarcilloR #bottom-up #classification #top-down
Tags for Citizens: Integrating Top-Down and Bottom-Up Classification in the Turin Municipality Website (FC, LR), pp. 256–264.
ICEISICEIS-DISI-2007-GroppeGL #order #using
Using an index of precomputed joins in order to speed up SPARQL processing (SG, JG, VL), pp. 13–20.
ICEISICEIS-SAIC-2007-ChenC #bottom-up #detection #difference #process
A Simulation-Based Difference Detection Technique for Bottom-Up Process Reconciliation (XC, PWHC), pp. 72–77.
CIKMCIKM-2007-LempelMOSPS
Just in time indexing for up to the second search (RL, YM, SOK, DS, YP, RS), pp. 97–106.
ICMLICML-2007-MihalkovaM #bottom-up #learning #logic #markov #network
Bottom-up learning of Markov logic network structure (LM, RJM), pp. 625–632.
OOPSLAOOPSLA-2007-McDirmid #live programming #programming language
Living it up with a live programming language (SM), pp. 623–638.
RERE-2007-BorgPS #capacity #requirements
Extending the OpenUP/Basic Requirements Discipline to Specify Capacity Requirements (AB, MP, KS), pp. 328–333.
REFSQREFSQ-2007-BorgPS #capacity #process #requirements
Integrating an Improvement Model of Handling Capacity Requirements with the OpenUP/Basic Process (AB, MP, KS), pp. 341–354.
SACSAC-2007-CiferriCFTS #performance #query
Horizontal fragmentation as a technique to improve the performance of drill-down and roll-up queries (CDdAC, RRC, DTF, AJMT, FdFdS), pp. 494–499.
CSLCSL-2007-Burel #bound #deduction
Unbounded Proof-Length Speed-Up in Deduction Modulo (GB), pp. 496–511.
RTARTA-2007-DurandS #bottom-up
Bottom-Up Rewriting Is Inverse Recognizability Preserving (ID, GS), pp. 107–121.
ICSTSAT-2007-EenMS #logic #satisfiability #synthesis
Applying Logic Synthesis for Speeding Up SAT (NE, AM, NS), pp. 272–286.
QoSAQoSA-2006-KruchtenLV #architecture #reasoning
Building Up and Reasoning About Architectural Knowledge (PK, PL, HvV), pp. 43–58.
DACDAC-2006-EeckelaertSGSS #design #optimisation #standard
Hierarchical bottom--up analog optimization methodology validated by a delta-sigma A/D converter design for the 802.11a/b/g standard (TE, RS, GGEG, MS, WMCS), pp. 25–30.
DACDAC-2006-GuCO #game studies
Games are up for DVFS (YG, SC, WTO), pp. 598–603.
DACDAC-2006-YangCTRC #design
An up-stream design auto-fix flow for manufacturability enhancement (JY, EC, CT, NR, MC), pp. 73–76.
SIGMODSIGMOD-2006-JagadishOTVZ #multi #network #peer-to-peer
Speeding up search in peer-to-peer networks with a multi-way tree structure (HVJ, BCO, KLT, QHV, RZ), pp. 1–12.
VLDBVLDB-2006-ChenLTHAC #bottom-up #documentation #named #query #stack #xml
Twig2Stack: Bottom-up Processing of Generalized-Tree-Pattern Queries over XML Documents (SC, HGL, JT, WPH, DA, KSC), pp. 283–294.
ITiCSEITiCSE-2006-Pullen #distance #education #scalability
Scaling up a distance education program in computer science (JMP), pp. 33–37.
STOCSTOC-2006-Weitz #independence #set
Counting independent sets up to the tree threshold (DW), pp. 140–149.
CHICHI-2006-Furnas
A fisheye follow-up: further reflections on focus + context (GWF), pp. 999–1008.
CHICHI-2006-HawkeyI #comprehension #privacy
Keeping up appearances: understanding the dimensions of incidental information privacy (KH, KMI), pp. 821–830.
ICMLICML-2006-PandaCW #bound #concept #detection
Concept boundary detection for speeding up SVMs (NP, EYC, GW), pp. 681–688.
ICPRICPR-v2-2006-PanBD #bottom-up #contest #functional #image #segmentation #using
Bottom-Up Hierarchical Image Segmentation Using Region Competition and the Mumford-Shah Functional (YP, JDB, SMD), pp. 117–121.
KDDKDD-2006-WuCCH #approximate #incremental #matrix
Incremental approximate matrix factorization for speeding up support vector machines (GW, EYC, YKC, CJH), pp. 760–766.
SACSAC-2006-RouguiRAGM #documentation #modelling #retrieval #scalability #set
Hierarchical organization of a set of Gaussian mixture speaker models for scaling up indexing and retrieval in audio documents (JER, MR, DA, MG, JMM), pp. 1369–1373.
IJCARIJCAR-2006-BaumgartnerS #bottom-up #generative
Blocking and Other Enhancements for Bottom-Up Model Generation Methods (PB, RAS), pp. 125–139.
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.
WICSAWICSA-2005-KruchtenLVW #architecture
Building up and Exploiting Architectural Knowledge (PK, PL, HvV, TW), pp. 291–292.
ICDARICDAR-2005-Aradhye
A Generic Method for Determining the Up/Down Orientation of Text in Roman and Non-roman Scripts (HBA), pp. 187–191.
SIGMODSIGMOD-2005-HaasHHPR #industrial #prototype #research
Clio grows up: from research prototype to industrial tool (LMH, MAH, HH, LP, MR), pp. 805–810.
CSEETCSEET-2005-NavarroH05a #design #how #prototype #scalability #student
Scaling up: How Thirty-two Students Collaborated and Succeeded in Developing a Prototype Software Design Environment (EON, AvdH), pp. 155–162.
ESOPESOP-2005-ShiversW #bottom-up
Bottom-Up β-Reduction: Uplinks and λ-DAGs (OS, MW), pp. 217–232.
ICALPICALP-2005-ChlebusGKR #network #on the #problem
On the Wake-Up Problem in Radio Networks (BSC, LG, DRK, TR), pp. 347–359.
ICALPICALP-2005-Pous #bisimulation
Up-to Techniques for Weak Bisimulation (DP), pp. 730–741.
CIKMCIKM-2005-Ioannidis #data transformation
Emerging data management systems: close-up and personal (YEI), p. 2.
SEKESEKE-2005-ChangL #compilation #data-driven
Compiler Techniques for Data Driven Languages with Superlinear Speed-up (LHC, ELL), pp. 543–549.
SACSAC-2005-YimKK #memory management #performance
A fast start-up technique for flash memory based computing systems (KSY, JK, KK), pp. 843–849.
ICSEICSE-2005-HenkelD #api #evolution #exclamation #game studies #refactoring
CatchUp!: capturing and replaying refactorings to support API evolution (JH, AD), pp. 274–283.
ICLPICLP-2005-GallagherHB #analysis #scalability
Techniques for Scaling Up Analyses Based on Pre-interpretations (JPG, KSH, GB), pp. 280–296.
DATEDATE-v1-2004-WinkelmannTSF #low cost #verification
Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor (KW, HJT, DS, GF), pp. 162–167.
DATEDATE-v2-2004-DuanK
Exploiting Crosstalk to Speed up On-Chip Buse (CD, SPK), pp. 778–783.
CSEETCSEET-2004-Anger #question
Will the Real Software Engineer Please Stand Up? (FDA), pp. 4–5.
SASSAS-2004-NystromKH #analysis #bottom-up #pointer #top-down
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis (EMN, HSK, WmWH), pp. 165–180.
ICALPICALP-2004-FominT #algorithm #exponential #graph #kernel #linear #performance
Fast Parameterized Algorithms for Graphs on Surfaces: Linear Kernel and Exponential Speed-Up (FVF, DMT), pp. 581–592.
ICEISICEIS-v2-2004-ValleP #communication
Decision Follow-Up Support Mechanism Based on Asynchronous Communication (CV, WP), pp. 423–429.
ECIRECIR-2004-HungWS #bottom-up #clustering #predict #top-down
Predictive Top-Down Knowledge Improves Neural Exploratory Bottom-Up Clustering (CH, SW, PS), pp. 154–166.
ICMLICML-2004-AhnCO #algorithm #multi
A multiplicative up-propagation algorithm (JHA, SC, JHO).
ICPRICPR-v3-2004-IshiiO #3d #using
Perfect Perspective Projection using a Varifocal Mirror and Its Application to Three-Dimensional Close-Up Imaging (AI, RO), pp. 270–273.
RERE-2004-DagGBR #requirements
Speeding up Requirements Management in a Product Software Company: Linking Customer Wishes to Product Requirements through Linguistic Engineering (JNoD, VG, SB, BR), pp. 283–294.
SACSAC-2004-AlvezLO #bottom-up
Constructive negation by bottom-up computation of literal answers (, PL, FO), pp. 1468–1475.
DATEDATE-2003-DaglioR #bottom-up #design #top-down
A Fully Qualified Top-Down and Bottom-Up Mixed-Signal Design Flow for Non Volatile Memories Technologies (PD, CR), pp. 20274–20279.
DocEngDocEng-2003-JanssenP #library #named
UpLib: a universal personal digital library system (WCJ, KP), pp. 234–242.
DRRDRR-2003-ClementsS
Speed-up of optical scanner characterization subsystem (RDC, EHBS), pp. 94–102.
VLDBVLDB-2003-LeeHJT #approach #bottom-up
Supporting Frequent Updates in R-Trees: A Bottom-Up Approach (MLL, WH, CSJ, BC, KLT), pp. 608–619.
VLDBVLDB-2003-XinHLW #bottom-up #integration #named #top-down
Star-Cubing: Computing Iceberg Cubes by Top-Down and Bottom-Up Integration (DX, JH, XL, BWW), pp. 476–487.
VLDBVLDB-2003-ZhouS #clustering #metric
Data Bubbles for Non-Vector Data: Speeding-up Hierarchical Clustering in Arbitrary Metric Spaces (JZ, JS), pp. 452–463.
ITiCSEITiCSE-2003-Knuth #bottom-up #education
Bottom-up education (DEK), p. 2.
STOCSTOC-2003-LuRVW #constant #named
Extractors: optimal up to constant factors (CJL, OR, SPV, AW), pp. 602–611.
ICEISICEIS-v2-2003-BenninghoffN #distributed #monitoring #scalability
Scaling Up Information Updates in Distributed Condition Monitoring (PB, SN), pp. 132–139.
SACSAC-2003-FrumentoBG #community #design #web
Echo-Cardiography on the Web: Design and Set-Up of a Virtual Community of Experts (EF, EB, LG), pp. 240–245.
PPoPPPPoPP-2003-Nienaltowski #exclamation
SCOOP It up! (PN), p. 3.
DATEDATE-2002-BerrojoGCRSEL #injection
New Techniques for Speeding-Up Fault-Injection Campaigns (LB, IG, FC, MSR, GS, LE, CL), pp. 847–852.
DATEDATE-2002-PilarskiH #satisfiability
Speeding up SAT for EDA (SP, GH), p. 1081.
DATEDATE-2002-StanP
The Selective Pull-Up (SP) Noise Immunity Scheme for Dynamic Circuits (MRS, AP), p. 1106.
CSEETCSEET-2002-McCracken #bottom-up #comprehension #design #education #modelling #re-engineering
Models of Designing: Understanding Software Engineering Education from the Bottom Up (WMM), p. 55–?.
SASSAS-2002-AdamsBDLRSW #analysis #data flow #pointer #using
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis (SA, TB, MD, SL, SKR, MS, WW), pp. 230–246.
ICEISICEIS-2002-Carballo #estimation
Risk Managment in the New Economy: Estimation and Control of Projects for E-Business and Start-Ups (RC), p. 35.
ICPRICPR-v1-2002-CamusW #image #performance #reliability
Reliable and Fast Eye Finding in Close-up Images (TAC, RPW), pp. 389–394.
ICPRICPR-v2-2002-ChenC
Speeding up SVM Decision Based on Mirror Points (JHC, CSC), pp. 869–872.
KDDKDD-2002-StoreyC #modelling #optimisation
Exploiting response models: optimizing cross-sell and up-sell opportunities in banking (AS, MDC), pp. 325–331.
LOPSTRLOPSTR-2002-ClaytonCPU #bottom-up #logic programming
Tabling Structures for Bottom-Up Logic Programming (RC, JGC, BP, MU), pp. 50–51.
ICSEICSE-2002-Sreedhar #component #mixin
Mixin Up components (VCS), pp. 198–207.
CAVCAV-2002-RybinaV #canonical #infinity #model checking #using
Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking (TR, AV), pp. 386–400.
DACDAC-2001-PetrovO #architecture #embedded
Speeding Up Control-Dominated Applications through Microarchitectural Customizations in Embedded Processors (PP, AO), pp. 512–517.
ICDARICDAR-2001-KogaMSF #2d #bottom-up #parsing #recognition #segmentation
A Recognition Method of Machine-Printed Monetary Amounts Based on the Two-Dimensional Segmentation and the Bottom-up Parsing (MK, RM, HS, HF), pp. 968–971.
ICDARICDAR-2001-VuoriLOK #online #prototype #recognition #set
Speeding Up On-line Recognition of Handwritten Characters by Pruning the Prototype Set (VV, JL, EO, JK), pp. 501–507.
FLOPSFLOPS-2001-Almendros-JimenezB #bottom-up #evaluation #framework #functional #logic programming #source code
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs (JMAJ, ABT), pp. 153–169.
FLOPSFLOPS-2001-BozzanoDM #bottom-up #effectiveness #first-order #linear #logic programming #semantics #source code
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs (MB, GD, MM), pp. 138–152.
ICALPICALP-2001-AlberFN #complexity #exponential #graph #problem
Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems (JA, HF, RN), pp. 261–272.
ICMLICML-2001-DomingosH #algorithm #clustering #machine learning #scalability
A General Method for Scaling Up Machine Learning Algorithms and its Application to Clustering (PMD, GH), pp. 106–113.
SEKESEKE-2001-Kajko-MattssonTA #maintenance #named
CM3: Up-Front Maintenance (MKM, LOT, PA), pp. 371–378.
TOOLSTOOLS-USA-2001-McClure #how #privacy #security
Hacking = Privacy: How Computer Hacking Can Shore Up Your Defenses and Deliver the Closest Ideal to Security Available (SM), p. 7.
CAVCAV-2001-JohannsenB #design #named
BooStER: Speeding Up RTL Property Checking of Digital Designs by Word-Level Abstarction (PJ), pp. 373–377.
IJCARIJCAR-2001-GanzingerM #bottom-up #logic programming #source code #theorem
A New Meta-complexity Theorem for Bottom-Up Logic Programs (HG, DAM), pp. 514–528.
CSMRCSMR-2000-JohnstoneSW #assembly #challenge #compilation #control flow #what
What Assembly Language Programmers Get Up To: Control Flow Challenges in Reverse Compilation (AJ, ES, TW), pp. 83–92.
STOCSTOC-2000-EdelsbrunnerLMSTTUW
Smoothing and cleaning up slivers (HE, XYL, GLM, AS, DT, SHT, , NW), pp. 273–277.
ICMLICML-2000-MorimotoD #behaviour #learning #using
Acquisition of Stand-up Behavior by a Real Robot using Hierarchical Reinforcement Learning (JM, KD), pp. 623–630.
ICPRICPR-v2-2000-MarzalB #distance #edit distance #string
Speeding Up the Computation of the Edit Distance for Cyclic Strings (AM, SB), pp. 2891–2894.
ICPRICPR-v2-2000-PavlovMD #algorithm #using
Scaling-Up Support Vector Machines Using Boosting Algorithm (DP, JM, BD), pp. 2219–2222.
KDDKDD-2000-KeoghP #scalability
Scaling up dynamic time warping for datamining applications (EJK, MJP), pp. 285–289.
TOOLSTOOLS-USA-2000-Henderson-SellersU #uml
OPEN-ing up the UML (BHS, BU), pp. 479–482.
PPDPPPDP-2000-BozzanoDM #bottom-up #linear #logic programming #semantics #source code
A bottom-up semantics for linear logic programs (MB, GD, MM), pp. 92–102.
CADECADE-2000-Gillard #calculus #concurrent #formal method
A Formalization of a Concurrent Object Calculus up to alpha-Conversion (GG), pp. 417–432.
ICLPCL-2000-HruzaS #logic programming #source code
Binary Speed Up for Logic Programs (JH, PS), pp. 116–130.
SIGMODSIGMOD-1999-BeyerR #bottom-up
Bottom-Up Computation of Sparse and Iceberg CUBEs (KSB, RR), pp. 359–370.
FoSSaCSFoSSaCS-1999-BodeiDNN #process #static analysis
Static Analysis of Processes for No and Read-Up and No Write-Down (CB, PD, FN, HRN), pp. 120–134.
TACASTACAS-1999-Hirschkoff #bisimulation #on the #using #verification
On the Benefits of Using the Up-To Techniques for Bisimulation Verification (DH), pp. 285–299.
STOCSTOC-1999-Ben-AmramP
Backing Up in Singly Linked Lists (AMBA, HP), pp. 780–786.
STOCSTOC-1999-ChenLP #markov
Lifting Markov Chains to Speed up Mixing (FC, LL, IP), pp. 275–281.
FMFM-v1-1999-Hoare #bottom-up #programming #top-down
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle (CARH), pp. 1–27.
HCIHCI-CCAD-1999-BarnekowSZS #architecture #bottom-up
An architecture for recovering business events bottom-up (TB, SS, JZ, RS), pp. 614–618.
HCIHCI-EI-1999-Holmquist #question
Will Baby Faces Ever Grow up? (LEH), pp. 706–709.
KDDKDD-1999-WijsenNC #dependence
Discovering Roll-Up Dependencies (JW, RTN, TC), pp. 213–222.
CADECADE-1999-AdamsGLM #named
VSDITLU: a verifiable symbolic definite integral table look-up (AAA, HG, SL, UM), pp. 112–126.
ICMLICML-1998-KearnsM #algorithm #bottom-up #performance
A Fast, Bottom-Up Decision Tree Pruning Algorithm with Near-Optimal Generalization (MJK, YM), pp. 269–277.
PPDPALP-PLILP-1998-VanhoofSM #bottom-up #framework #logic programming #source code
A Framework for Bottom Up Specialisation of Logic Programs (WV, DDS, BM), pp. 54–72.
LOPSTRLOPSTR-1998-VanhoofSM #bottom-up #logic programming #source code
Bottom-Up Specialisation of Logic Programs (WV, DDS, BM), pp. 325–327.
SACSAC-1998-ArapisKP #design #interactive #realtime
Design issues and alternatives for setting up real-time interactive Telelectures (CA, DK, TP), pp. 104–111.
ICSEICSE-1998-SimH #case study #how #problem
The Ramp-Up Problem in Software Projects: A Case Study of How Software Immigrants Naturalize (SES, RCH), pp. 361–370.
DACDAC-1997-Schneider #parallel #trade-off
A Parallel/Serial Trade-Off Methodology for Look-Up Table Based Decoders (CS), pp. 498–503.
DATEEDTC-1997-Gonzalez-TorresMH #set
Full custom chip set for high speed serial communications up to 2.48 Gbit/s (JGT, PAM, JMH), p. 614.
ICDARICDAR-1997-TsengKL #automation #documentation #recognition
Speeding-up Chinese Character Recognition in an Automatic Document Reading System (YHT, CCK, HJL), pp. 629–632.
PEPMPEPM-1997-MullerVM #optimisation #partial evaluation #protocol #scalability
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol (GM, ENV, RM), pp. 116–126.
STOCSTOC-1997-LubyV #approximate
Approximately Counting Up To Four (Extended Abstract) (ML, EV), pp. 682–687.
HCIHCI-CC-1997-AarasHBRT #bibliography #multi #perspective
A Three Years Follow-up Multidisciplinary Ergonomic Interventions. Overview (AA, GH, HHB, OR, MT), pp. 631–634.
KDDKDD-1997-ProvostK #algorithm #bibliography #induction #perspective #scalability
Scaling Up Inductive Algorithms: An Overview (FJP, VK), pp. 239–242.
HPCAHPCA-1997-YangT #memory management #multi
Speeding up the Memory Hierarchy in Flat COMA Multiprocessors (LY, JT), pp. 4–13.
HPDCHPDC-1997-Knafla #adaptation #database #parallel #thread
Speed Up Your Database Client with Adaptable Multithreaded Prefetching (NK), pp. 102–111.
CADECADE-1997-HasegawaIOK #bottom-up #proving #set #theorem proving #top-down
Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving (RH, KI, YO, MK), pp. 176–190.
CADECADE-1997-NiehrenPR #constraints #finite #on the #similarity #unification
On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting (JN, MP, PR), pp. 34–48.
ICLPICLP-1997-Codish #bottom-up #evaluation #logic programming #performance #source code
Efficient Goal Directed Bottom-up Evaluation of Logic Programs (MC), p. 422.
ICLPICLP-1997-ZukowskiF #bottom-up #difference #semantics
Differential Bottom-Up Computation of the Well-Founded Semantics (UZ, BF, SB), p. 421.
DACDAC-1996-EliasM #modelling #scalability
Extracting Circuit Models for Large RC Interconnections that are Accurate up to a Predefined Signal Frequency (PJHE, NPvdM), pp. 764–769.
ESOPESOP-1996-MontanariPY #equivalence #performance
Efficient Minimization up to Location Equivalence (UM, MP, DY), pp. 265–279.
ICALPICALP-1996-JancarE #bisimulation #petri net
Deciding Finiteness of Petri Nets Up To Bisimulation (PJ, JE), pp. 478–489.
ICALPICALP-1996-Wiedermann #nondeterminism
Speeding-up Single-Tape Nondeterministic Computations by Single Alternation, with Separation Results (JW), pp. 381–392.
ICMLICML-1996-GrolimundG #memory management #nearest neighbour
Speeding-up Nearest Neighbour Memories: The Template Tree Case Memory Organisation (SG, JGG), pp. 225–233.
ICMLICML-1996-TadepalliO #approximate #domain model #learning #modelling #scalability
Scaling Up Average Reward Reinforcement Learning by Approximating the Domain Models and the Value Function (PT, DO), pp. 471–479.
ICPRICPR-1996-Pavlidis #bottom-up #challenge #documentation #process #recognition #top-down
Challenges in document recognition bottom up and top down processes (TP), pp. 500–504.
KDDKDD-1996-Kohavi #classification #hybrid #scalability
Scaling Up the Accuracy of Naive-Bayes Classifiers: A Decision-Tree Hybrid (RK), pp. 202–207.
KRKR-1996-LeshE #recognition #scalability
Scaling Up Goal Recognition (NL, OE), pp. 244–255.
DACDAC-1995-SawkarT #clustering #multi
Multi-way Partitioning for Minimum Delay for Look-Up Table Based FPGAs (PS, DET), pp. 201–205.
STOCSTOC-1995-Pan #algorithm #approximate #parallel #polynomial
Optimal (up to polylog factors) sequential and parallel algorithms for approximating complex polynomial zeros (VYP), pp. 741–750.
CHICHI-1995-MittalM #generative #interactive #natural language
Dynamic Generation of Follow Up Question Menus: Facilitating Interactive Natural Language Dialogues (VOM, JDM), pp. 90–97.
ICMLICML-1995-LittmanCK #learning #policy #scalability
Learning Policies for Partially Observable Environments: Scaling Up (MLL, ARC, LPK), pp. 362–370.
ICLPICLP-1995-BrassD #bottom-up #evaluation #semantics
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation (SB, JD), pp. 199–213.
ICLPILPS-1995-Toman #bottom-up #constraints #datalog #top-down
Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.
SIGMODSIGMOD-1994-CareyDFHMNSSTTWZ #persistent
Shoring Up Persistent Applications (MJC, DJD, MJF, NEH, MLM, JFN, DTS, MHS, CKT, OGT, SJW, MJZ), pp. 383–394.
CSEETCSEE-1994-Dalcher #case study #community #re-engineering
Falling Down is Part of Growing Up; the Study of Failure and the Software Engineering Community (DD), pp. 489–496.
ESOPESOP-1994-JeuringS #analysis #bottom-up #functional
Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.
ICMLICML-1994-ZelleMK #bottom-up #induction #logic programming #top-down
Combining Top-down and Bottom-up Techniques in Inductive Logic Programming (JMZ, RJM, JBK), pp. 343–351.
ECOOPECOOP-1994-ChenTK #multi #performance
Efficient Dynamic Look-Up Strategy for Multi-Methods (WC, VT, WK), pp. 408–431.
ECOOPECOOP-1994-VitekH #message passing #performance
Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages (JV, RNH), pp. 432–449.
PPDPPLILP-1994-Voronkov #bottom-up #implementation
An Implementation Technique for a Class of Bottom-Up Procedures (AV), pp. 147–164.
SACSAC-1994-ChangCG #abstract interpretation #bottom-up #execution #logic programming #source code
Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation (BMC, KMC, RG), pp. 388–393.
SACSAC-1994-Li #equivalence #graph #on the
On the equivalence of pull-up transistor assignment in PLA folding and distribution graph (WNL), pp. 374–378.
FSEFSE-1994-RepsHSR #slicing
Speeding up Slicing (TWR, SH, SS, GR), pp. 11–20.
CADECADE-1994-FribourgP #bottom-up #constraints #datalog #evaluation #source code
Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints (LF, MVP), pp. 311–325.
CADECADE-1994-Schumann #bottom-up #named #preprocessor #proving #theorem proving #top-down
DELTA — A Bottom-up Preprocessor for Top-Down Theorem Provers — System Abstract (JS), pp. 774–777.
ICLPICLP-1994-BossiFM #bottom-up #semantics
A Bottom-up Semantics for Constructive Negation (AB, MF, MCM), pp. 520–534.
LICSLICS-1994-BaazFL #proving
A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation (MB, CGF, AL), pp. 213–219.
DACDAC-1993-CongS #algorithm #bottom-up #clustering #design #parallel
A Parallel Bottom-Up Clustering Algorithm with Applications to Circuit Partitioning in VLSI Design (JC, MS), pp. 755–760.
DACDAC-1993-IqbalPDP #algebra #using
Critical Path Minimization Using Retiming and Algebraic Speed-Up (ZI, MP, SD, ACP), pp. 573–577.
DACDAC-1993-MurgaiBS #array #programmable #synthesis
Sequential Synthesis for Table Look Up Programmable Gate Arrays (RM, RKB, ALSV), pp. 224–229.
DACDAC-1993-SantucciCG #behaviour #heuristic #using
Speed up of Behavioral A.T.P.G. using a Heuristic Criterion (JFS, ALC, NG), pp. 92–96.
DACDAC-1993-SawkarT #performance
Performance Directed Technology Mapping for Look-Up Table Based FPGAs (PS, DET), pp. 208–212.
ICDARICDAR-1993-ChouY #database #research #sorting
Sorting qualities of handwritten Chinese characters for setting up a research database (SLC, SSY), pp. 474–477.
ICDARICDAR-1993-PowalkaSEW #interactive #multi #recognition #segmentation #word
Multiple word segmentation with interactive look-up for cursive script recognition (RKP, NS, LJE, RJW), pp. 196–199.
SIGMODSIGMOD-1993-Zdonik #database #incremental
Incremental Database Systems: Databases from Ground Up (SBZ), pp. 408–412.
FMFME-1993-BowenS #formal method #industrial #perspective #safety
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective (JPB, VS), pp. 183–195.
HCIHCI-ACS-1993-HuuhtanenLNA
Mastering the Changes in Information Technology: A Follow-up Study of Insurance Tasks (PH, TL, TN, KA), pp. 703–708.
HCIHCI-ACS-1993-LindstromLP #implementation
Follow-up of Job Demands and Strain Symptoms after Implementation of New VDT Applications in an Insurance Company (KL, TL, MP), pp. 1005–1010.
HCIHCI-ACS-1993-PuhakainenTL #aspect-oriented #health #implementation
Follow-up after Implementation of a New Data System and Health Aspects in an Insurance Company (MP, IT, KL), pp. 999–1004.
HCIHCI-SHI-1993-MouzakisH #design #multi #process #user interface
Multi-Media Support for Up-Stream User Interface Design Activities (KM, SH), pp. 458–463.
ICMLICML-1993-BrezellecS #bottom-up #learning #named
ÉLÉNA: A Bottom-Up Learning Method (PB, HS), pp. 9–16.
ICMLICML-1993-Lin #learning #scalability
Scaling Up Reinforcement Learning for Robot Control (LJL), pp. 182–189.
PPDPPLILP-1993-CorsiniMRC #abstract interpretation #bottom-up #constraints #finite #performance #prolog #theorem proving
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains (MMC, KM, AR, BLC), pp. 75–91.
ICLPILPS-1993-DelzannoM #bottom-up #finite
A Bottom-Up Characterization of Finite Success (GD, MM), p. 676.
ICLPILPS-1993-Nilsson #bottom-up #evaluation #logic programming #source code
Goal-directed Bottom-up Evaluation of Normal Logic Programs (UN), p. 647.
ICLPILPS-1993-SudarshanR #bottom-up #evaluation #optimisation
Optimizations of Bottom-Up Evaluation with Non-Ground Terms (SS, RR), pp. 557–574.
RTARTA-1993-Lippe #bottom-up #generative
Generating Tables for Bottom-Up Matching (EL), pp. 274–288.
DACDAC-1992-SawkarT #array #programmable
Area and Delay Mapping for Table-Look-Up Based Field Programmable Gate Arrays (PS, DET), pp. 368–373.
DACDAC-1992-WangW #graph #optimisation
A Graph Theoretic Technique to Speed up Floorplan Area Optimization (TCW, DFW), pp. 62–68.
SIGMODSIGMOD-1992-ShashaSV #transaction
Simple Rational Guidance for Chopping Up Transactions (DS, ES, PV), pp. 298–307.
ESOPESOP-1992-GiacobazziR #abstract interpretation #bottom-up #detection
Detecting Determinate Computations by Bottom-up Abstract Interpretation (RG, LR), pp. 167–181.
SASWSA-1992-Kuiper #attribute grammar #detection #parallel
Speeding Up Parallelism Detection for Attribute Grammars (MFK), pp. 152–162.
ICALPICALP-1992-SheuL
UP and the Low and High Hierarchies: A Relativized Separation (MJS, TJL), pp. 174–185.
CHICHI-1992-ResnickV #interface
Skip and scan: cleaning up telephone interface (PR, RAV), pp. 419–426.
PPDPPLILP-1992-Hoa #bottom-up #higher-order #interpreter #logic programming #programming language
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language (AHBH), pp. 326–340.
PPDPPLILP-1992-Thiemann #bottom-up #evaluation #functional #named #source code #tool support
LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs (PT), pp. 481–482.
ICLPJICSLP-1992-KempSS #bottom-up #evaluation #logic programming #query #source code #strict
Query Restricted Bottom-Up Evaluation of Normal Logic Programs (DBK, PJS, DS), pp. 288–302.
ICLPJICSLP-1992-RamakrishnanSS #bottom-up #evaluation
Controlling the Search in Bottom-Up Evaluation (RR, DS, SS), pp. 273–287.
DACDAC-1991-LyM #bottom-up #fuzzy #synthesis
Bottom Up Synthesis Based on Fuzzy Schedules (TAL, JTM), pp. 674–679.
DACDAC-1991-RaithB
A New Hypergraph Based Rip-Up and Reroute Strategy (MR, MB), pp. 54–59.
SIGMODSIGMOD-1991-SudarshanSRN #bottom-up #evaluation #logic programming #optimisation #source code
Space Optimization in the Bottom-Up Evaluation of Logic Programs (SS, DS, RR, JFN), pp. 68–77.
STOCSTOC-1991-FederM #algorithm #clique #graph
Clique Partitions, Graph Compression, and Speeding-Up Algorithms (TF, RM), pp. 123–133.
ICMLML-1991-CerboneD #compilation #optimisation
Knowledge Compilation to Speed Up Numerical Optimization (GC, TGD), pp. 600–604.
LOPSTRLOPSTR-1991-Eusterbrock #abstraction #learning #logic programming #source code
Speed-up Transformations of Logic Programs by Abstraction and Learning (JE), pp. 167–182.
ESECESEC-1991-BarghoutiK #development #rule-based #scalability
Scaling Up Rule-Based Software Development Environments (NSB, GEK), pp. 380–395.
ICLPICLP-1991-FernandezM #bottom-up #database #deduction #evaluation
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases (JAF, JM), pp. 660–675.
ICLPISLP-1991-KempSS #bottom-up #evaluation #modelling #set
Magic Sets and Bottom-Up Evaluation of Well-Founded Models (DBK, DS, PJS), pp. 337–351.
ICLPISLP-1991-RamakrishnanS #bottom-up #revisited #top-down
Top-Down versus Bottom-Up Revisited (RR, SS), pp. 321–336.
RTARTA-1991-CoquideDGV #automaton #bottom-up #term rewriting
Bottom-Up Tree Pushdown Automata and Rewrite Systems (JLC, MD, RG, SV), pp. 287–298.
DACDAC-1990-KundaARN #generative #testing #using
Speed Up of Test Generation Using High-Level Primitives (RPK, JAA, BDR, PN), pp. 594–599.
VLDBVLDB-1990-KuittinenNSS #bottom-up #evaluation #implementation #logic #performance #query
Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries (JK, ON, SS, ESS), pp. 372–379.
VLDBVLDB-1990-RamakrishnanSS #bottom-up #evaluation #fixpoint #logic programming #source code
Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs (RR, DS, SS), pp. 359–371.
CHICHI-1990-LewisPWR #design #interface #testing
Testing a walkthrough methodology for theory-based design of walk-up-and-use interfaces (CHL, PGP, CW, JR), pp. 235–242.
PODSPODS-1989-Ullman #bottom-up #datalog #top-down
Bottom-Up Beats Top-Down for Datalog (JDU), pp. 140–149.
CHICHI-1989-Moore
Responding to “HUH?”: answering vaguely articulated follow-up questions (JDM), pp. 91–96.
ICLPNACLP-1989-Helm #bottom-up #execution #on the
On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution (ARH), pp. 945–962.
STOCSTOC-1988-GabowT #algorithm #problem
Almost-Optimum Speed-ups of Algorithms for Bipartite Matching and Related Problems (HNG, RET), pp. 514–527.
PPDPPLILP-1988-Voisin #adaptation #algorithm #bottom-up #earley #parsing
A Bottom-Up Adaption of Earley’s Parsing Algorithm (FV), pp. 146–160.
ICLPJICSCP-1988-HirschmanHS88 #case study #natural language
OR-Parallel Speed-Up in Natural Language Processing: A Case Study (LH, WCH, RCS), pp. 263–279.
ICLPJICSCP-1988-MarriottS88 #abstract interpretation #bottom-up #logic programming #source code
Bottom-up Abstract Interpretation of Logic Programs (KM, HS), pp. 733–748.
DACDAC-1987-LursinsapG
Improving a PLA Area by Pull-Up Transistor Folding (CL, DG), pp. 608–614.
DACDAC-1987-Rosenberg87a #interactive
A New Interactive Supply/Demand Router with Rip-Up Capability for Printed Circuit Boards (ER), pp. 721–726.
POPLPOPL-1987-Chase #bottom-up #pattern matching
An Improvement to Bottom-up Tree Pattern Matching (DRC), pp. 168–177.
DACDAC-1986-McFarland #behaviour #bottom-up #design #hardware #synthesis #using
Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions (MCM), pp. 474–480.
ICALPICALP-1986-HartmanisH #complexity
Complexity Classes Without Machines: On Complete Languages for UP (JH, LAH), pp. 123–135.
POPLPOPL-1986-HatcherC #bottom-up #code generation #pattern matching
High-Quality Code Generation Via Bottom-Up Tree Pattern Matching (PJH, TWC), pp. 119–130.
DACDAC-1985-MiyoshiKTNA #logic #simulation
Speed up techniques of logic simulation (MM, YK, OT, YN, NA), pp. 812–815.
STOCSTOC-1984-Vishkin #parallel #random
Randomized Speed-Ups in Parallel Computation (UV), pp. 230–239.
ICLPSLP-1984-UeharaOKT84 #bibliography #bottom-up #implementation #logic #parsing
A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique (KU, RO, OK, JT), pp. 220–227.
DACDAC-1982-DeesK #automation
Automated rip-up and reroute techniques (WADJ, PGK), pp. 432–439.
DACDAC-1981-DeesS #performance
Performance of interconnection rip-up and reroute strategies (WADJ, RJSI), pp. 382–390.
DACDAC-1979-Giuliani #design #tool support
Will Disign tools catch up to VLSI design (DG), pp. 544–545.
DACDAC-1979-Marvik #interactive #online #sketching
An interactive routing program with On-line clean-up of sketched routes (OAM), pp. 500–505.
ICALPICALP-1979-Ukkonen #bottom-up #lr #parsing
A Modification of the LR(k) Method for Constructing Compact Bottom-Up Parsers (EU), pp. 646–658.
ICSEICSE-1978-AzemaAB #approach #bottom-up #communication #design #verification
Design and Verification of Communication Procedures: A Bottom-Up Approach (PA, JMA, BB), pp. 168–174.
STOCSTOC-1972-AhoU #lr #parsing
A Technique for Speeding Up LR(k) Parsers (AVA, JDU), pp. 251–263.
ICALPICALP-1972-Kfoury #algebra #algorithm #equivalence
Comparing Algebraic Structures up to Algorithmic Equivalence (DJK), pp. 253–263.
ICALPICALP-1972-Schnorr #programming #question
Does the Computational Speed-up Concern Programming? (CPS), pp. 585–591.
STOCSTOC-1971-ConstableH #complexity
Complexity of Formal Translations and Speed-Up Results (RLC, JH), pp. 244–250.
STOCSTOC-1971-Terrine #algorithm #bottom-up #context-free grammar #generative #parsing #set
An Algorithm Generating the Decision Table of a Deterministic Bottom Up Parser for a Subset of Context Free Grammars (GT), pp. 185–205.
STOCSTOC-1969-Blum #algorithm #effectiveness #on the
On Effective Procedures for Speeding Up Algorithms (MB), pp. 43–53.
STOCSTOC-1969-Young #order #set
Speed-Ups by Changing the Order in Which Sets are Enumerated (Preliminary Version) (PRY), pp. 89–92.

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.