中文
相关论文

相关论文: ARIANNA: An Automatic Design Flow for Fabric Custo…

200 篇论文

Network programmability allows modification of fine-grain data plane functionality. The performance benefits of data plane programmability have motivated many researchers to offload computation that previously operated only on servers to…

网络与互联网体系结构 · 计算机科学 2024-04-19 Ricardo Parizotto , Israat Haque , Alberto Schaeffer-Filho

Floorplanning problem has been extensively explored for homogeneous FPGAs. Most modern FPGAs consist of heterogeneous resources in the form of configurable logic blocks, DSP blocks, BRAMs and more. Very little work has been done for…

硬件体系结构 · 计算机科学 2020-11-25 Pingakshya Goswami , Dinesh Bhatia

Capturing professionals' decision-making in creative workflows (e.g., UI/UX) is essential for reflection, collaboration, and knowledge sharing, yet existing methods often leave rationales incomplete and implicit decisions hidden. To address…

人机交互 · 计算机科学 2026-02-26 Kihoon Son , DaEun Choi , Tae Soo Kim , Young-Ho Kim , Sangdoo Yun , Juho Kim

CPU-FPGA heterogeneous architectures are attracting ever-increasing attention in an attempt to advance computational capabilities and energy efficiency in today's datacenters. These architectures provide programmers with the ability to…

分布式、并行与集群计算 · 计算机科学 2018-09-24 Jason Cong , Peng Wei , Cody Hao Yu , Peng Zhang

To facilitate rational molecular and materials design, this research proposes an integrated computational framework that combines stochastic simulation, ab initio quantum chemistry, and molecular docking. The suggested workflow allows…

材料科学 · 物理学 2026-01-08 Md Rakibul Karim Akanda , Michael P. Richard

Future of sustainable fashion lies in adoption of AI for a better understanding of consumer shopping behaviour and using this understanding to further optimize product design, development and sourcing to finally reduce the probability of…

计算机与社会 · 计算机科学 2020-08-18 Shravan Sajja , Nupur Aggarwal , Sumanta Mukherjee , Kushagra Manglik , Satyam Dwivedi , Vikas Raykar

Refinement transforms an abstract system model into a concrete, executable program, such that properties established for the abstract model carry over to the concrete implementation. Refinement has been used successfully in the development…

计算机科学中的逻辑 · 计算机科学 2021-10-27 Aurel Bílý , Christoph Matheja , Peter Müller

Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is becoming more pervasive. Moreover, the digitalised services provided by…

软件工程 · 计算机科学 2026-05-25 L. Thomas van Binsbergen , Christopher A. Esterhuyse , Tim Müller

Artificial intelligence systems have achieved remarkable capability in natural language processing, perception and decision-making tasks. However, their behaviour often remains opaque and difficult to verify, limiting their applicability in…

软件工程 · 计算机科学 2026-04-15 Arshad Beg , Diarmuid O'Donoghue , Rosemary Monahan

The paper develops a novel approach to stream cipher design: Both the state update function and the output function of the corresponding pseudorandom generators are compositions of arithmetic and bitwise logical operations, which are…

密码学与安全 · 计算机科学 2011-11-15 Vladimir Anashin

Enabling additive manufacturing to employ a wide range of novel, functional materials can be a major boost to this technology. However, making such materials printable requires painstaking trial-and-error by an expert operator, as they…

Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties, most notably schedulability, through model checking, simulation or other means. The analysis results are then used for…

软件工程 · 计算机科学 2018-06-27 Fotios Gioulekas , Peter Poplavko , Panagiotis Katsaros , Pedro Palomo

Multipatterning is an essential decomposition strategy in electronic design automation (EDA) that overcomes lithographic limitations when printing dense circuit layouts. Although heuristic-based backtracking and SAT solvers can address…

硬件体系结构 · 计算机科学 2025-11-21 Abdelrahman Helaly , Nourhan Sakr , Kareem Madkour , Ilhami Torunoglu

As technology advances, photonic integrated circuits (PICs) are rapidly scaling in size and complexity, with modern designs integrating thousands of components. However, the analog custom layout nature of photonics, the curvy waveguide…

新兴技术 · 计算机科学 2025-10-27 Hongjian Zhou , Haoyu Yang , Nicholas Gangi , Haoxing Ren , Rena Huang , Jiaqi Gu

The enormous amount of code required to design modern hardware implementations often leads to critical vulnerabilities being overlooked. Especially vulnerabilities that compromise the confidentiality of sensitive data, such as cryptographic…

密码学与安全 · 计算机科学 2021-12-23 Lennart M. Reimann , Luca Hanel , Dominik Sisejkovic , Farhad Merchant , Rainer Leupers

Modern circuits face various threats like reverse engineering, theft of intellectual property (IP), side-channel attacks, etc. Here, we present a novel approach for IP protection based on logic encryption (LE). Unlike established schemes…

Neural Architecture Search (NAS) is a laborious process. Prior work on automated NAS targets mainly on improving accuracy, but lacks consideration of computational resource use. We propose the Resource-Efficient Neural Architect (RENA), an…

神经与进化计算 · 计算机科学 2018-06-22 Yanqi Zhou , Siavash Ebrahimi , Sercan Ö. Arık , Haonan Yu , Hairong Liu , Greg Diamos

In a co-design environment changes need to be integrated quickly and in an automated manner. This paper considers the challenge of creating and optimizing a global logistics system for the construction of a passenger aircraft within a…

人工智能 · 计算机科学 2023-08-31 Emmanuelle Dietz , Tobias Philipp , Gerrit Schramm , Andreas Zindel

Retrieval-augmented code generation utilizes Large Language Models as the generator and significantly expands their code generation capabilities by providing relevant code, documentation, and more via the retriever. The current approach…

软件工程 · 计算机科学 2024-09-25 Xinyu Gao , Yun Xiong , Deze Wang , Zhenhan Guan , Zejian Shi , Haofen Wang , Shanshan Li

The ever-increasing compute performance of GPU accelerators drives up the need for efficient data movements within HPC applications to sustain performance. Proposed as a solution to alleviate CPU-GPU data movement, AMD MI300A Accelerated…

分布式、并行与集群计算 · 计算机科学 2025-08-19 Gabin Schieffer , Jacob Wahlgren , Ruimin Shi , Edgar A. León , Roger Pearce , Maya Gokhale , Ivy Peng