BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
array
Google array

Tag #array

478 papers:

FDGFDG-2019-SarkarC #rating #using
Using rating arrays to estimate score distributions for player-versus-level matchmaking (AS, SC), p. 8.
ASPLOSASPLOS-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.
CASECASE-2019-KumarAS #monitoring #using
Speed and Separation Monitoring using On-Robot Time-of-Flight Laser-ranging Sensor Arrays (SK, SA, FS), pp. 1684–1691.
CASECASE-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.
CGOCGO-2019-RodriguesGP #bound #generative #in memory
Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages (MR, BG, FMQP), pp. 136–148.
VMCAIVMCAI-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.
ICPRICPR-2018-KungMZ #adaptation #network
Adaptive Tiling: Applying Fixed-size Systolic Arrays To Sparse Convolutional Neural Networks (HTK, BM, SQZ), pp. 1006–1011.
ICPRICPR-2018-SunLHW #algorithm #classification #multi
A New ECOC Algorithm for Multiclass Microarray Data Classification (MS, KL, QH, BW), pp. 454–458.
CAVCAV-2018-DohrauSUM0 #source code
Permission Inference for Array Programs (JD, AJS, CU, SM, PM0), pp. 55–74.
IJCARIJCAR-2018-HoenickeS #formal method #performance
Efficient Interpolation for the Theory of Arrays (JH, TS), pp. 549–565.
IJCARIJCAR-2018-PayetS #abstract interpretation #bound
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions (ÉP, FS), pp. 706–722.
SANERSANER-2017-YounangL #analysis #javascript
Conventionality analysis of array objects in JavaScript (AY, LL), pp. 561–562.
FSCDFSCD-2017-LichtmanH #ml
Arrays and References in Resource Aware ML (BL, JH0), p. 20.
HaskellHaskell-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.
OOPSLAOOPSLA-2017-OrchardCDR #verification
Verifying spatial properties of array computations (DAO, MC, MD, ACR), p. 30.
PLDIPLDI-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.
POPLPOPL-2017-KumarBH #functional #parallel
Parallel functional arrays (AK, GEB, RH0), pp. 706–718.
SASSAS-2017-ChakrabortyGU #source code #verification
Verifying Array Manipulating Programs by Tiling (SC, AG, DU), pp. 428–449.
CADECADE-2017-BrotherstonGK #logic #problem
Biabduction (and Related Problems) in Array Separation Logic (JB, NG, MIK), pp. 472–490.
LOPSTRLOPSTR-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.
PADLPADL-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.
PLDIPLDI-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.
SASSAS-2016-MonniauxG #horn clause #source code
Cell Morphing: From Array Programs to Array-Free Horn Clauses (DM, LG), pp. 361–382.
SASSAS-2016-SuzanneM #abstract interpretation #memory management #modelling
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models (TS, AM), pp. 469–488.
ASEASE-2016-MaasNL #c #library
Array length inference for C library bindings (AJM, HN, BL), pp. 461–471.
FSEFSE-2016-Santino #type system
Enforcing correct array indexes with a type system (JS), pp. 1142–1144.
CAVCAV-2016-DacaHK #logic
Array Folds Logic (PD, TAH, AK), pp. 230–248.
IJCARIJCAR-2016-AlbertiGP #constraints
Counting Constraints in Flat Array Fragments (FA, SG, EP), pp. 65–81.
VMCAIVMCAI-2016-Parizek #analysis #hybrid #partial order #reduction #source code
Hybrid Analysis for Partial Order Reduction of Programs with Arrays (PP), pp. 291–310.
SIGMODSIGMOD-2015-DugganPBS #database #optimisation
Skew-Aware Join Optimization for Array Databases (JD, OP, LB, MS), pp. 123–135.
SIGMODSIGMOD-2015-PengD #database #nondeterminism
Supporting Data Uncertainty in Array Databases (LP, YD), pp. 545–560.
VLDBVLDB-2015-InoueT #algorithm #sorting
SIMD- and Cache-Friendly Algorithm for Sorting an Array of Structures (HI, KT), pp. 1274–1285.
SEKESEKE-2015-SaberE #algorithm #clustering #novel
BiBinConvmean : A Novel Biclustering Algorithm for Binary Microarray Data (HBS, ME), pp. 178–181.
SASSAS-2015-MonniauxA #abstraction
A Simple Abstraction of Arrays and Maps by Program Translation (DM, FA), pp. 217–234.
ASEASE-2015-WilcoxFFF #concurrent #detection #precise
Array Shadow State Compression for Precise Dynamic Race Detection (T) (JRW, PF, CF, SNF), pp. 155–165.
SACSAC-2015-AlbertiM
Polyhedra to the rescue of array interpolants (FA, DM), pp. 1745–1750.
SACSAC-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.
SACSAC-2015-ValenteR
Transcript-based reannotation for microarray probesets (EV, MR), pp. 3–9.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
TACASTACAS-2015-HeizmannDLMP #contest
Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.
TAPTAP-2015-GenestierGP #deduction #generative #verification
Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.
VMCAIVMCAI-2015-LiuR #abstraction
Abstraction of Arrays Based on Non Contiguous Partitions (JL, XR), pp. 282–299.
VMCAIVMCAI-2015-ZhuNJ #testing #type inference
Dependent Array Type Inference from Tests (HZ, AVN, SJ), pp. 412–430.
SIGMODSIGMOD-2014-DugganS #database #incremental
Incremental elasticity for array databases (JD, MS), pp. 409–420.
FLOPSFLOPS-2014-HoffmannS #analysis #integer #type system
Type-Based Amortized Resource Analysis with Integers and Arrays (JH, ZS), pp. 152–168.
LISPILC-2014-Penkler
An Array and List Processing System (DP), p. 22.
CIKMCIKM-2014-KimC #performance
Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.
ICPRICPR-2014-PerinaKB #classification #kernel #using
Expression Microarray Data Classification Using Counting Grids and Fisher Kernel (AP, MK, MB), pp. 1770–1775.
LOPSTRLOPSTR-2014-CornishGNSSS #program transformation #source code
Analyzing Array Manipulating Programs by Program Transformation (JRMC, GG, JAN, PS, HS, PJS), pp. 3–20.
ASPLOSASPLOS-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.
CASECASE-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.
CCCC-2014-SurendranBZS #using
Inter-iteration Scalar Replacement Using Array SSA Form (RS, RB, JZ, VS), pp. 40–60.
DACDAC-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.
DATEDATE-2014-ChenCH #configuration management #constraints #synthesis
Area minimization synthesis for reconfigurable single-electron transistor arrays with fabrication constraints (YHC, JYC, JDH), pp. 1–4.
DATEDATE-2014-DweikAD #exception #fault
Reliability-Aware Exceptions: Tolerating intermittent faults in microprocessor array structures (WD, MA, MD), pp. 1–6.
DATEDATE-2014-LiuCHWCDN #synthesis
Width minimization in the Single-Electron Transistor array synthesis (CWL, CEC, CYH, CYW, YCC, SD, VN), pp. 1–4.
TACASTACAS-2014-AlbertiGS
Decision Procedures for Flat Array Properties (FA, SG, NS), pp. 15–30.
SMTSMT-2014-AlbertiGS
Decision Procedures for Flat Array Properties (FA, SG, NS), p. 51.
SMTSMT-2014-ChristH
Weakly Equivalent Arrays (JC, JH), pp. 39–49.
VMCAIVMCAI-2014-AngelisFPP #source code #verification
Verifying Array Programs by Transforming Verification Conditions (EDA, FF, AP, MP), pp. 182–202.
SIGMODSIGMOD-2013-ZhangKM #named
SciQL: array data processing inside an RDBMS (YZ, MLK, SM), pp. 1049–1052.
VLDBVLDB-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.
IFLIFL-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.
MLDMMLDM-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.
SEKESEKE-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.
PPDPPPDP-2013-ODonnell #functional #parallel
Extensible sparse functional arrays with circuit parallelism (JTO), pp. 133–144.
ASPLOSASPLOS-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.
DACDAC-2013-HoOCT
Coupling-aware length-ratio-matching routing for capacitor arrays in analog integrated circuits (KHH, HCO, YWC, HFT), p. 6.
DACDAC-2013-WangLZZC #clustering #memory management #multi #synthesis
Memory partitioning for multidimensional arrays in high-level synthesis (YW, PL, PZ, CZ, JC), p. 8.
DACDAC-2013-ZhengHB #embedded #named #physics #robust
RESP: a robust physical unclonable function retrofitted into embedded SRAM array (YZ, MH, SB), p. 9.
DATEDATE-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.
DATEDATE-2013-ManiatakosMM #memory management #optimisation
AVF-driven parity optimization for MBU protection of in-core memory arrays (MM, MKM, YM), pp. 1480–1485.
DATEDATE-2013-NavasSO #configuration management #flexibility #framework #platform #reuse
The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks (BN, IS, ), pp. 833–838.
DATEDATE-2013-NikolaouSNOI #memory management #question
Memory array protection: check on read or check on write? (PN, YS, LN, , SI), pp. 214–219.
DATEDATE-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.
DATEDATE-2013-TengT #design #reduction
Sparse-rotary oscillator array (SROA) design for power and skew reduction (YT, BT), pp. 1229–1234.
PPoPPPPoPP-2013-DeoK #gpu #parallel
Parallel suffix array and least common prefix for the GPU (MD, SK), pp. 197–206.
PPoPPPPoPP-2013-YukiFRS #analysis #data flow #source code
Array dataflow analysis for polyhedral X10 programs (TY, PF, SVR, VS), pp. 23–34.
VMCAIVMCAI-2013-LarrazRR #generative #invariant #smt
SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.
VLDBVLDB-2012-ZhangY #optimisation
Optimizing I/O for Big Array Analytics (YZ, JY), pp. 764–775.
ITiCSEITiCSE-2012-HiltonJ #education #learning #on the #testing
On teaching arrays with test-driven learning in WebIDE (MH, DSJ), pp. 93–98.
CSMRCSMR-2012-AlsallakhBMN #eclipse #ide #java #visualisation
Visualizing Arrays in the Eclipse Java IDE (BA, PB, SM, DN), pp. 541–544.
LATALATA-2012-NikolicS #analysis
Automaton-Based Array Initialization Analysis (DN, FS), pp. 420–432.
HaskellHaskell-2012-LippmeierCKJ #parallel
Guiding parallel array fusion with indexed types (BL, MMTC, GK, SLPJ), pp. 25–36.
ICPRICPR-2012-ShaoWCHW #automation #image
An improved automatic gridding method for cDNA microarray images (GS, TW, ZC, YH, YW), pp. 1615–1618.
ICPRICPR-2012-TanakaSM #estimation #precise #visual notation
A visual marker for precise pose estimation based on a microlens array (HT, YS, YM), pp. 837–840.
ICPRICPR-2012-VarjoHS
Direct imaging with printed microlens arrays (SV, JH, OS), pp. 1355–1358.
MODELSMoDELS-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.
SPLCSPLC-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.
LOPSTRLOPSTR-2012-SeghirB #program transformation #quantifier #verification
Simplifying the Verification of Quantified Array Assertions via Code Transformation (MNS, MB), pp. 194–212.
ICSEICSE-2012-NguyenKWF #dynamic analysis #invariant #polynomial #using
Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.
DACDAC-2012-HuLWR #hardware #using
Hardware realization of BSB recall function using memristor crossbar arrays (MH, HL, QW, GSR), pp. 498–503.
DATEDATE-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.
LCTESLCTES-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.
PPoPPPPoPP-2012-ChenCM #named #parallel #representation
PARRAY: a unifying array representation for heterogeneous parallelism (YC, XC, HM), pp. 171–180.
CAVCAV-2012-AlbertiBGRS #abstraction #named #smt
SAFARI: SMT-Based Abstraction for Arrays with Interpolants (FA, RB, SG, SR, NS), pp. 679–685.
SMTSMT-2012-FalkeSM #formal method #set
A Theory of Arrays with set and copy Operations (SF, CS, FM), pp. 98–108.
SIGMODSIGMOD-2011-SoroushBW #named #parallel
ArrayStore: a storage manager for complex parallel array processing (ES, MB, DLW), pp. 253–264.
RTARTA-2011-BruttomessoGR #formal method #quantifier
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays (RB, SG, SR), pp. 171–186.
CIKMCIKM-2011-Baumann #scalability
Large-scale array analytics: taming the data tsunami (PB), pp. 2599–2600.
KDIRKDIR-2011-FerreiraF
Feature Discretization and Selection in Microarray Data (AJF, MATF), pp. 465–469.
MLDMMLDM-2011-PerezR #detection #using
Detection of Phenotypes in Microarray Data Using Force- Directed Placement Transformss (DVP, KAR), pp. 320–334.
POPLPOPL-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.
SACSAC-2011-AntonieB
Classifying microarray data with association rules (LA, KB), pp. 94–99.
CCCC-2011-JoynerBS #analysis #bound
Subregion Analysis and Bounds Check Elimination for High Level Arrays (MJ, ZB, VS), pp. 246–265.
CCCC-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.
CGOCGO-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.
DACDAC-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.
DACDAC-2011-ChenEWDXN #automation #configuration management
Automated mapping for reconfigurable single-electron transistor arrays (YCC, SE, CYW, SD, YX, VN), pp. 878–883.
DACDAC-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.
DATEDATE-2011-AnsaloniPTD #configuration management #scheduling
Slack-aware scheduling on Coarse Grained Reconfigurable Arrays (GA, LP, KT, ND), pp. 1513–1516.
HPCAHPCA-2011-YangR #named
I-CASH: Intelligently Coupled Array of SSD and HDD (QY, JR), pp. 278–289.
SIGMODSIGMOD-2010-Brown #analysis #overview #scalability
Overview of sciDB: large scale array storage, processing and analysis (PGB), pp. 963–968.
VLDBVLDB-2010-GeZ #modelling #multi #nondeterminism
A*-tree: A Structure for Storage and Modeling of Uncertain Multidimensional Arrays (TG, SBZ), pp. 964–974.
AFLAFL-J-2008-MalcherMP10 #bound
Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 843–858.
ICFPICFP-2010-KellerCLJL #haskell #parallel
Regular, shape-polymorphic, parallel arrays in Haskell (GK, MMTC, RL, SLPJ, BL), pp. 261–272.
ICMLICML-2010-BontempiM
Causal filter selection in microarray data (GB, PEM), pp. 95–102.
ICPRICPR-2010-BicegoLFD #clustering #modelling #topic
Biclustering of Expression Microarray Data with Topic Models (MB, PL, AF, MD), pp. 2728–2731.
ICPRICPR-2010-CanBG #quantifier
Quantification of Subcellular Molecules in Tissue Microarray (AC, MOB, MJG), pp. 2548–2551.
PLDIPLDI-2010-SartorBFHM #flexibility #named
Z-rays: divide arrays and conquer speed and flexibility (JBS, SMB, DF, MH, KSM), pp. 471–482.
SASSAS-2010-McCloskeyRS #invariant
Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.
SACSAC-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.
SACSAC-2010-BicegoLOP #classification #modelling #topic #using
Expression microarray classification using topic models (MB, PL, BO, AP), pp. 1516–1520.
SACSAC-2010-Makela #concept
Concept for providing guaranteed service level over an array of unguaranteed commodity connections (AM), pp. 678–683.
CASECASE-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.
ESOPESOP-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.
CAVCAV-2010-ZhouHWG #bound #on the
On Array Theory of Bounded Elements (MZ, FH, BYW, MG), pp. 570–584.
VMCAIVMCAI-2010-PerrelleH #analysis #permutation
An Analysis of Permutations in Arrays (VP, NH), pp. 279–294.
ITiCSEITiCSE-2009-Blaheta09a #proving #visual notation
A visual proof of amortised-linear resizable arrays (DB), p. 338.
LATALATA-2009-IIBT
Counting Parameterized Border Arrays for a Binary Alphabet (TI, SI, HB, MT), pp. 422–433.
IFMIFM-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.
CIKMCIKM-2009-VriesKCC #robust #using
Robust record linkage blocking using suffix arrays (TdV, HK, SC, PC), pp. 305–314.
PADLPADL-2009-Leshchinskiy #exclamation
Recycle Your Arrays! (RL), pp. 209–223.
SASSAS-2009-SeghirPW #abstraction #quantifier #refinement
Abstraction Refinement for Quantified Array Assertions (MNS, AP, TW), pp. 3–18.
CCCC-2009-Grosslinger #precise
Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes (AG), pp. 236–250.
DACDAC-2009-JamaaLM #multi
Decoding nanowire arrays fabricated with the multi-spacer patterning technique (MHBJ, YL, GDM), pp. 77–82.
DACDAC-2009-KimM #configuration management #embedded #performance
Hierarchical reconfigurable computing arrays for efficient CGRA-based embedded systems (YK, RNM), pp. 826–831.
DATEDATE-2009-ZhengH #logic #programmable #satisfiability
Defect-aware logic mapping for nanowire-based programmable logic arrays via satisfiability (YZ, CH), pp. 1279–1283.
SOSPSOSP-2009-AndersenFKPTV #named #performance
FAWN: a fast array of wimpy nodes (DGA, JF, MK, AP, LT, VV), pp. 1–14.
FASEFASE-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.
TACASTACAS-2009-BrummayerB #named #performance #smt
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays (RB, AB), pp. 174–177.
CAVCAV-2009-BozgaHIKV #automation #integer #source code #verification
Automatic Verification of Integer Array Programs (MB, PH, RI, FK, TV), pp. 157–172.
ISSTAISSTA-2009-FoucheCP #incremental #scalability
Incremental covering array failure characterization in large configuration spaces (SF, MBC, AAP), pp. 177–188.
SIGMODSIGMOD-2008-SinhaPMT #locality #pattern matching #performance
Improving suffix array locality for fast pattern matching on disk (RS, SJP, AM, AT), pp. 661–672.
ITiCSEITiCSE-2008-EagleB #education #game studies
Wu’s castle: teaching arrays and loops in a game (ME, TB), pp. 245–249.
PASTEPASTE-2008-MarronMHSK #analysis #recursion
Sharing analysis of arrays, collections, and recursive structures (MM, MML, MVH, DS, DK), pp. 43–49.
AFLAFL-2008-MalcherMP #bound
Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 292–301.
IFLIFL-2008-TrojahnerG #dependent type #representation
Descriptor-Free Representation of Arrays with Dependent Types (KT, CG), pp. 100–117.
ICPRICPR-2008-SugimotoO #image #synthesis #using
Virtual focusing image synthesis for user-specified image region using camera array (SS, MO), pp. 1–4.
ECMFAECMDA-FA-2008-WoodAHM
Array OL Descriptions of Repetitive Structures in VHDL (SW, DHA, WGJH, KDMM), pp. 137–152.
PADLPADL-2008-CoxN #logic programming #spreadsheet #unification
Unification of Arrays in Spreadsheets with Logic Programming (PTC, PKN), pp. 100–115.
PEPMPEPM-2008-PopeeaXC #bound #precise
A practical and precise inference and specializer for array bound checks elimination (CP, DNX, WNC), pp. 177–187.
PLDIPLDI-2008-HalbwachsP #source code
Discovering properties about arrays in simple programs (NH, MP), pp. 339–348.
SASSAS-2008-PrabhuS #analysis #java #pointer #using
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA (PP, PS), pp. 110–127.
SACSAC-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.
CASECASE-2008-AnisHM #automation
Automated vision-based selection and placement of single cells in microwell array formats (YHA, MH, DRM), pp. 315–320.
CGOCGO-2008-WimmerM #automation #java #virtual machine
Automatic array inlining in java virtual machines (CW, HM), pp. 14–23.
DACDAC-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.
DACDAC-2008-KulkarniKPR #process
Process variation tolerant SRAM array for ultra low voltage applications (JPK, KK, SPP, KR), pp. 108–113.
DACDAC-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.
DATEDATE-2008-BougardSRNADP
A Coarse-Grained Array based Baseband Processor for 100Mbps+ Software Defined Radio (BB, BDS, SR, DN, OA, SD, LVdP), pp. 716–721.
DATEDATE-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.
LCTESLCTES-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.
LCTESLCTES-2008-SutterCAM #configuration management
Placement-and-routing-based register allocation for coarse-grained reconfigurable arrays (BDS, PC, TVA, BM), pp. 151–160.
ESOPESOP-2008-Allamigeon #abstraction
Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.
FoSSaCSFoSSaCS-2008-HabermehlIV #decidability #integer #question #what
What Else Is Decidable about Integer Arrays? (PH, RI, TV), pp. 474–489.
PODSPODS-2007-Machlin #equivalence #multi #query #safety
Index-based multidimensional array queries: safety and equivalence (RM), pp. 175–184.
HCIDHM-2007-GeraciLMPR #algorithm #clustering #scalability
FPF-SB : A Scalable Algorithm for Microarray Gene Expression Data Clustering (FG, ML, MM, MP, MER), pp. 606–615.
ICMLICML-2007-WangZZ #classification #hybrid
Hybrid huberized support vector machines for microarray classification (LW, JZ, HZ), pp. 983–990.
ASEASE-2007-CaiWHW #automation #kernel #testing
Test automation for kernel code and disk arrays with virtual devices (LZC, RSW, WTH, FW), pp. 505–508.
ASEASE-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-FSEESEC-FSE-2007-FoucheCP #adaptation #incremental #towards
Towards incremental adaptive covering arrays (SF, MBC, AAP), pp. 557–560.
SACSAC-2007-LinK #integration
Exploiting inter-gene information for microarray data integration (KML, JK), pp. 123–127.
SACSAC-2007-QiT #feature model #ontology
Integrating gene ontology into discriminative powers of genes for feature selection in microarray data (JQ, JT), pp. 430–434.
CCCC-2007-ShyamG #architecture #energy #memory management #reduction
An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures (KS, RG), pp. 32–47.
DATEDATE-2007-XuC
A cross-referencing-based droplet manipulation method for high-throughput and pin-constrained digital microfluidic arrays (TX, KC), pp. 552–557.
ISMMISMM-2007-Zilles
Accordion arrays (CBZ), pp. 55–66.
LCTESLCTES-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.
TACASTACAS-2007-ArmandoBM #abstraction #linear #refinement #source code
Abstraction Refinement of Linear Programs with Arrays (AA, MB, JM), pp. 373–388.
CAVCAV-2007-GaneshD
A Decision Procedure for Bit-Vectors and Arrays (VG, DLD), pp. 519–531.
CAVCAV-2007-JhalaM #abstraction #proving
Array Abstractions from Proofs (RJ, KLM), pp. 193–206.
PODSPODS-2006-BenderH #adaptation
An adaptive packed-memory array (MAB, HH), pp. 20–29.
IFLIFL-2006-RuffJ #synthesis
Functional-Based Synthesis of a Systolic Array for GCD Computation (LR, TJ), pp. 37–54.
IFLIFL-2006-TrojahnerGS #on the #optimisation #source code #using
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.
CIKMCIKM-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.
CIKMCIKM-2006-ZhangW #mining
Mining coherent patterns from heterogeneous microarray data (XZ, WW), pp. 838–839.
ICMLICML-2006-TeoV #kernel #performance #string #using
Fast and space efficient string kernels using suffix arrays (CHT, SVNV), pp. 929–936.
ICPRICPR-v1-2006-MitraBP #clustering #framework
A MOE framework for Biclustering of Microarray Data (SM, HB, SKP), pp. 1154–1157.
ICPRICPR-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.
ICPRICPR-v3-2006-HanD #clustering #modelling #parametricity
Semi-Parametric Model-Based Clustering for DNA Microarray Data (BH, LSD), pp. 324–327.
ICSEICSE-2006-DhurjatiA #bound #c
Backwards-compatible array bounds checking for C with very low overhead (DD, VSA), pp. 162–171.
SACSAC-2006-BiermanMPS #analysis #image #named
MACE: lossless compression and analysis of microarray images (RB, NM, CP, RS), pp. 167–172.
SACSAC-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.
SACSAC-2006-Miyazaki #database #in memory #memory management
A memory subsystem with comparator arrays for main memory database operations (JM), pp. 511–512.
SACSAC-2006-TsujiHH #multi
An extendible multidimensional array system for MOLAP (TT, AH, KH), pp. 503–510.
DACDAC-2006-HwangSC #automation #design
Automated design of pin-constrained digital microfluidic arrays for lab-on-a-chip applications* (WLH, FS, KC), pp. 925–930.
DACDAC-2006-ShiC #performance
Efficient escape routing for hexagonal array of high density I/Os (RS, CKC), pp. 1003–1008.
DATEDATE-2006-ChenOKK #data access #memory management
Dynamic scratch-pad memory management for irregular array access patterns (GC, ÖÖ, MTK, MK), pp. 931–936.
DATEDATE-2006-NiclassSC
A single photon avalanche diode array fabricated in deep-submicron CMOS technology (CN, MS, EC), pp. 81–86.
PPoPPPPoPP-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.
VMCAIVMCAI-2006-BradleyMS #decidability #question #what
What’s Decidable About Arrays? (ARB, ZM, HBS), pp. 427–442.
SIGMODSIGMOD-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.
SIGITESIGITE-2005-ChastineP #2d #education #realtime #using #video
Teaching 2D arrays using real-time video filters (JWC, JAP), pp. 133–137.
DLTDLT-J-2004-Freund05 #string
P Systems working in the sequential mode on arrays and strings (RF), pp. 663–682.
CEFPCEFP-2005-Scholz #functional #programming
Functional Array Programming in SaC (SBS), pp. 62–99.
IFLIFL-2005-GrelckSS #analysis #source code
A Binding Scope Analysis for Generic Programs on Arrays (CG, SBS, AVS), pp. 212–230.
KDDKDD-2005-WangPY #similarity
Pattern-based similarity search for microarray data (HW, JP, PSY), pp. 814–819.
LOPSTRLOPSTR-2005-PettorossiPS #protocol #using #verification
Transformational Verification of Parameterized Protocols Using Array Formulas (AP, MP, VS), pp. 23–43.
POPLPOPL-2005-GopanRS #analysis #framework
A framework for numeric analysis of array operations (DG, TWR, SS), pp. 338–350.
SACSAC-2005-WanMA #markov #random #similarity #using
Cleaning microarray expression data using Markov random fields based on profile similarity (RW, HM, KFA), pp. 206–207.
CASECASE-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.
DACDAC-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.
DATEDATE-2005-AbsarC #approach
Compiler-Based Approach for Exploiting Scratch-Pad in Presence of Irregular Array Access (MJA, FC), pp. 1162–1167.
DATEDATE-2005-ThewesPSHFBAJESAHBHH
CMOS-Based Biosensor Arrays (RT, CP, MS, FH, AF, RB, MA, MJ, BE, PSB, MA, BH, GB, TH, HCH), pp. 1222–1223.
SOSPSOSP-2005-ZhuCTZKW #named
Hibernator: helping disk arrays sleep through the winter (QZ, ZC, LT, YZ, KK, JW), pp. 177–190.
SIGMODSIGMOD-2004-CongXPTY #dataset #named
FARMER: Finding Interesting Rule Groups in Microarray Datasets (GC, AKHT, XX, FP, JY), pp. 143–154.
ITiCSEITiCSE-WGR-2004-JacobsonT #programming
It is time to emphasize arraylists over arrays in Java-based first programming courses (NJ, AT), pp. 88–92.
DLTDLT-2004-Freund #string
P Systems Working in the Sequential Mode on Arrays and Strings (RF), pp. 188–199.
DLTDLT-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.
ICPRICPR-v3-2004-AntoniolC #approach #image #markov #random
A Markov Random Field Approach to Microarray Image Gridding (GA, MC), pp. 550–553.
ICPRICPR-v3-2004-GanLY #estimation #set
Missing Microarray Data Estimation Based on Projection onto Convex Sets Method (XG, AWCL, HY), pp. 782–785.
ICPRICPR-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.
ICPRICPR-v3-2004-ParkLL #automation #image #segmentation
Automatic Microarray Image Segmentation Based on Watershed Transformation (CBP, KWL, SWL), pp. 786–789.
KDDKDD-2004-JiangPRTZ #clustering #mining
Mining coherent gene clusters from gene-sample-time microarray data (DJ, JP, MR, CT, AZ), pp. 430–439.
KDDKDD-2004-YuL #feature model
Redundancy based feature selection for microarray data (LY, HL), pp. 737–742.
PLDIPLDI-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.
PLDIPLDI-2004-ZhongOSD #using
Array regrouping and structure splitting using whole-program reference affinity (YZ, MO, XS, CD), pp. 255–266.
SACSAC-2004-BolshakovaAC #assessment #clustering
An integrated tool for microarray data clustering and cluster validity assessment (NB, FA, PC), pp. 133–137.
SACSAC-2004-FengBM #detection
Time-frequency feature detection for time-course microarray data (JF, PEB, BM), pp. 128–132.
SACSAC-2004-Kincaid #analysis #interactive #named #visualisation
VistaClara: an interactive visualization for exploratory analysis of DNA microarrays (RK), pp. 167–174.
ASPLOSASPLOS-2004-DenehyBPAA
Deconstructing storage arrays (TED, JB, FIP, ACAD, RHAD), pp. 59–71.
ASPLOSASPLOS-2004-SaitoFVMS #component #distributed #enterprise #named
FAB: building distributed enterprise disk arrays from commodity components (YS, SF, ACV, AM, SS), pp. 48–58.
DACDAC-2004-TaylorS #energy #performance
Enabling energy efficiency in via-patterned gate array devices (RRT, HS), pp. 874–878.
DATEDATE-v1-2004-BoseN #memory management #modelling
Extraction of Schematic Array Models for Memory Circuits (SB, AN), pp. 570–577.
DATEDATE-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.
DATEDATE-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.
PDPPDP-2004-AthanasakiK #locality
Improving Cache Locality with Blocked Array Layouts (EA, NK), pp. 308–317.
ICALPICALP-2003-KarkkainenS #linear
Simple Linear Work Suffix Array Construction (JK, PS), pp. 943–955.
IFLIFL-2003-GrelckST
With-Loop Scalarization — Merging Nested Array Operations (CG, SBS, KT), pp. 118–134.
KDDKDD-2003-Piatetsky-ShapiroKR #data analysis
Capturing best practice for microarray gene expression data analysis (GPS, TK, SR), pp. 407–415.
OOPSLAOOPSLA-2003-MouginD #named #object-oriented #programming
OOPAL: integrating array programming in object-oriented programming (PM, SD), pp. 65–77.
PLDIPLDI-2003-JoishaB #matlab #optimisation
Static array storage optimization in MATLAB (PGJ, PB), pp. 258–268.
SACSAC-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.
SACSAC-2003-KatzerKS #markov #random
A Markov Random Field Model of Microarray Gridding (MK, FK, GS), pp. 72–77.
LCTESLCTES-2003-VanbroekhovenCC
Advanced copy propagation for arrays (PV, HC, FC), pp. 24–33.
PPoPPPPoPP-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.
CIAACIAA-2002-Balik
DAWG versus Suffix Array (MB), pp. 233–238.
AFPAFP-2002-ChakravartyK02 #approach #haskell #performance
An Approach to Fast Arrays in Haskell (MMTC, GK), pp. 27–58.
ICFPICFP-2002-Hinze #flexibility
Bootstrapping one-sided flexible arrays (RH), pp. 2–13.
ICPRICPR-v4-2002-HuangT02a #multi #recognition #streaming #using #video
Streaming Face Recognition Using Multicamera Video Arrays (KSH, MMT), pp. 213–216.
KDDKDD-2002-TuzhilinA #analysis #scalability
Handling very large numbers of association rules in the analysis of microarray data (AT, GA), pp. 396–404.
SASSAS-2002-Venet #alias #analysis #data type #recursion
Nonuniform Alias Analysis of Recursive Data Structures and Arrays (AV), pp. 36–51.
CCCC-2002-QianHV #approach #bound #java
A Comprehensive Approach to Array Bounds Check Elimination for Java (FQ, LJH, CV), pp. 325–342.
DATEDATE-2002-DessoukyS #automation #generative
Automatic Generation of Common-Centroid Capacitor Arrays with Arbitrary Capacitor Ratio (MD, DS), pp. 576–580.
DATEDATE-2002-DrozdLD #float #online #performance #testing
Efficient On-Line Testing Method for a Floating-Point Iterative Array Divider (AVD, MVL, JVD), p. 1127.
VMCAIVMCAI-2002-TronconBJC #reduction
Storage Size Reduction by In-place Mapping of Arrays (RT, MB, GJ, FC), pp. 167–181.
PASTEPASTE-2001-AncourtN #debugging #maintenance #reuse
Array resizing for scientific code debugging, maintenance and reuse (CA, TVNN), pp. 32–37.
ICALPICALP-2001-Havill #linear #online
Online Packet Routing on Linear Arrays and Rings (JTH), pp. 773–784.
ICFPICFP-2001-ChakravartyK #functional
Functional Array Fusion (MMTC, GK), pp. 205–216.
IFLIFL-2001-Grelck #memory management #optimisation
Optimizations on Array Skeletons in a Shared Memory Environment (CG), pp. 36–54.
IFLIFL-2001-Kreye #compilation
A Compilation Scheme for a Hierarchy of Array Types (DK), pp. 18–54.
ICMLICML-2001-XingJK #feature model
Feature selection for high-dimensional genomic microarray data (EPX, MIJ, RMK), pp. 601–608.
CCCC-2001-FrankeO #compilation #pointer
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications (BF, MFPO), pp. 69–85.
CCCC-2001-KandemirU #locality #optimisation #unification
Array Unification: A Locality Optimization Technique (MTK), pp. 259–273.
DATEDATE-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.
PPoPPPPoPP-2001-LimLL #clustering #using
Blocking and array contraction across arbitrarily nested loops using affine partitioning (AWL, SWL, MSL), pp. 103–112.
LICSLICS-2001-StumpBDL
A Decision Procedure for an Extensional Theory of Arrays (AS, CWB, DLD, JRL), pp. 29–37.
WLCWLC-2000-BuchholzKK #communication #nondeterminism
Iterative Arrays With Limited Nondeterministic Communication Cell (TB, AK, MK), pp. 73–87.
IFLIFL-2000-Grelck #effectiveness #layout
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC (CG), pp. 231–248.
CIKMCIKM-2000-ChenP #generative #source code
Dynamic Generation of Data Broadcasting Programs for a Broadcast Disk Array (MSC, WCP), pp. 38–45.
ICPRICPR-v4-2000-KaifelSK
Spotting Approaches for Biochip Arrays (TK, CS, TK), pp. 4356–4359.
PLDIPLDI-2000-BodikGS #bound #named
ABCD: eliminating array bounds checks on demand (RB, RG, VS), pp. 321–333.
PLDIPLDI-2000-RuginaR #analysis #bound #memory management #pointer
Symbolic bounds analysis of pointers, array indices, and accessed memory regions (RR, MCR), pp. 182–195.
SASSAS-2000-FinkKS #analysis
Unified Analysis of Array and Object References in Strongly Typed Languages (SJF, KK, VS), pp. 155–174.
CCCC-2000-LinP #analysis #compilation #optimisation
Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations (YL, DAP), pp. 202–218.
CCCC-2000-Roth #syntax
Advanced Scalarization of Array Syntax (GR), pp. 219–231.
CCCC-2000-ShahamKS #automation #java #memory management
Automatic Removal of Array Memory Leaks in Java (RS, EKK, SS), pp. 50–66.
DACDAC-2000-CongH #incremental #programmable
Depth optimal incremental mapping for field programmable gate arrays (JC, HH), pp. 290–293.
DATEDATE-2000-GanesanV #programmable
Technology Mapping and Retargeting for Field-Programmable Analog Arrays (SG, RV), pp. 58–64.
HPDCHPDC-2000-HwangJH #clustering #distributed #named
RAID-x: A New Distributed Disk Array for I/O-Centric Cluster Computing (KH, HJ, RSCH), pp. 279–286.
LCTESLCTES-2000-CintraA #using
Array Reference Allocation Using SSA-Form and Live Range Growth (MSC, GA), pp. 48–62.
OSDIOSDI-2000-YuGCWLKA #capacity #performance
Trading Capacity for Performance in a Disk Array (XY, BG, YC, RYW, KL, AK, TEA), pp. 243–258.
STOCSTOC-2000-GrossiV #string
Compressed suffix arrays and suffix trees with applications to text indexing and string matching (RG, JSV), pp. 397–406.
SIGMODSIGMOD-1999-MaratheS #query
Query Processing Techniques for Arrays (APM, KS), pp. 323–334.
SACSAC-1999-JinH #clustering #problem
False Sharing Problems in Cluster-Based Disk Arrays (HJ, KH), pp. 461–465.
DACDAC-1999-ZhaoM #estimation #memory management
Exact Memory Size Estimation for Array Computations without Loop Unrolling (YZ, SM), pp. 811–816.
DATEDATE-1999-ChoiB #design
OTA Amplifiers Design on Digital Sea-of-Transistors Array (JHC, SB), pp. 776–777.
PDPPDP-1999-PriceHLT #adaptation #architecture #parallel #using
Adaptive microphone array beamforming for teleconferencing using VHDL and parallel architectures (TPWP, DMH, AVL, AMT), pp. 13–18.
PPoPPPPoPP-1999-MoonH #analysis #automation #data flow #evaluation #parallel
Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization (SM, MWH), pp. 84–95.
CSLCSL-1999-Stewart #quantifier
Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws (IAS), pp. 374–388.
SIGMODSIGMOD-1998-PapadopoulosM #query #similarity #using
Similarity Query Processing Using Disk Arrays (AP, YM), pp. 225–236.
ICPRICPR-1998-TirkelSHO
Secure arrays for digital watermarking (AZT, RGvS, TEH, CFO), pp. 1643–1645.
PLDIPLDI-1998-LewisLS #evaluation #implementation
The Implementation and Evaluation of Fusion and Contraction in Array Languages (ECL, CL, LS), pp. 50–59.
PLDIPLDI-1998-PaekHP #compilation #data access #optimisation
Simplification of Array Access Patterns for Compiler Optimizations (YP, JH, DAP), pp. 60–71.
PLDIPLDI-1998-XiP #bound #dependent type
Eliminating Array Bound Checking Through Dependent Types (HX, FP), pp. 249–257.
POPLPOPL-1998-KnobeS #parallel
Array SSA Form and Its Use in Parallelization (KK, VS), pp. 107–120.
SASSAS-1998-SarkarK #constant
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form (VS, KK), pp. 33–56.
DACDAC-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.
DATEDATE-1998-WangAZ #design #effectiveness #validation
Measuring the Effectiveness of Various Design Validation Approaches For PowerPC(TM) Microprocessor Arrays (LCW, MSA, JZ), pp. 273–277.
PDPPDP-1998-YookKP #fortran #performance
A new distribution format for reshaped arrays in High Performance Fortran (HGY, MSK, MSP), pp. 204–210.
TACASTACAS-1998-VelevB #memory management #modelling #performance #simulation
Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation (MNV, REB), pp. 136–150.
VLDBVLDB-1997-MaratheS
A Language for Manipulating Arrays (APM, KS), pp. 46–55.
DLTDLT-1997-PazC #automaton #evolution #probability
Chaotic Evolution via Generalized Probabilistic Automata (Probabilistic Arrays) (AP, JWC), pp. 9–35.
ICALPICALP-1997-KhannaMS #clustering #performance
Efficient Array Partitioning (SK, SM, SS), pp. 616–626.
IFLIFL-1997-Scholz
WITH-Loop-Folding in SAC — Condensing Consecutive Array Operations (SBS), pp. 72–91.
DACDAC-1997-MeyerST #design #synthesis
Design and Synthesis of Array Structured Telecommunication Processing Applications (WM, AS, FT), pp. 486–491.
DATEEDTC-1997-HuangW #design #performance
High-speed C-testable systolic array design for Galois-field inversion (CTH, CWW), pp. 342–346.
DATEEDTC-1997-OzimekVT #implementation #performance #scheduling
Optimal scheduling for fast systolic array implementations (IO, RV, JFT), p. 620.
PDPPDP-1997-Eckhardt #architecture
I/O management for hierarchically structured array architectures (UE), pp. 205–210.
PPoPPPPoPP-1997-Coelho #compilation
Compiling Dynamic Mappings with Array Copies (FC), pp. 168–179.
PPoPPPPoPP-1997-GuLL #analysis #data flow #experience #performance
Experience with Efficient Array Data-Flow Analysis for Array Privatization (JG, ZL, GL), pp. 157–167.
CAVCAV-1997-VelevBJ #memory management #modelling #performance #simulation
Efficient Modeling of Memory Arrays in Symbolic Simulation (MNV, REB, AJ), pp. 388–399.
ICLPICLP-1997-KagedalD #approach #reuse #using
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages (AK, SKD), pp. 18–32.
SIGMODSIGMOD-1996-LibkinMW #design #implementation #multi #optimisation #query
A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques (LL, RM, LW), pp. 228–239.
IFLIFL-1996-Groningen #implementation #performance
The Implementation and Efficiency of Arrays in Clean 1.1 (JHGvG), pp. 105–124.
IFLIFL-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.
ICPRICPR-1996-FerrariBG #classification
A VLSI array processor accelerator for k-NN classification (AF, MB, RG), pp. 723–727.
ICPRICPR-1996-RanganathanBV #image #linear
A dynamic frequency linear array processor for image processing (NR, NB, NV), pp. 611–615.
ICPRICPR-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.
ICSEICSE-1996-Forgacs #analysis #data flow #testing
An Exact Array Reference Analysis for Data Flow Testing (IF), pp. 565–574.
CCCC-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.
DACDAC-1996-PandeyRBB #evaluation #using #verification
Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation (MP, RR, DLB, REB), pp. 649–654.
PDPPDP-1996-FimmelM #parallel
Propagation of I/O-Variables in Massively Parallel Processor Arrays (DF, RM), pp. 501–509.
STOCSTOC-1996-BroderU
Dynamic Deflection Routing on Arrays (AZB, EU), pp. 348–355.
ICDARICDAR-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.
VLDBVLDB-1995-MogiK #clustering
Hot Block Clustering for Disk Arrays with Dynamic Striping (KM, MK), pp. 90–99.
DLTDLT-1995-Freund
Array Grammars with Prescribed Teams of Array Productions (RF), pp. 220–229.
PLDIPLDI-1995-KolteW
Elimination of Redundant Array Subscript Range Checks (PK, MW), pp. 270–278.
PPDPPLILP-1995-MasseyT #analysis #comprehension
Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions (BCM, ET), pp. 207–222.
HPCAHPCA-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.
HPDCHPDC-1995-Menon #comparison #performance
A Performance Comparison of RAID-5 and Log-Structured Arrays (JM0), pp. 167–178.
PDPPDP-1995-DionRR #algorithm #scheduling
Resource-constrained scheduling of partitioned algorithms on processor arrays (MD, TR, YR), pp. 571–580.
PPoPPPPoPP-1995-CollardBF #analysis #data flow #fuzzy
Fuzzy Array Dataflow Analysis (JFC, DB, PF), pp. 92–101.
PPoPPPPoPP-1995-HwangLJ #fortran #source code #synthesis
An Array Operation Synthesis Scheme to Optimize Fortran 90 Programs (GHH, JKL, RDCJ), pp. 112–122.
PPoPPPPoPP-1995-Philippsen #automation #communication #process
Automatic Alignment of Array Data and Processes to Reduce Communication Time on DMPPs (MP), pp. 156–165.
STOCSTOC-1995-AnderssonHP #bound
A tight lower bound for searching a sorted array (AA, JH, OP), pp. 417–426.
ICLPICLP-1995-GuptaCP #logic programming #parallel
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming (GG, VSC, EP), p. 824.
LISPLFP-1994-Chuang #functional #implementation #multi #random
A Randomized Implementation of Multiple Functional Arrays (TRC), pp. 173–184.
PLDIPLDI-1994-AustinBS #detection #fault #performance #pointer
Efficient Detection of All Pointer and Array Access Errors (TMA, SEB, GSS), pp. 290–301.
POPLPOPL-1994-Maslov #analysis #data flow #dependence #lazy evaluation
Lazy Array Data-Flow Dependence Analysis (VM), pp. 311–325.
SASSAS-1994-Garza-SalazarB #analysis
Uniqueness and Completeness Analysis of Array Comprehensions (DAGS, APWB), pp. 193–207.
SACSAC-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.
CCCC-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.
CCCC-1994-JustianiH #c #compilation #dependence #optimisation #testing
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler (J, LJH), pp. 309–323.
DACDAC-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.
DATEEDAC-1994-BalboniCFS #architecture #behaviour
From Behavioral Description to Systolic Array Based Architectures (AB, CC, FF, DS), p. 657.
DATEEDAC-1994-DongenR #design
Advanced Analog Circuit Design on a Digital Sea-of-Gates Array (RvD, VR), pp. 70–74.
DATEEDAC-1994-NicolaidisB #implementation #multi #performance #self
Efficient Implementations of Self-Checking Multiply and Divide Arrays (MN, HB), pp. 574–579.
DATEEDAC-1994-RamachandranGC #algorithm #clustering
An Algorithm for Array Variable Clustering (LR, DG, VC), pp. 262–266.
DATEEDAC-1994-WuM #2d #performance #programmable
An Efficient Router for 2-D Field Programmable Gate Arrays (YLW, MMS), pp. 412–416.
HPDCHPDC-1994-CataniaPRV #clustering #evaluation #performance
Performance Evaluation of a Partial Dynamic Declustering Disk Array System (VC, AP, SR, LV), pp. 244–252.
PDPPDP-1994-Dezan #generative #program transformation
Generating Regular Arrays By Program Transformations (CD), pp. 175–179.
PDPPDP-1994-DiersteinHR #algorithm #bound
A Branch-and-bound Algorithm For Array Distributions (AD, RH, TR), pp. 528–535.
PDPPDP-1994-MegsonC #clustering
Partitioning And Mapping For Lower Dimensional Given Arrays (GMM, XC), pp. 149–155.
STOCSTOC-1994-AnderssonHHP #complexity #string
The complexity of searching a sorted array of strings (AA, TH, JH, OP), pp. 317–325.
SIGMODSIGMOD-1993-HouP #algorithm
Comparing Rebuild Algorithms for Mirrored and RAID5 Disk Arrays (RYH, YNP), pp. 317–326.
DLTDLT-1993-KrithivasanM #modelling #nondeterminism #probability
Nondeterministic, Probabilistic and Alternating Computations on Cellular Array Models (KK, MM), pp. 342–354.
OOPSLAOOPSLA-1993-Driesen
Selector Table Indexing & Sparse Arrays (KD), pp. 259–270.
PLDIPLDI-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.
POPLPOPL-1993-ChatterjeeGST #automation #source code
Automatic Array Alignment in Data-Parallel Programs (SC, JRG, RS, SHT), pp. 16–28.
POPLPOPL-1993-MaydanAL #analysis #data flow
Array Data-Flow Analysis and its Use in Array Privatization (DEM, SPA, MSL), pp. 2–15.
ICSEICSE-1993-HamletGN #data flow #testing
Exploring Dataflow Testing of Arrays (RGH, BG, BN), pp. 118–129.
SACSAC-1993-PanH #composition #pipes and filters
Computation of Singular Value Decomposition on Arrays with Pipelined Optical Buses (YP, MH), pp. 525–532.
DACDAC-1993-ChanSZ #on the #predict #programmable
On Routability Prediction for Field-Programmable Gate Arrays (PKC, MDFS, JYZ), pp. 326–330.
DACDAC-1993-ChenCHK
The Sea-of-Wires Array Aynthesis System (IYC, GLC, FJH, SYK), pp. 188–193.
DACDAC-1993-MurgaiBS #programmable #synthesis
Sequential Synthesis for Table Look Up Programmable Gate Arrays (RM, RKB, ALSV), pp. 224–229.
PDPPDP-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.
STOCSTOC-1993-ColeMS #configuration management #fault #multi #self
Multi-scale self-simulation: a technique for reconfiguring arrays with faults (RC, BMM, RKS), pp. 561–572.
TAPSOFTTAPSOFT-1993-GribomontD #design
Generic Systolic Arrays: A Methodology for Systolic Design (EPG, VVD), pp. 746–761.
ASPLOSASPLOS-1992-HollandG #clustering
Parity Declustering for Continuous Operation in Redundant Disk Arrays (MH, GAG), pp. 23–35.
DACDAC-1992-SawkarT #programmable
Area and Delay Mapping for Table-Look-Up Based Field Programmable Gate Arrays (PS, DET), pp. 368–373.
HPDCHPDC-1992-NgM #maintenance #performance
Maintaining Good Performance In Disk Arrays During Failure via Uniform Parity Group Distribution (SWN, RLM), pp. 260–269.
ESOPESOP-1992-Chuang #incremental #performance #persistent
Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads (TRC), pp. 110–129.
STOCSTOC-1992-AumannB
Computing with Faulty Arrays (YA, MBO), pp. 162–169.
SIGMODSIGMOD-1991-VandenbergD #algebra #inheritance
Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance (SLV, DJD), pp. 158–167.
SIGMODSIGMOD-1991-WeikumZS
Dynamic File Allocation in Disk Arrays (GW, PZ, PS), pp. 406–415.
POPLPOPL-1991-CaiP #quote
“Look Ma, No Hashing, And No Arrays Neither” (JC, RP), pp. 143–154.
ASPLOSASPLOS-1991-LeeK #performance
Performance Consequences of Parity Placement in Disk Arrays (EKL, RHK), pp. 190–199.
DACDAC-1991-ErcolaniM #programmable
Technology Mapping for Electrically Programmable Gate Arrays (SE, GDM), pp. 234–239.
DACDAC-1991-Hill #design #programmable
A CAD System for the Design of Field Programmable Gate Arrays (DDH), pp. 187–192.
DACDAC-1991-Karplus #named #programmable
Xmap: A Technology Mapper for Table-Lookup Field-Programmable Gate Arrays (KK), pp. 240–243.
DACDAC-1991-Karplus91a #named #programmable
Amap: A Technology Mapper for Selector-Based Field-Programmable Gate Arrays (KK), pp. 244–247.
VLDBVLDB-1990-GrayHW #low cost #reliability #throughput
Parity Striping of Disk Arrays: Low-Cost Reliable Storage with Acceptable Throughput (JG, BH, MW), pp. 148–161.
VLDBVLDB-1990-MuntzL #analysis #performance
Performance Analysis of Disk Arrays under Failure (RRM, JCSL), pp. 162–173.
PLDIPLDI-1990-AndersonH #compilation #haskell
Compilation of Haskell Array Comprehensions for Scientific Computing (SA, PH), pp. 137–149.
PLDIPLDI-1990-Gupta #bound #fresh look #optimisation
A Fresh Look at Optimizing Array Bound Checking (RG), pp. 272–282.
PLDIPLDI-1990-Tseng #compilation #linear #source code
Compiling Programs for a Linear Systolic Array (PST), pp. 311–321.
DACDAC-1990-FrancisRC #named #programmable
Chortle: A Technology Mapping Program for Lookup Table-Based Field Programmable Gate Arrays (RJF, JR, KC), pp. 613–619.
DACDAC-1990-MurgaiNSBS #logic #programmable #synthesis
Logic Synthesis for Programmable Gate Arrays (RM, YN, NVS, RKB, ALSV), pp. 620–625.
FPCAFPCA-1989-WeissSS #architecture #data-driven
Architectural Improvements for Data-Driven VLSI Processing Arrays (SW, IYS, GMS), pp. 243–259.
ASPLOSASPLOS-1989-GibsonHKKP #scalability
Failure Correction Techniques for Large Disk Arrays (GAG, LH, RMK, RHK, DAP), pp. 123–132.
DACDAC-1989-GoreR #automation #equation #logic #programmable #synthesis #using
Automatic Synthesis of Boolean Equations Using Programmable Array Logic (RG, KR), pp. 283–289.
SIGMODSIGMOD-1988-PattersonGK
A Case for Redundant Arrays of Inexpensive Disks (RAID) (DAP, GAG, RHK), pp. 109–116.
POPLPOPL-1988-Lam #compilation #optimisation #source code
Compiler Optimizations for Asynchronous Systolic Array Programs (MSL), pp. 309–318.
DACDAC-1988-ChakravertiC #algorithm #metaprogramming
Routing Algorithm for Gate Array Macro Cells (AC, MJC), pp. 658–662.
DACDAC-1988-KumarS #architecture #parallel
Parallel Placement on Reduced Array Architecture (CPR, SS), pp. 121–127.
PPoPPPPEALS-1988-AlbertKLS #compilation #fortran
Compiling Fortran 8x Array Features for the Connection Machine Computer System (EA, KK, JDL, GLSJ), pp. 42–56.
PPoPPPPEALS-1988-Bruegge #development
Program Development for a Systolic Array (BB), pp. 31–41.
ICLPJICSCP-1988-McCroskyK88 #prolog #using
Improving First-Class Array Expressions Using Prolog (CM, AJK), pp. 18–25.
ICALPICALP-1987-IbarraJ #on the #power of
On the Computing Power of One-Way Cellular Arrays (OHI, TJ), pp. 550–562.
FPCAFPCA-1987-GrossS
Mapping a single-assignment language onto the Warp systolic array (TRG, AS), pp. 347–363.
SIGIRSIGIR-1987-RasmussenW #clustering #distributed #documentation #using
Non-Hierarchic Document Clustering Using the ICL Distributed Array Processor (EMR, PW), pp. 132–139.
DACDAC-1987-BeekmanOI #generative #performance
Mesh Arrays and LOGICIAN: A Tool for Their Efficient Generation (JAB, RMO, MJI), pp. 357–362.
DACDAC-1987-FaroughiS #algorithm
An Improved Systematic Method for Constructing Systolic Arrays from Algorithms (NF, MAS), pp. 26–34.
DACDAC-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.
DACDAC-1987-Wey #design #logic #on the #programmable
On Yield Consideration for the Design of Redundant Programmable Logic Arrays (CLW), pp. 622–628.
DACDAC-1987-WongL #optimisation #synthesis
Array Optimization for VLSI Synthesis (DFW, CLL), pp. 537–543.
ICGTGG-1986-Rosenfeld
Array Grammars (AR), pp. 67–70.
ICGTGG-1986-Siromoney #roadmap
Advances in array languages (RS), pp. 549–563.
DACDAC-1986-DevadasN #named #synthesis
GENIE: a generalized array optimizer for VLSI synthesis (SD, ARN), pp. 631–637.
DACDAC-1986-KuoF #configuration management #performance
Efficient spare allocation in reconfigurable arrays (SYK, WKF), pp. 385–390.
DACDAC-1986-LadjadjMHM #testing #using
Use of the subscripted DALG in submodule testing with applications in cellular arrays (ML, JFM, DHH, WM), pp. 346–353.
DACDAC-1986-SaitoSYK #logic #rule-based #synthesis
A rule-based logic circuit synthesis system for CMOS gate arrays (TS, HS, MY, NK), pp. 594–600.
STOCSTOC-1986-KosarajuA #simulation
Optimal Simulations between Mesh-Connected Arrays of Processors (SRK, MJA), pp. 264–272.
ICALPICALP-1985-VarmanR #matrix #multi #on the #using
On Matrix Multiplication Using Array Processors (PJV, IVR), pp. 487–496.
FPCAFPCA-1985-Sheeran85 #architecture #design #higher-order #using
Designing Regular Array Architectures using Higher Order Functions (MS), pp. 220–237.
DACDAC-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.
DACDAC-1985-IachponiVBI #architecture #design
A hierarchical gate array architecture and design methodology (MI, DV, SB, AI), pp. 439–442.
DACDAC-1985-NodaYFKKF #algorithm #automation #layout
Automatic layout algorithms for function blocks of CMOS gate arrays (SN, HY, EF, HK, HK, TF), pp. 46–52.
DACDAC-1985-SpiraH #hardware #layout
Hardware acceleration of gate array layout (PMS, CH), pp. 359–366.
DACDAC-1985-SteinwegAPN #compilation
Silicon compilation of gate array bases (RLS, SJA, KP, SN), pp. 435–438.
DACDAC-1985-TeraiHK #metaprogramming #standard
A routing procedure for mixed array of custom macros and standard cells (HT, MH, TK), pp. 503–508.
STOCSTOC-1985-GacsR #3d #realtime #reliability
A Simple Three-Dimensional Real-Time Reliable Cellular Array (PG, JHR), pp. 388–395.
STOCSTOC-1985-RaghavanT #graph
Provably Good Routing in Graphs: Regular Arrays (PR, CDT), pp. 79–87.
DACDAC-1984-Blanks #using
Initial placement of gate arrays using least-squares methods (JPB), pp. 670–671.
DACDAC-1984-Dupenloup
A wire routing scheme for double-layer cell arrays (GD), pp. 32–37.
DACDAC-1984-Hinchliffe #automation #design #physics
Commercial gate array physical design automation packages (FHI), pp. 386–387.
DACDAC-1984-TienTCCE #automation #layout #named
GALA — an automatic layout system for high density CMOS gate arrays (BNT, BST, JC, KSKC, SCE), pp. 657–662.
ICLPILPC-1984-EriksonR84 #logic programming
Incorporating Mutable Arrays into Logic Programming (LHE, MR), pp. 101–114.
DACDAC-1983-ChyanB #algorithm
A placement algorithm for array processors (DJC, MAB), pp. 182–188.
DACDAC-1983-GamalS #statistics
A new statistical model for gate array routing (AEG, ZAS), pp. 671–674.
DACDAC-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.
DACDAC-1983-HuK #logic #programmable #reduction
Optimum reduction of programmable logic array (TCH, YSK), pp. 553–558.
DACDAC-1983-KirkCSBT
Placement of irregular circuit elements on non-uniform gate arrays (HK, PDC, JAS, JDB, GLT), pp. 637–643.
DACDAC-1983-KozakBG #design #simulation
Design aids for the simulation of bipolar gate arrays (PK, AKB, AG), pp. 286–292.
DACDAC-1983-Krohn
An over-cell gate array channel router (HEK), pp. 665–670.
DACDAC-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.
DACDAC-1983-NewtonY #optimisation
Optimisation of global routing for the UK5000 gate array by iteration (CON, PAY), pp. 651–657.
DACDAC-1983-PrazicB #automation #using
Automatic routing of double layer gate arrays using a moving cursor (BDP, MAB), pp. 644–650.
DACDAC-1983-Robinson #automation #layout
Automatic layout for gate arrays with one layer of metal (PR0), pp. 658–664.
DACDAC-1983-SmithNBSW #automation #geometry #layout #named
VGAUA: The Variable Geometry Automated Universal Array layout System (DCS, RN, FB, SSS, JCW), pp. 425–429.
SIGMODSIGMOD-1982-Bacon #database #image #visual notation
Issues Integrating Databases of Images, Graphical, Array and Character Data (GCB), p. 137.
DACDAC-1982-BoseA #generative #logic #programmable #testing
Test generation for programmable logic arrays (PB, JAA), pp. 574–580.
DACDAC-1982-GrayBR #compilation #design #using
Designing gate arrays using a silicon compiler (JPG, IB, PSR), pp. 377–383.
DACDAC-1982-HachtelNS #logic #programmable
Techniques for programmable logic array folding (GDH, ARN, ALSV), pp. 147–155.
DACDAC-1982-ToddHPBGAB #layout #multi
CGALA-a multi technology Gate Array Layout system (LFT, JMH, SVP, JLB, DJG, RJA, AKB), pp. 792–801.
STOCSTOC-1982-AtallahK #graph #problem
Graph Problems on a Mesh-Connected Processor Array (MJA, SRK), pp. 345–353.
VLDBVLDB-1981-Muraszkiewicz #concept #sorting
Concepts of Sorting and Projection in a Cellular Array (MM), pp. 76–80.
POPLPOPL-1981-Lowney
Carrier Arrays: An Idiom-Preserving Extension to APL (PGL), pp. 1–13.
DACDAC-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.
DACDAC-1981-Ramsay #design #logic
A remote design station for customer Uncommitted Logic Array designs (FRR), pp. 498–504.
DACDAC-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.
DACDAC-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.
SIGMODSIGMOD-1980-KungL #database #relational
Systolic (VLSI) Arrays for Relational Database Operations (HTK, PLL), pp. 105–116.
DACDAC-1980-CoxC #automation #standard
The Standard Transistor Array (star) (Part II automatic cell placement techniques) (GWC, BDC), pp. 451–457.
DACDAC-1980-GouldE #design #standard
The standard transistor array (STAR): Part I A two-layer metal semicustom design system (JMG, TME), pp. 108–113.
DACDAC-1980-Ramsay #automation #design #logic
Automation of design for uncommitted logic array (FRR), pp. 100–107.
DACDAC-1979-UeharaC #functional #layout
Optimal layout of CMOS functional arrays (TU, WMvC), pp. 287–289.
STOCSTOC-1979-Kosaraju79a #algorithm #graph #parallel #performance #problem
Fast Parallel Processing Array Algorithms for some Graph Problems (SRK), pp. 231–236.
POPLPOPL-1977-SuzukiI #bound #implementation
Implementation of an Array Bound Checker (NS, KI), pp. 132–143.
VLDBVLDB-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.
VLDBVLDB-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.
DACDAC-1975-YoshizawaKK #heuristic
A heuristic procedure for ordering MOS arrays (HY, HK, KK), pp. 384–393.
STOCSTOC-1975-RosenbergS
Hashing Schemes for Extendible Arrays (Extended Arrays) (ALR, LJS), pp. 159–166.
SIGMODSIGFIDET-1974-HoernesF
Declaration and Addressing of Varying Density Arrays and Structure (GEH, GHF), pp. 15–33.
DACDAC-1974-Vaughn #functional #testing
Functional testing of LSI gate arrays (GDV), pp. 258–265.
STOCSTOC-1974-Rosenberg
Managing Storage for Extendible Arrays (ALR), pp. 297–302.
STOCSTOC-1974-Seiferas #multi #nondeterminism
Observations on Nondeterministic Multidimensional Iterative Arrays (JIS), pp. 276–289.
POPLPOPL-1973-Rosenberg
Transitions in Extendible Arrays (ALR), pp. 218–225.
STOCSTOC-1972-KarpMR #agile #identification #string
Rapid Identification of Repeated Patterns in Strings, Trees and Arrays (RMK, REM, ALR), pp. 125–136.
STOCSTOC-1969-AmorosoLY #formal method #framework
A Unifying Framework for the Theory of Iterative Arrays of Machines (SA, EL, HY), pp. 259–269.
LISPLISP-1963-Thomas #lisp #source code #using
Use of arrays in LISP. Group theory programs (BST), p. 11.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.