Search Results - Types and Design Styles– Algorithms implemented in hardware*

Systolic givens factorization of dense rectangular matrices by Cosnard, Michel, Robert, Yves

“…Given an m by n dense matrix A(m≧n) we consider parallel algorithms to compute its orthogonal factorization via Givens rotations…”
Get full text

Block LU decompositon of a band matrix on a systolic array by Robert, Yves

“… A. This array is an hexagonally connected systolic array whose efficiency is e = ½ although its hardware requirement is the same as the LU decomposition array of Kung and Leiserson [8…”
Get full text

Programmable finite automata for VLSI by Culik, K., Jürgensen, H.

“…We describe a method VLSI for design of programmable finite automata. For any fixed k it can be programmed to deterministically simulate a non-deterministic finite auto- maton with at most k states…”
Get full text

Dynamic Sparse Attention for Scalable Transformer Acceleration by Liu, Liu, Qu, Zheng, Chen, Zhaodong, Tu, Fengbin, Ding, Yufei, Xie, Yuan

“…Transformers are the mainstream of NLP applications and are becoming increasingly popular in other domains such as Computer Vision. Despite the improvements in…”
Get full text

Embedded Model Predictive Control for a Wearable Artificial Pancreas by Chakrabarty, Ankush, Healey, Elizabeth, Shi, Dawei, Zavitsanou, Stamatina, Doyle, Francis J., Dassau, Eyal

“…), the design of convenient systems that optimize the user experience, especially for those with active lifestyles, such as children and adolescents, still remains an open research question…”
Get full text

Fixed-outline floorplanning: enabling hierarchical design by Adya, S.N., Markov, I.L.

“…, with the sequence pair representation, the typical choice of moves is fairly straightforward. In this paper, we study the fixed-outline floorplan formulation that is more relevant to hierarchical design style and is justified for very large ASICs and SoCs…”
Get full text

Interference suppression techniques for OPM-based MEG: Opportunities and challenges by Seymour, Robert A., Alexander, Nicholas, Mellor, Stephanie, O'Neill, George C., Tierney, Tim M., Barnes, Gareth R., Maguire, Eleanor A.

“… Recently, a new type of sensor has been developed – the optically pumped magnetometer (OPM). These sensors can be placed directly on the scalp and move with the head during participant movement, making them wearable…”
Get full text

A comparative study of finite state machines implemented in explicit and implicit style Verilog HDL and a methodology to make them operate identically after synthesis by Rizvi, Shahriyar M

“…In digital hardware design, designers often partition FSMs into controller and data path components…”
Get full text

Residue Number System (RNS) and Power Distribution Network Topology-Based Mitigation of Power Side-Channel Attacks by Selvam, Ravikumar, Tyagi, Akhilesh

“… These mitigation techniques are applicable at various design abstraction levels—algorithm, architecture, logic, physical, and gate levels…”
Get full text

Fixed-outline floorplanning through better local search by Adya, S.N., Markov, I.L.

“…We study the fixed-outline floorplan formulation that is more relevant to hierarchical design style and is justified for very large ASICs and SOCs…”
Get full text

Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems by Hardin, David, Slind, Konrad

“… Autonomy algorithms, e.g., route planning, pattern matching, and inference, are based on complex data structures such as directed graphs and algebraic data types…”
Get full text

Investigating the Simulink Auto-Coding Process by Gualdoni, Matthew J

“…Model based program design is the most clear and direct way to develop algorithms and programs for interfacing with hardware…”
Get full text

The 5th International Conference on Science & Engineering in Mathematics, Chemistry and Physics 2017 (ScieTech 2017), The Ramada Bintang Hotel, Kuta, Bali, Indonesia 21 - 22 January 2017

“…Keynote Speakers 1. Prof. Dr Igor Kotenko, St. Petersburg Institute for Informatics and Automation of Russian Academy of Sciences (SPIIRAS), Russian Federation…”
Get full text

Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems by Hardin, David, Slind, Konrad

“… Autonomy algorithms, e.g., route planning, pattern matching, and inference, are based on complex data structures such as directed graphs and algebraic data types…”
Get full text

Real-time simulation of watery paint by Van Laerhoven, Tom, Van Reeth, Frank

“…‐style images from input images, ignoring the fact that painting is a process that intuitively should be interactive…”
Get full text

Towards Efficient Data Processing Methods for In-Memory Architectures by Zhang, Zuyu

“…: First, the volume of data continues to grow at an alarming rate, and in many cases surpasses the speed that other computing components (such as hardware) are speeding…”
Get full text

Photoplethysmographic Sensor-Based Non-intrusive and Secure Smart Sensing and Applications by Rahman, A B. M. Mohaimenur

“…-oriented tasks after processing the signal using advanced signal processing and artificial intelligent algorithms…”
Get full text