Stem array$ (all stems)

417 papers:

DAC-2015-MengYOLW #array #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 #array #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 #array #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 #array #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-KhanhSKA #dependence #design #synthesis

Exploiting loop-array dependencies to accelerate the design space exploration with high level synthesis (PNK, AKS, AK, KMMA), pp. 157–162.

DATE-2015-SporrerBVMRMBBP #array #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.

SIGMOD-2015-DugganPBS #array #database #optimisation

Skew-Aware Join Optimization for Array Databases (JD, OP, LB, MS), pp. 123–135.

SIGMOD-2015-PengD #array #database #nondeterminism

Supporting Data Uncertainty in Array Databases (LP, YD), pp. 545–560.

VLDB-2015-InoueT #algorithm #array #sorting

SIMD- and Cache-Friendly Algorithm for Sorting an Array of Structures (HI, KT), pp. 1274–1285.

TACAS-2015-HeizmannDLMP #array #contest

Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.

SAS-2015-MonniauxA #abstraction #array

A Simple Abstraction of Arrays and Maps by Program Translation (DM, FA), pp. 217–234.

OOPSLA-2015-SteindorferV #agile #optimisation #performance #virtual machine

Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.

SAC-2015-AlbertiM #array

Polyhedra to the rescue of array interpolants (FA, DM), pp. 1745–1750.

SAC-2015-JeremicPM #array #performance #random

Improving random write performance in heterogeneous erasure-coded drive arrays by offloading code block requests (NJ, HP, GM), pp. 2007–2014.

TAP-2015-GenestierGP #array #deduction #generative #verification

Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.

VMCAI-2015-LiuR #abstraction #array

Abstraction of Arrays Based on Non Contiguous Partitions (JL, XR), pp. 282–299.

VMCAI-2015-ZhuNJ #array #testing #type inference

Dependent Array Type Inference from Tests (HZ, AVN, SJ), pp. 412–430.

CASE-2014-SuKLLHKK #array #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.

DAC-2014-ChangJC #configuration management #functional #using

Functional ECO Using Metal-Configurable Gate-Array Spare Cells (HYC, IHRJ, YWC), p. 6.

DAC-2014-MotamanG #array #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 #array #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 #array #exception #fault

Reliability-Aware Exceptions: Tolerating intermittent faults in microprocessor array structures (WD, MA, MD), pp. 1–6.

DATE-2014-LiuCHWCDN #array #synthesis

Width minimization in the Single-Electron Transistor array synthesis (CWL, CEC, CYH, CYW, YCC, SD, VN), pp. 1–4.

SIGMOD-2014-DugganS #array #database #incremental

Incremental elasticity for array databases (JD, MS), pp. 409–420.

ESOP-2014-SlepakSM #morphism #polymorphism #rank

An Array-Oriented Language with Static Rank Polymorphism (JS, OS, PM), pp. 27–46.

TACAS-2014-AlbertiGS #array

Decision Procedures for Flat Array Properties (FA, SG, NS), pp. 15–30.

FLOPS-2014-HoffmannS #analysis #array #integer #type system

Type-Based Amortized Resource Analysis with Integers and Arrays (JH, ZS), pp. 152–168.

ILC-2014-Penkler #array

An Array and List Processing System (DP), p. 22.

CIKM-2014-KimC #array #performance

Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.

LOPSTR-2014-CornishGNSSS #array #program transformation #source code

Analyzing Array Manipulating Programs by Program Transformation (JRMC, GG, JAN, PS, HS, PJS), pp. 3–20.

ASPLOS-2014-JungCSK #array #named #performance

Triple-A: a Non-SSD based autonomic all-flash array for high performance storage systems (MJ, WC, JS, MTK), pp. 441–454.

CC-2014-SurendranBZS #array #using

Inter-iteration Scalar Replacement Using Array SSA Form (RS, RB, JZ, VS), pp. 40–60.

SMT-2014-AlbertiGS #array

Decision Procedures for Flat Array Properties (FA, SG, NS), p. 51.

SMT-2014-ChristH #array

Weakly Equivalent Arrays (JC, JH), pp. 39–49.

VMCAI-2014-AngelisFPP #array #source code #verification

Verifying Array Programs by Transforming Verification Conditions (EDA, FF, AP, MP), pp. 182–202.

DAC-2013-HoOCT #array

Coupling-aware length-ratio-matching routing for capacitor arrays in analog integrated circuits (KHH, HCO, YWC, HFT), p. 6.

DAC-2013-WangLZZC #array #clustering #memory management #multi #synthesis

Memory partitioning for multidimensional arrays in high-level synthesis (YW, PL, PZ, CZ, JC), p. 8.

DAC-2013-ZhengHB #array #embedded #named #physics #robust

RESP: a robust physical unclonable function retrofitted into embedded SRAM array (YZ, MH, SB), p. 9.

DATE-2013-ChiangTWHCDN #array #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 #array #memory management #optimisation

AVF-driven parity optimization for MBU protection of in-core memory arrays (MM, MKM, YM), pp. 1480–1485.

DATE-2013-NavasSO #array #configuration management #flexibility #framework #reuse

The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks (BN, IS, JÖ), pp. 833–838.

DATE-2013-NikolaouSNOI #array #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 #array #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 #array #design #reduction

Sparse-rotary oscillator array (SROA) design for power and skew reduction (YT, BT), pp. 1229–1234.

SIGMOD-2013-ZhangKM #array #named

SciQL: array data processing inside an RDBMS (YZ, MLK, SM), pp. 1049–1052.

VLDB-2013-MoyersSWKVBC #analysis #array #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 #array #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.

SEKE-2013-WangGZZX #array #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 #array #functional #parallel

Extensible sparse functional arrays with circuit parallelism (JTO), pp. 133–144.

ASPLOS-2013-JogKNMKMID #array #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.

PPoPP-2013-DeoK #array #gpu #parallel

Parallel suffix array and least common prefix for the GPU (MD, SK), pp. 197–206.

PPoPP-2013-YukiFRS #analysis #array #data flow #source code

Array dataflow analysis for polyhedral X10 programs (TY, PF, SVR, VS), pp. 23–34.

VMCAI-2013-LarrazRR #array #generative #invariant #smt

SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.

CASE-2012-HoNNH #question #what

What can be inferred from a tactile arrayed sensor in autonomous in-hand manipulation? (VAH, TN, AN, SH), pp. 461–468.

DAC-2012-ChangJC #configuration management #optimisation #using

Timing ECO optimization using metal-configurable gate-array spare cells (HYC, IHRJ, YWC), pp. 802–807.

DAC-2012-HuLWR #array #hardware #using

Hardware realization of BSB recall function using memristor crossbar arrays (MH, HL, QW, GSR), pp. 498–503.

DATE-2012-ZhaoYZCL #architecture #array #memory management

Architecting a common-source-line array for bipolar non-volatile memory devices (BZ, JY, YZ, YC, HL), pp. 1451–1454.

VLDB-2012-ZhangY #array #optimisation

Optimizing I/O for Big Array Analytics (YZ, JY), pp. 764–775.

ITiCSE-2012-HiltonJ #array #education #learning #on the #testing

On teaching arrays with test-driven learning in WebIDE (MH, DSJ), pp. 93–98.

CSMR-2012-AlsallakhBMN #array #eclipse #ide #java #visualisation

Visualizing Arrays in the Eclipse Java IDE (BA, PB, SM, DN), pp. 541–544.

LATA-2012-NikolicS #analysis #array

Automaton-Based Array Initialization Analysis (DN, FS), pp. 420–432.

ICPR-2012-TanakaSM #array #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 #array

Direct imaging with printed microlens arrays (SV, JH, OS), pp. 1355–1358.

MoDELS-2012-JohansenHFES #array #generative #modelling #product line

Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines (MFJ, ØH, FF, AGE, TS), pp. 269–284.

MoDELS-2012-JohansenHFES #array #generative #modelling #product line

Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines (MFJ, ØH, FF, AGE, TS), pp. 269–284.

LOPSTR-2012-SeghirB #array #program transformation #quantifier #verification

Simplifying the Verification of Quantified Array Assertions via Code Transformation (MNS, MB), pp. 194–212.

ICSE-2012-NguyenKWF #array #dynamic analysis #invariant #polynomial #using

Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.

SPLC-2012-JohansenHF #algorithm #array #feature model #generative #modelling #scalability

An algorithm for generating t-wise covering arrays from large feature models (MFJ, ØH, FF), pp. 46–55.

LCTES-2012-GerardGPP #array #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 #array #named #parallel #representation

PARRAY: a unifying array representation for heterogeneous parallelism (YC, XC, HM), pp. 171–180.

PPoPP-2012-LiuS #queue

A lock-free, array-based priority queue (YL, MFS), pp. 323–324.

CAV-2012-AlbertiBGRS #abstraction #array #named #smt

SAFARI: SMT-Based Abstraction for Arrays with Interpolants (FA, RB, SG, SR, NS), pp. 679–685.

SMT-2012-FalkeSM #array #formal method #set

A Theory of Arrays with set and copy Operations (SF, CS, FM), pp. 98–108.

DAC-2011-ChangC #3d #array #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 #array #automation #configuration management

Automated mapping for reconfigurable single-electron transistor arrays (YCC, SE, CYW, SD, YX, VN), pp. 878–883.

DAC-2011-ZhengSXHBC #array #framework #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 #array #configuration management #scheduling

Slack-aware scheduling on Coarse Grained Reconfigurable Arrays (GA, LP, KT, ND), pp. 1513–1516.

SIGMOD-2011-SoroushBW #array #named #parallel

ArrayStore: a storage manager for complex parallel array processing (ES, MB, DLW), pp. 253–264.

CIKM-2011-Baumann #array #scalability

Large-scale array analytics: taming the data tsunami (PB), pp. 2599–2600.

POPL-2011-CousotCL #analysis #array #automation #parametricity #scalability #segmentation

A parametric segmentation functor for fully automatic and scalable array content analysis (PC, RC, FL), pp. 105–118.

CC-2011-JoynerBS #analysis #array #bound

Subregion Analysis and Bounds Check Elimination for High Level Arrays (MJ, ZB, VS), pp. 246–265.

CC-2011-LameedH #array #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 #array #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.

HPCA-2011-YangR #array #named

I-CASH: Intelligently Coupled Array of SSD and HDD (QY, JR), pp. 278–289.

RTA-2011-BruttomessoGR #array #formal method #quantifier

Rewriting-based Quantifier-free Interpolation for a Theory of Arrays (RB, SG, SR), pp. 171–186.

CASE-2010-AshrafTANBT #analysis #array

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.

DATE-2010-KoenigBSSABH #architecture #configuration management #multi #named #novel

KAHRISMA: A novel Hypermorphic Reconfigurable-Instruction-Set Multi-grained-Array architecture (RK, LB, TS, MS, WA, JB, JH), pp. 819–824.

SIGMOD-2010-Brown #analysis #array #bibliography #scalability

Overview of sciDB: large scale array storage, processing and analysis (PGB), pp. 963–968.

VLDB-2010-GeZ #array #modelling #multi #nondeterminism

A*-tree: A Structure for Storage and Modeling of Uncertain Multidimensional Arrays (TG, SBZ), pp. 964–974.

ESOP-2010-AmtoftHR #array #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.

PLDI-2010-SartorBFHM #array #flexibility #named

Z-rays: divide arrays and conquer speed and flexibility (JBS, SMB, DF, MH, KSM), pp. 471–482.

SAS-2010-McCloskeyRS #array #invariant

Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.

AFL-J-2008-MalcherMP10 #array #bound

Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 843–858.

ICFP-2010-KellerCLJL #array #haskell #parallel

Regular, shape-polymorphic, parallel arrays in Haskell (GK, MMTC, RL, SLPJ, BL), pp. 261–272.

SAC-OOPS-J-2008-LogozzoF10 #abstract domain #array #named #performance #relational #validation

Pentagons: A weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 796–807.

SAC-2010-Makela #array #concept

Concept for providing guaranteed service level over an array of unguaranteed commodity connections (AM), pp. 678–683.

CAV-2010-ZhouHWG #array #bound #on the

On Array Theory of Bounded Elements (MZ, FH, BYW, MG), pp. 570–584.

VMCAI-2010-PerrelleH #analysis #array #permutation

An Analysis of Permutations in Arrays (VP, NH), pp. 279–294.

DAC-2009-JamaaLM #array #multi

Decoding nanowire arrays fabricated with the multi-spacer patterning technique (MHBJ, YL, GDM), pp. 77–82.

DAC-2009-KimM #array #configuration management #embedded #performance

Hierarchical reconfigurable computing arrays for efficient CGRA-based embedded systems (YK, RNM), pp. 826–831.

DATE-2009-ZhengH #array #logic #programmable #satisfiability

Defect-aware logic mapping for nanowire-based programmable logic arrays via satisfiability (YZ, CH), pp. 1279–1283.

ITiCSE-2009-Blaheta09a #array #proving #visual notation

A visual proof of amortised-linear resizable arrays (DB), p. 338.

FASE-2009-KovacsV #array #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 #array #named #performance #smt

Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays (RB, AB), pp. 174–177.

SAS-2009-SeghirPW #abstraction #array #quantifier #refinement

Abstraction Refinement for Quantified Array Assertions (MNS, AP, TW), pp. 3–18.

LATA-2009-IIBT #array

Counting Parameterized Border Arrays for a Binary Alphabet (TI, SI, HB, MT), pp. 422–433.

IFM-2009-HasanAT #analysis #array #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 #array #robust #using

Robust record linkage blocking using suffix arrays (TdV, HK, SC, PC), pp. 305–314.

PADL-2009-Leshchinskiy #array #exclamation

Recycle Your Arrays! (RL), pp. 209–223.

CC-2009-Grosslinger #array #precise

Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes (AG), pp. 236–250.

SOSP-2009-AndersenFKPTV #array #named #performance

FAWN: a fast array of wimpy nodes (DGA, JF, MK, AP, LT, VV), pp. 1–14.

CAV-2009-BozgaHIKV #array #automation #integer #source code #verification

Automatic Verification of Integer Array Programs (MB, PH, RI, FK, TV), pp. 157–172.

CSL-2009-AlurCW #algorithm #analysis #source code

Algorithmic Analysis of Array-Accessing Programs (RA, PC, SW), pp. 86–101.

ISSTA-2009-FoucheCP #array #incremental #scalability

Incremental covering array failure characterization in large configuration spaces (SF, MBC, AAP), pp. 177–188.

CASE-2008-AnisHM #array #automation

Automated vision-based selection and placement of single cells in microwell array formats (YHA, MH, DRM), pp. 315–320.

DAC-2008-BrockmanLKKM #array #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 #array #process

Process variation tolerant SRAM array for ultra low voltage applications (JPK, KK, SPP, KR), pp. 108–113.

DAC-2008-LiASR #array #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 #array

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 #array #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.

SIGMOD-2008-SinhaPMT #array #locality #pattern matching #performance

Improving suffix array locality for fast pattern matching on disk (RS, SJP, AM, AT), pp. 661–672.

ITiCSE-2008-EagleB #array #education #game studies

Wu’s castle: teaching arrays and loops in a game (ME, TB), pp. 245–249.

ESOP-2008-Allamigeon #abstraction #array

Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.

FoSSaCS-2008-HabermehlIV #array #decidability #integer #question #what

What Else Is Decidable about Integer Arrays? (PH, RI, TV), pp. 474–489.

PASTE-2008-MarronMHSK #analysis #array #recursion

Sharing analysis of arrays, collections, and recursive structures (MM, MML, MVH, DS, DK), pp. 43–49.

PEPM-2008-PopeeaXC #array #bound #precise

A practical and precise inference and specializer for array bound checks elimination (CP, DNX, WNC), pp. 177–187.

PLDI-2008-HalbwachsP #array #source code

Discovering properties about arrays in simple programs (NH, MP), pp. 339–348.

SAS-2008-PrabhuS #analysis #array #java #pointer #using

Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA (PP, PS), pp. 110–127.

AFL-2008-MalcherMP #array #bound

Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 292–301.

IFL-2008-TrojahnerG #array #dependent type #representation

Descriptor-Free Representation of Arrays with Dependent Types (KT, CG), pp. 100–117.

ICPR-2008-SugimotoO #array #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

Array OL Descriptions of Repetitive Structures in VHDL (SW, DHA, WGJH, KDMM), pp. 137–152.

PADL-2008-CoxN #array #logic programming #spreadsheet #unification

Unification of Arrays in Spreadsheets with Logic Programming (PTC, PKN), pp. 100–115.

SAC-2008-LogozzoF #abstract domain #array #named #performance #relational #validation

Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 184–188.

CGO-2008-WimmerM #array #automation #java #virtual machine

Automatic array inlining in java virtual machines (CW, HM), pp. 14–23.

LCTES-2008-ChoPIDPK #array #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 #array #configuration management

Placement-and-routing-based register allocation for coarse-grained reconfigurable arrays (BDS, PC, TVA, BM), pp. 151–160.

IJCAR-2008-GhilardiNRZ #model checking #smt #towards

Towards SMT Model Checking of Array-Based Systems (SG, EN, SR, DZ), pp. 67–82.

ASE-2007-CaiWHW #array #automation #kernel #testing

Test automation for kernel code and disk arrays with virtual devices (LZC, RSW, WTH, FW), pp. 505–508.

ASE-2007-YuanCM #array #automation #sequence #testing #user interface

Covering array sampling of input event sequences for automated gui testing (XY, MBC, AMM), pp. 405–408.

CASE-2007-JiangLCHHS #automation #development #framework

Development of Whole Human Genome Micro-array Automated Hybridization Platform (JYJ, KHL, CCC, JLH, CHH, HJS), pp. 640–645.

DATE-2007-XuC #array

A cross-referencing-based droplet manipulation method for high-throughput and pin-constrained digital microfluidic arrays (TX, KC), pp. 552–557.

PODS-2007-Machlin #array #equivalence #multi #query #safety

Index-based multidimensional array queries: safety and equivalence (RM), pp. 175–184.

TACAS-2007-ArmandoBM #abstraction #array #linear #refinement #source code

Abstraction Refinement of Linear Programs with Arrays (AA, MB, JM), pp. 373–388.

ESEC-FSE-2007-FoucheCP #adaptation #array #incremental #towards

Towards incremental adaptive covering arrays (SF, MBC, AAP), pp. 557–560.

CC-2007-ShyamG #architecture #array #energy #memory management #reduction

An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures (KS, RG), pp. 32–47.

ISMM-2007-Zilles #array

Accordion arrays (CBZ), pp. 55–66.

LCTES-2007-AliasBD #array #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.

CAV-2007-GaneshD #array

A Decision Procedure for Bit-Vectors and Arrays (VG, DLD), pp. 519–531.

CAV-2007-JhalaM #abstraction #array #proving

Array Abstractions from Proofs (RJ, KLM), pp. 193–206.

DAC-2006-HwangSC #array #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 #array #performance

Efficient escape routing for hexagonal array of high density I/Os (RS, CKC), pp. 1003–1008.

DATE-2006-ChenOKK #array #data access #memory management

Dynamic scratch-pad memory management for irregular array access patterns (GC, ÖÖ, MTK, MK), pp. 931–936.

DATE-2006-NiclassSC #array

A single photon avalanche diode array fabricated in deep-submicron CMOS technology (CN, MS, EC), pp. 81–86.

PODS-2006-BenderH #adaptation #array

An adaptive packed-memory array (MAB, HH), pp. 20–29.

IFL-2006-RuffJ #array #synthesis

Functional-Based Synthesis of a Systolic Array for GCD Computation (LR, TJ), pp. 37–54.

IFL-2006-TrojahnerGS #array #on the #optimisation #source code #using

On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.

ICML-2006-TeoV #array #kernel #performance #string #using

Fast and space efficient string kernels using suffix arrays (CHT, SVNV), pp. 929–936.

SAC-2006-Miyazaki #array #database #in memory #memory management

A memory subsystem with comparator arrays for main memory database operations (JM), pp. 511–512.

SAC-2006-TsujiHH #array #multi

An extendible multidimensional array system for MOLAP (TT, AH, KH), pp. 503–510.

ICSE-2006-DhurjatiA #array #bound #c

Backwards-compatible array bounds checking for C with very low overhead (DD, VSA), pp. 162–171.

PPoPP-2006-BikshandiGHAFGPP #array #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 #array #decidability #question #what

What’s Decidable About Arrays? (ARB, ZM, HBS), pp. 427–442.

CASE-2005-LeeH #analysis #array #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 #array #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.

DAC-2005-LiK #architecture

Locality-conscious workload assignment for array-based computations in MPSOC architectures (FL, MTK), pp. 95–100.

DAC-2005-NatarajanKH

A 24 GHz phased-array transmitter in 0.18µm CMOS (AN, AK, AH), pp. 551–552.

DATE-2005-AbsarC #approach #array

Compiler-Based Approach for Exploiting Scratch-Pad in Presence of Irregular Array Access (MJA, FC), pp. 1162–1167.

DATE-2005-ShashidharBCJ #algebra #equivalence #functional #source code #verification

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code (KCS, MB, FC, GJ), pp. 1310–1315.

DATE-2005-ThewesPSHFBAJESAHBHH #array

CMOS-Based Biosensor Arrays (RT, CP, MS, FH, AF, RB, MA, MJ, BE, PSB, MA, BH, GB, TH, HCH), pp. 1222–1223.

DLT-J-2004-Freund05 #array #string

P Systems working in the sequential mode on arrays and strings (RF), pp. 663–682.

CEFP-2005-Scholz #array #functional #programming

Functional Array Programming in SaC (SBS), pp. 62–99.

IFL-2005-GrelckSS #analysis #array #source code

A Binding Scope Analysis for Generic Programs on Arrays (CG, SBS, AVS), pp. 212–230.

LOPSTR-2005-PettorossiPS #array #protocol #using #verification

Transformational Verification of Parameterized Protocols Using Array Formulas (AP, MP, VS), pp. 23–43.

POPL-2005-GopanRS #analysis #array #framework

A framework for numeric analysis of array operations (DG, TWR, SS), pp. 338–350.

CGO-2005-ChenK #code generation #optimisation

Optimizing Address Code Generation for Array-Intensive DSP Applications (GC, MTK), pp. 141–152.

PPoPP-2005-CoarfaDMCEMYC #c #evaluation #fortran #parallel

An evaluation of global address space languages: co-array fortran and unified parallel C (CC, YD, JMMC, FC, TAEG, AM, YY, DGCM), pp. 36–47.

SOSP-2005-ZhuCTZKW #array #named

Hibernator: helping disk arrays sleep through the winter (QZ, ZC, LT, YZ, KK, JW), pp. 177–190.

DAC-2004-TaylorS #array #energy #performance

Enabling energy efficiency in via-patterned gate array devices (RRT, HS), pp. 874–878.

DATE-v1-2004-BoseN #array #memory management #modelling

Extraction of Schematic Array Models for Memory Circuits (SB, AN), pp. 570–577.

DATE-v2-2004-KhawamBPAAAW #array #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 #array #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.

ITiCSE-WGR-2004-JacobsonT #array #programming

It is time to emphasize arraylists over arrays in Java-based first programming courses (NJ, AT), pp. 88–92.

PLDI-2004-VenetB #array #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 #array #using

Array regrouping and structure splitting using whole-program reference affinity (YZ, MO, XS, CD), pp. 255–266.

DLT-2004-Freund #array #string

P Systems Working in the Sequential Mode on Arrays and Strings (RF), pp. 188–199.

DLT-2004-GruskaTP #array #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-MizoguchiTSKN #array #visual notation

Visually Steerable Sound Beam Forming System based on Face Tracking and Speaker Array (HM, YT, KS, SK, KN), pp. 977–980.

ASPLOS-2004-DenehyBPAA #array

Deconstructing storage arrays (TED, JB, FIP, ACAD, RHAD), pp. 59–71.

ASPLOS-2004-SaitoFVMS #array #component #distributed #enterprise #named

FAB: building distributed enterprise disk arrays from commodity components (YS, SF, ACV, AM, SS), pp. 48–58.

DAC-2003-ZhangCKK #embedded #interprocedural #optimisation #performance

Interprocedural optimizations for improving data cache performance of array-intensive embedded applications (WZ, GC, MTK, MK), pp. 887–892.

PLDI-2003-JoishaB #array #matlab #optimisation

Static array storage optimization in MATLAB (PGJ, PB), pp. 258–268.

ICALP-2003-KarkkainenS #array #linear

Simple Linear Work Suffix Array Construction (JK, PS), pp. 943–955.

IFL-2003-GrelckST #array

With-Loop Scalarization — Merging Nested Array Operations (CG, SBS, KT), pp. 118–134.

OOPSLA-2003-MouginD #array #named #object-oriented #programming

OOPAL: integrating array programming in object-oriented programming (PM, SD), pp. 65–77.

LCTES-2003-VanbroekhovenCC #array

Advanced copy propagation for arrays (PV, HC, FC), pp. 24–33.

PPoPP-2003-CoarfaD #compilation #fortran

An emerging co-array fortran compiler (CC, YD), p. 2.

PPoPP-2003-DeitzCCS #array #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.

DATE-2002-DessoukyS #array #automation #generative

Automatic Generation of Common-Centroid Capacitor Arrays with Arbitrary Capacitor Ratio (MD, DS), pp. 576–580.

DATE-2002-DrozdLD #array #float #online #performance #testing

Efficient On-Line Testing Method for a Floating-Point Iterative Array Divider (AVD, MVL, JVD), p. 1127.

DATE-2002-KandemirK #energy

Reducing Cache Access Energy in Array-Intensive Application (MTK, IK), p. 1092.

SAS-2002-Venet #alias #analysis #array #data type #recursion

Nonuniform Alias Analysis of Recursive Data Structures and Arrays (AV), pp. 36–51.

CIAA-2002-Balik #array

DAWG versus Suffix Array (MB), pp. 233–238.

AFP-2002-ChakravartyK02 #approach #array #haskell #performance

An Approach to Fast Arrays in Haskell (MMTC, GK), pp. 27–58.

ICFP-2002-Hinze #array #flexibility

Bootstrapping one-sided flexible arrays (RH), pp. 2–13.

ICPR-v4-2002-HuangT02a #array #multi #recognition #streaming #using #video

Streaming Face Recognition Using Multicamera Video Arrays (KSH, MMT), pp. 213–216.

CC-2002-QianHV #approach #array #bound #java

A Comprehensive Approach to Array Bounds Check Elimination for Java (FQ, LJH, CV), pp. 325–342.

VMCAI-2002-TronconBJC #array #reduction

Storage Size Reduction by In-place Mapping of Arrays (RT, MB, GJ, FC), pp. 167–181.

DATE-2001-Al-ArsG #array #behaviour #embedded #memory management

Static and dynamic behavior of memory cell array opens and shorts in embedded DRAMs (ZAA, AJvdG), pp. 496–503.

PASTE-2001-AncourtN #array #debugging #maintenance #reuse

Array resizing for scientific code debugging, maintenance and reuse (CA, TVNN), pp. 32–37.

ICALP-2001-Havill #array #linear #online

Online Packet Routing on Linear Arrays and Rings (JTH), pp. 773–784.

ICFP-2001-ChakravartyK #array #functional

Functional Array Fusion (MMTC, GK), pp. 205–216.

IFL-2001-Grelck #array #memory management #optimisation

Optimizations on Array Skeletons in a Shared Memory Environment (CG), pp. 36–54.

IFL-2001-Kreye #array #compilation

A Compilation Scheme for a Hierarchy of Array Types (DK), pp. 18–54.

CC-2001-FrankeO #array #compilation #pointer

Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications (BF, MFPO), pp. 69–85.

CC-2001-KandemirU #array #locality #optimisation #unification

Array Unification: A Locality Optimization Technique (MTK), pp. 259–273.

PPoPP-2001-LimLL #array #clustering #using

Blocking and array contraction across arbitrarily nested loops using affine partitioning (AWL, SWL, MSL), pp. 103–112.

LICS-2001-StumpBDL #array

A Decision Procedure for an Extensional Theory of Arrays (AS, CWB, DLD, JRL), pp. 29–37.

DAC-2000-CongH #array #incremental #programmable

Depth optimal incremental mapping for field programmable gate arrays (JC, HH), pp. 290–293.

DATE-2000-GanesanV #array #programmable

Technology Mapping and Retargeting for Field-Programmable Analog Arrays (SG, RV), pp. 58–64.

PLDI-2000-BodikGS #array #bound #named

ABCD: eliminating array bounds checks on demand (RB, RG, VS), pp. 321–333.

PLDI-2000-RuginaR #analysis #array #bound #memory management #pointer

Symbolic bounds analysis of pointers, array indices, and accessed memory regions (RR, MCR), pp. 182–195.

SAS-2000-FinkKS #analysis #array

Unified Analysis of Array and Object References in Strongly Typed Languages (SJF, KK, VS), pp. 155–174.

STOC-2000-GrossiV #array #string

Compressed suffix arrays and suffix trees with applications to text indexing and string matching (extended abstract) (RG, JSV), pp. 397–406.

WLC-2000-BuchholzKK #array #communication #nondeterminism

Iterative Arrays With Limited Nondeterministic Communication Cell (TB, AK, MK), pp. 73–87.

IFL-2000-Grelck #array #effectiveness #layout

Improving Cache Effectiveness through Array Data Layout Manipulation in SAC (CG), pp. 231–248.

CIKM-2000-ChenP #array #generative #source code

Dynamic Generation of Data Broadcasting Programs for a Broadcast Disk Array (MSC, WCP), pp. 38–45.

ICPR-v4-2000-KaifelSK #array

Spotting Approaches for Biochip Arrays (TK, CS, TK), pp. 4356–4359.

CC-2000-LinP #analysis #array #compilation #optimisation

Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations (YL, DAP), pp. 202–218.

CC-2000-Roth #array #syntax

Advanced Scalarization of Array Syntax (GR), pp. 219–231.

CC-2000-ShahamKS #array #automation #java #memory management

Automatic Removal of Array Memory Leaks in Java (RS, EKK, SS), pp. 50–66.

HPDC-2000-HwangJH #array #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 #array #using

Array Reference Allocation Using SSA-Form and Live Range Growth (MSC, GA), pp. 48–62.

OSDI-2000-YuGCWLKA #array #capacity #performance

Trading Capacity for Performance in a Disk Array (XY, BG, YC, RYW, KL, AK, TEA), pp. 243–258.

DAC-1999-ZhaoM #array #estimation #memory management

Exact Memory Size Estimation for Array Computations without Loop Unrolling (YZ, SM), pp. 811–816.

DATE-1999-ChoiB #array #design

OTA Amplifiers Design on Digital Sea-of-Transistors Array (JHC, SB), pp. 776–777.

SIGMOD-1999-MaratheS #array #query

Query Processing Techniques for Arrays (APM, KS), pp. 323–334.

SAC-1999-JinH #array #clustering #problem

False Sharing Problems in Cluster-Based Disk Arrays (HJ, KH), pp. 461–465.

PPoPP-1999-MoonH #analysis #array #automation #data flow #evaluation #parallel

Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization (SM, MWH), pp. 84–95.

CSL-1999-Stewart #array #quantifier

Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws (IAS), pp. 374–388.

DAC-1998-WangAK #array #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 #array #design #effectiveness #validation

Measuring the Effectiveness of Various Design Validation Approaches For PowerPC(TM) Microprocessor Arrays (LCW, MSA, JZ), pp. 273–277.

SIGMOD-1998-PapadopoulosM #array #query #similarity #using

Similarity Query Processing Using Disk Arrays (AP, YM), pp. 225–236.

TACAS-1998-VelevB #array #memory management #modelling #performance #simulation

Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation (MNV, REB), pp. 136–150.

PLDI-1998-LewisLS #array #evaluation #implementation

The Implementation and Evaluation of Fusion and Contraction in Array Languages (ECL, CL, LS), pp. 50–59.

PLDI-1998-PaekHP #array #compilation #data access #optimisation

Simplification of Array Access Patterns for Compiler Optimizations (YP, JH, DAP), pp. 60–71.

PLDI-1998-XiP #array #bound #dependent type

Eliminating Array Bound Checking Through Dependent Types (HX, FP), pp. 249–257.

SAS-1998-SarkarK #array #constant

Enabling Sparse Constant Propagation of Array Elements via Array SSA Form (VS, KK), pp. 33–56.

ICPR-1998-TirkelSHO #array

Secure arrays for digital watermarking (AZT, RGvS, TEH, CFO), pp. 1643–1645.

POPL-1998-KnobeS #array #parallel

Array SSA Form and Its Use in Parallelization (KK, VS), pp. 107–120.

DAC-1997-MeyerST #array #design #synthesis

Design and Synthesis of Array Structured Telecommunication Processing Applications (WM, AS, FT), pp. 486–491.

EDTC-1997-HuangW #array #design #performance

High-speed C-testable systolic array design for Galois-field inversion (CTH, CWW), pp. 342–346.

EDTC-1997-OzimekVT #array #implementation #performance #scheduling

Optimal scheduling for fast systolic array implementations (IO, RV, JFT), p. 620.

SIGMOD-1997-ZhaoDN #algorithm #multi

An Array-Based Algorithm for Simultaneous Multidimensional Aggregates (YZ, PD, JFN), pp. 159–170.

VLDB-1997-MaratheS #array

A Language for Manipulating Arrays (APM, KS), pp. 46–55.

STOC-1997-Dietzfelbinger #communication #complexity #problem

The Linear-Array Problem in Communication Complexity Resolved (MD), pp. 373–382.

DLT-1997-PazC #array #automaton #evolution #probability

Chaotic Evolution via Generalized Probabilistic Automata (Probabilistic Arrays) (AP, JWC), pp. 9–35.

ICALP-1997-KhannaMS #array #clustering #performance

Efficient Array Partitioning (SK, SM, SS), pp. 616–626.

IFL-1997-Scholz #array

WITH-Loop-Folding in SAC — Condensing Consecutive Array Operations (SBS), pp. 72–91.

PPoPP-1997-Coelho #array #compilation

Compiling Dynamic Mappings with Array Copies (FC), pp. 168–179.

PPoPP-1997-GuLL #analysis #array #data flow #experience #performance

Experience with Efficient Array Data-Flow Analysis for Array Privatization (JG, ZL, GL), pp. 157–167.

CAV-1997-VelevBJ #array #memory management #modelling #performance #simulation

Efficient Modeling of Memory Arrays in Symbolic Simulation (MNV, REB, AJ), pp. 388–399.

ICLP-1997-KagedalD #approach #array #reuse

A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages (AK, SKD), pp. 18–32.

DAC-1996-PandeyRBB #array #evaluation #using #verification

Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation (MP, RR, DLB, REB), pp. 649–654.

SIGMOD-1996-LibkinMW #array #design #implementation #multi #optimisation #query

A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques (LL, RM, LW), pp. 228–239.

STOC-1996-BroderU #array

Dynamic Deflection Routing on Arrays (Preliminary Version) (AZB, EU), pp. 348–355.

STOC-1996-KushilevitzLO #communication #complexity

The Linear-Array Conjecture in Communication Complexity is False (EK, NL, RO), pp. 1–10.

IFL-1996-Groningen #array #implementation #performance

The Implementation and Efficiency of Arrays in Clean 1.1 (JHGvG), pp. 105–124.

IFL-1996-Scholz #array #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 #array #classification

A VLSI array processor accelerator for k-NN classification (AF, MB, RG), pp. 723–727.

ICPR-1996-RanganathanBV #array #image #linear

A dynamic frequency linear array processor for image processing (NR, NB, NV), pp. 611–615.

ICPR-1996-YamashitaFO #array #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 #array #data flow #testing

An Exact Array Reference Analysis for Data Flow Testing (IF), pp. 565–574.

CC-1996-FritzonWHSS #array #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.

ICDAR-v2-1995-KimLK #architecture #array #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 #array #clustering

Hot Block Clustering for Disk Arrays with Dynamic Striping (KM, MK), pp. 90–99.

PLDI-1995-KolteW #array

Elimination of Redundant Array Subscript Range Checks (PK, MW), pp. 270–278.

STOC-1995-AnderssonHP #array #bound

A tight lower bound for searching a sorted array (AA, JH, OP), pp. 417–426.

DLT-1995-Freund #array

Array Grammars with Prescribed Teams of Array Productions (RF), pp. 220–229.

PLILP-1995-MasseyT #analysis #array #comprehension

Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions (BCM, ET), pp. 207–222.

HPCA-1995-HurSFOK #array #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 #array #comparison #performance

A Performance Comparison of RAID-5 and Log-Structured Arrays (JM0), pp. 167–178.

PPoPP-1995-CollardBF #analysis #array #data flow #fuzzy

Fuzzy Array Dataflow Analysis (JFC, DB, PF), pp. 92–101.

PPoPP-1995-HwangLJ #array #fortran #source code #synthesis

An Array Operation Synthesis Scheme to Optimize Fortran 90 Programs (GHH, JKL, RDCJ), pp. 112–122.

PPoPP-1995-Philippsen #array #automation #communication #process

Automatic Alignment of Array Data and Processes to Reduce Communication Time on DMPPs (MP), pp. 156–165.

ICLP-1995-GuptaCP #array #logic programming #parallel

Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming (GG, VSC, EP), p. 824.

DAC-1994-SarabiSCP #2d #approach #array #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 #array #behaviour

From Behavioral Description to Systolic Array Based Architectures (AB, CC, FF, DS), p. 657.

EDAC-1994-DongenR #array #design

Advanced Analog Circuit Design on a Digital Sea-of-Gates Array (RvD, VR), pp. 70–74.

EDAC-1994-NicolaidisB #array #implementation #multi #performance #self

Efficient Implementations of Self-Checking Multiply and Divide Arrays (MN, HB), pp. 574–579.

EDAC-1994-RamachandranGC #algorithm #array #clustering

An Algorithm for Array Variable Clustering (LR, DG, VC), pp. 262–266.

EDAC-1994-WuM #2d #array #performance #programmable

An Efficient Router for 2-D Field Programmable Gate Arrays (YLW, MMS), pp. 412–416.

PLDI-1994-AustinBS #array #detection #fault #performance #pointer

Efficient Detection of All Pointer and Array Access Errors (TMA, SEB, GSS), pp. 290–301.

SAS-1994-Garza-SalazarB #analysis #array

Uniqueness and Completeness Analysis of Array Comprehensions (DAGS, APWB), pp. 193–207.

STOC-1994-AnderssonHHP #array #complexity #string

The complexity of searching a sorted array of strings (AA, TH, JH, OP), pp. 317–325.

LFP-1994-Chuang #array #functional #implementation #multi #random

A Randomized Implementation of Multiple Functional Arrays (TRC), pp. 173–184.

POPL-1994-Maslov #analysis #array #data flow #dependence #lazy evaluation

Lazy Array Data-Flow Dependence Analysis (VM), pp. 311–325.

SAC-1994-RayJD #algorithm #array #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 #array #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 #array #c #compilation #dependence #optimisation #testing

Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler (J, LJH), pp. 309–323.

HPDC-1994-CataniaPRV #array #clustering #evaluation #performance

Performance Evaluation of a Partial Dynamic Declustering Disk Array System (VC, AP, SR, LV), pp. 244–252.

DAC-1993-ChanSZ #array #on the #predict #programmable

On Routability Prediction for Field-Programmable Gate Arrays (PKC, MDFS, JYZ), pp. 326–330.

DAC-1993-ChenCHK #array

The Sea-of-Wires Array Aynthesis System (IYC, GLC, FJH, SYK), pp. 188–193.

DAC-1993-MurgaiBS #array #programmable #synthesis

Sequential Synthesis for Table Look Up Programmable Gate Arrays (RM, RKB, ALSV), pp. 224–229.

SIGMOD-1993-HouP #algorithm #array

Comparing Rebuild Algorithms for Mirrored and RAID5 Disk Arrays (RYH, YNP), pp. 317–326.

PLDI-1993-DuesterwaldGS #analysis #array #data flow #framework #optimisation

A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations (ED, RG, MLS), pp. 68–77.

STOC-1993-ColeMS #array #configuration management #fault #multi #self

Multi-scale self-simulation: a technique for reconfiguring arrays with faults (RC, BMM, RKS), pp. 561–572.

DLT-1993-KrithivasanM #array #modelling #nondeterminism #probability

Nondeterministic, Probabilistic and Alternating Computations on Cellular Array Models (KK, MM), pp. 342–354.

OOPSLA-1993-Driesen #array

Selector Table Indexing & Sparse Arrays (KD), pp. 259–270.

POPL-1993-ChatterjeeGST #array #automation #source code

Automatic Array Alignment in Data-Parallel Programs (SC, JRG, RS, SHT), pp. 16–28.

POPL-1993-MaydanAL #analysis #array #data flow

Array Data-Flow Analysis and its Use in Array Privatization (DEM, SPA, MSL), pp. 2–15.

SAC-1993-PanH #array #composition #pipes and filters

Computation of Singular Value Decomposition on Arrays with Pipelined Optical Buses (YP, MH), pp. 525–532.

ICSE-1993-HamletGN #array #data flow #testing

Exploring Dataflow Testing of Arrays (RGH, BG, BN), pp. 118–129.

DAC-1992-SawkarT #array #programmable

Area and Delay Mapping for Table-Look-Up Based Field Programmable Gate Arrays (PS, DET), pp. 368–373.

ESOP-1992-Chuang #array #incremental #performance #persistent

Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads (TRC), pp. 110–129.

STOC-1992-AumannB #array

Computing with Faulty Arrays (YA, MBO), pp. 162–169.

ASPLOS-1992-HollandG #array #clustering

Parity Declustering for Continuous Operation in Redundant Disk Arrays (MH, GAG), pp. 23–35.

HPDC-1992-NgM #array #maintenance #performance

Maintaining Good Performance In Disk Arrays During Failure via Uniform Parity Group Distribution (SWN, RLM), pp. 260–269.

DAC-1991-ErcolaniM #array #programmable

Technology Mapping for Electrically Programmable Gate Arrays (SE, GDM), pp. 234–239.

DAC-1991-Hill #array #design #programmable

A CAD System for the Design of Field Programmable Gate Arrays (DDH), pp. 187–192.

DAC-1991-Karplus #array #named #programmable

Xmap: A Technology Mapper for Table-Lookup Field-Programmable Gate Arrays (KK), pp. 240–243.

DAC-1991-Karplus91a #array #named #programmable

Amap: A Technology Mapper for Selector-Based Field-Programmable Gate Arrays (KK), pp. 244–247.

SIGMOD-1991-VandenbergD #algebra #array #inheritance

Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance (SLV, DJD), pp. 158–167.

SIGMOD-1991-WeikumZS #array

Dynamic File Allocation in Disk Arrays (GW, PZ, PS), pp. 406–415.

POPL-1991-CaiP #array #quote

“Look Ma, No Hashing, And No Arrays Neither” (JC, RP), pp. 143–154.

ASPLOS-1991-LeeK #array #performance

Performance Consequences of Parity Placement in Disk Arrays (EKL, RHK), pp. 190–199.

DAC-1990-FrancisRC #array #named #programmable

Chortle: A Technology Mapping Program for Lookup Table-Based Field Programmable Gate Arrays (RJF, JR, KC), pp. 613–619.

DAC-1990-MurgaiNSBS #array #logic #programmable #synthesis

Logic Synthesis for Programmable Gate Arrays (RM, YN, NVS, RKB, ALSV), pp. 620–625.

VLDB-1990-GrayHW #array #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 #array #performance

Performance Analysis of Disk Arrays under Failure (RRM, JCSL), pp. 162–173.

PLDI-1990-AndersonH #array #compilation #haskell

Compilation of Haskell Array Comprehensions for Scientific Computing (SA, PH), pp. 137–149.

PLDI-1990-Gupta #array #bound #fresh look #optimisation

A Fresh Look at Optimizing Array Bound Checking (RG), pp. 272–282.

PLDI-1990-Tseng #array #compilation #linear #source code

Compiling Programs for a Linear Systolic Array (PST), pp. 311–321.

DAC-1989-GoreR #array #automation #equation #logic #programmable #synthesis #using

Automatic Synthesis of Boolean Equations Using Programmable Array Logic (RG, KR), pp. 283–289.

FPCA-1989-WeissSS #architecture #array #data-driven

Architectural Improvements for Data-Driven VLSI Processing Arrays (SW, IYS, GMS), pp. 243–259.

ASPLOS-1989-GibsonHKKP #array #scalability

Failure Correction Techniques for Large Disk Arrays (GAG, LH, RMK, RHK, DAP), pp. 123–132.

DAC-1988-ChakravertiC #algorithm #array #metaprogramming

Routing Algorithm for Gate Array Macro Cells (AC, MJC), pp. 658–662.

DAC-1988-KumarS #architecture #array #parallel

Parallel Placement on Reduced Array Architecture (CPR, SS), pp. 121–127.

SIGMOD-1988-PattersonGK #array

A Case for Redundant Arrays of Inexpensive Disks (RAID) (DAP, GAG, RHK), pp. 109–116.

POPL-1988-Lam #array #compilation #optimisation #source code

Compiler Optimizations for Asynchronous Systolic Array Programs (MSL), pp. 309–318.

PPEALS-1988-AlbertKLS #array #compilation #fortran

Compiling Fortran 8x Array Features for the Connection Machine Computer System (EA, KK, JDL, GLSJ), pp. 42–56.

PPEALS-1988-Bruegge #array #development

Program Development for a Systolic Array (BB), pp. 31–41.

JICSCP-1988-McCroskyK88 #array #prolog #using

Improving First-Class Array Expressions Using Prolog (CM, AJK), pp. 18–25.

DAC-1987-BeekmanOI #array #generative #performance

Mesh Arrays and LOGICIAN: A Tool for Their Efficient Generation (JAB, RMO, MJI), pp. 357–362.

DAC-1987-FaroughiS #algorithm #array

An Improved Systematic Method for Constructing Systolic Arrays from Algorithms (NF, MAS), pp. 26–34.

DAC-1987-LiuSU #array #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 #array #design #logic #on the #programmable

On Yield Consideration for the Design of Redundant Programmable Logic Arrays (CLW), pp. 622–628.

DAC-1987-WongL #array #optimisation #synthesis

Array Optimization for VLSI Synthesis (DFW, CLL), pp. 537–543.

ICALP-1987-IbarraJ #array #on the #power of

On the Computing Power of One-Way Cellular Arrays (OHI, TJ), pp. 550–562.

FPCA-1987-GrossS #array

Mapping a single-assignment language onto the Warp systolic array (TRG, AS), pp. 347–363.

SIGIR-1987-RasmussenW #array #clustering #distributed #documentation #using

Non-Hierarchic Document Clustering Using the ICL Distributed Array Processor (EMR, PW), pp. 132–139.

DAC-1986-DevadasN #array #named #synthesis

GENIE: a generalized array optimizer for VLSI synthesis (SD, ARN), pp. 631–637.

DAC-1986-KuoF #array #configuration management #performance

Efficient spare allocation in reconfigurable arrays (SYK, WKF), pp. 385–390.

DAC-1986-LadjadjMHM #array #testing

Use of the subscripted DALG in submodule testing with applications in cellular arrays (ML, JFM, DHH, WM), pp. 346–353.

DAC-1986-SaitoSYK #array #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 #array #simulation

Optimal Simulations between Mesh-Connected Arrays of Processors (Preliminary Version) (SRK, MJA), pp. 264–272.

GG-1986-Rosenfeld #array

Array Grammars (AR), pp. 67–70.

GG-1986-Siromoney #array #roadmap

Advances in array languages (RS), pp. 549–563.

DAC-1985-DwyerMBG #array #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 #array #design

A hierarchical gate array architecture and design methodology (MI, DV, SB, AI), pp. 439–442.

DAC-1985-NodaYFKKF #algorithm #array #automation #layout

Automatic layout algorithms for function blocks of CMOS gate arrays (SN, HY, EF, HK, HK, TF), pp. 46–52.

DAC-1985-SpiraH #array #hardware #layout

Hardware acceleration of gate array layout (PMS, CH), pp. 359–366.

DAC-1985-SteinwegAPN #array #compilation

Silicon compilation of gate array bases (RLS, SJA, KP, SN), pp. 435–438.

DAC-1985-TeraiHK #array #metaprogramming #standard

A routing procedure for mixed array of custom macros and standard cells (HT, MH, TK), pp. 503–508.

STOC-1985-GacsR #3d #array #realtime #reliability

A Simple Three-Dimensional Real-Time Reliable Cellular Array (PG, JHR), pp. 388–395.

STOC-1985-RaghavanT #array #graph

Provably Good Routing in Graphs: Regular Arrays (PR, CDT), pp. 79–87.

ICALP-1985-VarmanR #array #matrix #multi #on the #using

On Matrix Multiplication Using Array Processors (PJV, IVR), pp. 487–496.

FPCA-1985-Sheeran85 #architecture #array #design #higher-order #using

Designing Regular Array Architectures using Higher Order Functions (MS), pp. 220–237.

DAC-1984-Blanks #array #using

Initial placement of gate arrays using least-squares methods (JPB), pp. 670–671.

DAC-1984-Dupenloup #array

A wire routing scheme for double-layer cell arrays (GD), pp. 32–37.

DAC-1984-Hinchliffe #array #automation #design #physics

Commercial gate array physical design automation packages (FHI), pp. 386–387.

DAC-1984-TienTCCE #array #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 #array #logic programming

Incorporating Mutable Arrays into Logic Programming (LHE, MR), pp. 101–114.

DAC-1983-ChyanB #algorithm #array

A placement algorithm for array processors (DJC, MAB), pp. 182–188.

DAC-1983-GamalS #array #statistics

A new statistical model for gate array routing (AEG, ZAS), pp. 671–674.

DAC-1983-GriersonCRHKKMMN #array #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 #array #logic #programmable #reduction

Optimum reduction of programmable logic array (TCH, YSK), pp. 553–558.

DAC-1983-Jennings #automation

A topology for semicustom array-structured LSI devices, and their automatic customisation (PJ), pp. 675–681.

DAC-1983-KirkCSBT #array

Placement of irregular circuit elements on non-uniform gate arrays (HK, PDC, JAS, JDB, GLT), pp. 637–643.

DAC-1983-KozakBG #array #design #simulation

Design aids for the simulation of bipolar gate arrays (PK, AKB, AG), pp. 286–292.

DAC-1983-Krohn #array

An over-cell gate array channel router (HEK), pp. 665–670.

DAC-1983-MicheliS #array #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 #array #optimisation

Optimisation of global routing for the UK5000 gate array by iteration (CON, PAY), pp. 651–657.

DAC-1983-PrazicB #array #automation #using

Automatic routing of double layer gate arrays using a moving cursor (BDP, MAB), pp. 644–650.

DAC-1983-Robinson #array #automation #layout

Automatic layout for gate arrays with one layer of metal (PR0), pp. 658–664.

DAC-1983-SmithNBSW #array #automation #geometry #layout #named

VGAUA: The Variable Geometry Automated Universal Array layout System (DCS, RN, FB, SSS, JCW), pp. 425–429.

DAC-1982-BoseA #array #generative #logic #programmable #testing

Test generation for programmable logic arrays (PB, JAA), pp. 574–580.

DAC-1982-GrayBR #array #compilation #design #using

Designing gate arrays using a silicon compiler (JPG, IB, PSR), pp. 377–383.

DAC-1982-HachtelNS #array #logic #programmable

Techniques for programmable logic array folding (GDH, ARN, ALSV), pp. 147–155.

DAC-1982-ToddHPBGAB #array #layout #multi

CGALA-a multi technology Gate Array Layout system (LFT, JMH, SVP, JLB, DJG, RJA, AKB), pp. 792–801.

SIGMOD-1982-Bacon #array #database #image #visual notation

Issues Integrating Databases of Images, Graphical, Array and Character Data (GCB), p. 137.

STOC-1982-AtallahK #array #graph #problem

Graph Problems on a Mesh-Connected Processor Array (Preliminary Version) (MJA, SRK), pp. 345–353.

DAC-1981-GoatesP #array #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 #array #design #logic

A remote design station for customer Uncommitted Logic Array designs (FRR), pp. 498–504.

DAC-1981-TanakaMNOTK #array #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 #array #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.

VLDB-1981-Muraszkiewicz #array #concept #sorting

Concepts of Sorting and Projection in a Cellular Array (MM), pp. 76–80.

POPL-1981-Lowney #array

Carrier Arrays: An Idiom-Preserving Extension to APL (PGL), pp. 1–13.

DAC-1980-CoxC #array #automation #standard

The Standard Transistor Array (star) (Part II automatic cell placement techniques) (GWC, BDC), pp. 451–457.

DAC-1980-GouldE #array #design #standard

The standard transistor array (STAR): Part I A two-layer metal semicustom design system (JMG, TME), pp. 108–113.

DAC-1980-Ramsay #array #automation #design #logic

Automation of design for uncommitted logic array (FRR), pp. 100–107.

SIGMOD-1980-KungL #array #database #relational

Systolic (VLSI) Arrays for Relational Database Operations (HTK, PLL), pp. 105–116.

DAC-1979-UeharaC #array #functional #layout

Optimal layout of CMOS functional arrays (TU, WMvC), pp. 287–289.

STOC-1979-Kosaraju79a #algorithm #array #graph #parallel #performance #problem

Fast Parallel Processing Array Algorithms for some Graph Problems (Preliminary Version) (SRK), pp. 231–236.

POPL-1977-SuzukiI #array #bound #implementation

Implementation of an Array Bound Checker (NS, KI), pp. 132–143.

VLDB-J-1975-LinSS76 #array #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.

DAC-1975-YoshizawaKK #array #heuristic

A heuristic procedure for ordering MOS arrays (HY, HK, KK), pp. 384–393.

VLDB-1975-LinSS #array #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.

STOC-1975-RosenbergS #array

Hashing Schemes for Extendible Arrays (Extended Arrays) (ALR, LJS), pp. 159–166.

DAC-1974-Vaughn #array #functional #testing

Functional testing of LSI gate arrays (GDV), pp. 258–265.

SIGFIDET-1974-HoernesF #array

Declaration and Addressing of Varying Density Arrays and Structure (GEH, GHF), pp. 15–33.

STOC-1974-Rosenberg #array

Managing Storage for Extendible Arrays (ALR), pp. 297–302.

STOC-1974-Seiferas #array #multi #nondeterminism

Observations on Nondeterministic Multidimensional Iterative Arrays (JIS), pp. 276–289.

POPL-1973-Rosenberg #array

Transitions in Extendible Arrays (ALR), pp. 218–225.

STOC-1972-KarpMR #agile #array #identification #string

Rapid Identification of Repeated Patterns in Strings, Trees and Arrays (RMK, REM, ALR), pp. 125–136.

STOC-1969-AmorosoLY #array #formal method #framework

A Unifying Framework for the Theory of Iterative Arrays of Machines (SA, EL, HY), pp. 259–269.

LISP-1963-Thomas #array #lisp #source code

Use of arrays in LISP. Group theory programs (BST), p. 11.