MANIAC: BDD Manipulation for Approximate Computing

MANIAC:近似计算的 BDD 操作

基本信息

项目摘要

The MANIAC project aims at improving algorithms for approximate computing based on Binary Decision Diagrams (BDDs). BDDs provide a compact representation for Boolean functions and find application in solving a variety of problems. The project investigates how BDDs can represent approximation from both a theoretical and a practical point of view. The project proposes several algorithms based on this principle. Open source software and benchmark platforms will combine the research effort at the end of the project as link for future research.
MANIAC项目旨在改进基于二叉决策图(BDDS)的近似计算算法。BDDS为布尔函数提供了一种紧凑的表示,并在解决各种问题中得到了应用。该项目从理论和实践两个角度研究BDDS如何表示近似值。该项目提出了几种基于这一原理的算法。开源软件和基准平台将在项目结束时将研究工作结合起来,作为未来研究的纽带。

项目成果

期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Approximation-aware rewriting of AIGs for error tolerant applications
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Rolf Drechsler其他文献

Professor Dr. Rolf Drechsler的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Rolf Drechsler', 18)}}的其他基金

Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf
为 ESL 草案制定一致的验证流程
  • 批准号:
    188461301
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Reinhart Koselleck Projects
Qualitätsorientierte Synthese großer Funktionen in reversibler Logik
可逆逻辑中大函数的面向质量的综合
  • 批准号:
    147703507
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Formaler Robustheitsnachweis im computergestützten Schaltkreisentwurf
计算机辅助电路设计稳健性的形式证明
  • 批准号:
    61273444
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
用于生成测试模式的高效可满足性算法
  • 批准号:
    15765440
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Formale Verifikation von Schaltkreisen unter Verwendung von Informationen der Hochsprachenebene
使用高级语言信息对电路进行形式化验证
  • 批准号:
    5369462
  • 财政年份:
    2002
  • 资助金额:
    --
  • 项目类别:
    Research Grants
OptiSecure – Securing Nano-Circuits against Optical Probing
OptiSecure â 保护纳米电路免受光学探测
  • 批准号:
    439918011
  • 财政年份:
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
VerA: Fully Automatic Formal Verification of Arithmetic Circuits
VerA:算术电路的全自动形式验证
  • 批准号:
    436285168
  • 财政年份:
  • 资助金额:
    --
  • 项目类别:
    Research Grants
PolyVer: Polynomial Verification of Electronic Circuits
PolyVer:电子电路的多项式验证
  • 批准号:
    431649366
  • 财政年份:
  • 资助金额:
    --
  • 项目类别:
    Reinhart Koselleck Projects
Unlocking Analog Features and Full Parallelism for HDL-based Synthesis of PLiM
解锁基于 HDL 的 PLiM 合成的模拟功能和完全并行性
  • 批准号:
    406079023
  • 财政年份:
  • 资助金额:
    --
  • 项目类别:
    Research Grants
EMBOSOM - Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms
EMBOSOM - 将嵌入式软件安全迁移到现代新兴硬件范例中
  • 批准号:
    535695900
  • 财政年份:
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes

相似国自然基金

颗粒BDD基三维电化学反应系统的构建及其协同响应机制
  • 批准号:
    2025JJ50328
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
颗粒 BDD 基杂化碳材料界面精准构筑及其电化学传感检 测响应机制
  • 批准号:
    2024JJ6511
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
单晶BDD颗粒表面微纳结构精准构筑及电化学响应机制
  • 批准号:
    2023JJ40722
  • 批准年份:
    2023
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
BDD电极表/界面与泡沫结构调控及其活性面积与传质的协同机制
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    54 万元
  • 项目类别:
    面上项目
矿山污水处理用Ti/BDD电极异步塑变扩散连接机制与热力学评价
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    54 万元
  • 项目类别:
    面上项目
WC-Co基BDD电极制备技术的基础研究
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
AAV8-CRISPR/Cas9联合NHEJ技术介导的血友病A小鼠高效表达完整功能BDD-hF8的研究
  • 批准号:
    81970172
  • 批准年份:
    2019
  • 资助金额:
    55 万元
  • 项目类别:
    面上项目
纳米合金/BDD电极的制备及定向催化氧化脱氮的研究
  • 批准号:
    21878271
  • 批准年份:
    2018
  • 资助金额:
    65.0 万元
  • 项目类别:
    面上项目
MgO纳米带/BDD电极的制备及多组分同步测定生物传感机制研究
  • 批准号:
    61401306
  • 批准年份:
    2014
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
基于BDD的大规模静态失效关联系统故障树分析
  • 批准号:
    60903011
  • 批准年份:
    2009
  • 资助金额:
    18.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Exogenous Modulation of Visual Perception And Connectivity in Body Dysmorphic Disorder (EMPAC-BDD)
身体变形障碍中视觉感知和连接的外源调节(EMPAC-BDD)
  • 批准号:
    10355356
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
Exogenous Modulation of Visual Perception And Connectivity in Body Dysmorphic Disorder (EMPAC-BDD)
身体变形障碍中视觉感知和连接的外源调节(EMPAC-BDD)
  • 批准号:
    10655303
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
BDD CIS: Big Data Driven Clinical Informatics & Surveillance - A Multimodal Database Focused Clinical, Community, & Multi-Omics Surveillance Plan for COVID19
BDD CIS:大数据驱动的临床信息学
  • 批准号:
    10190370
  • 财政年份:
    2020
  • 资助金额:
    --
  • 项目类别:
Tensor decompositionTensor Decomposition for Brain Signal Processing and BDD & BCI Applications
张量分解脑信号处理和 BDD 的张量分解
  • 批准号:
    18K04178
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
フレキシブルBDDセンサ素子の開発と植物生体電位差測定への応用
柔性BDD传感器元件的研制及其在植物生物电测量中的应用
  • 批准号:
    17K05958
  • 财政年份:
    2017
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
BDD: A Big-Data Computational Laboratory for the Optimization of Olfactory Search Algorithms in Turbulent Environments
BDD:用于优化湍流环境中嗅觉搜索算法的大数据计算实验室
  • 批准号:
    1461870
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
BDD: Dynamic Evolution of Smart-Phone Based Emergency Communications Network
BDD:基于智能手机的应急通信网络的动态演进
  • 批准号:
    1461932
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
BDD: Disaster Preparation and Response via Big Data Analysis and Robust Networking
BDD:通过大数据分析和强大的网络进行灾难准备和响应
  • 批准号:
    1461886
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
BDD: Efficient and Scalable Collection, Analytics and Processing of Big Data for Disaster Applications
BDD:灾难应用大数据的高效且可扩展的收集、分析和处理
  • 批准号:
    1461914
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
BDD: Human-Centered Situational Awareness Platform for Disaster Response and Recovery
BDD:以人为本的灾难响应和恢复态势感知平台
  • 批准号:
    1461963
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了