Filters








91,734 Hits in 5.8 sec

Polyhedra to the rescue of array interpolants

Francesco Alberti, David Monniaux
2015 Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15  
We propose a new approach to the automated verification of the correctness of programs handling arrays.  ...  An abstract interpreter supplies auxiliary numeric invariants to an interpolation-based refinement procedure suited to array programs.  ...  Our approach is not constrained to the inference of invariants of a given shape, in contrast with the approach of [25] .  ... 
doi:10.1145/2695664.2695784 dblp:conf/sac/AlbertiM15 fatcat:auyaxp74ivgvvoloyxrfwdeyfe

Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing [article]

Hao Jin, Ce Shi, Tatsuhiro Tsuchiya
2021 arXiv   pre-print
Objectives: This paper proposes Constrained Detecting Arrays (CDAs), an extension of detecting arrays, which can be used for systems with constraints.  ...  Conclusion: CDAs enhance detecting arrays to be applied to systems with constraints. The two proposed algorithms have different advantages with respect to the array size and generation time  ...  Constrained locating arrays LAs allow us to identify the set of faulty interactions using the test outcome.  ... 
arXiv:2110.06449v1 fatcat:zlc26ow63zgqzhydlx6ghyhi2y

Timing-constrained I/O buffer placement for flip-chip designs

Zhi-Wei Chen, Jin-Tai Yan
2011 2011 Design, Automation & Test in Europe  
Due to inappropriate assignment of bump pads or improper placement of I/O buffers, the configured delays of I/O signals may not satisfy the timing requirement inside die core.  ...  Furthermore, an efficient two-phase approach is proposed to place I/O buffers onto feasible buffer locations between I/O pins and bump pads with the consideration of the timing constraints.  ...  RDL Extraction of Timing -Constrained Routing Length (1) A given set of blocks with some I/O pins and a given set of buffer locations in a floorplan plane (2) A given array of bump pads (3) The timing  ... 
doi:10.1109/date.2011.5763102 dblp:conf/date/ChenY11 fatcat:kwtugidwpjg5he7w3mnaxut5iy

A Survey of Constrained Combinatorial Testing [article]

Huayao Wu, Changhai Nie, Justyna Petke, Yue Jia, Mark Harman
2019 arXiv   pre-print
To ensure the wider applicability of CT in the presence of constrained problem domains, large and diverse efforts have been invested towards the techniques and applications of constrained combinatorial  ...  Since real-world programs are usually constrained, this survey can be of interest to researchers and practitioners who are looking to use and study constrained combinatorial testing techniques.  ...  The processes to construct this repository and to select these papers are explained in Section 2.  ... 
arXiv:1908.02480v1 fatcat:6lwlajcyfjha7avjnqpl77naiy

Parallel transmission RF pulse design with strict temperature constraints

Cem M. Deniz, Giuseppe Carluccio, Christopher Collins
2017 NMR in Biomedicine  
The use of temperature correlation matrices resulted in better excitation fidelity compared to the use of SAR in parallel transmission RF pulse design (for the 6-minute exposure period, 8.8% vs 21.0% for  ...  As RF exposure duration increases (from 6 mins to 24 mins), the benefit of using temperature correlation matrices on RF pulse design diminishes.  ...  This work was supported in part by NIH R01 EB011551 and was performed under the rubric of the Center for Advanced Imaging Innovation and Research (CAI 2 R, www.cai2r.net), a NIBIB Biomedical Technology  ... 
doi:10.1002/nbm.3694 pmid:28187249 pmcid:PMC5456413 fatcat:jv3aclznardpxeav3vx545tba4

Sparse Antenna Array Design for MIMO Radar Using Multiobjective Differential Evolution

Zhi-Kun Chen, Feng-Gang Yan, Xiao-Lin Qiao, Yi-Nan Zhao
2016 International Journal of Antennas and Propagation  
In the first stage, the cyclic algorithm (CA) is used to establish a covariance matrix that satisfies the beam pattern approximation for a full array.  ...  A two-stage design approach is proposed to address the sparse antenna array design for multiple-input multiple-output radar.  ...  Acknowledgments This work was supported by the National Natural Science Foundation of China under Grants 61371181 and 61501142.  ... 
doi:10.1155/2016/1747843 fatcat:ghltjpqodbb2dbi7e4fdanreaq

Unit circle MVDR beamformer

Saurav R. Tuladhar, John R. Buck
2015 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)  
For planewave signals measured with a ULA, the locations of the ensemble MVDR polynomial zeros are constrained on the unit circle.  ...  The array polynomial is the z-transform of the array weights for a narrowband planewave beamformer using a uniform linear array (ULA).  ...  However these approaches are based on DT IIR filters while beamformers with ULAs are analogous to DT FIR filters.  ... 
doi:10.1109/icassp.2015.7178418 dblp:conf/icassp/TuladharB15 fatcat:juugyrt6j5d3zmb4dlrqyismoq

A fading reduction method for maritime satellite communications

S. Ohmori, S. Miura
1983 IRE Transactions on Antennas and Propagation  
The general solution for the composite weight vector can be decomposed into a part which satisfies the linear constraints and another lying orthogonal to it.  ...  Application of this approach in conjunction with some search algorithms to the synthesis of optimum array patterns with prescribed narrow or broad nulls is shown to yield interesting and useful solntions  ...  The authors are with the Department of Electrical Engineering, University of Nebraska, Lincoln, NE 68588.  ... 
doi:10.1109/tap.1983.1142996 fatcat:c7d2cwfz5zfslmmrwysbxh7fxy

MODELING AND DESIGNING A FULL BEAMFORMER FOR ACOUSTIC SENSING AND MEASUREMENT

A. Lay-Ekuakille, N.I. Giannoccaro, S. Casciaro, F. Conversano, R. Velazquez
2017 International Journal on Smart Sensing and Intelligent Systems  
This paper illustrates a generalized approach of modeling and designing a full beamfomer using two specific classes: LCMP (Linear Constrained Minimum Power) beamformers that are used to overcome robustness  ...  Any aspect of modeling and designing is always related to the DOA (Direction of Arrival). The obtained results are based on assumptions extracted from an actual case of constructed system.  ...  This goal also includes a generalization of the approach in order to be able to design and modeling acoustic system.  ... 
doi:10.21307/ijssis-2017-231 fatcat:d7vsicyqrrephogtx7idgtfnmy

A bayesian approach to array geometry design

U. Oktel, R.L. Moses
2005 IEEE Transactions on Signal Processing  
We assume that the single source DOA is a random variable with a known prior probability distribution and the sensors of the array are constrained to lie in a region with an arbitrary boundary.  ...  We relate the design criteria to a Bayesian CRB criterion and to array beamwidth; we also derive closed-form expressions for the design criteria when the DOA prior is uniform on a sector of angles.  ...  Let r = [r 1 , . . . , r m ] be the array location matrix of an optimal array, so r is a solution to (7) . Assume without loss of generality that the centroid of this array is at the origin.  ... 
doi:10.1109/tsp.2005.845487 fatcat:kkmg7fzksncgbh4pruzuhsnz7u

A Bayesian Approach to Array Geometry Design [chapter]

2009 Bayesian Bounds for Parameter Estimation and Nonlinear Filtering/Tracking  
We assume that the single source DOA is a random variable with a known prior probability distribution and the sensors of the array are constrained to lie in a region with an arbitrary boundary.  ...  We relate the design criteria to a Bayesian CRB criterion and to array beamwidth; we also derive closed-form expressions for the design criteria when the DOA prior is uniform on a sector of angles.  ...  Let r = [r 1 , . . . , r m ] be the array location matrix of an optimal array, so r is a solution to (7) . Assume without loss of generality that the centroid of this array is at the origin.  ... 
doi:10.1109/9780470544198.ch48 fatcat:hcz73m33c5fklbkavijc7t2h2u

Regularity-constrained floorplanning for multi-core processors

Xi Chen, Jiang Hu, Ning Xu
2011 Proceedings of the 2011 international symposium on Physical design - ISPD '11  
In this work, we investigate how to enforce regularity constraint in a simulated-annealing based floorplanner.  ...  Experimental comparison with a semi-automatic method shows that our approach yields an average of 22% less wirelength and mostly smaller area.  ...  Initially, we generate a sequence-pair that satisfies Lemma 1 for each array group. For each array group with m blocks, we do a random factorization m = p×q.  ... 
doi:10.1145/1960397.1960421 dblp:conf/ispd/ChenHX11 fatcat:tvguxjnahvfyfai26owdnxltla

Regularity-constrained floorplanning for multi-core processors

Xi Chen, Jiang Hu, Ning Xu
2014 Integration  
In this work, we investigate how to enforce regularity constraint in a simulated-annealing based floorplanner.  ...  Experimental comparison with a semi-automatic method shows that our approach yields an average of 22% less wirelength and mostly smaller area.  ...  Initially, we generate a sequence-pair that satisfies Lemma 1 for each array group. For each array group with m blocks, we do a random factorization m = p×q.  ... 
doi:10.1016/j.vlsi.2013.05.002 fatcat:s7j7jmcfrzcnrgp7zkpxg3vx4q

A transform approach for constructing quasi-cyclic Euclidean geometry LDPC codes

Qiuju Diao, Wei Zhou, Shu Lin, K. Abdel-Ghaffar
2012 2012 Information Theory and Applications Workshop  
The null spaces of these low-density arrays give a family of QC-EG-LDPC codes.  ...  Given a Euclidean geometry over a finite field of characteristic 2, base matrices in the Fourier transform domain are first constructed.  ...  It is clear that the transpose B T of a 2 × 2 SM-constrained base matrix B is also 2 × 2 SM-constrained and hence can be used as a base matrix to construct an RC-constrained array of CPMs and/or ZMs whose  ... 
doi:10.1109/ita.2012.6181800 dblp:conf/ita/DiaoZLA12 fatcat:3b75hagjrzgldooxav6qfxmpbq

Constrained dynamic control of focal trajectory and intensity of phased array ultrasound thermal therapies

Ran Niu, Mikhail Skliar
2011 Proceedings of the 2011 American Control Conference  
The developed approach is evaluated in a computer-simulated treatment of a patient-specific threedimensional breast tumor heated by an US phased array system.  ...  In this paper, a treatment control system that automatically selects location and intensity of the US focal zone to deliver the prescribed thermal dose to the target in minimum time without violating explicitly-imposed  ...  The maximum power of the ultrasound array was constrained to reflect hardware limitations and to prevent tissue cavitation.  ... 
doi:10.1109/acc.2011.5991388 fatcat:rrwnr32uqnhr3ns5i6za3x3a4m
« Previous Showing results 1 — 15 out of 91,734 results