Tag #array
478 papers:
FDG-2019-SarkarC #rating #using- Using rating arrays to estimate score distributions for player-versus-level matchmaking (AS, SC), p. 8.
ASPLOS-2019-KungMZ #implementation #network #optimisation #performance- Packing Sparse Convolutional Neural Networks for Efficient Systolic Array Implementations: Column Combining Under Joint Optimization (HTK, BM, SQZ), pp. 821–834.
CASE-2019-KumarAS #monitoring #using- Speed and Separation Monitoring using On-Robot Time-of-Flight Laser-ranging Sensor Arrays (SK, SA, FS), pp. 1684–1691.
CASE-2019-PonrajPLBZKTS0 - Active Contact Enhancements With Stretchable Soft Layers and Piezoresistive Tactile Array for Robotic Grippers (GP, AVP, CL, AB, GZ, SKK, NVT, ABS, HR0), pp. 1808–1813.
CGO-2019-RodriguesGP #bound #generative #in memory- Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages (MR, BG, FMQP), pp. 136–148.
VMCAI-2019-HoenickeS #constant- Solving and Interpolating Constant Arrays Based on Weak Equivalences (JH, TS), pp. 297–317.
- IFM-2018-ErikssonPB #invariant #precise
- A Precise Pictorial Language for Array Invariants (JE, MP, RJB), pp. 151–160.
ICPR-2018-KungMZ #adaptation #network- Adaptive Tiling: Applying Fixed-size Systolic Arrays To Sparse Convolutional Neural Networks (HTK, BM, SQZ), pp. 1006–1011.
ICPR-2018-SunLHW #algorithm #classification #multi- A New ECOC Algorithm for Multiclass Microarray Data Classification (MS, KL, QH, BW), pp. 454–458.
CAV-2018-DohrauSUM0 #source code- Permission Inference for Array Programs (JD, AJS, CU, SM, PM0), pp. 55–74.
IJCAR-2018-HoenickeS #formal method #performance- Efficient Interpolation for the Theory of Arrays (JH, TS), pp. 549–565.
IJCAR-2018-PayetS #abstract interpretation #bound- Checking Array Bounds by Abstract Interpretation and Symbolic Expressions (ÉP, FS), pp. 706–722.
SANER-2017-YounangL #analysis #javascript- Conventionality analysis of array objects in JavaScript (AY, LL), pp. 561–562.
FSCD-2017-LichtmanH #ml- Arrays and References in Resource Aware ML (BL, JH0), p. 20.
Haskell-2017-Clifton-Everest #streaming- Streaming irregular arrays (RCE, TLM, MMTC, GK), pp. 174–185.
- ICFP-2017-NarayananS #probability #source code
- Symbolic conditioning of arrays in probabilistic programs (PN, CcS), p. 25.
OOPSLA-2017-OrchardCDR #verification- Verifying spatial properties of array computations (DAO, MC, MD, ACR), p. 30.
PLDI-2017-HenriksenSEHO #functional #named #parallel- Futhark: purely functional GPU-programming with nested parallelism and in-place array updates (TH, NGWS, ME, FH, CEO), pp. 556–571.
POPL-2017-KumarBH #functional #parallel- Parallel functional arrays (AK, GEB, RH0), pp. 706–718.
SAS-2017-ChakrabortyGU #source code #verification- Verifying Array Manipulating Programs by Tiling (SC, AG, DU), pp. 428–449.
CADE-2017-BrotherstonGK #logic #problem- Biabduction (and Related Problems) in Array Separation Logic (JB, NG, MIK), pp. 472–490.
LOPSTR-2016-JanaKDVC #bound #model checking #scalability #source code- Scaling Bounded Model Checking by Transforming Programs with Arrays (AJ, UPK, AD, RV, NC), pp. 275–292.
PADL-2016-JelinekB #constraints #logic programming #using- Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station (JJ, RB), pp. 3–12.
PLDI-2016-HongB0KPRRS #effectiveness #multi- Effective padding of multidimensional arrays to avoid cache conflict misses (CH, WB, AC0, SK, LNP, FR, JR, PS), pp. 129–144.
SAS-2016-MonniauxG #horn clause #source code- Cell Morphing: From Array Programs to Array-Free Horn Clauses (DM, LG), pp. 361–382.
SAS-2016-SuzanneM #abstract interpretation #memory management #modelling- From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models (TS, AM), pp. 469–488.
ASE-2016-MaasNL #c #library- Array length inference for C library bindings (AJM, HN, BL), pp. 461–471.
FSE-2016-Santino #type system- Enforcing correct array indexes with a type system (JS), pp. 1142–1144.
CAV-2016-DacaHK #logic- Array Folds Logic (PD, TAH, AK), pp. 230–248.
IJCAR-2016-AlbertiGP #constraints- Counting Constraints in Flat Array Fragments (FA, SG, EP), pp. 65–81.
VMCAI-2016-Parizek #analysis #hybrid #partial order #reduction #source code- Hybrid Analysis for Partial Order Reduction of Programs with Arrays (PP), pp. 291–310.
SIGMOD-2015-DugganPBS #database #optimisation- Skew-Aware Join Optimization for Array Databases (JD, OP, LB, MS), pp. 123–135.
SIGMOD-2015-PengD #database #nondeterminism- Supporting Data Uncertainty in Array Databases (LP, YD), pp. 545–560.
VLDB-2015-InoueT #algorithm #sorting- SIMD- and Cache-Friendly Algorithm for Sorting an Array of Structures (HI, KT), pp. 1274–1285.
SEKE-2015-SaberE #algorithm #clustering #novel- BiBinConvmean : A Novel Biclustering Algorithm for Binary Microarray Data (HBS, ME), pp. 178–181.
SAS-2015-MonniauxA #abstraction- A Simple Abstraction of Arrays and Maps by Program Translation (DM, FA), pp. 217–234.
ASE-2015-WilcoxFFF #concurrent #detection #precise- Array Shadow State Compression for Precise Dynamic Race Detection (T) (JRW, PF, CF, SNF), pp. 155–165.
SAC-2015-AlbertiM - Polyhedra to the rescue of array interpolants (FA, DM), pp. 1745–1750.
SAC-2015-JeremicPM #performance #random- Improving random write performance in heterogeneous erasure-coded drive arrays by offloading code block requests (NJ, HP, GM), pp. 2007–2014.
SAC-2015-ValenteR - Transcript-based reannotation for microarray probesets (EV, MR), pp. 3–9.
DAC-2015-MengYOLW #clustering #data access #memory management #parallel #performance- Efficient memory partitioning for parallel data access in multidimensional arrays (CM, SY, PO, LL, SW), p. 6.
DATE-2015-BaldwinBRPB #analysis #predict #using- Gait analysis for fall prediction using hierarchical textile-based capacitive sensor arrays (RB, SB, RR, CP, NB), pp. 1293–1298.
DATE-2015-ChenKXMLYVSCY #algorithm #learning- Technology-design co-optimization of resistive cross-point array for accelerating learning algorithms on chip (PYC, DK, ZX, AM, BL, JY, SBKV, JsS, YC, SY), pp. 854–859.
DATE-2015-HashemianSWWCP #authentication #robust #using- A robust authentication methodology using physically unclonable functions in DRAM arrays (MSH, BPS, FGW, DJW, SC, CAP), pp. 647–652.
DATE-2015-SporrerBVMRMBBP #smarttech- Integrated CMOS receiver for wearable coil arrays in MRI applications (BS, LB, CV, AM, JR, JM, DOB, TB, KPP, GT, QH), pp. 1689–1694.
TACAS-2015-HeizmannDLMP #contest- Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.
TAP-2015-GenestierGP #deduction #generative #verification- Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.
VMCAI-2015-LiuR #abstraction- Abstraction of Arrays Based on Non Contiguous Partitions (JL, XR), pp. 282–299.
VMCAI-2015-ZhuNJ #testing #type inference- Dependent Array Type Inference from Tests (HZ, AVN, SJ), pp. 412–430.
SIGMOD-2014-DugganS #database #incremental- Incremental elasticity for array databases (JD, MS), pp. 409–420.
FLOPS-2014-HoffmannS #analysis #integer #type system- Type-Based Amortized Resource Analysis with Integers and Arrays (JH, ZS), pp. 152–168.
ILC-2014-Penkler - An Array and List Processing System (DP), p. 22.
CIKM-2014-KimC #performance- Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.
ICPR-2014-PerinaKB #classification #kernel #using- Expression Microarray Data Classification Using Counting Grids and Fisher Kernel (AP, MK, MB), pp. 1770–1775.
LOPSTR-2014-CornishGNSSS #program transformation #source code- Analyzing Array Manipulating Programs by Program Transformation (JRMC, GG, JAN, PS, HS, PJS), pp. 3–20.
ASPLOS-2014-JungCSK #named #performance- Triple-A: a Non-SSD based autonomic all-flash array for high performance storage systems (MJ, WC, JS, MTK), pp. 441–454.
CASE-2014-SuKLLHKK #design #recognition- Design of tactile sensor array on electric gripper jaws for wire gripping recognition (JYS, WCK, YCL, CHL, JSH, HCK, CCK), pp. 1014–1019.
CC-2014-SurendranBZS #using- Inter-iteration Scalar Replacement Using Array SSA Form (RS, RB, JZ, VS), pp. 40–60.
DAC-2014-MotamanG #robust #self #testing- Simultaneous Sizing, Reference Voltage and Clamp Voltage Biasing for Robustness, Self-Calibration and Testability of STTRAM Arrays (SM, SG), p. 2.
DATE-2014-ChenCH #configuration management #constraints #synthesis- Area minimization synthesis for reconfigurable single-electron transistor arrays with fabrication constraints (YHC, JYC, JDH), pp. 1–4.
DATE-2014-DweikAD #exception #fault- Reliability-Aware Exceptions: Tolerating intermittent faults in microprocessor array structures (WD, MA, MD), pp. 1–6.
DATE-2014-LiuCHWCDN #synthesis- Width minimization in the Single-Electron Transistor array synthesis (CWL, CEC, CYH, CYW, YCC, SD, VN), pp. 1–4.
TACAS-2014-AlbertiGS - Decision Procedures for Flat Array Properties (FA, SG, NS), pp. 15–30.
SMT-2014-AlbertiGS - Decision Procedures for Flat Array Properties (FA, SG, NS), p. 51.
SMT-2014-ChristH - Weakly Equivalent Arrays (JC, JH), pp. 39–49.
VMCAI-2014-AngelisFPP #source code #verification- Verifying Array Programs by Transforming Verification Conditions (EDA, FF, AP, MP), pp. 182–202.
SIGMOD-2013-ZhangKM #named- SciQL: array data processing inside an RDBMS (YZ, MLK, SM), pp. 1049–1052.
VLDB-2013-MoyersSWKVBC #analysis #image #parallel- A Demonstration of Iterative Parallel Array Processing in Support of Telescope Image Analysis (MM, ES, SW, KSK, JV, MB, AJC), pp. 1322–1325.
IFL-2013-GrelckW #adaptation #functional #generative #performance- Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code (CG, HW), p. 117.
MLDM-2013-AllahSG #algorithm #dataset #mining #performance #scalability- An Efficient and Scalable Algorithm for Mining Maximal — High Confidence Rules from Microarray Dataset (WZAA, YKES, FFMG), pp. 352–366.
SEKE-2013-WangGZZX #combinator #generative #interactive #testing- Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial Testing (ZW, TG, WZ, WZ, BX), pp. 578–583.
PPDP-2013-ODonnell #functional #parallel- Extensible sparse functional arrays with circuit parallelism (JTO), pp. 133–144.
ASPLOS-2013-JogKNMKMID #concurrent #named #owl #performance #scheduling #thread- OWL: cooperative thread array aware scheduling techniques for improving GPGPU performance (AJ, OK, NCN, AKM, MTK, OM, RI, CRD), pp. 395–406.
DAC-2013-HoOCT - Coupling-aware length-ratio-matching routing for capacitor arrays in analog integrated circuits (KHH, HCO, YWC, HFT), p. 6.
DAC-2013-WangLZZC #clustering #memory management #multi #synthesis- Memory partitioning for multidimensional arrays in high-level synthesis (YW, PL, PZ, CZ, JC), p. 8.
DAC-2013-ZhengHB #embedded #named #physics #robust- RESP: a robust physical unclonable function retrofitted into embedded SRAM array (YZ, MH, SB), p. 9.
DATE-2013-ChiangTWHCDN #configuration management #on the #order #synthesis #using- On reconfigurable single-electron transistor arrays synthesis using reordering techniques (CEC, LFT, CYW, CYH, YCC, SD, VN), pp. 1807–1812.
DATE-2013-ManiatakosMM #memory management #optimisation- AVF-driven parity optimization for MBU protection of in-core memory arrays (MM, MKM, YM), pp. 1480–1485.
DATE-2013-NavasSO #configuration management #flexibility #framework #platform #reuse- The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks (BN, IS, JÖ), pp. 833–838.
DATE-2013-NikolaouSNOI #memory management #question- Memory array protection: check on read or check on write? (PN, YS, LN, EÖ, SI), pp. 214–219.
DATE-2013-RakossyHTSNO #architecture #fault #functional #testing- Hot-swapping architecture with back-biased testing for mitigation of permanent faults in functional unit array (ZER, MH, HT, TS, YN, HO), pp. 535–540.
DATE-2013-TengT #design #reduction- Sparse-rotary oscillator array (SROA) design for power and skew reduction (YT, BT), pp. 1229–1234.
PPoPP-2013-DeoK #gpu #parallel- Parallel suffix array and least common prefix for the GPU (MD, SK), pp. 197–206.
PPoPP-2013-YukiFRS #analysis #data flow #source code- Array dataflow analysis for polyhedral X10 programs (TY, PF, SVR, VS), pp. 23–34.
VMCAI-2013-LarrazRR #generative #invariant #smt- SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.
VLDB-2012-ZhangY #optimisation- Optimizing I/O for Big Array Analytics (YZ, JY), pp. 764–775.
ITiCSE-2012-HiltonJ #education #learning #on the #testing- On teaching arrays with test-driven learning in WebIDE (MH, DSJ), pp. 93–98.
CSMR-2012-AlsallakhBMN #eclipse #ide #java #visualisation- Visualizing Arrays in the Eclipse Java IDE (BA, PB, SM, DN), pp. 541–544.
LATA-2012-NikolicS #analysis- Automaton-Based Array Initialization Analysis (DN, FS), pp. 420–432.
Haskell-2012-LippmeierCKJ #parallel- Guiding parallel array fusion with indexed types (BL, MMTC, GK, SLPJ), pp. 25–36.
ICPR-2012-ShaoWCHW #automation #image- An improved automatic gridding method for cDNA microarray images (GS, TW, ZC, YH, YW), pp. 1615–1618.
ICPR-2012-TanakaSM #estimation #precise #visual notation- A visual marker for precise pose estimation based on a microlens array (HT, YS, YM), pp. 837–840.
ICPR-2012-VarjoHS - Direct imaging with printed microlens arrays (SV, JH, OS), pp. 1355–1358.
MoDELS-2012-JohansenHFES #generative #modelling #product line- Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines (MFJ, ØH, FF, AGE, TS), pp. 269–284.
SPLC-2012-JohansenHF #algorithm #feature model #generative #modelling #scalability- An algorithm for generating t-wise covering arrays from large feature models (MFJ, ØH, FF), pp. 46–55.
LOPSTR-2012-SeghirB #program transformation #quantifier #verification- Simplifying the Verification of Quantified Array Assertions via Code Transformation (MNS, MB), pp. 194–212.
ICSE-2012-NguyenKWF #dynamic analysis #invariant #polynomial #using- Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.
DAC-2012-HuLWR #hardware #using- Hardware realization of BSB recall function using memristor crossbar arrays (MH, HL, QW, GSR), pp. 498–503.
DATE-2012-ZhaoYZCL #architecture #memory management- Architecting a common-source-line array for bipolar non-volatile memory devices (BZ, JY, YZ, YC, HL), pp. 1451–1454.
LCTES-2012-GerardGPP #compilation #composition #data flow #memory management #optimisation- A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
PPoPP-2012-ChenCM #named #parallel #representation- PARRAY: a unifying array representation for heterogeneous parallelism (YC, XC, HM), pp. 171–180.
CAV-2012-AlbertiBGRS #abstraction #named #smt- SAFARI: SMT-Based Abstraction for Arrays with Interpolants (FA, RB, SG, SR, NS), pp. 679–685.
SMT-2012-FalkeSM #formal method #set- A Theory of Arrays with set and copy Operations (SF, CS, FM), pp. 98–108.
SIGMOD-2011-SoroushBW #named #parallel- ArrayStore: a storage manager for complex parallel array processing (ES, MB, DLW), pp. 253–264.
RTA-2011-BruttomessoGR #formal method #quantifier- Rewriting-based Quantifier-free Interpolation for a Theory of Arrays (RB, SG, SR), pp. 171–186.
CIKM-2011-Baumann #scalability- Large-scale array analytics: taming the data tsunami (PB), pp. 2599–2600.
KDIR-2011-FerreiraF - Feature Discretization and Selection in Microarray Data (AJF, MATF), pp. 465–469.
MLDM-2011-PerezR #detection #using- Detection of Phenotypes in Microarray Data Using Force- Directed Placement Transformss (DVP, KAR), pp. 320–334.
POPL-2011-CousotCL #analysis #automation #parametricity #scalability #segmentation- A parametric segmentation functor for fully automatic and scalable array content analysis (PC, RC, FL), pp. 105–118.
SAC-2011-AntonieB - Classifying microarray data with association rules (LA, KB), pp. 94–99.
CC-2011-JoynerBS #analysis #bound- Subregion Analysis and Bounds Check Elimination for High Level Arrays (MJ, ZB, VS), pp. 246–265.
CC-2011-LameedH #compilation #jit #matlab #semantics #staged- Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler (NL, LJH), pp. 22–41.
CGO-2011-NewburnSLMGTWDCWGLZ #compilation #embedded- Intel’s Array Building Blocks: A retargetable, dynamic compiler and embedded language (CJN, BS, ZL, MDM, AMG, SDT, ZGW, ZD, YC, GW, PG, ZL, DZ), pp. 224–235.
DAC-2011-ChangC #3d #image #metric #performance #quality #specification- Image quality aware metrics for performance specification of ADC array in 3D CMOS imagers (HMC, KT(C), pp. 759–764.
DAC-2011-ChenEWDXN #automation #configuration management- Automated mapping for reconfigurable single-electron transistor arrays (YCC, SE, CYW, SD, YX, VN), pp. 878–883.
DAC-2011-ZhengSXHBC #framework #platform #programmable- Programmable analog device array (PANDA): a platform for transistor-level analog reconfigurability (RZ, JS, CX, NH, BB, YC), pp. 322–327.
DATE-2011-AnsaloniPTD #configuration management #scheduling- Slack-aware scheduling on Coarse Grained Reconfigurable Arrays (GA, LP, KT, ND), pp. 1513–1516.
HPCA-2011-YangR #named- I-CASH: Intelligently Coupled Array of SSD and HDD (QY, JR), pp. 278–289.
SIGMOD-2010-Brown #analysis #overview #scalability- Overview of sciDB: large scale array storage, processing and analysis (PGB), pp. 963–968.
VLDB-2010-GeZ #modelling #multi #nondeterminism- A*-tree: A Structure for Storage and Modeling of Uncertain Multidimensional Arrays (TG, SBZ), pp. 964–974.
AFL-J-2008-MalcherMP10 #bound- Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 843–858.
ICFP-2010-KellerCLJL #haskell #parallel- Regular, shape-polymorphic, parallel arrays in Haskell (GK, MMTC, RL, SLPJ, BL), pp. 261–272.
ICML-2010-BontempiM - Causal filter selection in microarray data (GB, PEM), pp. 95–102.
ICPR-2010-BicegoLFD #clustering #modelling #topic- Biclustering of Expression Microarray Data with Topic Models (MB, PL, AF, MD), pp. 2728–2731.
ICPR-2010-CanBG #quantifier- Quantification of Subcellular Molecules in Tissue Microarray (AC, MOB, MJG), pp. 2548–2551.
PLDI-2010-SartorBFHM #flexibility #named- Z-rays: divide arrays and conquer speed and flexibility (JBS, SMB, DF, MH, KSM), pp. 471–482.
SAS-2010-McCloskeyRS #invariant- Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.
SAC-OOPS-J-2008-LogozzoF10 #abstract domain #named #performance #relational #validation- Pentagons: A weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 796–807.
SAC-2010-BicegoLOP #classification #modelling #topic #using- Expression microarray classification using topic models (MB, PL, BO, AP), pp. 1516–1520.
SAC-2010-Makela #concept- Concept for providing guaranteed service level over an array of unguaranteed commodity connections (AM), pp. 678–683.
CASE-2010-AshrafTANBT #analysis #delivery- Structural and microfluidic analysis of MEMS based out-of-plane hollow silicon microneedle array for drug delivery (MWA, ST, NA, AN, ELB, AT), pp. 258–262.
ESOP-2010-AmtoftHR #automation #certification #contract #data flow #precise #reasoning #source code #verification- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.
CAV-2010-ZhouHWG #bound #on the- On Array Theory of Bounded Elements (MZ, FH, BYW, MG), pp. 570–584.
VMCAI-2010-PerrelleH #analysis #permutation- An Analysis of Permutations in Arrays (VP, NH), pp. 279–294.
ITiCSE-2009-Blaheta09a #proving #visual notation- A visual proof of amortised-linear resizable arrays (DB), p. 338.
LATA-2009-IIBT - Counting Parameterized Border Arrays for a Binary Alphabet (TI, SI, HB, MT), pp. 422–433.
IFM-2009-HasanAT #analysis #configuration management #fault #memory management #probability- Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays (OH, NA, ST), pp. 277–291.
CIKM-2009-VriesKCC #robust #using- Robust record linkage blocking using suffix arrays (TdV, HK, SC, PC), pp. 305–314.
PADL-2009-Leshchinskiy #exclamation- Recycle Your Arrays! (RL), pp. 209–223.
SAS-2009-SeghirPW #abstraction #quantifier #refinement- Abstraction Refinement for Quantified Array Assertions (MNS, AP, TW), pp. 3–18.
CC-2009-Grosslinger #precise- Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes (AG), pp. 236–250.
DAC-2009-JamaaLM #multi- Decoding nanowire arrays fabricated with the multi-spacer patterning technique (MHBJ, YL, GDM), pp. 77–82.
DAC-2009-KimM #configuration management #embedded #performance- Hierarchical reconfigurable computing arrays for efficient CGRA-based embedded systems (YK, RNM), pp. 826–831.
DATE-2009-ZhengH #logic #programmable #satisfiability- Defect-aware logic mapping for nanowire-based programmable logic arrays via satisfiability (YZ, CH), pp. 1279–1283.
SOSP-2009-AndersenFKPTV #named #performance- FAWN: a fast array of wimpy nodes (DGA, JF, MK, AP, LT, VV), pp. 1–14.
FASE-2009-KovacsV #invariant #proving #source code #theorem proving #using- Finding Loop Invariants for Programs over Arrays Using a Theorem Prover (LK, AV), pp. 470–485.
TACAS-2009-BrummayerB #named #performance #smt- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays (RB, AB), pp. 174–177.
CAV-2009-BozgaHIKV #automation #integer #source code #verification- Automatic Verification of Integer Array Programs (MB, PH, RI, FK, TV), pp. 157–172.
ISSTA-2009-FoucheCP #incremental #scalability- Incremental covering array failure characterization in large configuration spaces (SF, MBC, AAP), pp. 177–188.
SIGMOD-2008-SinhaPMT #locality #pattern matching #performance- Improving suffix array locality for fast pattern matching on disk (RS, SJP, AM, AT), pp. 661–672.
ITiCSE-2008-EagleB #education #game studies- Wu’s castle: teaching arrays and loops in a game (ME, TB), pp. 245–249.
PASTE-2008-MarronMHSK #analysis #recursion- Sharing analysis of arrays, collections, and recursive structures (MM, MML, MVH, DS, DK), pp. 43–49.
AFL-2008-MalcherMP #bound- Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 292–301.
IFL-2008-TrojahnerG #dependent type #representation- Descriptor-Free Representation of Arrays with Dependent Types (KT, CG), pp. 100–117.
ICPR-2008-SugimotoO #image #synthesis #using- Virtual focusing image synthesis for user-specified image region using camera array (SS, MO), pp. 1–4.
ECMDA-FA-2008-WoodAHM - Array OL Descriptions of Repetitive Structures in VHDL (SW, DHA, WGJH, KDMM), pp. 137–152.
PADL-2008-CoxN #logic programming #spreadsheet #unification- Unification of Arrays in Spreadsheets with Logic Programming (PTC, PKN), pp. 100–115.
PEPM-2008-PopeeaXC #bound #precise- A practical and precise inference and specializer for array bound checks elimination (CP, DNX, WNC), pp. 177–187.
PLDI-2008-HalbwachsP #source code- Discovering properties about arrays in simple programs (NH, MP), pp. 339–348.
SAS-2008-PrabhuS #analysis #java #pointer #using- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA (PP, PS), pp. 110–127.
SAC-2008-LogozzoF #abstract domain #named #performance #relational #validation- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 184–188.
CASE-2008-AnisHM #automation- Automated vision-based selection and placement of single cells in microwell array formats (YHA, MH, DRM), pp. 315–320.
CGO-2008-WimmerM #automation #java #virtual machine- Automatic array inlining in java virtual machines (CW, HM), pp. 14–23.
DAC-2008-BrockmanLKKM #design #memory management #multi #programmable #using- Design of a mask-programmable memory/multiplier array using G4-FET technology (JBB, SL, PMK, AK, MMM), pp. 337–338.
DAC-2008-KulkarniKPR #process- Process variation tolerant SRAM array for ultra low voltage applications (JPK, KK, SPP, KR), pp. 108–113.
DAC-2008-LiASR #design #memory management #modelling #probability #random #statistics- Modeling of failure probability and statistical design of spin-torque transfer magnetic random access memory (STT MRAM) array for yield enhancement (JL, CA, SSS, KR), pp. 278–283.
DATE-2008-BougardSRNADP - A Coarse-Grained Array based Baseband Processor for 100Mbps+ Software Defined Radio (BB, BDS, SR, DN, OA, SD, LVdP), pp. 716–721.
DATE-2008-MucciVMGDGKSCC #adaptation #configuration management #implementation #parallel #pipes and filters- Implementation of Parallel LFSR-based Applications on an Adaptive DSP featuring a Pipelined Configurable Gate Array (CM, LV, IM, DG, AD, SG, JK, AS, LC, FC), pp. 1444–1449.
LCTES-2008-ChoPIDPK #compilation #data access #layout #optimisation- Compiler driven data layout optimization for regular/irregular array access patterns (DC, SP, II, ND, YP, SK), pp. 41–50.
LCTES-2008-SutterCAM #configuration management- Placement-and-routing-based register allocation for coarse-grained reconfigurable arrays (BDS, PC, TVA, BM), pp. 151–160.
ESOP-2008-Allamigeon #abstraction- Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.
FoSSaCS-2008-HabermehlIV #decidability #integer #question #what- What Else Is Decidable about Integer Arrays? (PH, RI, TV), pp. 474–489.
PODS-2007-Machlin #equivalence #multi #query #safety- Index-based multidimensional array queries: safety and equivalence (RM), pp. 175–184.
DHM-2007-GeraciLMPR #algorithm #clustering #scalability- FPF-SB : A Scalable Algorithm for Microarray Gene Expression Data Clustering (FG, ML, MM, MP, MER), pp. 606–615.
ICML-2007-WangZZ #classification #hybrid- Hybrid huberized support vector machines for microarray classification (LW, JZ, HZ), pp. 983–990.
ASE-2007-CaiWHW #automation #kernel #testing- Test automation for kernel code and disk arrays with virtual devices (LZC, RSW, WTH, FW), pp. 505–508.
ASE-2007-YuanCM #automation #sequence #testing #user interface- Covering array sampling of input event sequences for automated gui testing (XY, MBC, AMM), pp. 405–408.
ESEC-FSE-2007-FoucheCP #adaptation #incremental #towards- Towards incremental adaptive covering arrays (SF, MBC, AAP), pp. 557–560.
SAC-2007-LinK #integration- Exploiting inter-gene information for microarray data integration (KML, JK), pp. 123–127.
SAC-2007-QiT #feature model #ontology- Integrating gene ontology into discriminative powers of genes for feature selection in microarray data (JQ, JT), pp. 430–434.
CC-2007-ShyamG #architecture #energy #memory management #reduction- An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures (KS, RG), pp. 32–47.
DATE-2007-XuC - A cross-referencing-based droplet manipulation method for high-throughput and pin-constrained digital microfluidic arrays (TX, KC), pp. 552–557.
ISMM-2007-Zilles - Accordion arrays (CBZ), pp. 55–66.
LCTES-2007-AliasBD #implementation #text-to-text- Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose (CA, FB, AD), pp. 73–82.
TACAS-2007-ArmandoBM #abstraction #linear #refinement #source code- Abstraction Refinement of Linear Programs with Arrays (AA, MB, JM), pp. 373–388.
CAV-2007-GaneshD - A Decision Procedure for Bit-Vectors and Arrays (VG, DLD), pp. 519–531.
CAV-2007-JhalaM #abstraction #proving- Array Abstractions from Proofs (RJ, KLM), pp. 193–206.
PODS-2006-BenderH #adaptation- An adaptive packed-memory array (MAB, HH), pp. 20–29.
IFL-2006-RuffJ #synthesis- Functional-Based Synthesis of a Systolic Array for GCD Computation (LR, TJ), pp. 37–54.
IFL-2006-TrojahnerGS #on the #optimisation #source code #using- On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.
CIKM-2006-HuZZ #clustering #identification #integration #mining- Integration of cluster ensemble and EM based text mining for microarray gene cluster identification and annotation (XH, XZ, XZ), pp. 824–825.
CIKM-2006-ZhangW #mining- Mining coherent patterns from heterogeneous microarray data (XZ, WW), pp. 838–839.
ICML-2006-TeoV #kernel #performance #string #using- Fast and space efficient string kernels using suffix arrays (CHT, SVNV), pp. 929–936.
ICPR-v1-2006-MitraBP #clustering #framework- A MOE framework for Biclustering of Microarray Data (SM, HB, SKP), pp. 1154–1157.
ICPR-v3-2006-GanLY06a #biology #constraints #framework #set- Microarray Missing Data Imputation based on a Set Theoretic Framework and Biological Constraints (XG, AWCL, HY), pp. 842–845.
ICPR-v3-2006-HanD #clustering #modelling #parametricity- Semi-Parametric Model-Based Clustering for DNA Microarray Data (BH, LSD), pp. 324–327.
ICSE-2006-DhurjatiA #bound #c- Backwards-compatible array bounds checking for C with very low overhead (DD, VSA), pp. 162–171.
SAC-2006-BiermanMPS #analysis #image #named- MACE: lossless compression and analysis of microarray images (RB, NM, CP, RS), pp. 167–172.
SAC-2006-MaC #algorithm #data mining #mining #network #novel- A novel data mining algorithm for reconstructing gene regulatory networks from microarray data (PCHM, KCCC), pp. 202–203.
SAC-2006-Miyazaki #database #in memory #memory management- A memory subsystem with comparator arrays for main memory database operations (JM), pp. 511–512.
SAC-2006-TsujiHH #multi- An extendible multidimensional array system for MOLAP (TT, AH, KH), pp. 503–510.
DAC-2006-HwangSC #automation #design- Automated design of pin-constrained digital microfluidic arrays for lab-on-a-chip applications* (WLH, FS, KC), pp. 925–930.
DAC-2006-ShiC #performance- Efficient escape routing for hexagonal array of high density I/Os (RS, CKC), pp. 1003–1008.
DATE-2006-ChenOKK #data access #memory management- Dynamic scratch-pad memory management for irregular array access patterns (GC, ÖÖ, MTK, MK), pp. 931–936.
DATE-2006-NiclassSC - A single photon avalanche diode array fabricated in deep-submicron CMOS technology (CN, MS, EC), pp. 81–86.
PPoPP-2006-BikshandiGHAFGPP #locality #parallel #programming- Programming for parallelism and locality with hierarchically tiled arrays (GB, JG, DH, GA, BBF, MJG, DAP, CvP), pp. 48–57.
VMCAI-2006-BradleyMS #decidability #question #what- What’s Decidable About Arrays? (ARB, ZM, HBS), pp. 427–442.
SIGMOD-2005-ZhaoZ #3d #algorithm #clustering #effectiveness #mining #named- TriCluster: An Effective Algorithm for Mining Coherent Clusters in 3D Microarray Data (LZ, MJZ), pp. 694–705.
SIGITE-2005-ChastineP #2d #education #realtime #using #video- Teaching 2D arrays using real-time video filters (JWC, JAP), pp. 133–137.
DLT-J-2004-Freund05 #string- P Systems working in the sequential mode on arrays and strings (RF), pp. 663–682.
CEFP-2005-Scholz #functional #programming- Functional Array Programming in SaC (SBS), pp. 62–99.
IFL-2005-GrelckSS #analysis #source code- A Binding Scope Analysis for Generic Programs on Arrays (CG, SBS, AVS), pp. 212–230.
KDD-2005-WangPY #similarity- Pattern-based similarity search for microarray data (HW, JP, PSY), pp. 814–819.
LOPSTR-2005-PettorossiPS #protocol #using #verification- Transformational Verification of Parameterized Protocols Using Array Formulas (AP, MP, VS), pp. 23–43.
POPL-2005-GopanRS #analysis #framework- A framework for numeric analysis of array operations (DG, TWR, SS), pp. 338–350.
SAC-2005-WanMA #markov #random #similarity #using- Cleaning microarray expression data using Markov random fields based on profile similarity (RW, HM, KFA), pp. 206–207.
CASE-2005-LeeH #analysis #design- An integrated system of microcantilever arrays with carbon nanotube tips for bio/nano analysis: design and control (EL, HSH), pp. 113–117.
DAC-2005-KimK #design #embedded #memory management #optimisation #scheduling- Memory access optimization through combined code scheduling, memory allocation, and array binding in embedded system design (JK, TK), pp. 105–110.
DATE-2005-AbsarC #approach- Compiler-Based Approach for Exploiting Scratch-Pad in Presence of Irregular Array Access (MJA, FC), pp. 1162–1167.
DATE-2005-ThewesPSHFBAJESAHBHH - CMOS-Based Biosensor Arrays (RT, CP, MS, FH, AF, RB, MA, MJ, BE, PSB, MA, BH, GB, TH, HCH), pp. 1222–1223.
SOSP-2005-ZhuCTZKW #named- Hibernator: helping disk arrays sleep through the winter (QZ, ZC, LT, YZ, KK, JW), pp. 177–190.
SIGMOD-2004-CongXPTY #dataset #named- FARMER: Finding Interesting Rule Groups in Microarray Datasets (GC, AKHT, XX, FP, JY), pp. 143–154.
ITiCSE-WGR-2004-JacobsonT #programming- It is time to emphasize arraylists over arrays in Java-based first programming courses (NJ, AT), pp. 88–92.
DLT-2004-Freund #string- P Systems Working in the Sequential Mode on Arrays and Strings (RF), pp. 188–199.
DLT-2004-GruskaTP #communication #problem- Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings (JG, SLT, MP), pp. 200–211.
ICPR-v3-2004-AntoniolC #approach #image #markov #random- A Markov Random Field Approach to Microarray Image Gridding (GA, MC), pp. 550–553.
ICPR-v3-2004-GanLY #estimation #set- Missing Microarray Data Estimation Based on Projection onto Convex Sets Method (XG, AWCL, HY), pp. 782–785.
ICPR-v3-2004-MizoguchiTSKN #visual notation- Visually Steerable Sound Beam Forming System based on Face Tracking and Speaker Array (HM, YT, KS, SK, KN), pp. 977–980.
ICPR-v3-2004-ParkLL #automation #image #segmentation- Automatic Microarray Image Segmentation Based on Watershed Transformation (CBP, KWL, SWL), pp. 786–789.
KDD-2004-JiangPRTZ #clustering #mining- Mining coherent gene clusters from gene-sample-time microarray data (DJ, JP, MR, CT, AZ), pp. 430–439.
KDD-2004-YuL #feature model- Redundancy based feature selection for microarray data (LY, HL), pp. 737–742.
PLDI-2004-VenetB #bound #c #embedded #performance #precise #scalability #source code- Precise and efficient static array bound checking for large embedded C programs (AV, GPB), pp. 231–242.
PLDI-2004-ZhongOSD #using- Array regrouping and structure splitting using whole-program reference affinity (YZ, MO, XS, CD), pp. 255–266.
SAC-2004-BolshakovaAC #assessment #clustering- An integrated tool for microarray data clustering and cluster validity assessment (NB, FA, PC), pp. 133–137.
SAC-2004-FengBM #detection- Time-frequency feature detection for time-course microarray data (JF, PEB, BM), pp. 128–132.
SAC-2004-Kincaid #analysis #interactive #named #visualisation- VistaClara: an interactive visualization for exploratory analysis of DNA microarrays (RK), pp. 167–174.
ASPLOS-2004-DenehyBPAA - Deconstructing storage arrays (TED, JB, FIP, ACAD, RHAD), pp. 59–71.
ASPLOS-2004-SaitoFVMS #component #distributed #enterprise #named- FAB: building distributed enterprise disk arrays from commodity components (YS, SF, ACV, AM, SS), pp. 48–58.
DAC-2004-TaylorS #energy #performance- Enabling energy efficiency in via-patterned gate array devices (RRT, HS), pp. 874–878.
DATE-v1-2004-BoseN #memory management #modelling- Extraction of Schematic Array Models for Memory Circuits (SB, AN), pp. 570–577.
DATE-v2-2004-KhawamBPAAAW #configuration management #implementation #mobile #performance #video- Efficient Implementations of Mobile Video Computations on Domain-Specific Reconfigurable Arrays (SK, SB, AP, IA, NA, TA, FW), pp. 1230–1235.
DATE-v2-2004-KumarBK #algorithm #analysis #embedded #memory management #named #reduction #using- MemMap: Technology Mapping Algorithm for Area Reduction in FPGAs with Embedded Memory Arrays Using Reconvergence Analysis (AMK, JB, VK), pp. 922–929.
PDP-2004-AthanasakiK #locality- Improving Cache Locality with Blocked Array Layouts (EA, NK), pp. 308–317.
ICALP-2003-KarkkainenS #linear- Simple Linear Work Suffix Array Construction (JK, PS), pp. 943–955.
IFL-2003-GrelckST - With-Loop Scalarization — Merging Nested Array Operations (CG, SBS, KT), pp. 118–134.
KDD-2003-Piatetsky-ShapiroKR #data analysis- Capturing best practice for microarray gene expression data analysis (GPS, TK, SR), pp. 407–415.
OOPSLA-2003-MouginD #named #object-oriented #programming- OOPAL: integrating array programming in object-oriented programming (PM, SD), pp. 65–77.
PLDI-2003-JoishaB #matlab #optimisation- Static array storage optimization in MATLAB (PGJ, PB), pp. 258–268.
SAC-2003-BreeseSMGE #analysis #framework #information management- Labrat LIMS: An Extensible Framework for Developing Laboratory Information Management, Analysis, and Bioinformatics Solutions for Microarrays (MRB, MJS, JNM, MWG, HJE), pp. 103–108.
SAC-2003-KatzerKS #markov #random- A Markov Random Field Model of Microarray Gridding (MK, FK, GS), pp. 72–77.
LCTES-2003-VanbroekhovenCC - Advanced copy propagation for arrays (PV, HC, FC), pp. 24–33.
PPoPP-2003-DeitzCCS #design #implementation #parallel- The design and implementation of a parallel array operator for the arbitrary remapping of data (SJD, BLC, SEC, LS), pp. 155–166.
CIAA-2002-Balik - DAWG versus Suffix Array (MB), pp. 233–238.
AFP-2002-ChakravartyK02 #approach #haskell #performance- An Approach to Fast Arrays in Haskell (MMTC, GK), pp. 27–58.
ICFP-2002-Hinze #flexibility- Bootstrapping one-sided flexible arrays (RH), pp. 2–13.
ICPR-v4-2002-HuangT02a #multi #recognition #streaming #using #video- Streaming Face Recognition Using Multicamera Video Arrays (KSH, MMT), pp. 213–216.
KDD-2002-TuzhilinA #analysis #scalability- Handling very large numbers of association rules in the analysis of microarray data (AT, GA), pp. 396–404.
SAS-2002-Venet #alias #analysis #data type #recursion- Nonuniform Alias Analysis of Recursive Data Structures and Arrays (AV), pp. 36–51.
CC-2002-QianHV #approach #bound #java- A Comprehensive Approach to Array Bounds Check Elimination for Java (FQ, LJH, CV), pp. 325–342.
DATE-2002-DessoukyS #automation #generative- Automatic Generation of Common-Centroid Capacitor Arrays with Arbitrary Capacitor Ratio (MD, DS), pp. 576–580.
DATE-2002-DrozdLD #float #online #performance #testing- Efficient On-Line Testing Method for a Floating-Point Iterative Array Divider (AVD, MVL, JVD), p. 1127.
VMCAI-2002-TronconBJC #reduction- Storage Size Reduction by In-place Mapping of Arrays (RT, MB, GJ, FC), pp. 167–181.
PASTE-2001-AncourtN #debugging #maintenance #reuse- Array resizing for scientific code debugging, maintenance and reuse (CA, TVNN), pp. 32–37.
ICALP-2001-Havill #linear #online- Online Packet Routing on Linear Arrays and Rings (JTH), pp. 773–784.
ICFP-2001-ChakravartyK #functional- Functional Array Fusion (MMTC, GK), pp. 205–216.
IFL-2001-Grelck #memory management #optimisation- Optimizations on Array Skeletons in a Shared Memory Environment (CG), pp. 36–54.
IFL-2001-Kreye #compilation- A Compilation Scheme for a Hierarchy of Array Types (DK), pp. 18–54.
ICML-2001-XingJK #feature model- Feature selection for high-dimensional genomic microarray data (EPX, MIJ, RMK), pp. 601–608.
CC-2001-FrankeO #compilation #pointer- Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications (BF, MFPO), pp. 69–85.
CC-2001-KandemirU #locality #optimisation #unification- Array Unification: A Locality Optimization Technique (MTK), pp. 259–273.
DATE-2001-Al-ArsG #behaviour #embedded #memory management- Static and dynamic behavior of memory cell array opens and shorts in embedded DRAMs (ZAA, AJvdG), pp. 496–503.
PPoPP-2001-LimLL #clustering #using- Blocking and array contraction across arbitrarily nested loops using affine partitioning (AWL, SWL, MSL), pp. 103–112.
LICS-2001-StumpBDL - A Decision Procedure for an Extensional Theory of Arrays (AS, CWB, DLD, JRL), pp. 29–37.
WLC-2000-BuchholzKK #communication #nondeterminism- Iterative Arrays With Limited Nondeterministic Communication Cell (TB, AK, MK), pp. 73–87.
IFL-2000-Grelck #effectiveness #layout- Improving Cache Effectiveness through Array Data Layout Manipulation in SAC (CG), pp. 231–248.
CIKM-2000-ChenP #generative #source code- Dynamic Generation of Data Broadcasting Programs for a Broadcast Disk Array (MSC, WCP), pp. 38–45.
ICPR-v4-2000-KaifelSK - Spotting Approaches for Biochip Arrays (TK, CS, TK), pp. 4356–4359.
PLDI-2000-BodikGS #bound #named- ABCD: eliminating array bounds checks on demand (RB, RG, VS), pp. 321–333.
PLDI-2000-RuginaR #analysis #bound #memory management #pointer- Symbolic bounds analysis of pointers, array indices, and accessed memory regions (RR, MCR), pp. 182–195.
SAS-2000-FinkKS #analysis- Unified Analysis of Array and Object References in Strongly Typed Languages (SJF, KK, VS), pp. 155–174.
CC-2000-LinP #analysis #compilation #optimisation- Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations (YL, DAP), pp. 202–218.
CC-2000-Roth #syntax- Advanced Scalarization of Array Syntax (GR), pp. 219–231.
CC-2000-ShahamKS #automation #java #memory management- Automatic Removal of Array Memory Leaks in Java (RS, EKK, SS), pp. 50–66.
DAC-2000-CongH #incremental #programmable- Depth optimal incremental mapping for field programmable gate arrays (JC, HH), pp. 290–293.
DATE-2000-GanesanV #programmable- Technology Mapping and Retargeting for Field-Programmable Analog Arrays (SG, RV), pp. 58–64.
HPDC-2000-HwangJH #clustering #distributed #named- RAID-x: A New Distributed Disk Array for I/O-Centric Cluster Computing (KH, HJ, RSCH), pp. 279–286.
LCTES-2000-CintraA #using- Array Reference Allocation Using SSA-Form and Live Range Growth (MSC, GA), pp. 48–62.
OSDI-2000-YuGCWLKA #capacity #performance- Trading Capacity for Performance in a Disk Array (XY, BG, YC, RYW, KL, AK, TEA), pp. 243–258.
STOC-2000-GrossiV #string- Compressed suffix arrays and suffix trees with applications to text indexing and string matching (RG, JSV), pp. 397–406.
SIGMOD-1999-MaratheS #query- Query Processing Techniques for Arrays (APM, KS), pp. 323–334.
SAC-1999-JinH #clustering #problem- False Sharing Problems in Cluster-Based Disk Arrays (HJ, KH), pp. 461–465.
DAC-1999-ZhaoM #estimation #memory management- Exact Memory Size Estimation for Array Computations without Loop Unrolling (YZ, SM), pp. 811–816.
DATE-1999-ChoiB #design- OTA Amplifiers Design on Digital Sea-of-Transistors Array (JHC, SB), pp. 776–777.
PDP-1999-PriceHLT #adaptation #architecture #parallel #using- Adaptive microphone array beamforming for teleconferencing using VHDL and parallel architectures (TPWP, DMH, AVL, AMT), pp. 13–18.
PPoPP-1999-MoonH #analysis #automation #data flow #evaluation #parallel- Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization (SM, MWH), pp. 84–95.
CSL-1999-Stewart #quantifier- Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws (IAS), pp. 374–388.
SIGMOD-1998-PapadopoulosM #query #similarity #using- Similarity Query Processing Using Disk Arrays (AP, YM), pp. 225–236.
ICPR-1998-TirkelSHO - Secure arrays for digital watermarking (AZT, RGvS, TEH, CFO), pp. 1643–1645.
PLDI-1998-LewisLS #evaluation #implementation- The Implementation and Evaluation of Fusion and Contraction in Array Languages (ECL, CL, LS), pp. 50–59.
PLDI-1998-PaekHP #compilation #data access #optimisation- Simplification of Array Access Patterns for Compiler Optimizations (YP, JH, DAP), pp. 60–71.
PLDI-1998-XiP #bound #dependent type- Eliminating Array Bound Checking Through Dependent Types (HX, FP), pp. 249–257.
POPL-1998-KnobeS #parallel- Array SSA Form and Its Use in Parallelization (KK, VS), pp. 107–120.
SAS-1998-SarkarK #constant- Enabling Sparse Constant Propagation of Array Elements via Array SSA Form (VS, KK), pp. 33–56.
DAC-1998-WangAK #automation #evaluation #generative #using #verification- Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation (LCW, MSA, NK), pp. 534–537.
DATE-1998-WangAZ #design #effectiveness #validation- Measuring the Effectiveness of Various Design Validation Approaches For PowerPC(TM) Microprocessor Arrays (LCW, MSA, JZ), pp. 273–277.
PDP-1998-YookKP #fortran #performance- A new distribution format for reshaped arrays in High Performance Fortran (HGY, MSK, MSP), pp. 204–210.
TACAS-1998-VelevB #memory management #modelling #performance #simulation- Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation (MNV, REB), pp. 136–150.
VLDB-1997-MaratheS - A Language for Manipulating Arrays (APM, KS), pp. 46–55.
DLT-1997-PazC #automaton #evolution #probability- Chaotic Evolution via Generalized Probabilistic Automata (Probabilistic Arrays) (AP, JWC), pp. 9–35.
ICALP-1997-KhannaMS #clustering #performance- Efficient Array Partitioning (SK, SM, SS), pp. 616–626.
IFL-1997-Scholz - WITH-Loop-Folding in SAC — Condensing Consecutive Array Operations (SBS), pp. 72–91.
DAC-1997-MeyerST #design #synthesis- Design and Synthesis of Array Structured Telecommunication Processing Applications (WM, AS, FT), pp. 486–491.
EDTC-1997-HuangW #design #performance- High-speed C-testable systolic array design for Galois-field inversion (CTH, CWW), pp. 342–346.
EDTC-1997-OzimekVT #implementation #performance #scheduling- Optimal scheduling for fast systolic array implementations (IO, RV, JFT), p. 620.
PDP-1997-Eckhardt #architecture- I/O management for hierarchically structured array architectures (UE), pp. 205–210.
PPoPP-1997-Coelho #compilation- Compiling Dynamic Mappings with Array Copies (FC), pp. 168–179.
PPoPP-1997-GuLL #analysis #data flow #experience #performance- Experience with Efficient Array Data-Flow Analysis for Array Privatization (JG, ZL, GL), pp. 157–167.
CAV-1997-VelevBJ #memory management #modelling #performance #simulation- Efficient Modeling of Memory Arrays in Symbolic Simulation (MNV, REB, AJ), pp. 388–399.
ICLP-1997-KagedalD #approach #reuse #using- A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages (AK, SKD), pp. 18–32.
SIGMOD-1996-LibkinMW #design #implementation #multi #optimisation #query- A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques (LL, RM, LW), pp. 228–239.
IFL-1996-Groningen #implementation #performance- The Implementation and Efficiency of Arrays in Clean 1.1 (JHGvG), pp. 105–124.
IFL-1996-Scholz #functional #on the #programming- On Programming Scientific Applications in SAC — A Functional Language Extended by a Subsystem for High-Level Array Operations (SBS), pp. 85–104.
ICPR-1996-FerrariBG #classification- A VLSI array processor accelerator for k-NN classification (AF, MB, RG), pp. 723–727.
ICPR-1996-RanganathanBV #image #linear- A dynamic frequency linear array processor for image processing (NR, NB, NV), pp. 611–615.
ICPR-1996-YamashitaFO #interface #memory management #realtime- An integrated memory array processor with a synchronous-DRAM interface for real-time vision applications (NY, YF, SO), pp. 575–580.
ICSE-1996-Forgacs #analysis #data flow #testing- An Exact Array Reference Analysis for Data Flow Testing (IF), pp. 565–574.
CC-1996-FritzonWHSS #bytecode #debugging #distributed #parallel #process- A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes (PF, RW, OH, JS, PS), pp. 341–355.
DAC-1996-PandeyRBB #evaluation #using #verification- Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation (MP, RR, DLB, REB), pp. 649–654.
PDP-1996-FimmelM #parallel- Propagation of I/O-Variables in Massively Parallel Processor Arrays (DF, RM), pp. 501–509.
STOC-1996-BroderU - Dynamic Deflection Routing on Arrays (AZB, EU), pp. 348–355.
ICDAR-v2-1995-KimLK #architecture #hardware #implementation #parallel #recognition- Parallel hardware implementation of handwritten character recognition system on wavefront array processor architecture (YJK, SWL, MWK), pp. 715–718.
VLDB-1995-MogiK #clustering- Hot Block Clustering for Disk Arrays with Dynamic Striping (KM, MK), pp. 90–99.
DLT-1995-Freund - Array Grammars with Prescribed Teams of Array Productions (RF), pp. 220–229.
PLDI-1995-KolteW - Elimination of Redundant Array Subscript Range Checks (PK, MW), pp. 270–278.
PLILP-1995-MasseyT #analysis #comprehension- Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions (BCM, ET), pp. 207–222.
HPCA-1995-HurSFOK #design #fault #logic #parallel #simulation- Massively Parallel Array Processor for Logic, Fault, and Design Error Simulation (YH, SAS, ESF, GEO, SK), pp. 340–347.
HPDC-1995-Menon #comparison #performance- A Performance Comparison of RAID-5 and Log-Structured Arrays (JM0), pp. 167–178.
PDP-1995-DionRR #algorithm #scheduling- Resource-constrained scheduling of partitioned algorithms on processor arrays (MD, TR, YR), pp. 571–580.
PPoPP-1995-CollardBF #analysis #data flow #fuzzy- Fuzzy Array Dataflow Analysis (JFC, DB, PF), pp. 92–101.
PPoPP-1995-HwangLJ #fortran #source code #synthesis- An Array Operation Synthesis Scheme to Optimize Fortran 90 Programs (GHH, JKL, RDCJ), pp. 112–122.
PPoPP-1995-Philippsen #automation #communication #process- Automatic Alignment of Array Data and Processes to Reduce Communication Time on DMPPs (MP), pp. 156–165.
STOC-1995-AnderssonHP #bound- A tight lower bound for searching a sorted array (AA, JH, OP), pp. 417–426.
ICLP-1995-GuptaCP #logic programming #parallel- Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming (GG, VSC, EP), p. 824.
LFP-1994-Chuang #functional #implementation #multi #random- A Randomized Implementation of Multiple Functional Arrays (TRC), pp. 173–184.
PLDI-1994-AustinBS #detection #fault #performance #pointer- Efficient Detection of All Pointer and Array Access Errors (TMA, SEB, GSS), pp. 290–301.
POPL-1994-Maslov #analysis #data flow #dependence #lazy evaluation- Lazy Array Data-Flow Dependence Analysis (VM), pp. 311–325.
SAS-1994-Garza-SalazarB #analysis- Uniqueness and Completeness Analysis of Array Comprehensions (DAGS, APWB), pp. 193–207.
SAC-1994-RayJD #algorithm #graph #linear #parallel- A parallel algorithm for mapping a special class of task graphs onto linear array multiprocessors (SR, HJ, JSD), pp. 473–477.
CC-1994-BenkerBZ #compilation #fortran #interface #performance- Processing Array Statements and Procedure Interfaces in the PREPARE High Performance Fortran Compiler (SB, PB, HPZ), pp. 324–338.
CC-1994-JustianiH #c #compilation #dependence #optimisation #testing- Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler (J, LJH), pp. 309–323.
DAC-1994-SarabiSCP #2d #approach #design #logic #physics #synthesis- A Comprehensive Approach to Logic Synthesis and Physical Design for Two-Dimensional Logic Arrays (AS, NS, MCJ, MAP), pp. 321–326.
EDAC-1994-BalboniCFS #architecture #behaviour- From Behavioral Description to Systolic Array Based Architectures (AB, CC, FF, DS), p. 657.
EDAC-1994-DongenR #design- Advanced Analog Circuit Design on a Digital Sea-of-Gates Array (RvD, VR), pp. 70–74.
EDAC-1994-NicolaidisB #implementation #multi #performance #self- Efficient Implementations of Self-Checking Multiply and Divide Arrays (MN, HB), pp. 574–579.
EDAC-1994-RamachandranGC #algorithm #clustering- An Algorithm for Array Variable Clustering (LR, DG, VC), pp. 262–266.
EDAC-1994-WuM #2d #performance #programmable- An Efficient Router for 2-D Field Programmable Gate Arrays (YLW, MMS), pp. 412–416.
HPDC-1994-CataniaPRV #clustering #evaluation #performance- Performance Evaluation of a Partial Dynamic Declustering Disk Array System (VC, AP, SR, LV), pp. 244–252.
PDP-1994-Dezan #generative #program transformation- Generating Regular Arrays By Program Transformations (CD), pp. 175–179.
PDP-1994-DiersteinHR #algorithm #bound- A Branch-and-bound Algorithm For Array Distributions (AD, RH, TR), pp. 528–535.
PDP-1994-MegsonC #clustering- Partitioning And Mapping For Lower Dimensional Given Arrays (GMM, XC), pp. 149–155.
STOC-1994-AnderssonHHP #complexity #string- The complexity of searching a sorted array of strings (AA, TH, JH, OP), pp. 317–325.
SIGMOD-1993-HouP #algorithm- Comparing Rebuild Algorithms for Mirrored and RAID5 Disk Arrays (RYH, YNP), pp. 317–326.
DLT-1993-KrithivasanM #modelling #nondeterminism #probability- Nondeterministic, Probabilistic and Alternating Computations on Cellular Array Models (KK, MM), pp. 342–354.
OOPSLA-1993-Driesen - Selector Table Indexing & Sparse Arrays (KD), pp. 259–270.
PLDI-1993-DuesterwaldGS #analysis #data flow #framework #optimisation- A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations (ED, RG, MLS), pp. 68–77.
POPL-1993-ChatterjeeGST #automation #source code- Automatic Array Alignment in Data-Parallel Programs (SC, JRG, RS, SHT), pp. 16–28.
POPL-1993-MaydanAL #analysis #data flow- Array Data-Flow Analysis and its Use in Array Privatization (DEM, SPA, MSL), pp. 2–15.
ICSE-1993-HamletGN #data flow #testing- Exploring Dataflow Testing of Arrays (RGH, BG, BN), pp. 118–129.
SAC-1993-PanH #composition #pipes and filters- Computation of Singular Value Decomposition on Arrays with Pipelined Optical Buses (YP, MH), pp. 525–532.
DAC-1993-ChanSZ #on the #predict #programmable- On Routability Prediction for Field-Programmable Gate Arrays (PKC, MDFS, JYZ), pp. 326–330.
DAC-1993-ChenCHK - The Sea-of-Wires Array Aynthesis System (IYC, GLC, FJH, SYK), pp. 188–193.
DAC-1993-MurgaiBS #programmable #synthesis- Sequential Synthesis for Table Look Up Programmable Gate Arrays (RM, RKB, ALSV), pp. 224–229.
PDP-1993-StuartW #algorithm #matrix #parallel #scalability #set #symmetry #using- An algorithm far the parallel computation of subsets of eigenvalues and associated eigenvectors of large symmetric matrices using an array processor (EJS, JSW), pp. 211–217.
STOC-1993-ColeMS #configuration management #fault #multi #self- Multi-scale self-simulation: a technique for reconfiguring arrays with faults (RC, BMM, RKS), pp. 561–572.
TAPSOFT-1993-GribomontD #design- Generic Systolic Arrays: A Methodology for Systolic Design (EPG, VVD), pp. 746–761.
ASPLOS-1992-HollandG #clustering- Parity Declustering for Continuous Operation in Redundant Disk Arrays (MH, GAG), pp. 23–35.
DAC-1992-SawkarT #programmable- Area and Delay Mapping for Table-Look-Up Based Field Programmable Gate Arrays (PS, DET), pp. 368–373.
HPDC-1992-NgM #maintenance #performance- Maintaining Good Performance In Disk Arrays During Failure via Uniform Parity Group Distribution (SWN, RLM), pp. 260–269.
ESOP-1992-Chuang #incremental #performance #persistent- Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads (TRC), pp. 110–129.
STOC-1992-AumannB - Computing with Faulty Arrays (YA, MBO), pp. 162–169.
SIGMOD-1991-VandenbergD #algebra #inheritance- Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance (SLV, DJD), pp. 158–167.
SIGMOD-1991-WeikumZS - Dynamic File Allocation in Disk Arrays (GW, PZ, PS), pp. 406–415.
POPL-1991-CaiP #quote- “Look Ma, No Hashing, And No Arrays Neither” (JC, RP), pp. 143–154.
ASPLOS-1991-LeeK #performance- Performance Consequences of Parity Placement in Disk Arrays (EKL, RHK), pp. 190–199.
DAC-1991-ErcolaniM #programmable- Technology Mapping for Electrically Programmable Gate Arrays (SE, GDM), pp. 234–239.
DAC-1991-Hill #design #programmable- A CAD System for the Design of Field Programmable Gate Arrays (DDH), pp. 187–192.
DAC-1991-Karplus #named #programmable- Xmap: A Technology Mapper for Table-Lookup Field-Programmable Gate Arrays (KK), pp. 240–243.
DAC-1991-Karplus91a #named #programmable- Amap: A Technology Mapper for Selector-Based Field-Programmable Gate Arrays (KK), pp. 244–247.
VLDB-1990-GrayHW #low cost #reliability #throughput- Parity Striping of Disk Arrays: Low-Cost Reliable Storage with Acceptable Throughput (JG, BH, MW), pp. 148–161.
VLDB-1990-MuntzL #analysis #performance- Performance Analysis of Disk Arrays under Failure (RRM, JCSL), pp. 162–173.
PLDI-1990-AndersonH #compilation #haskell- Compilation of Haskell Array Comprehensions for Scientific Computing (SA, PH), pp. 137–149.
PLDI-1990-Gupta #bound #fresh look #optimisation- A Fresh Look at Optimizing Array Bound Checking (RG), pp. 272–282.
PLDI-1990-Tseng #compilation #linear #source code- Compiling Programs for a Linear Systolic Array (PST), pp. 311–321.
DAC-1990-FrancisRC #named #programmable- Chortle: A Technology Mapping Program for Lookup Table-Based Field Programmable Gate Arrays (RJF, JR, KC), pp. 613–619.
DAC-1990-MurgaiNSBS #logic #programmable #synthesis- Logic Synthesis for Programmable Gate Arrays (RM, YN, NVS, RKB, ALSV), pp. 620–625.
FPCA-1989-WeissSS #architecture #data-driven- Architectural Improvements for Data-Driven VLSI Processing Arrays (SW, IYS, GMS), pp. 243–259.
ASPLOS-1989-GibsonHKKP #scalability- Failure Correction Techniques for Large Disk Arrays (GAG, LH, RMK, RHK, DAP), pp. 123–132.
DAC-1989-GoreR #automation #equation #logic #programmable #synthesis #using- Automatic Synthesis of Boolean Equations Using Programmable Array Logic (RG, KR), pp. 283–289.
SIGMOD-1988-PattersonGK - A Case for Redundant Arrays of Inexpensive Disks (RAID) (DAP, GAG, RHK), pp. 109–116.
POPL-1988-Lam #compilation #optimisation #source code- Compiler Optimizations for Asynchronous Systolic Array Programs (MSL), pp. 309–318.
DAC-1988-ChakravertiC #algorithm #metaprogramming- Routing Algorithm for Gate Array Macro Cells (AC, MJC), pp. 658–662.
DAC-1988-KumarS #architecture #parallel- Parallel Placement on Reduced Array Architecture (CPR, SS), pp. 121–127.
PPEALS-1988-AlbertKLS #compilation #fortran- Compiling Fortran 8x Array Features for the Connection Machine Computer System (EA, KK, JDL, GLSJ), pp. 42–56.
PPEALS-1988-Bruegge #development- Program Development for a Systolic Array (BB), pp. 31–41.
JICSCP-1988-McCroskyK88 #prolog #using- Improving First-Class Array Expressions Using Prolog (CM, AJK), pp. 18–25.
ICALP-1987-IbarraJ #on the #power of- On the Computing Power of One-Way Cellular Arrays (OHI, TJ), pp. 550–562.
FPCA-1987-GrossS - Mapping a single-assignment language onto the Warp systolic array (TRG, AS), pp. 347–363.
SIGIR-1987-RasmussenW #clustering #distributed #documentation #using- Non-Hierarchic Document Clustering Using the ICL Distributed Array Processor (EMR, PW), pp. 132–139.
DAC-1987-BeekmanOI #generative #performance- Mesh Arrays and LOGICIAN: A Tool for Their Efficient Generation (JAB, RMO, MJI), pp. 357–362.
DAC-1987-FaroughiS #algorithm- An Improved Systematic Method for Constructing Systolic Arrays from Algorithms (NF, MAS), pp. 26–34.
DAC-1987-LiuSU #design #logic #named #programmable #scalability #self- BIST-PLA: A Built-in Self-Test Design of Large Programmable Logic Arrays (CYL, KKS, SJU), pp. 385–391.
DAC-1987-Wey #design #logic #on the #programmable- On Yield Consideration for the Design of Redundant Programmable Logic Arrays (CLW), pp. 622–628.
DAC-1987-WongL #optimisation #synthesis- Array Optimization for VLSI Synthesis (DFW, CLL), pp. 537–543.
GG-1986-Rosenfeld - Array Grammars (AR), pp. 67–70.
GG-1986-Siromoney #roadmap- Advances in array languages (RS), pp. 549–563.
DAC-1986-DevadasN #named #synthesis- GENIE: a generalized array optimizer for VLSI synthesis (SD, ARN), pp. 631–637.
DAC-1986-KuoF #configuration management #performance- Efficient spare allocation in reconfigurable arrays (SYK, WKF), pp. 385–390.
DAC-1986-LadjadjMHM #testing #using- Use of the subscripted DALG in submodule testing with applications in cellular arrays (ML, JFM, DHH, WM), pp. 346–353.
DAC-1986-SaitoSYK #logic #rule-based #synthesis- A rule-based logic circuit synthesis system for CMOS gate arrays (TS, HS, MY, NK), pp. 594–600.
STOC-1986-KosarajuA #simulation- Optimal Simulations between Mesh-Connected Arrays of Processors (SRK, MJA), pp. 264–272.
ICALP-1985-VarmanR #matrix #multi #on the #using- On Matrix Multiplication Using Array Processors (PJV, IVR), pp. 487–496.
FPCA-1985-Sheeran85 #architecture #design #higher-order #using- Designing Regular Array Architectures using Higher Order Functions (MS), pp. 220–237.
DAC-1985-DwyerMBG #automation #design #integration- The integration of an advanced gate array router into a fully automated design system (RD, SM, EB, DG), pp. 770–772.
DAC-1985-IachponiVBI #architecture #design- A hierarchical gate array architecture and design methodology (MI, DV, SB, AI), pp. 439–442.
DAC-1985-NodaYFKKF #algorithm #automation #layout- Automatic layout algorithms for function blocks of CMOS gate arrays (SN, HY, EF, HK, HK, TF), pp. 46–52.
DAC-1985-SpiraH #hardware #layout- Hardware acceleration of gate array layout (PMS, CH), pp. 359–366.
DAC-1985-SteinwegAPN #compilation- Silicon compilation of gate array bases (RLS, SJA, KP, SN), pp. 435–438.
DAC-1985-TeraiHK #metaprogramming #standard- A routing procedure for mixed array of custom macros and standard cells (HT, MH, TK), pp. 503–508.
STOC-1985-GacsR #3d #realtime #reliability- A Simple Three-Dimensional Real-Time Reliable Cellular Array (PG, JHR), pp. 388–395.
STOC-1985-RaghavanT #graph- Provably Good Routing in Graphs: Regular Arrays (PR, CDT), pp. 79–87.
DAC-1984-Blanks #using- Initial placement of gate arrays using least-squares methods (JPB), pp. 670–671.
DAC-1984-Dupenloup - A wire routing scheme for double-layer cell arrays (GD), pp. 32–37.
DAC-1984-Hinchliffe #automation #design #physics- Commercial gate array physical design automation packages (FHI), pp. 386–387.
DAC-1984-TienTCCE #automation #layout #named- GALA — an automatic layout system for high density CMOS gate arrays (BNT, BST, JC, KSKC, SCE), pp. 657–662.
ILPC-1984-EriksonR84 #logic programming- Incorporating Mutable Arrays into Logic Programming (LHE, MR), pp. 101–114.
DAC-1983-ChyanB #algorithm- A placement algorithm for array processors (DJC, MAB), pp. 182–188.
DAC-1983-GamalS #statistics- A new statistical model for gate array routing (AEG, ZAS), pp. 671–674.
DAC-1983-GriersonCRHKKMMN #collaboration #design #development- The UK5000 — successful collaborative development of an integrated design system for a 5000 gate CMOS array with built-in test (JRG, BC, DR, REH, HK, JCK, JAM, JMM, CON), pp. 629–636.
DAC-1983-HuK #logic #programmable #reduction- Optimum reduction of programmable logic array (TCH, YSK), pp. 553–558.
DAC-1983-KirkCSBT - Placement of irregular circuit elements on non-uniform gate arrays (HK, PDC, JAS, JDB, GLT), pp. 637–643.
DAC-1983-KozakBG #design #simulation- Design aids for the simulation of bipolar gate arrays (PK, AKB, AG), pp. 286–292.
DAC-1983-Krohn - An over-cell gate array channel router (HEK), pp. 665–670.
DAC-1983-MicheliS #logic #multi #named #programmable- PLEASURE: a computer program for simple/multiple constrained/unconstrained folding of Programmable Logic Arrays (GDM, ALSV), pp. 530–537.
DAC-1983-NewtonY #optimisation- Optimisation of global routing for the UK5000 gate array by iteration (CON, PAY), pp. 651–657.
DAC-1983-PrazicB #automation #using- Automatic routing of double layer gate arrays using a moving cursor (BDP, MAB), pp. 644–650.
DAC-1983-Robinson #automation #layout- Automatic layout for gate arrays with one layer of metal (PR0), pp. 658–664.
DAC-1983-SmithNBSW #automation #geometry #layout #named- VGAUA: The Variable Geometry Automated Universal Array layout System (DCS, RN, FB, SSS, JCW), pp. 425–429.
SIGMOD-1982-Bacon #database #image #visual notation- Issues Integrating Databases of Images, Graphical, Array and Character Data (GCB), p. 137.
DAC-1982-BoseA #generative #logic #programmable #testing- Test generation for programmable logic arrays (PB, JAA), pp. 574–580.
DAC-1982-GrayBR #compilation #design #using- Designing gate arrays using a silicon compiler (JPG, IB, PSR), pp. 377–383.
DAC-1982-HachtelNS #logic #programmable- Techniques for programmable logic array folding (GDH, ARN, ALSV), pp. 147–155.
DAC-1982-ToddHPBGAB #layout #multi- CGALA-a multi technology Gate Array Layout system (LFT, JMH, SVP, JLB, DJG, RJA, AKB), pp. 792–801.
STOC-1982-AtallahK #graph #problem- Graph Problems on a Mesh-Connected Processor Array (MJA, SRK), pp. 345–353.
VLDB-1981-Muraszkiewicz #concept #sorting- Concepts of Sorting and Projection in a Cellular Array (MM), pp. 76–80.
POPL-1981-Lowney - Carrier Arrays: An Idiom-Preserving Extension to APL (PGL), pp. 1–13.
DAC-1981-GoatesP #design #layout #lisp #logic #modelling #named- ABLE: A LISP-based layout modeling language with user-definable procedural models for storage/logic array design (GBG, SSP), pp. 322–329.
DAC-1981-Ramsay #design #logic- A remote design station for customer Uncommitted Logic Array designs (FRR), pp. 498–504.
DAC-1981-TanakaMNOTK #design #logic- An integrated computer aided design system for gate array masterslices: Part 1. Logic reorganization system LORES-2 (CT, SM, SN, TO, MT, KK), pp. 59–65.
DAC-1981-TanakaMTYOTKT #design #layout- An integrated computer aided design system for gate array masterslices: Part 2 the layout design system MARS-M3 (CT, SM, HT, TY, KO, MT, RK, MT), pp. 812–819.
SIGMOD-1980-KungL #database #relational- Systolic (VLSI) Arrays for Relational Database Operations (HTK, PLL), pp. 105–116.
DAC-1980-CoxC #automation #standard- The Standard Transistor Array (star) (Part II automatic cell placement techniques) (GWC, BDC), pp. 451–457.
DAC-1980-GouldE #design #standard- The standard transistor array (STAR): Part I A two-layer metal semicustom design system (JMG, TME), pp. 108–113.
DAC-1980-Ramsay #automation #design #logic- Automation of design for uncommitted logic array (FRR), pp. 100–107.
DAC-1979-UeharaC #functional #layout- Optimal layout of CMOS functional arrays (TU, WMvC), pp. 287–289.
STOC-1979-Kosaraju79a #algorithm #graph #parallel #performance #problem- Fast Parallel Processing Array Algorithms for some Graph Problems (SRK), pp. 231–236.
POPL-1977-SuzukiI #bound #implementation- Implementation of an Array Bound Checker (NS, KI), pp. 132–143.
VLDB-J-1975-LinSS76 #database #design #memory management #relational- The Design of a Rotating Associative Array Memory for a Relational Database Management Application (CSL, DCPS, JMS), pp. 53–65.
VLDB-1975-LinSS #database #design #memory management #relational- The Design of a Rotating Associative Array Memory for a Relational Database Management Application (CSL, DCPS, JMS), pp. 453–455.
DAC-1975-YoshizawaKK #heuristic- A heuristic procedure for ordering MOS arrays (HY, HK, KK), pp. 384–393.
STOC-1975-RosenbergS - Hashing Schemes for Extendible Arrays (Extended Arrays) (ALR, LJS), pp. 159–166.
SIGFIDET-1974-HoernesF - Declaration and Addressing of Varying Density Arrays and Structure (GEH, GHF), pp. 15–33.
DAC-1974-Vaughn #functional #testing- Functional testing of LSI gate arrays (GDV), pp. 258–265.
STOC-1974-Rosenberg - Managing Storage for Extendible Arrays (ALR), pp. 297–302.
STOC-1974-Seiferas #multi #nondeterminism- Observations on Nondeterministic Multidimensional Iterative Arrays (JIS), pp. 276–289.
POPL-1973-Rosenberg - Transitions in Extendible Arrays (ALR), pp. 218–225.
STOC-1972-KarpMR #agile #identification #string- Rapid Identification of Repeated Patterns in Strings, Trees and Arrays (RMK, REM, ALR), pp. 125–136.
STOC-1969-AmorosoLY #formal method #framework- A Unifying Framework for the Theory of Iterative Arrays of Machines (SA, EL, HY), pp. 259–269.
LISP-1963-Thomas #lisp #source code #using- Use of arrays in LISP. Group theory programs (BST), p. 11.