67 papers:
VLDB-2015-KimSHHC #morphism #query #rdf- Taming Subgraph Isomorphism for RDF Query Processing (JK, HS, WSH, SH, HC), pp. 1238–1249.
GPCE-2015-ScherrC #domain-specific language #embedded #staged- Almost first-class language embedding: taming staged embedded DSLs (MS, SC), pp. 21–30.
ISMM-2015-HusseinHPV #garbage collection #memory management- Don’t race the memory bus: taming the GC leadfoot (AH, ALH, MP, CAV), pp. 15–27.
ICLP-J-2015-MannaRT #consistency #query #scalability- Taming primary key violations to query large inconsistent data via ASP (MM, FR, GT), pp. 696–710.
ASE-2014-GiannakopoulouHILRR #assurance #testing- Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
- ASE-2014-PadhyeMS #modelling #named
- NeedFeed: taming change notifications by modeling code relevance (RP, SM, VSS), pp. 665–676.
PLDI-2014-KuperTTN #parallel- Taming the parallel effect zoo: extensible deterministic parallelism with LVish (LK, AT, STH, RRN), p. 2.
ICML-c2-2014-AgarwalHKLLS #algorithm #performance- Taming the Monster: A Fast and Simple Algorithm for Contextual Bandits (AA, DH, SK, JL, LL, RES), pp. 1638–1646.
SIGIR-2014-JeonKHHECR #parallel #predict #web- Predictive parallelization: taming tail latencies in web search (MJ, SK, SwH, YH, SE, ALC, SR), pp. 253–262.
CC-2014-AnantpurG #control flow- Taming Control Divergence in GPUs through Control Flow Linearization (JA, RG), pp. 133–153.
DAC-2013-HuKM #complexity #coordination- Taming the complexity of coordinated place and route (JH, MCK, ILM), p. 7.
ESOP-2013-KatoenP #concurrent #implementation #modelling #probability- Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems (JPK, DP), pp. 411–430.
- PLDI-2013-ChenGZWFER #compilation #fuzzing
- Taming compiler fuzzers (YC, AG, CZ, WKW, XF, EE, JR), pp. 197–208.
- ICML-c2-2013-ErmonGSS #integration #optimisation
- Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization (SE, CPG, AS, BS), pp. 334–342.
ASPLOS-2013-HuntBCG #distributed #named #nondeterminism- DDOS: taming nondeterminism in distributed systems (NH, TB, LC, SDG), pp. 499–508.
HPDC-2013-SuAWMWA #dataset #distributed #using- Taming massive distributed datasets: data sampling using bitmap indices (YS, GA, JW, KM, JW, JPA), pp. 13–24.
- PLDI-2012-GazzilloG #c #named #parsing #preprocessor
- SuperC: parsing all of C by taming the preprocessor (PG, RG), pp. 323–334.
CHI-2012-EvansW #behaviour #metric- Taming wild behavior: the input observer for text entry and mouse pointing measures from everyday computer use (AE, JOW), pp. 1947–1956.
OOPSLA-2012-DubrauH #matlab- Taming MATLAB (AWD, LJH), pp. 503–522.
IJCAR-2012-DemriDS #ltl- Taming Past LTL and Flat Counter Systems (SD, AKD, AS), pp. 179–193.
- ASE-2011-ZhengT #architecture #implementation
- Taming changes With 1.x-Way architecture-implementation mapping (YZ, RNT), pp. 396–399.
FASE-2011-KelsenMG #complexity #modelling #using- Models within Models: Taming Model Complexity Using the Sub-model Lattice (PK, QM, CG), pp. 171–185.
- FASE-2011-ZhangZL #api #complexity #graph
- Flow-Augmented Call Graph: A New Foundation for Taming API Complexity (QZ, WZ, MRL), pp. 386–400.
PEPM-2011-JonssonN #explosion #supercompilation- Taming code explosion in supercompilation (PAJ, JN), pp. 33–42.
- PLDI-2011-AltidorHS
- Taming the wildcards: combining definition- and use-site variance (JA, SSH, YS), pp. 602–613.
- PLDI-2011-TateLL #java #type system
- Taming wildcards in Java’s type system (RT, AL, SL), pp. 614–627.
ICFP-2011-AhnS #combinator #data type #induction #recursion- A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences (KYA, TS), pp. 234–246.
CIKM-2011-Baumann #array #scalability- Large-scale array analytics: taming the data tsunami (PB), pp. 2599–2600.
ECMFA-2011-PfeifferW- Taming the Confusion of Languages (RHP, AW), pp. 312–328.
ESEC-FSE-2011-EsfahaniKM #adaptation #nondeterminism #self- Taming uncertainty in self-adaptive software (NE, EK, SM), pp. 234–244.
ICSE-2011-BoddenSSOM #static analysis- Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders (EB, AS, JS, HO, MM), pp. 241–250.
DATE-2010-DixitDR #component #embedded #realtime- Taming the component timing: A CBD methodology for real-time embedded systems (MGD, PD, SR), pp. 1649–1652.
MoDELS-v1-2010-FuhrmannH #modelling #visual notation- Taming Graphical Modeling (HF, RvH), pp. 196–210.
- MoDELS-v1-2010-KolovosRAPPB #emf #model transformation #using
- Taming EMF and GMF Using Model Transformation (DSK, LMR, SbA, RFP, FACP, GB), pp. 211–225.
CGO-2010-ChenVHLRYCZ #compilation #hardware- Taming hardware event samples for FDO compilation (DC, NV, RH, SwL, VR, PY, WC, WZ), pp. 42–52.
SIGMOD-2009-GhandeharizadehGSBCNWW- Taming the storage dragon: the adventures of hoTMaN (SG, AG, CS, CB, FC, NN, AW, AW), pp. 925–930.
IFM-2009-Cook #bound #hardware #synthesis- Taming the Unbounded for Hardware Synthesis (BC), p. 39.
SEKE-2009-Zhang #consistency #development #nondeterminism- Taming Inconsistency in Value-based Software Development (DZ), pp. 450–455.
- ICSE-2009-MorinBNJ #adaptation #aspect-oriented #modelling #using
- Taming Dynamically Adaptive Systems using models and aspects (BM, OB, GN, JMJ), pp. 122–132.
- ICSE-2009-WangCCZ #correctness #fault #locality #refinement
- Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization (XW, SCC, WKC, ZZ), pp. 45–55.
- VLDB-2008-ShangZLY #algorithm #morphism #performance #testing #verification
- Taming verification hardness: an efficient algorithm for testing subgraph isomorphism (HS, YZ, XL, JXY), pp. 364–375.
KR-2008-CaliGK #constraints #infinity #query #relational- Taming the Infinite Chase: Query Answering under Expressive Relational Constraints (AC, GG, MK), pp. 70–80.
- DAC-2007-SarnoHLLLRCLY #manycore #named #question
- Corezilla: Build and Tame the Multicore Beast? (LS, WmWH, CL, ML, JRL, JR, GC, CL, TY), pp. 632–633.
SAS-2007-SimonK #integer- Taming the Wrapping of Integer Arithmetic (AS, AK), pp. 121–136.
- IJCAR-2006-NipkowBS #graph
- Flyspeck I: Tame Graphs (TN, GB, PS), pp. 21–35.
- SAS-2005-JungKSY #analysis #c #statistics
- Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis (YJ, JK, JS, KY), pp. 203–217.
CSL-2005-BenediktS #invariant #query #towards- Towards a Characterization of Order-Invariant Queries over Tame Structures (MB, LS), pp. 276–291.
- VLDB-2004-ChanFZ #query #xpath
- Taming XPath Queries by Minimizing Wildcard Steps (CYC, WF, YZ), pp. 156–167.
- VLDB-2004-SardaH #optimisation #query
- Green Query Optimization: Taming Query Optimization Overheads through Plan Recycling (PS, JRH), pp. 1333–1336.
- GPCE-2004-CulpepperF #metaprogramming
- Taming Macros (RC, MF), pp. 225–243.
- PLDI-2003-GeorgeB #network
- Taming the IXP network processor (LG, MB), pp. 26–37.
SEFM-2003-Sangiorgi #mobile #process #using- Taming Mobile Processes Using Types (DS), p. 64–?.
ECIR-2003-KosterS- Taming Wild Phrases (CHAK, MS), pp. 161–176.
ICEIS-2002-AllouiCO #logic #monitoring #process- Taming Process Deviations by Logic Based Monitoring (IA, SC, FO), pp. 716–724.
OSDI-2002-SaitoKKM #file system #replication- Taming Aggressive Replication in the Pangaea Wide-Area File System (YS, CTK, MK, MM), pp. 15–30.
- VLDB-2001-GarofalakisG #approximate #query
- Approximate Query Processing: Taming the TeraBytes (MNG, PBG).
ESEC-FSE-2001-HoekMRM #architecture #evolution- Taming architectural evolution (AvdH, MMR, RR, NM), pp. 1–10.
- OSDI-2000-BrownM #memory management #physics #using
- Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently (ADB, TCM), pp. 31–44.
- CL-2000-BaumgartnerM
- The Taming of the (X)OR (PB, FM), pp. 508–522.
- ICFP-1998-Kieburtz #monad #type system
- Taming Effects with Monadic Typing (RBK), pp. 51–62.
HCI-CC-1997-BiancardiP- 4 Super-Events to Tame the Daunting Image-Selections (AB, MP), pp. 725–728.
ECOOP-1994-VitekH #message passing #performance- Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages (JV, RNH), pp. 432–449.
- PEPM-1993-Andersen #analysis #c #pointer
- Binding-Time Analysis and the Taming of C Pointers (LOA), pp. 47–58.
TOOLS-EUROPE-1993-Cox #named #robust- Keynote: Taming the Electronic Frontier: Robust Economics for Information Age Goods (BC), pp. 13–14.
LFP-1992-Rozas- Taming the Y Operator (GJR), pp. 226–234.
CAV-1991-Sterling #infinity- Taming Infinite State Spaces (CS), p. 1.
- ICSE-1988-JefferyB #validation
- Validating the TAME Resource Data Model (DRJ, VRB), pp. 187–201.
