31 papers:
SANER-2015-Debic- Checkpoint alpha (keynote) (BD), p. 2.
DATE-2014-EbrahimiETSCA #analysis #embedded #fault- Comprehensive analysis of alpha and neutron particle-induced soft errors in an embedded processor at nanoscales (ME, AE, MBT, RS, EC, DA), pp. 1–6.
SAC-2014-EvermannA #algorithm #big data #implementation #mining #process- Big data meets process mining: implementing the alpha algorithm with map-reduce (JE, GA), pp. 1414–1416.
ICDAR-2013-RazafindramananaRV #approximate #recognition- Alpha*-Approximated Delaunay Triangulation Based Descriptors for Handwritten Character Recognition (OR, FR, GV), pp. 440–444.
- ICDAR-2011-PackerTK #classification #recognition
- alpha-Shape Based Classification with Applications to Optical Character Recognition (EP, AT, VK), pp. 344–348.
ICPR-2010-ChenWL #clustering #on the- On Dynamic Weighting of Data in Clustering with K-Alpha Means (SC, HW, BL), pp. 774–777.
CIKM-2009-CerfMB- Agglomerating local patterns hierarchically with ALPHA (LC, PNM, JFB), pp. 1753–1756.
- ICPR-2008-Stelldinger #re-engineering #using
- Topologically correct surface reconstruction using alpha shapes and relations to ball-pivoting (PS), pp. 1–4.
KDD-2007-Li #random #reduction- Very sparse stable random projections for dimension reduction in lalpha (0 <alpha<=2) norm (PL0), pp. 440–449.
- DATE-2006-ZhangZD #modelling #named #parametricity #process
- ALAMO: an improved alpha-space based methodology for modeling process parameter variations in analog circuits (HZ, YZ, AD), pp. 156–161.
- KDD-2006-WongLFW #privacy
- (alpha, k)-anonymity: an enhanced k-anonymity model for privacy preserving data publishing (RCWW, JL, AWCF, KW), pp. 754–759.
- KDD-2005-ZhouFSU #feature model #streaming #using
- Streaming feature selection using alpha-investing (JZ, DPF, RAS, LHU), pp. 384–393.
CHI-2004-BaudischG #game studies #multi #named- Multiblending: displaying overlapping windows simultaneously without the drawbacks of alpha blending (PB, CG), pp. 367–374.
STOC-2003-DeyGJ- Alpha-shapes and flow shapes are homotopy equivalent (TKD, JG, MJ), pp. 493–502.
ASPLOS-2002-MukherjeeSBELW #algorithm #case study #comparative #pipes and filters- A comparative study of arbitration algorithms for the Alpha 21364 pipelined router (SSM, FS, PJB, JSE, SL, DW), pp. 223–234.
DAC-2001-LeeT #fault #verification- Pre-silicon Verification of the Alpha 21364 Microprocessor Error Handling System (RL, BT), pp. 822–827.
- KDD-2000-DeCosteW
- Alpha seeding for support vector machines (DD, KW), pp. 345–349.
- ASPLOS-2000-GharachorlooSSD #architecture #design
- Architecture and design of AlphaServer GS320 (KG, MS, SS, SVD), pp. 13–24.
CADE-2000-Gillard #calculus #concurrent #formal method- A Formalization of a Concurrent Object Calculus up to alpha-Conversion (GG), pp. 417–432.
FM-v2-1999-SmarandacheGG #calculus #constraints #realtime #validation- Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints (IMS, TG, PLG), pp. 1364–1383.
- DAC-1998-GowanBJ #design
- Power Considerations in the Design of the Alpha 21264 Microprocessor (MKG, LLB, DBJ), pp. 726–731.
- DAC-1998-TaylorQBDHHR #functional #multi #verification
- Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor — The DEC Alpha 21264 Microprocessor (SAT, MQ, DB, ND, SH, JH, CR), pp. 638–643.
- DAC-1996-DesaiY #cpu #design #simulation #using #verification
- A Systematic Technique for Verifying Critical Path Delays in a 300MHz Alpha CPU Design Using Circuit Simulation (MPD, YTY), pp. 125–130.
- DAC-1996-KantrowitzN #analysis #correctness #simulation #verification #what
- I’m Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor (MK, LMN), pp. 325–330.
HPCA-1996-CvetanovicB #performance #specification #using- Performance Characterization of the Alpha 21164 Microprocessor Using TP and SPEC Workloads (ZC, DB), pp. 270–280.
SIGMOD-1994-NybergBCGL #named- AlphaSort: A RISC Machine Sort (CN, TB, ZC, JG, DBL), pp. 233–242.
- STOC-1994-Poutre #incremental #testing
- Alpha-algorithms for incremental planarity testing (preliminary version) (JALP), pp. 706–715.
HPDC-1994-ChangFFGHNRSW #network- High-Performance TCP/IP and UDP/IP Networking in DEC OSF/1 for Alpha AXP (CHC, RF, JF, HG, WRH, APN, KKR, UNS, KMW), pp. 35–42.
- ICDAR-1993-NakashimaKMSN #generative #image
- A contour fill method for alpha-numeric character image generation (KN, MK, KM, YS, YN), pp. 722–725.
PODS-1986-RulandS #database #relational- Alpha-Acyclic Decompositions of Relational Database Schemes (DR, DS), pp. 191–201.
VLDB-1984-Kobayashi- A Data Manipulation Model: An Extension of the Alpha Expression (IK), pp. 57–62.
