Back-End Design of a Formal High Level Synthesis System

Back-End Design of a Formal High Level Synthesis System

Saved in:

Bibliographic Details
Main Author:	Masud-Ul-Hasan (author)
Other Authors:	unknown (author)
Format:	masterThesis
Published:	1993
Subjects:	Computer
Online Access:	https://eprints.kfupm.edu.sa/id/eprint/1910/1/1354058.pdf
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Back-end design of a formal high level synthesis system
by: Ul-Hasan, Masud
Published: (1993)

Back-end design of a formal high level synthesis system
by: Hasan, Masudul
Published: (1993)

Formal synthesis of VLSI layouts from algorithmic specifications
by: Sait, Sadiq M.
Published: (2020)

A C-Based high level synthesis system
by: Al-Sukhni, Hassan Fakhri
Published: (1994)

A Formal VLSI parallel description and design environment
by: AlHumaigani, Muhammad Abdallah
Published: (1995)

Intermediate forms in high-level synthesis
by: Hubbi, Essam Mohammad Khair
Published: (1994)

High level synthesis of controllers for communication protocols
by: Khan, A.M.T.
Published: (1992)

Loop based scheduling for high level synthesis
by: Al-Sukhni, H.F.
Published: (1995)

High-level synthesis from purely behavioral descriptions
by: Youssef, H.
Published: (2020)

Modelling Features-Based Birthmarks for Security of End-to-End Communication System
by: Meilian Li (733635)
Published: (2020)

Scheduling and allocation in high-level synthesis using genetic algorithm
by: Ali, Shahid
Published: (1994)

Scheduling and allocation in high-level synthesis using stochastic techniques
by: Sait, Sadiq M.
Published: (2020)

Scheduling and allocation in high-level synthesis using stochastic techniques
by: Sait, Sadiq M.
Published: (2020)

What do end-to-end speech models learn about speaker, language and channel information? A layer-wise and neuron-level analysis
by: Shammur Absar Chowdhury (16812394)
Published: (2024)

BACK-CALCULATING DESIGN PARAMETERS FOR PILES IN MARINE SOILS FROM HIGH-STRAIN DYNAMIC TESTS
by: unknown
Published: (2020)

Back matter
by: Feriel Bouhafa (22030901)
Published: (2024)

A Methodology for the high level design of object-oriented software
by: Muhammad, Said Abdallah
Published: (1993)

A Methodology for the High Level Design Of Object-Oriented Software
by: Muhammad, Said Abdallah
Published: (1993)

A Formal Executable Semantics of Orc using the K Framework
by: unknown
Published: (2020)

Preprocessing Techniques for End-To-End Trainable RNN-Based Conversational System
by: Maziad, Hussein
Published: (2021)

Impact of ‘back to back’ payment clause on the cash flow of subcontractor in the UAE
by: Bader, Mahmoud Fathi
Published: (2013)

An Executable Formal Framework for Regular String Transformation in Rewriting Logic
by: unknown
Published: (2020)

Affordance Equivalences in Robotics: A Formalism
by: Andries, Mihai
Published: (2018)

An Evolutionary Algorithm for the Allocation Problem in High-Level Synthesis
by: Harmanani, Haidar
Published: (2005)

Priority-Driven Area Optimization in High-Level Synthesis
by: Abi Saad, Maria
Published: (2011)

Joint BS Assignment and End-to-End Scheduling for Wireless Cellular Networks with Heterogeneous Services
by: Saad, Walid
Published: (2010)

A parallel ant colony optimization to globally optimize area in high-level synthesis. (c2011)
by: Kozhaya, David Elias
Published: (2011)

Generalization of formal concept analysis to fuzzy contexts: application for knowledge extraction.
by: Alvi, Faisal
Published: (2000)

On end-to-end scheduling in wireless cellular networks
by: Saad, Walid
Published: (2008)

Optimizing Functional Unit Binding During HighLevel Synthesis
by: Ouaiss, Iyad
Published: (2012)

Choosing between the formal and informal economy
by: Abi Aad, Amine A.
Published: (2014)

Knowledge management formal and informal mentoring
by: Karkoulian, Silva
Published: (2008)

A PARALLEL AND DISTRIBUTED FRAMEWORK FOR IMPLEMENTING BACK PROPAGATION ALGORITHM IN BIG DATA
by: unknown
Published: (2020)

Dataflow processor for back propagation nueral networks: architecture and performance evaluation
by: Abu-Mutlaq, Maher Hamdan Khalil
Published: (1995)

An End-to-End Concatenated CNN Attention Model for the Classification of Lung Cancer With XAI Techniques
by: Fariha Haque (21485518)
Published: (2025)

Efficient area optimization in high level synthesis using priority-driven simulated annealing. (c2009)
by: Abi Saad, Maria
Published: (2009)

UNIVERSAL ALPHA-A LANGUAGE FOR VLSI DESIGN AUTOMATION
by: Masud, M
Published: (2020)

Information warfare recovery-fighting back through the matrix. (c2012)
by: Zbib, Mirna
Published: (2012)

Layout Driven Binding In High Level Synthesis Using Reinforcement Learning
by: Melhem, Marie-Claire
Published: (2021)

Resource allocation and reallocation techniques in high-level synthesis with testability constraint
by: Harmanani, Haidar M.
Published: (1994)

Cannot write session to /tmp/vufind_sessions/sess_4u32ieetaon3osvokas5dagfst