Stem quick$ (all stems)

82 papers:

DAC-2015-CampbellLMC #debugging #detection #fault #hybrid #synthesis #using #validation

Hybrid quick error detection (H-QED): accelerator validation and debug using high-level synthesis principles (KAC, DL, SM, DC), p. 6.

DATE-2015-LinSKRM #debugging #detection #effectiveness #fault #performance #testing #validation

Quick error detection tests with fast runtimes for effective post-silicon validation and debug (DL, ES, SK, ER, SM), pp. 1168–1173.

MSR-2015-JinYKCII #case study #stack overflow

Quick Trigger on Stack Overflow: A Study of Gamification-Influenced Member Tendencies (YJ, XY, RGK, EC, KI, HI), pp. 434–437.

CHI-2015-JokinenSPS #validation

Quick Affective Judgments: Validation of a Method for Primed Product Comparisons (JPPJ, JMS, PMHP, PS), pp. 2221–2230.

CHI-2015-ZhongLBB #image #named

RegionSpeak: Quick Comprehensive Spatial Descriptions of Complex Images for Blind Users (YZ, WSL, ELB, JPB), pp. 2353–2362.

KDD-2015-OkumuraST #analysis #classification #incremental #linear #problem

Quick Sensitivity Analysis for Incremental Data Modification and Its Application to Leave-one-out CV in Linear Classification Problems (SO, YS, IT), pp. 885–894.

SIGIR-2015-LuccheseNOPTV #algorithm #documentation #named #performance #rank

QuickScorer: A Fast Algorithm to Rank Documents with Additive Ensembles of Regression Trees (CL, FMN, SO, RP, NT, RV), pp. 73–82.

MoDELS-2015-CuadradoGL #atl #model transformation

Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.

ECOOP-2015-FangDX #detection #named #performance #problem

PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification (LF, LD, G(X), pp. 296–320.

HPCA-2015-HsuZLMWMTD #named #query

Adrenaline: Pinpointing and reining in tail queries with quick voltage boosting (CHH, YZ, MAL, DM, TFW, JM, LT, RGD), pp. 271–282.

ICST-2015-MidtgaardM #static analysis

QuickChecking Static Analysis Properties (JM, AM), pp. 1–10.

VLDB-2014-MaeharaAIK #graph #personalisation #rank

Computing Personalized PageRank Quickly by Exploiting Graph Structures (TM, TA, YI, KiK), pp. 1023–1034.

VLDB-2015-ZengPP14 #induction #logic programming #named #scalability

QuickFOIL: Scalable Inductive Logic Programming (QZ, JMP, DP), pp. 197–208.

CSCW-2014-KnibbeOCMBEIF #3d

Quick and dirty: streamlined 3D scanning in archaeology (JK, KO, AC, MTM, PDB, GE, SI, MF), pp. 1366–1376.

HPCA-2014-HechtmanCHTBHRW #approach #consistency #named

QuickRelease: A throughput-oriented approach to release consistency on GPUs (BAH, SC, DRH, YT, BMB, MDH, SKR, DAW), pp. 189–200.

ICST-2014-GroceAZCR #reduction #testing

Cause Reduction for Quick Testing (AG, MAA, CZ, YC, JR), pp. 243–252.

DATE-2013-LinHLFGHM #challenge #detection #fault #validation

Overcoming post-silicon validation challenges through quick error detection (QED) (DL, TH, YL, FF, DSG, NH, SM), pp. 320–325.

ITiCSE-2013-Law #interactive #using

Interactive lectures using quick response codes (RL), p. 317.

ICFP-2013-HritcuHPSVAL #testing

Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.

CHI-2013-SerranoLG #gesture

Bezel-Tap gestures: quick activation of commands from sleep mode on tablets (MS, EL, YG), pp. 3027–3036.

ICML-c3-2013-AppelFDP

Quickly Boosting Decision Trees — Pruning Underachieving Features Early (RA, TJF, PD, PP), pp. 594–602.

DAC-2012-LinHFHM #debugging #detection #effectiveness #validation

Quick detection of difficult bugs for effective post-silicon validation (DL, TH, FF, NH, SM), pp. 561–566.

ITiCSE-2012-Law #interactive #student #using

Using quick response codes for student interaction during lectures (RL), p. 401.

CHI-2012-CheemaGL #diagrams #experience #geometry #named

QuickDraw: improving drawing experience for geometric diagrams (SC, SG, JJLJ), pp. 1037–1064.

HPCA-2012-ChitlurSHGRKBPZISGJI #architecture #named #prototype

QuickIA: Exploring heterogeneous architectures on real prototypes (NC, GS, SH, PKG, DR, DAK, PB, AP, LZ, NI, SS, SG, XJ, RI), pp. 433–440.

SEKE-2011-Han #database #topic

Quick Acquisition of Topic-based Information/Knowledge from News Site Databases (HH), pp. 343–348.

SIGIR-2011-LiuJWZ #named #twitter

QuickView: advanced search of tweets (XL, LJ, FW, MZ), pp. 1275–1276.

DAC-2010-GongYSKRH #constraints #estimation #named #parametricity #performance

QuickYield: an efficient global-search based parametric yield estimation with performance constraints (FG, HY, YS, DK, JR, LH), pp. 392–397.

VLDB-2010-PoundIW #flexibility #knowledge base #named

QUICK: Expressive and Flexible Search over Knowledge Bases and Text Collections (JP, IFI, GEW), pp. 1573–1576.

PLDI-2010-Loitsch #float #integer

Printing floating-point numbers quickly and accurately with integers (FL), pp. 233–243.

CHI-2010-AhlstromCGI #design #modelling #why

Why it’s quick to be square: modelling new and existing hierarchical menu designs (DA, AC, CG, PI), pp. 1371–1380.

TAP-2010-ClaessenSH #named #specification #testing #using

QuickSpec: Guessing Formal Specifications Using Testing (KC, NS, JH), pp. 6–21.

DATE-2009-TzengH #named

QC-Fill: An X-Fill method for quick-and-cool scan test (CWT, SYH), pp. 1142–1147.

ICALP-v1-2009-ValleeCFF

The Number of Symbol Comparisons in QuickSort and QuickSelect (BV, JC, JAF, PF), pp. 750–763.

CEFP-2009-Hughes #quickcheck #testing

Software Testing with QuickCheck (JH), pp. 183–223.

ICFP-2009-ClaessenPSHSAW #erlang #quickcheck

Finding race conditions in Erlang with QuickCheck and PULSE (KC, MHP, NS, JH, HS, TA, UTW), pp. 149–160.

ICPR-2008-KherallahKEA #interactive #towards

Toward an interactive device for quick news story browsing (MK, HK, ME, AMA), pp. 1–4.

SEKE-2008-DaiS #online #protocol

QuickPay Online Payment Protocol (JD, MS), pp. 223–226.

ICDAR-2007-ZhangL #recognition

A New Vectorial Signature for Quick Symbol Indexing, Filtering and Recognition (WZ, WL), pp. 536–540.

IFL-2007-LiT #erlang #quickcheck #refactoring #testing

Testing Erlang Refactorings with QuickCheck (HL, SJT), pp. 19–36.

HCI-IPT-2007-JungKLN #development #education

Development of Educational Program for Quick Response System on Textile and Fashion E-Business (KYJ, JHK, JHL, YJN), pp. 1138–1146.

PADL-2007-Hughes #quickcheck #testing

QuickCheck Testing for Fun and Profit (JH), pp. 1–32.

KDD-2006-Moore #algorithm #statistics

New cached-sufficient statistics algorithms for quickly answering statistical questions (AM), p. 2.

ICEIS-v2-2004-WallaceK #clustering #performance #robust

Robust, Generalized, Quick and Efficient Agglomerative Clustering (MW, SDK), pp. 409–416.

ICPR-v3-2004-KashinoKK #clustering #video

A Quick Video Search Method based on Local and Global Feature Clustering (KK, AK, TK), pp. 894–897.

CGO-2004-DupreDT #architecture #embedded #named

VHC: Quickly Building an Optimizer for Complex Embedded Architectures (MD, ND, OT), pp. 53–64.

PODS-2003-KiferGBW #how

How to quickly find a witness (DK, JG, CB, WMW), pp. 272–283.

WCRE-2003-Al-GahmiJCD #corba

Supporting Quick and Dirty CORBA Introspection and Manipulation (AAG, CJ, JEC, BD), pp. 228–237.

AFP-2002-ClaessenRCHW02 #functional #lazy evaluation #quickcheck #source code #testing #using

Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat (KC, CR, OC, JH, MW), pp. 59–99.

ICEIS-2002-SatoH #enterprise #process #project management #prototype

Developing Quick Iterative Process Prototyping for Project Management: Linking ERP and BPE (RS, KH), pp. 851–854.

ICPR-v2-2002-KawanishiMT #3d #detection #locality #multi

Quick 3D Object Detection and Localization by Dynamic Active Search with Multiple Active Cameras (TK, HM, ST), pp. 605–608.

ICPR-v3-2002-MaticPW #incremental #named #online #recognition

QuickStroke: An Incremental On-Line Chinese Handwriting Recognition System (NPM, JCP, TW), pp. 435–439.

LCTES-SCOPES-2002-MilnerD #performance #pipes and filters

Quick piping: a fast, high-level model for describing processor pipelines (CWM, JWD), pp. 175–184.

DAC-2001-SchaumontVKS #configuration management

A Quick Safari Through the Reconfiguration Jungle (PS, IV, KK, MS), pp. 172–177.

ICALP-2001-Thorup #graph

Quick k-Median, k-Center, and Facility Location for Sparse Graphs (MT), pp. 249–260.

CIKM-2001-Shen #image #using

Finding Similar Images Quickly Using Object Shapes (HTS), pp. 498–505.

ITiCSE-2000-Anderson #algorithm #geometry #interactive #student #using #visualisation

Algorithm visualization using QuickTime movies for student interaction (poster session).: algorithms from computational geometry (JMA), p. 185.

ICFP-2000-ClaessenH #haskell #lightweight #named #quickcheck #random testing #source code #testing

QuickCheck: a lightweight tool for random testing of Haskell programs (KC, JH), pp. 268–279.

CHI-2000-EspinosaCRKSL #tool support #why

Coming to the wrong decision quickly: why awareness tools must be matched with appropriate tasks (JAE, JJC, LRG, REK, WLS, GL), pp. 392–399.

ICPR-v1-2000-KitaKWN #2d #3d

A Quick 3D-2D Registration Method for a Wide-Range of Applications (YK, NK, DLW, JAN), pp. 1981–1986.

ICPR-v3-2000-KashinoKM #retrieval

Feature Fluctuation Absorption for a Quick Audio Retrieval from Long Recordings (KK, TK, HM), pp. 3102–3105.

ICSE-2000-ErnstCGN #detection #invariant

Quickly detecting relevant program invariants (MDE, AC, WGG, DN), pp. 449–458.

ICSE-1999-Rosenberg #modelling #named #reliability #tutorial

Tutorial: A Quick Introduction to Software Reliability Modeling (JR), p. 689.

ITiCSE-1998-Johansson #approach #programming #student

Programming by example (poster): an instructional approach allowing introductory students to quickly grasp the power and excitement of programming (PGJ), p. 284.

HCI-SEC-1997-GunjiKK #using

Quick Address Search System with Handwriting Using Character Transition Information (KG, SK, KK), pp. 423–426.

PLDI-1996-BurgerD #float

Printing Floating-Point Numbers Quickly and Accurately (RGB, RKD), pp. 108–116.

STOC-1996-Wilson #generative #random

Generating Random Spanning Trees More Quickly than the Cover Time (DBW), pp. 296–303.

SIGMOD-1995-WhiteD #implementation #performance

Implementing Crash Recovery in QuickStore: A Performance Study (SJW, DJD), pp. 187–198.

ICSM-1995-LanubileV #maintenance #re-engineering

Iterative reengineering to compensate for quick-fix maintenance (FL, GV), pp. 140–146.

SIGMOD-1994-GraySEBW #database #generative

Quickly Generating Billion-Record Synthetic Databases (JG, PS, SE, KB, PJW), pp. 243–252.

SIGMOD-1994-WhiteD #named #performance

QuickStore: A High Performance Mapped Object Store (SJW, DJD), pp. 395–406.

POPL-1994-ProebstingF #detection #pipes and filters

Detecting Pipeline Structural Hazards Quickly (TAP, CWF), pp. 280–286.

CIKM-1993-Shum #approach #semantics

Quick and Incomplete Responses: The Semantic Approach (CDS), pp. 39–48.

STOC-1992-Reed #approximate

Finding Approximate Separators and Computing Tree Width Quickly (BAR), pp. 221–228.

ICALP-1992-KirschenhoferPS #analysis #how #probability #problem

How to Count Quickly and Accurately: A Unified Analysis of Probabilistic Counting and Other Related Problems (PK, HP, WS), pp. 211–222.

SOSP-1991-SchmuckW #experience #transaction

Experience with Transactions in QuickSilver (FBS, JCW), pp. 239–253.

ICALP-1987-GambosiNT

Posets, Boolean Representations and Quick Path Searching (GG, JN, MT), pp. 404–424.

SOSP-1987-HaskinMSC

Recovery Management in QuickSilver (Extended Abstract) (RLH, YM, WS, GC), pp. 107–108.

STOC-1986-GoldwasserK

Almost All Primes Can Be Quickly Certified (SG, JK), pp. 316–329.

DAC-1983-Martinez-CarballidoP #named #reduction

PRONTO: Quick PLA product reduction (JMC, VMP), pp. 545–552.

DAC-1982-MatsudaFTMNKG #design #layout #low cost #named

LAMBDA: A quick, low cost layout design system for master-slice LSI s (TM, TF, KT, HM, HN, FK, SG), pp. 802–808.

DAC-1976-Feller #automation #layout #low cost

Automatic layout of low-cost quick-turnaround random-logic custom LSI devices (AF), pp. 79–85.