BibSLEIGH — array tag

array

array

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.