Stem up$ (all stems)

451 papers:

CASE-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.

CASE-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.

CASE-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.

DAC-2015-NishimiyaSS #evaluation #functional #interface #mockup #modelling #network

Evaluation of functional mock-up interface for vehicle power network modeling (KN, TS, SS), p. 6.

DATE-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.

VLDB-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.

VLDB-2015-RenW #graph #morphism #scalability

Exploiting Vertex Relationships in Speeding up Subgraph Isomorphism over Large Graphs (XR, JW), pp. 617–628.

SANER-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.

SAS-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.

CIAA-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.

SEFM-2015-Jakobs #clustering #configuration management #reduction #validation

Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning (MCJ), pp. 159–174.

CHI-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.

CSCW-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.

DHM-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.

DHM-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.

DHM-HM-2015-KikuchiSZTGH #quantifier

Effects of Quantified Instructional Tool on Spray-up Fabrication Method (TK, ES, YZ, YT, AG, HH), pp. 104–113.

DHM-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.

DUXU-IXD-2015-Pauzie

Head Up Display in Automotive: A New Reality for the Driver (AP), pp. 505–516.

HCI-DE-2015-KitamuraJUIS #development

Development of Tidy-up Promotion System by Anthropomorphication of Shared Space (TK, TJ, MU, HI, HS), pp. 360–369.

HIMI-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.

HIMI-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.

ICML-2015-GrosseS #matrix #scalability

Scaling up Natural Gradient by Sparsely Factorizing the Inverse Fisher Matrix (RBG, RS), pp. 2304–2313.

KDD-2015-TranHXFB #coordination #probability #scalability

Scaling Up Stochastic Dual Coordinate Ascent (KT, SH, LX, TF, MB), pp. 1185–1194.

RecSys-2015-AuteriT #linear #personalisation

Personalized Catch-up & DVR: VOD or Linear, That is the Question (PA, RT), p. 227.

RecSys-2015-Nemeth #recommendation #scalability

Scaling Up Recommendation Services in Many Dimensions (BN), p. 233.

SIGIR-2015-LuccheseNOPT #documentation #ranking

Speeding up Document Ranking with Rank-based Features (CL, FMN, SO, RP, NT), pp. 895–898.

POPL-2015-SjobergW #congruence #programming

Programming up to Congruence (VS, SW), pp. 369–382.

ICSE-v1-2015-WatermanNA #agile #architecture #how

How Much Up-Front? A Grounded theory of Agile Architecture (MW, JN, GA), pp. 347–357.

SPLC-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.

CGO-2015-CampanoniHWB #named #parallel #semantics

HELIX-UP: relaxing program semantics to unleash parallelization (SC, GHH, GYW, DMB), pp. 235–245.

HPCA-2015-SethiaJM #gpu #memory management #named

Mascar: Speeding up GPU warps by reducing memory pitstops (AS, DAJ, SAM), pp. 174–185.

CADE-2015-JacquemardKS #bottom-up #constraints #term rewriting

Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (FJ, YK, MS), pp. 137–151.

ICLP-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).

SAT-2015-BalabanovI #preprocessor

Speeding up MUS Extraction with Preprocessing and Chunking (VB, AI), pp. 17–32.

CASE-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.

CASE-2014-HirotaNM #development #empirical

Development of an escalator riding robot: Experiment of riding on an up escalator (KH, SN, NM), pp. 1206–1211.

DATE-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.

DATE-2014-Torrellas #architecture #energy #performance

Extreme-scale computer architecture: Energy efficiency from the ground up‡ (JT), pp. 1–5.

SIGMOD-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.

VLDB-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.

CSMR-WCRE-2014-BrandtnerGG #integration #quality

Supporting continuous integration by mashing-up software quality information (MB, EG, HCG), pp. 184–193.

PLDI-2014-ZhangMNY #analysis #bottom-up #hybrid #interprocedural #top-down

Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.

SAS-2014-MonniauxS

Speeding Up Logico-Numerical Strategy Iteration (DM, PS), pp. 253–267.

CIAA-2014-Maletti #bottom-up #multi #power of #transducer

The Power of Regularity-Preserving Multi Bottom-up Tree Transducers (AM), pp. 278–289.

CHI-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.

CHI-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.

DHM-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.

DUXU-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.

DUXU-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.

HCI-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.

HCI-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.

HIMI-DE-2014-LiH

Improving Academic Listening Skills of Second Language by Building up Strategy Object Mashups (HL, SH), pp. 384–395.

ICEIS-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.

CIKM-2014-CohenDPW #scalability #sketching

Sketch-based Influence Maximization and Computation: Scaling up with Guarantees (EC, DD, TP, RFW), pp. 629–638.

CIKM-2014-YuR #multi

Search Result Diversification via Filling Up Multiple Knapsacks (HY, FR), pp. 609–618.

ICML-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.

ICML-c1-2014-MannM #approximate #policy #scalability

Scaling Up Approximate Value Iteration with Options: Better Policies with Fewer Iterations (TAM, SM), pp. 127–135.

ICML-c2-2014-TamarMX #approximate #robust #scalability #using

Scaling Up Robust MDPs using Function Approximation (AT, SM, HX), pp. 181–189.

KDD-2014-BenderskyPHJL #retrieval #scalability #video

Up next: retrieval methods for large scale related video suggestion (MB, LGP, JJH, VJ, DL), pp. 1769–1778.

KDD-2014-Bengio #learning #scalability

Scaling up deep learning (YB), p. 1966.

KEOD-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.

RecSys-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.

CGO-2014-BrankovicSGG #simulation

Warm-Up Simulation Methodology for HW/SW Co-Designed Processors (AB, KS, EG, AG), p. 284.

HPCA-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.

LICS-CSL-2014-BonchiPPR #induction

Coinduction up-to in a fibrational setting (FB, DP, DP, JR), p. 9.

SMT-2014-FremontS #program analysis #smt

Speeding Up SMT-Based Quantitative Program Analysis (DJF, SAS), pp. 3–13.

ASE-2013-ZhangCW #concurrent #data type #named #runtime

Round-up: Runtime checking quasi linearizability of concurrent data structures (LZ, AC, CW), pp. 4–14.

DAC-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.

DATE-2013-LiBMLO

Optical look up table (ZL, SLB, CM, XL, IO), pp. 873–876.

SIGMOD-2013-CheungAMM #database

Speeding up database applications with Pyxis (AC, OA, SM, ACM), pp. 969–972.

VLDB-2013-FuKR #on the #scalability

On Scaling Up Sensitive Data Auditing (YF, RK, RR), pp. 313–324.

PLDI-2013-Larus #exclamation #in the cloud

Look up!: your future is in the cloud (JRL), pp. 1–2.

STOC-2013-GuruswamiX #algebra #bound #geometry

List decoding reed-solomon, algebraic-geometric, and gabidulin subcodes up to the singleton bound (VG, CX), pp. 843–852.

LATA-2013-HashimotoSISF #bottom-up #transducer

Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers (KH, RS, YI, HS, TF), pp. 335–346.

CHI-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.

CHI-2013-GrigoreanuM #agile

Informal cognitive walkthroughs (ICW): paring down and pairing up for an agile world (VG, MM), pp. 3093–3096.

DUXU-CXC-2013-KuramotoIYT #exclamation #gamification #people

Stand Up, Heroes! : Gamification for Standing People on Crowded Public Transportation (IK, TI, KY, YT), pp. 538–547.

DUXU-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.

HCI-AS-2013-DickeJS

Auditory and Head-Up Displays in Vehicles (CD, GJ, JS), pp. 551–560.

HCI-AS-2013-LimongelliLMS #education #process

A Teacher Model to Speed Up the Process of Building Courses (CL, ML, AM, FS), pp. 434–443.

HIMI-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.

HILT-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.

ICEIS-v1-2013-ChiuPH

An Intelligent System for Reconstructing the Ripped-up Paper-Moneys (NHC, CEP, MCH), pp. 395–400.

ICML-c3-2013-CovielloMCL #exclamation #performance

That was fast! Speeding up NN search of high dimensional distributions (EC, AM, ABC, GRGL), pp. 468–476.

KDD-2013-ChakrabartiH #learning #scalability #social

Speeding up large-scale learning with a social prior (DC, RH), pp. 650–658.

KDIR-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.

RecSys-2013-XuBATMK #recommendation

Catch-up TV recommendations: show old favourites and find new ones (MX, SB, SA, ST, AM, IK), pp. 285–294.

POPL-2013-BonchiP #automaton #bisimulation #congruence #equivalence #nondeterminism

Checking NFA equivalence with bisimulations up to congruence (FB, DP), pp. 457–468.

SAC-2013-Serafino #clustering #composition #graph

Speeding up graph clustering via modular decomposition based compression (PS), pp. 156–163.

ICSE-2013-BagheriS #bottom-up #development #modelling

Bottom-up model-driven development (HB, KJS), pp. 1221–1224.

ICLP-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.

SAT-2013-LagniezB

Factoring Out Assumptions to Speed Up MUS Extraction (JML, AB), pp. 276–292.

TAP-2013-InsaSR #algorithm #debugging #execution #using

Speeding Up Algorithmic Debugging Using Balanced Execution Trees (DI, JS, AR), pp. 133–151.

DATE-2012-StefanMAG #multi #performance

A TDM NoC supporting QoS, multicast, and fast connection set-up (RAS, AMM, JAA, KG), pp. 1283–1288.

WCRE-2012-OssherSL #bottom-up #named #repository

Astra: Bottom-up Construction of Structured Artifact Repositories (JO, HS, CVL), pp. 41–50.

ICEIS-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.

ICML-2012-ScherrerHTH #algorithm #coordination #problem #scalability

Scaling Up Coordinate Descent Algorithms for Large ℓ1 Regularization Problems (CS, MH, AT, DH), p. 50.

ICPR-2012-DahmBCG #detection #morphism

Topological features and iterative node elimination for speeding up subgraph isomorphism detection (ND, HB, TC, YG), pp. 1164–1167.

ICPR-2012-IwashitaPFLOAT #cost analysis

Speeding up optimum-path forest training by path-cost propagation (ASI, JPP, AXF, RdAL, VMdAO, VHCdA, JMRST), pp. 1233–1236.

ICPR-2012-LinL #bottom-up #process #top-down

Integrating bottom-up and top-down processes for accurate pedestrian counting (YL, NL), pp. 2508–2511.

ICPR-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.

ICPR-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.

ICPR-2012-TianC12a #image #optimisation #using

Depth image up-sampling using ant colony optimization (JT, LC), pp. 3795–3798.

KDD-2012-KangPHF #algorithm #analysis #named #scalability

GigaTensor: scaling tensor analysis up by 100 times — algorithms and discoveries (UK, EEP, AH, CF), pp. 316–324.

KMIS-2012-AkiyoshiSK #learning #problem #towards

A Project Manager Skill-up Simulator Towards Problem Solving-based Learning (MA, MS, NK), pp. 190–195.

KMIS-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.

KMIS-2012-OtsukiAS #using

An Improvement Method of User Operations using Decision Tree on Project Manager Skill-up Simulator (MO, MA, MS), pp. 158–163.

SIGIR-2012-AzzopardiDMG #interface #named

MaSe: create your own mash-up search interface (LA, DD, KAM, RG), p. 1008.

MoDELS-2012-CuadradoLG #approach #bottom-up #interactive #metamodelling

Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.

MoDELS-2012-CuadradoLG #approach #bottom-up #interactive #metamodelling

Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.

PPDP-2012-Martin-MartinR

Transparent function types: clearing up opacity (EMM, JRH), pp. 127–138.

ICSE-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.

CGO-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.

ICST-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.

ASE-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.

DATE-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.

DATE-2011-MichelFP #embedded #simulation

Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation (LM, NF, FP), pp. 277–280.

DATE-2011-YehHWL #framework #simulation

Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method (YFY, CYH, CAW, HCL), pp. 353–358.

ICDAR-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.

SIGMOD-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.

VLDB-2011-MogaT #named #realtime

UpStream: A Storage-centric Load Management System for Real-time Update Streams (AM, NT), pp. 1442–1445.

VLDB-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.

CSEET-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.

DLT-J-2010-FrieseSM11 #bottom-up #normalisation #transducer

Earliest Normal Form and Minimization for Bottom-up Tree Transducers (SF, HS, SM), pp. 1607–1623.

FM-2011-FisherPV

The Only Way Is Up (JF, NP, MYV), pp. 3–11.

CHI-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.

CHI-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.

CHI-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.

CHI-2011-WahidMDEH #exclamation

Don’t drop it!: pick it up and storyboard (SW, DSM, JD, NE, SH), pp. 1571–1580.

DUXU-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.

HCI-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.

HCI-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.

CAiSE-2011-MedjahedM #bottom-up #fault #web #web service

Bottom-Up Fault Management in Composite Web Services (BM, ZM), pp. 597–611.

ICEIS-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.

CIKM-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.

ICML-2011-IkonomovskaGZD

Speeding-Up Hoeffding-Based Regression Trees With Options (EI, JG, BZ, SD), pp. 537–544.

ICML-2011-UrnerSB #predict

Access to Unlabeled Data can Speed up Prediction Time (RU, SSS, SBD), pp. 641–648.

KDD-2011-BhaduriMG #algorithm #detection

Algorithms for speeding up distance-based outlier detection (KB, BLM, CG), pp. 859–867.

SIGIR-2011-ChenBSCG #named #performance #personalisation #privacy #web

UPS: efficient privacy protection in personalized web search (GC, HB, LS, KC, YG), pp. 615–624.

SIGIR-2011-MartinHRF #music #retrieval #towards

Towards an indexing method to speed-up music retrieval (BM, PH, MR, PF), pp. 1167–1168.

SIGIR-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.

OOPSLA-2011-CledatKP #programming

Efficiently speeding up sequential computation through the n-way programming model (RC, TK, SP), pp. 537–554.

REFSQ-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.

SPLC-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.

HPDC-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.

SOSP-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.

SAT-2011-GableskeH #named #random #satisfiability #using

EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation (OG, MH), pp. 367–368.

DATE-2010-YangCZH #multi #satisfiability

SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal (FY, YC, QZ, JH), pp. 1369–1372.

DATE-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.

VLDB-2010-AilamakiHJMOW

Time for Our Field to Grow Up (AA, LMH, HVJ, DM, MTÖ, MW), p. 1658.

VLDB-2010-DeutchGM #navigation

Navigating in Complex Mashed-Up Applications (DD, OG, TM), pp. 320–329.

SCAM-2010-Graf #dependence #generative

Speeding Up Context-, Object- and Field-Sensitive SDG Generation (JG), pp. 105–114.

PLDI-2010-BurckhardtDMT #automation #named

Line-up: a complete and automatic linearizability checker (SB, CD, MM, RT), pp. 330–340.

DLT-2010-FrieseSM #bottom-up #transducer

Minimization of Deterministic Bottom-Up Tree Transducers (SF, HS, SM), pp. 185–196.

CHI-2010-KuznetsovP #low cost #named #persuasion

UpStream: motivating water conservation with low-cost water flow sensing and persuasive displays (SK, EP), pp. 1851–1860.

CSCW-2010-KirkISTBH #product line

Opening up the family archive (DSK, SI, AS, ST, RB, OH), pp. 261–270.

CAiSE-2010-KohlbornLKFRRK #approach #bottom-up #concept

Conceptualizing a Bottom-Up Approach to Service Bundling (TK, CL, AK, EF, MR, CR, HK), pp. 129–134.

ICEIS-DISI-2010-AndreiRD #authentication #online

Solutions for Speeding-up On-line Dynamic Signature Authentication (VA, SMR, SD), pp. 121–126.

ICML-2010-DavisD #bottom-up #learning #markov #network

Bottom-Up Learning of Markov Network Structure (JD, PMD), pp. 271–278.

ICPR-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.

ICPR-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.

KDD-2010-TsengWSY #algorithm #mining #named #performance

UP-Growth: an efficient algorithm for high utility itemset mining (VST, CWW, BES, PSY), pp. 253–262.

KDIR-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.

SIGIR-2010-SandersonPCK #evaluation #metric #question

Do user preferences and evaluation measures line up? (MS, MLP, PDC, EK), pp. 555–562.

MoDELS-v2-2010-KulkarniRR #experience #lessons learnt #modelling #scalability

Scaling Up Model Driven Engineering — Experience and Lessons Learnt (VK, SR, AR), pp. 331–345.

LOPSTR-2010-InsaS #algorithm #debugging #execution #scalability

Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.

RE-2010-MahauxHM #requirements

Making It all Up: Getting in on the Act to Improvise Creative Requirements (MM, PH, NAMM), pp. 375–376.

SAC-2010-ComuzziS #monitoring

Dynamic set-up of monitoring infrastructures for service based systems (MC, GS), pp. 2414–2421.

PLEASE-2010-Hanssen #product line

Opening up software product line engineering (GKH), pp. 1–7.

CGO-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.

HPCA-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.

ICLP-2010-Brass10 #bottom-up #evaluation #implementation

Implementation Alternatives for Bottom-Up Evaluation (SB), pp. 44–53.

DATE-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.

DATE-2009-Dubrova #how

How to speed-up your NLFSR-based stream cipher (ED), pp. 878–881.

DATE-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.

ICDAR-2009-Smet #automation #documentation #forensics #re-engineering

Semi-automatic Forensic Reconstruction of Ripped-up Documents (PdS), pp. 703–707.

ICDAR-2009-XiuB #recognition #scalability

Scaling Up Whole-Book Recognition (PX, HSB), pp. 698–702.

CSEET-2009-ThompsonE09a #how #question #student

How Can We Scale-Up Student Admissions and Graduate Completions? (JBT, HME), pp. 298–299.

SAS-2009-GulavaniCRN #analysis #bottom-up

Bottom-Up Shape Analysis (BSG, SC, GR, AVN), pp. 188–204.

ICALP-v2-2009-ClementiPS #named

MANETS: High Mobility Can Make Up for Low Transmission Power (AEFC, FP, RS), pp. 387–398.

CHI-2009-HansenG #recommendation

Mixing it up: recommending collections of items (DLH, JG), pp. 1217–1226.

CHI-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.

HCI-AUII-2009-BreuerKWPS

Love at First Encounter — Start-Up of New Applications (HB, MK, MW, NP, FS), pp. 585–594.

HCI-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.

HCI-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.

CIKM-2009-ArmstrongMWZ #ad hoc #retrieval

Improvements that don’t add up: ad-hoc retrieval results since 1998 (TGA, AM, WW, JZ), pp. 601–610.

CIKM-2009-PhamRMSB #sequence #summary

Time sequence summarization to scale up chronology-dependent applications (QKP, GR, NM, RSP, BB), pp. 1137–1146.

KDD-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.

KMIS-2009-BahrsH #case study #evaluation #process

KMDL for Innovation and Production Ramp-up Process Evaluation — A Case Study (JB, PH), pp. 280–283.

RecSys-2009-WedelRC #personalisation #recommendation

Up close and personalized: a marketing view of recommendation systems (MW, RTR, TSC), pp. 3–4.

SAC-2009-LopesZ #database #named #relational #scalability

HTILDE: scaling up relational decision trees for very large databases (CL, GZ), pp. 1475–1479.

ASPLOS-2009-TiwariWMMCS #data flow

Complete information flow tracking from the gates up (MT, HMGW, BM, SM, FTC, TS), pp. 109–120.

HPCA-2009-GreskampWKCTCZ #design #named

Blueshift: Designing processors for timing speculation from the ground up (BG, LW, URK, JJC, JT, DC, CBZ), pp. 213–224.

DAC-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.

VLDB-2008-KoltsidasV

Flashing up the storage layer (IK, SV), pp. 514–525.

TACAS-2008-BarnatBSW #ltl #model checking

Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking (JB, LB, PS, MW), pp. 48–62.

ICSM-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.

DLT-J-2007-JirasekJS08 #automaton #finite #nondeterminism

Deterministic blow-UPS of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 617–631.

DLT-2008-EngelfrietLM #bottom-up #multi #transducer

Extended Multi Bottom-Up Tree Transducers (JE, EL, AM), pp. 289–300.

ICALP-A-2008-RegevS #quantum

Impossibility of a Quantum Speed-Up with a Faulty Oracle (OR, LS), pp. 773–781.

ICFP-2008-DreyerR #mixin #ml

Mixin’ up the ML module system (DD, AR), pp. 307–320.

CHI-2008-Joinson #facebook #people

Looking at, looking up or keeping up with people?: motives and use of facebook (ANJ), pp. 1027–1036.

CHI-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.

CSCW-2008-BurkeK #modelling #wiki

Mopping up: modeling wikipedia promotion decisions (MB, RK), pp. 27–36.

EDOC-2008-SimoninADTJN #architecture #development #enterprise #named

EA4UP: An Enterprise Architecture-Assisted Telecom Service Development Method (JS, FA, JPD, YLT, JMJ, BN), pp. 279–285.

CIKM-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.

CIKM-2008-HerschelN #detection #graph #scalability

Scaling up duplicate detection in graph data (MH, FN), pp. 1325–1326.

CIKM-2008-WangLCLO #network #semantics

Speed up semantic search in p2p networks (QW, RL, LC, JL, MTÖ), pp. 1341–1342.

ICPR-2008-ThomeA #bottom-up #detection #invariant

A bottom-up, view-point invariant human detector (NT, SA), pp. 1–4.

ICPR-2008-XuP #image

Finding the splitting vector for image resolution up-conversion (XX, HP), pp. 1–4.

KDD-2008-FormanR #classification #file system #scalability

Scaling up text classification for large file systems (GF, SR), pp. 239–246.

SAT-2008-StachniakB #learning #satisfiability

Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning (ZS, AB), pp. 257–270.

WICSA-2007-Sarang #architecture

Setting up Architect Team (PS), p. 18.

CASE-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.

DATE-2007-BonnyH #performance

Efficient code density through look-up table compression (TB, JH), pp. 809–814.

DATE-2007-NaguibG #process #simulation

Speeding up SystemC simulation through process splitting (YNN, RSG), pp. 111–116.

DATE-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.

ICDAR-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.

TACAS-2007-KatoenKZJ #bisimulation #model checking #probability

Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking (JPK, TK, ISZ, DNJ), pp. 87–101.

DLT-2007-JirasekJS #automaton #finite #nondeterminism

Deterministic Blow-Ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 254–265.

HCI-IDU-2007-HodgettsJ #cost analysis

Reminders, Alerts and Pop-ups: The Cost of Computer-Initiated Interruptions (HMH, DMJ), pp. 818–826.

HCI-IDU-2007-LimLK #development #programming #visual notation #web

Application of Visual Programming to Web Mash Up Development (SCL, SL, JK), pp. 1139–1148.

HCI-IPT-2007-AsaiK #comparative

Comparative Characteristics of a Head-Up Display for Computer-Assisted Instruction (KA, HK), pp. 531–540.

HIMI-IIE-2007-TaketaHKN #artificial reality

Virtual Pop-Up Book Based on Augmented Reality (NT, KH, HK, SN), pp. 475–484.

OCSC-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.

ICEIS-DISI-2007-GroppeGL #order #using

Using an index of precomputed joins in order to speed up SPARQL processing (SG, JG, VL), pp. 13–20.

ICEIS-SAIC-2007-ChenC #bottom-up #detection #difference #process

A Simulation-Based Difference Detection Technique for Bottom-Up Process Reconciliation (XC, PWHC), pp. 72–77.

CIKM-2007-LempelMOSPS

Just in time indexing for up to the second search (RL, YM, SOK, DS, YP, RS), pp. 97–106.

ICML-2007-MihalkovaM #bottom-up #learning #logic #markov #network

Bottom-up learning of Markov logic network structure (LM, RJM), pp. 625–632.

OOPSLA-2007-McDirmid #live programming #programming language

Living it up with a live programming language (SM), pp. 623–638.

RE-2007-BorgPS #capacity #requirements

Extending the OpenUP/Basic Requirements Discipline to Specify Capacity Requirements (AB, MP, KS), pp. 328–333.

REFSQ-2007-BorgPS #capacity #process #requirements

Integrating an Improvement Model of Handling Capacity Requirements with the OpenUP/Basic Process (AB, MP, KS), pp. 341–354.

SAC-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.

CSL-2007-Burel #bound #deduction

Unbounded Proof-Length Speed-Up in Deduction Modulo (GB), pp. 496–511.

RTA-2007-DurandS #bottom-up

Bottom-Up Rewriting Is Inverse Recognizability Preserving (ID, GS), pp. 107–121.

SAT-2007-EenMS #logic #satisfiability #synthesis

Applying Logic Synthesis for Speeding Up SAT (NE, AM, NS), pp. 272–286.

QoSA-2006-KruchtenLV #architecture #reasoning

Building Up and Reasoning About Architectural Knowledge (PK, PL, HvV), pp. 43–58.

DAC-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.

DAC-2006-GuCO #game studies

Games are up for DVFS (YG, SC, WTO), pp. 598–603.

DAC-2006-YangCTRC #design

An up-stream design auto-fix flow for manufacturability enhancement (JY, EC, CT, NR, MC), pp. 73–76.

SIGMOD-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.

VLDB-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.

ITiCSE-2006-Pullen #distance #education #scalability

Scaling up a distance education program in computer science (JMP), pp. 33–37.

STOC-2006-Weitz #independence #set

Counting independent sets up to the tree threshold (DW), pp. 140–149.

CHI-2006-Furnas

A fisheye follow-up: further reflections on focus + context (GWF), pp. 999–1008.

CHI-2006-HawkeyI #comprehension #privacy

Keeping up appearances: understanding the dimensions of incidental information privacy (KH, KMI), pp. 821–830.

ICML-2006-PandaCW #bound #concept #detection

Concept boundary detection for speeding up SVMs (NP, EYC, GW), pp. 681–688.

ICPR-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.

KDD-2006-WuCCH #approximate #incremental #matrix

Incremental approximate matrix factorization for speeding up support vector machines (GW, EYC, YKC, CJH), pp. 760–766.

SAC-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.

IJCAR-2006-BaumgartnerS #bottom-up #generative

Blocking and Other Enhancements for Bottom-Up Model Generation Methods (PB, RAS), pp. 125–139.

ISSTA-2006-CobleighAC #composition #reasoning

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.

WICSA-2005-KruchtenLVW #architecture

Building up and Exploiting Architectural Knowledge (PK, PL, HvV, TW), pp. 291–292.

ICDAR-2005-Aradhye

A Generic Method for Determining the Up/Down Orientation of Text in Roman and Non-roman Scripts (HBA), pp. 187–191.

SIGMOD-2005-HaasHHPR #industrial #prototype #research

Clio grows up: from research prototype to industrial tool (LMH, MAH, HH, LP, MR), pp. 805–810.

CSEET-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.

ESOP-2005-ShiversW #bottom-up

Bottom-Up β-Reduction: Uplinks and λ-DAGs (OS, MW), pp. 217–232.

ICALP-2005-ChlebusGKR #network #on the #problem

On the Wake-Up Problem in Radio Networks (BSC, LG, DRK, TR), pp. 347–359.

ICALP-2005-Pous #bisimulation

Up-to Techniques for Weak Bisimulation (DP), pp. 730–741.

CIKM-2005-Ioannidis #data transformation

Emerging data management systems: close-up and personal (YEI), p. 2.

SEKE-2005-ChangL #compilation #data-driven

Compiler Techniques for Data Driven Languages with Superlinear Speed-up (LHC, ELL), pp. 543–549.

SAC-2005-YimKK #memory management #performance

A fast start-up technique for flash memory based computing systems (KSY, JK, KK), pp. 843–849.

ICSE-2005-HenkelD #api #evolution #exclamation #game studies #refactoring

CatchUp!: capturing and replaying refactorings to support API evolution (JH, AD), pp. 274–283.

ICLP-2005-GallagherHB #analysis #scalability

Techniques for Scaling Up Analyses Based on Pre-interpretations (JPG, KSH, GB), pp. 280–296.

DATE-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.

DATE-v2-2004-DuanK

Exploiting Crosstalk to Speed up On-Chip Buse (CD, SPK), pp. 778–783.

CSEET-2004-Anger #question

Will the Real Software Engineer Please Stand Up? (FDA), pp. 4–5.

SAS-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.

ICALP-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.

ICEIS-v2-2004-ValleP #communication

Decision Follow-Up Support Mechanism Based on Asynchronous Communication (CV, WP), pp. 423–429.

ECIR-2004-HungWS #bottom-up #clustering #predict #top-down

Predictive Top-Down Knowledge Improves Neural Exploratory Bottom-Up Clustering (CH, SW, PS), pp. 154–166.

ICML-2004-AhnCO #algorithm #multi

A multiplicative up-propagation algorithm (JHA, SC, JHO).

ICPR-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.

RE-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.

SAC-2004-AlvezLO #bottom-up

Constructive negation by bottom-up computation of literal answers (JÁ, PL, FO), pp. 1468–1475.

DATE-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.

DocEng-2003-JanssenP #library #named

UpLib: a universal personal digital library system (WCJ, KP), pp. 234–242.

DRR-2003-ClementsS

Speed-up of optical scanner characterization subsystem (RDC, EHBS), pp. 94–102.

VLDB-2003-LeeHJT #approach #bottom-up

Supporting Frequent Updates in R-Trees: A Bottom-Up Approach (MLL, WH, CSJ, BC, KLT), pp. 608–619.

VLDB-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.

VLDB-2003-ZhouS #clustering #metric

Data Bubbles for Non-Vector Data: Speeding-up Hierarchical Clustering in Arbitrary Metric Spaces (JZ, JS), pp. 452–463.

ITiCSE-2003-Knuth #bottom-up #education

Bottom-up education (DEK), p. 2.

STOC-2003-LuRVW #constant #named

Extractors: optimal up to constant factors (CJL, OR, SPV, AW), pp. 602–611.

ICEIS-v2-2003-BenninghoffN #distributed #monitoring #scalability

Scaling Up Information Updates in Distributed Condition Monitoring (PB, SN), pp. 132–139.

SAC-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.

PPoPP-2003-Nienaltowski #exclamation

SCOOP It up! (PN), p. 3.

DATE-2002-BerrojoGCRSEL #injection

New Techniques for Speeding-Up Fault-Injection Campaigns (LB, IG, FC, MSR, GS, LE, CL), pp. 847–852.

DATE-2002-PilarskiH #satisfiability

Speeding up SAT for EDA (SP, GH), p. 1081.

DATE-2002-StanP

The Selective Pull-Up (SP) Noise Immunity Scheme for Dynamic Circuits (MRS, AP), p. 1106.

CSEET-2002-McCracken #bottom-up #comprehension #design #education #modelling #re-engineering

Models of Designing: Understanding Software Engineering Education from the Bottom Up (WMM), p. 55–?.

SAS-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.

ICEIS-2002-Carballo #estimation

Risk Managment in the New Economy: Estimation and Control of Projects for E-Business and Start-Ups (RC), p. 35.

ICPR-v1-2002-CamusW #image #performance #reliability

Reliable and Fast Eye Finding in Close-up Images (TAC, RPW), pp. 389–394.

ICPR-v2-2002-ChenC

Speeding up SVM Decision Based on Mirror Points (JHC, CSC), pp. 869–872.

KDD-2002-StoreyC #modelling #optimisation

Exploiting response models: optimizing cross-sell and up-sell opportunities in banking (AS, MDC), pp. 325–331.

LOPSTR-2002-ClaytonCPU #bottom-up #logic programming

Tabling Structures for Bottom-Up Logic Programming (RC, JGC, BP, MU), pp. 50–51.

ICSE-2002-Sreedhar #component #mixin

Mixin Up components (VCS), pp. 198–207.

CAV-2002-RybinaV #canonical #infinity #model checking #using

Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking (TR, AV), pp. 386–400.

DAC-2001-PetrovO #architecture #embedded

Speeding Up Control-Dominated Applications through Microarchitectural Customizations in Embedded Processors (PP, AO), pp. 512–517.

ICDAR-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.

ICDAR-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.

FLOPS-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.

FLOPS-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.

ICALP-2001-AlberFN #complexity #exponential #graph #problem

Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems (JA, HF, RN), pp. 261–272.

ICML-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.

SEKE-2001-Kajko-MattssonTA #maintenance #named

CM3: Up-Front Maintenance (MKM, LOT, PA), pp. 371–378.

TOOLS-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.

CAV-2001-JohannsenB #design #named

BooStER: Speeding Up RTL Property Checking of Digital Designs by Word-Level Abstarction (PJ), pp. 373–377.

IJCAR-2001-GanzingerM #bottom-up #logic programming #source code #theorem

A New Meta-complexity Theorem for Bottom-Up Logic Programs (HG, DAM), pp. 514–528.

CSMR-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.

STOC-2000-EdelsbrunnerLMSTTUW

Smoothing and cleaning up slivers (HE, XYL, GLM, AS, DT, SHT, AÜ, NW), pp. 273–277.

ICML-2000-MorimotoD #behaviour #learning #using

Acquisition of Stand-up Behavior by a Real Robot using Hierarchical Reinforcement Learning (JM, KD), pp. 623–630.

ICPR-v2-2000-MarzalB #distance #edit distance #string

Speeding Up the Computation of the Edit Distance for Cyclic Strings (AM, SB), pp. 2891–2894.

ICPR-v2-2000-PavlovMD #algorithm #using

Scaling-Up Support Vector Machines Using Boosting Algorithm (DP, JM, BD), pp. 2219–2222.

KDD-2000-KeoghP #scalability

Scaling up dynamic time warping for datamining applications (EJK, MJP), pp. 285–289.

TOOLS-USA-2000-Henderson-SellersU #uml

OPEN-ing up the UML (BHS, BU), pp. 479–482.

PPDP-2000-BozzanoDM #bottom-up #linear #logic programming #semantics #source code

A bottom-up semantics for linear logic programs (MB, GD, MM), pp. 92–102.

CADE-2000-Gillard #calculus #concurrent #formal method

A Formalization of a Concurrent Object Calculus up to alpha-Conversion (GG), pp. 417–432.

CL-2000-HruzaS #logic programming #source code

Binary Speed Up for Logic Programs (JH, PS), pp. 116–130.

SIGMOD-1999-BeyerR #bottom-up

Bottom-Up Computation of Sparse and Iceberg CUBEs (KSB, RR), pp. 359–370.

FoSSaCS-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.

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

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

STOC-1999-Ben-AmramP

Backing Up in Singly Linked Lists (AMBA, HP), pp. 780–786.

STOC-1999-ChenLP #markov

Lifting Markov Chains to Speed up Mixing (FC, LL, IP), pp. 275–281.

FM-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.

HCI-CCAD-1999-BarnekowSZS #architecture #bottom-up

An architecture for recovering business events bottom-up (TB, SS, JZ, RS), pp. 614–618.

HCI-EI-1999-Holmquist #question

Will Baby Faces Ever Grow up? (LEH), pp. 706–709.

KDD-1999-WijsenNC #dependence

Discovering Roll-Up Dependencies (JW, RTN, TC), pp. 213–222.

CADE-1999-AdamsGLM #named

VSDITLU: a verifiable symbolic definite integral table look-up (AAA, HG, SL, UM), pp. 112–126.

ICML-1998-KearnsM #algorithm #bottom-up #performance

A Fast, Bottom-Up Decision Tree Pruning Algorithm with Near-Optimal Generalization (MJK, YM), pp. 269–277.

ALP-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.

LOPSTR-1998-VanhoofSM #bottom-up #logic programming #source code

Bottom-Up Specialisation of Logic Programs (WV, DDS, BM), pp. 325–327.

SAC-1998-ArapisKP #design #interactive #realtime

Design issues and alternatives for setting up real-time interactive Telelectures (CA, DK, TP), pp. 104–111.

ICSE-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.

DAC-1997-Schneider #parallel #trade-off

A Parallel/Serial Trade-Off Methodology for Look-Up Table Based Decoders (CS), pp. 498–503.

EDTC-1997-Gonzalez-TorresMH #set

Full custom chip set for high speed serial communications up to 2.48 Gbit/s (JGT, PAM, JMH), p. 614.

ICDAR-1997-TsengKL #automation #documentation #recognition

Speeding-up Chinese Character Recognition in an Automatic Document Reading System (YHT, CCK, HJL), pp. 629–632.

PEPM-1997-MullerVM #optimisation #partial evaluation #protocol #scalability

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol (GM, ENV, RM), pp. 116–126.

STOC-1997-LubyV #approximate

Approximately Counting Up To Four (Extended Abstract) (ML, EV), pp. 682–687.

HCI-CC-1997-AarasHBRT #bibliography #multi #perspective

A Three Years Follow-up Multidisciplinary Ergonomic Interventions. Overview (AA, GH, HHB, OR, MT), pp. 631–634.

KDD-1997-ProvostK #algorithm #bibliography #induction #perspective #scalability

Scaling Up Inductive Algorithms: An Overview (FJP, VK), pp. 239–242.

HPCA-1997-YangT #memory management #multi

Speeding up the Memory Hierarchy in Flat COMA Multiprocessors (LY, JT), pp. 4–13.

HPDC-1997-Knafla #adaptation #database #parallel #thread

Speed Up Your Database Client with Adaptable Multithreaded Prefetching (NK), pp. 102–111.

CADE-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.

CADE-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.

ICLP-1997-Codish #bottom-up #evaluation #logic programming #performance #source code

Efficient Goal Directed Bottom-up Evaluation of Logic Programs (MC), p. 422.

ICLP-1997-ZukowskiF #bottom-up #difference #semantics

Differential Bottom-Up Computation of the Well-Founded Semantics (UZ, BF, SB), p. 421.

DAC-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.

ESOP-1996-MontanariPY #equivalence #performance

Efficient Minimization up to Location Equivalence (UM, MP, DY), pp. 265–279.

ICALP-1996-JancarE #bisimulation #petri net

Deciding Finiteness of Petri Nets Up To Bisimulation (PJ, JE), pp. 478–489.

ICALP-1996-Wiedermann #nondeterminism

Speeding-up Single-Tape Nondeterministic Computations by Single Alternation, with Separation Results (JW), pp. 381–392.

ICML-1996-GrolimundG #memory management #nearest neighbour

Speeding-up Nearest Neighbour Memories: The Template Tree Case Memory Organisation (SG, JGG), pp. 225–233.

ICML-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.

ICPR-1996-Pavlidis #bottom-up #challenge #documentation #process #recognition #top-down

Challenges in document recognition bottom up and top down processes (TP), pp. 500–504.

KDD-1996-Kohavi #classification #hybrid #scalability

Scaling Up the Accuracy of Naive-Bayes Classifiers: A Decision-Tree Hybrid (RK), pp. 202–207.

KR-1996-LeshE #recognition #scalability

Scaling Up Goal Recognition (NL, OE), pp. 244–255.

DAC-1995-SawkarT #clustering #multi

Multi-way Partitioning for Minimum Delay for Look-Up Table Based FPGAs (PS, DET), pp. 201–205.

STOC-1995-Pan #algorithm #approximate #parallel #polynomial

Optimal (up to polylog factors) sequential and parallel algorithms for approximating complex polynomial zeros (VYP), pp. 741–750.

CHI-1995-MittalM #generative #interactive #natural language

Dynamic Generation of Follow Up Question Menus: Facilitating Interactive Natural Language Dialogues (VOM, JDM), pp. 90–97.

ICML-1995-LittmanCK #learning #policy #scalability

Learning Policies for Partially Observable Environments: Scaling Up (MLL, ARC, LPK), pp. 362–370.

ICLP-1995-BrassD #bottom-up #evaluation #semantics

Disjunctive Semantics based upon Partial and Bottom-Up Evaluation (SB, JD), pp. 199–213.

ILPS-1995-Toman #bottom-up #constraints #datalog #top-down

Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.

SIGMOD-1994-CareyDFHMNSSTTWZ #persistent

Shoring Up Persistent Applications (MJC, DJD, MJF, NEH, MLM, JFN, DTS, MHS, CKT, OGT, SJW, MJZ), pp. 383–394.

CSEE-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.

ESOP-1994-JeuringS #analysis #bottom-up #functional

Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.

ICML-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.

ECOOP-1994-ChenTK #multi #performance

Efficient Dynamic Look-Up Strategy for Multi-Methods (WC, VT, WK), pp. 408–431.

ECOOP-1994-VitekH #message passing #performance

Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages (JV, RNH), pp. 432–449.

PLILP-1994-Voronkov #bottom-up #implementation

An Implementation Technique for a Class of Bottom-Up Procedures (AV), pp. 147–164.

SAC-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.

SAC-1994-Li #equivalence #graph #on the

On the equivalence of pull-up transistor assignment in PLA folding and distribution graph (WNL), pp. 374–378.

FSE-1994-RepsHSR #slicing

Speeding up Slicing (TWR, SH, SS, GR), pp. 11–20.

CADE-1994-FribourgP #bottom-up #constraints #datalog #evaluation #source code

Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints (LF, MVP), pp. 311–325.

CADE-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.

ICLP-1994-BossiFM #bottom-up #semantics

A Bottom-up Semantics for Constructive Negation (AB, MF, MCM), pp. 520–534.

LICS-1994-BaazFL #proving

A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation (MB, CGF, AL), pp. 213–219.

DAC-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.

DAC-1993-IqbalPDP #algebra #using

Critical Path Minimization Using Retiming and Algebraic Speed-Up (ZI, MP, SD, ACP), pp. 573–577.

DAC-1993-MurgaiBS #array #programmable #synthesis

Sequential Synthesis for Table Look Up Programmable Gate Arrays (RM, RKB, ALSV), pp. 224–229.

DAC-1993-SantucciCG #behaviour #heuristic #using

Speed up of Behavioral A.T.P.G. using a Heuristic Criterion (JFS, ALC, NG), pp. 92–96.

DAC-1993-SawkarT #performance

Performance Directed Technology Mapping for Look-Up Table Based FPGAs (PS, DET), pp. 208–212.

ICDAR-1993-ChouY #database #research #sorting

Sorting qualities of handwritten Chinese characters for setting up a research database (SLC, SSY), pp. 474–477.

ICDAR-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.

SIGMOD-1993-Zdonik #database #incremental

Incremental Database Systems: Databases from Ground Up (SBZ), pp. 408–412.

FME-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.

HCI-ACS-1993-HuuhtanenLNA

Mastering the Changes in Information Technology: A Follow-up Study of Insurance Tasks (PH, TL, TN, KA), pp. 703–708.

HCI-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.

HCI-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.

HCI-SHI-1993-MouzakisH #design #multi #process #user interface

Multi-Media Support for Up-Stream User Interface Design Activities (KM, SH), pp. 458–463.

ICML-1993-BrezellecS #bottom-up #learning #named

ÉLÉNA: A Bottom-Up Learning Method (PB, HS), pp. 9–16.

ICML-1993-Lin #learning #scalability

Scaling Up Reinforcement Learning for Robot Control (LJL), pp. 182–189.

PLILP-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.

ILPS-1993-DelzannoM #bottom-up #finite

A Bottom-Up Characterization of Finite Success (GD, MM), p. 676.

ILPS-1993-Nilsson #bottom-up #evaluation #logic programming #source code

Goal-directed Bottom-up Evaluation of Normal Logic Programs (UN), p. 647.

ILPS-1993-SudarshanR #bottom-up #evaluation #optimisation

Optimizations of Bottom-Up Evaluation with Non-Ground Terms (SS, RR), pp. 557–574.

RTA-1993-Lippe #bottom-up #generative

Generating Tables for Bottom-Up Matching (EL), pp. 274–288.

DAC-1992-SawkarT #array #programmable

Area and Delay Mapping for Table-Look-Up Based Field Programmable Gate Arrays (PS, DET), pp. 368–373.

DAC-1992-WangW #graph #optimisation

A Graph Theoretic Technique to Speed up Floorplan Area Optimization (TCW, DFW), pp. 62–68.

SIGMOD-1992-ShashaSV #transaction

Simple Rational Guidance for Chopping Up Transactions (DS, ES, PV), pp. 298–307.

ESOP-1992-GiacobazziR #abstract interpretation #bottom-up #detection

Detecting Determinate Computations by Bottom-up Abstract Interpretation (RG, LR), pp. 167–181.

WSA-1992-Kuiper #attribute grammar #detection #parallel

Speeding Up Parallelism Detection for Attribute Grammars (MFK), pp. 152–162.

ICALP-1992-SheuL

UP and the Low and High Hierarchies: A Relativized Separation (MJS, TJL), pp. 174–185.

CHI-1992-ResnickV #interface

Skip and scan: cleaning up telephone interface (PR, RAV), pp. 419–426.

PLILP-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.

PLILP-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.

JICSLP-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.

JICSLP-1992-RamakrishnanSS #bottom-up #evaluation

Controlling the Search in Bottom-Up Evaluation (RR, DS, SS), pp. 273–287.

DAC-1991-LyM #bottom-up #fuzzy #synthesis

Bottom Up Synthesis Based on Fuzzy Schedules (TAL, JTM), pp. 674–679.

DAC-1991-RaithB

A New Hypergraph Based Rip-Up and Reroute Strategy (MR, MB), pp. 54–59.

SIGMOD-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.

STOC-1991-FederM #algorithm #clique #graph

Clique Partitions, Graph Compression, and Speeding-Up Algorithms (TF, RM), pp. 123–133.

ML-1991-CerboneD #compilation #optimisation

Knowledge Compilation to Speed Up Numerical Optimization (GC, TGD), pp. 600–604.

LOPSTR-1991-Eusterbrock #abstraction #learning #logic programming #source code

Speed-up Transformations of Logic Programs by Abstraction and Learning (JE), pp. 167–182.

ESEC-1991-BarghoutiK #development #rule-based #scalability

Scaling Up Rule-Based Software Development Environments (NSB, GEK), pp. 380–395.

ICLP-1991-FernandezM #bottom-up #database #deduction #evaluation

Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases (JAF, JM), pp. 660–675.

ISLP-1991-KempSS #bottom-up #evaluation #modelling #set

Magic Sets and Bottom-Up Evaluation of Well-Founded Models (DBK, DS, PJS), pp. 337–351.

ISLP-1991-RamakrishnanS #bottom-up #revisited #top-down

Top-Down versus Bottom-Up Revisited (RR, SS), pp. 321–336.

RTA-1991-CoquideDGV #automaton #bottom-up #term rewriting

Bottom-Up Tree Pushdown Automata and Rewrite Systems (JLC, MD, RG, SV), pp. 287–298.

DAC-1990-KundaARN #generative #testing #using

Speed Up of Test Generation Using High-Level Primitives (RPK, JAA, BDR, PN), pp. 594–599.

VLDB-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.

VLDB-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.

CHI-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.

PODS-1989-Ullman #bottom-up #datalog #top-down

Bottom-Up Beats Top-Down for Datalog (JDU), pp. 140–149.

CHI-1989-Moore

Responding to “HUH?”: answering vaguely articulated follow-up questions (JDM), pp. 91–96.

NACLP-1989-Helm #bottom-up #execution #on the

On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution (ARH), pp. 945–962.

STOC-1988-GabowT #algorithm #problem

Almost-Optimum Speed-ups of Algorithms for Bipartite Matching and Related Problems (HNG, RET), pp. 514–527.

PLILP-1988-Voisin #adaptation #algorithm #bottom-up #earley #parsing

A Bottom-Up Adaption of Earley’s Parsing Algorithm (FV), pp. 146–160.

JICSCP-1988-HirschmanHS88 #case study #natural language

OR-Parallel Speed-Up in Natural Language Processing: A Case Study (LH, WCH, RCS), pp. 263–279.

JICSCP-1988-MarriottS88 #abstract interpretation #bottom-up #logic programming #source code

Bottom-up Abstract Interpretation of Logic Programs (KM, HS), pp. 733–748.

DAC-1987-LursinsapG

Improving a PLA Area by Pull-Up Transistor Folding (CL, DG), pp. 608–614.

DAC-1987-Rosenberg87a #interactive

A New Interactive Supply/Demand Router with Rip-Up Capability for Printed Circuit Boards (ER), pp. 721–726.

POPL-1987-Chase #bottom-up #pattern matching

An Improvement to Bottom-up Tree Pattern Matching (DRC), pp. 168–177.

DAC-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.

ICALP-1986-HartmanisH #complexity

Complexity Classes Without Machines: On Complete Languages for UP (JH, LAH), pp. 123–135.

POPL-1986-HatcherC #bottom-up #code generation #pattern matching

High-Quality Code Generation Via Bottom-Up Tree Pattern Matching (PJH, TWC), pp. 119–130.

DAC-1985-MiyoshiKTNA #logic #simulation

Speed up techniques of logic simulation (MM, YK, OT, YN, NA), pp. 812–815.

STOC-1984-Vishkin #parallel #random

Randomized Speed-Ups in Parallel Computation (UV), pp. 230–239.

SLP-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.

DAC-1982-DeesK #automation

Automated rip-up and reroute techniques (WADJ, PGK), pp. 432–439.

DAC-1981-DeesS #performance

Performance of interconnection rip-up and reroute strategies (WADJ, RJSI), pp. 382–390.

DAC-1979-Giuliani #design #tool support

Will Disign tools catch up to VLSI design (DG), pp. 544–545.

DAC-1979-Marvik #interactive #online #sketching

An interactive routing program with On-line clean-up of sketched routes (OAM), pp. 500–505.

ICALP-1979-Ukkonen #bottom-up #lr #parsing

A Modification of the LR(k) Method for Constructing Compact Bottom-Up Parsers (EU), pp. 646–658.

ICSE-1978-AzemaAB #approach #bottom-up #communication #design #verification

Design and Verification of Communication Procedures: A Bottom-Up Approach (PA, JMA, BB), pp. 168–174.

STOC-1972-AhoU #lr #parsing

A Technique for Speeding Up LR(k) Parsers (AVA, JDU), pp. 251–263.

ICALP-1972-Kfoury #algebra #algorithm #equivalence

Comparing Algebraic Structures up to Algorithmic Equivalence (DJK), pp. 253–263.

ICALP-1972-Schnorr #programming #question

Does the Computational Speed-up Concern Programming? (CPS), pp. 585–591.

STOC-1971-ConstableH #complexity

Complexity of Formal Translations and Speed-Up Results (RLC, JH), pp. 244–250.

STOC-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.

STOC-1969-Blum #algorithm #effectiveness #on the

On Effective Procedures for Speeding Up Algorithms (MB), pp. 43–53.

STOC-1969-Young #order #set

Speed-Ups by Changing the Order in Which Sets are Enumerated (Preliminary Version) (PRY), pp. 89–92.