Search Results - Types and Design Styles– Algorithms implemented in hardware
-
1
Systolic givens factorization of dense rectangular matrices
ISSN: 0020-7160, 1029-0265Published: Abingdon Gordon and Breach Science Publishers 01.01.1988Published in International journal of computer mathematics (01.01.1988)“…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
Journal Article -
2
Block LU decompositon of a band matrix on a systolic array
ISSN: 0020-7160, 1029-0265Published: Gordon and Breach Science Publishers 01.01.1985Published in International journal of computer mathematics (01.01.1985)“… 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
Journal Article -
3
Programmable finite automata for VLSI
ISSN: 0020-7160, 1029-0265Published: Abingdon Gordon and Breach Science Publishers 01.01.1983Published in International journal of computer mathematics (01.01.1983)“…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
Journal Article -
4
Dynamic Sparse Attention for Scalable Transformer Acceleration
ISSN: 0018-9340, 1557-9956Published: New York IEEE 01.01.2022Published in IEEE transactions on computers (01.01.2022)“…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
Journal Article -
5
Embedded Model Predictive Control for a Wearable Artificial Pancreas
ISSN: 1063-6536, 1558-0865Published: United States IEEE 01.11.2020Published in IEEE transactions on control systems technology (01.11.2020)“…), 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
Journal Article -
6
Interference suppression techniques for OPM-based MEG: Opportunities and challenges
ISSN: 1053-8119, 1095-9572, 1095-9572Published: United States Elsevier Inc 15.02.2022Published in NeuroImage (Orlando, Fla.) (15.02.2022)“… 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
Journal Article -
7
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
ISBN: 9798209627999Published: ProQuest Dissertations & Theses 01.01.2002“…In digital hardware design, designers often partition FSMs into controller and data path components…”
Get full text
Dissertation -
8
Residue Number System (RNS) and Power Distribution Network Topology-Based Mitigation of Power Side-Channel Attacks
ISSN: 2410-387X, 2410-387XPublished: Basel MDPI AG 01.03.2024Published in Cryptography (01.03.2024)“… These mitigation techniques are applicable at various design abstraction levels—algorithm, architecture, logic, physical, and gate levels…”
Get full text
Journal Article -
9
Fixed-outline floorplanning: enabling hierarchical design
ISSN: 1063-8210, 1557-9999Published: Piscataway, NJ IEEE 01.12.2003Published in IEEE transactions on very large scale integration (VLSI) systems (01.12.2003)“…, 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
Journal Article -
10
Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems
ISSN: 2075-2180, 2075-2180Published: Open Publishing Association 29.10.2018Published in Electronic proceedings in theoretical computer science (29.10.2018)“… 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
Journal Article -
11
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
ISSN: 1742-6588, 1742-6596Published: Bristol IOP Publishing 01.03.2017Published in Journal of physics. Conference series (01.03.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
Journal Article -
12
Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 10.10.2018Published in arXiv.org (10.10.2018)“… 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
Paper -
13
Fixed-outline floorplanning through better local search
ISBN: 9780769512006, 0769512003ISSN: 1063-6404Published: IEEE 2001Published in Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001 (2001)“…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
Conference Proceeding -
14
Real-time simulation of watery paint
ISSN: 1546-4261, 1546-427XPublished: Chichester, UK John Wiley & Sons, Ltd 01.07.2005Published in Computer animation and virtual worlds (01.07.2005)“…‐style images from input images, ignoring the fact that painting is a process that intuitively should be interactive…”
Get full text
Journal Article -
15
Investigating the Simulink Auto-Coding Process
Published: Hampton NASA/Langley Research Center 28.07.2016Published in NASA Center for AeroSpace Information (CASI). Reports (28.07.2016)“…Model based program design is the most clear and direct way to develop algorithms and programs for interfacing with hardware…”
Get full text
Report -
16
Towards Efficient Data Processing Methods for In-Memory Architectures
ISBN: 1392404444, 9781392404447Published: ProQuest Dissertations & Theses 01.01.2019“…: 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
Dissertation -
17
Photoplethysmographic Sensor-Based Non-intrusive and Secure Smart Sensing and Applications
ISBN: 9798841730385Published: ProQuest Dissertations & Theses 01.01.2022“…-oriented tasks after processing the signal using advanced signal processing and artificial intelligent algorithms…”
Get full text
Dissertation

