中文
相关论文

相关论文: Hardware software co-design of the Aho-Corasick al…

200 篇论文

In view of the performance limitations of fully-decoupled designs for neural architectures and accelerators, hardware-software co-design has been emerging to fully reap the benefits of flexible design spaces and optimize neural network…

硬件体系结构 · 计算机科学 2022-03-29 Bingqian Lu , Zheyu Yan , Yiyu Shi , Shaolei Ren

The complexity of multimedia applications in terms of intensity of computation and heterogeneity of treated data led the designers to embark them on multiprocessor systems on chip. The complexity of these systems on one hand and the…

性能 · 计算机科学 2010-02-08 Dorsaf Sebai , Abderrazak Jemai , Imed Bennour

Conventional tools for formal hardware/software co-verification use bounded model checking techniques to construct a single monolithic propositional formula. Formulas generated in this way are extremely complex and contain a great deal of…

形式语言与自动机理论 · 计算机科学 2020-01-07 Rajdeep Mukherjee , Saurabh Joshi , John O'Leary , Daniel Kroening , Tom Melham

Scientific computing has experienced a surge empowered by advancements in technologies such as neural networks. However, certain important tasks are less amenable to these technologies, benefiting from innovations to traditional inference…

生物大分子 · 定量生物学 2023-09-04 Bobak Pezeshki , Radu Marinescu , Alexander Ihler , Rina Dechter

The optimization of large experiments in fundamental science, such as detectors for subnuclear physics at particle colliders, shares with the optimization of complex systems for industrial or societal applications the common issue of…

仪器与探测器 · 物理学 2026-03-30 Tommaso Dorigo , Pietro Vischia , Shahzaib Abbas , Tosin Adewumi , Lama Alkhaled , Lorenzo Arsini , Muhammad Awais , Maxim Borisyak , András Bóta , Florian Bury , Sascha Caron , James Carzon , Long Chen , Prakash C. Chhipa , Paul Christakopoulos , Jacopo De Piccoli , Andrea De Vita , Zlatan Dimitrov , Michele Doro , Luigi Favaro , Francesco Ferranti , Santiago Folgueras , Rihab Gargouri , Nicolas R. Gauger , Andrea Giammanco , Christian Glaser , Tobias Golling , João A. Gonçalves , Hui Han , Hamza Hanif , Lukas Heinrich , Yan Chai Hum , Florent Imbert , Andreas Ipp , Michael Kagan , Noor Kainat Syeda , Rukshak Kapoor , Aparup Khatua , Eduard J. Kerkhoven , Jan Kieseler , Tobias Kortus , Ashish Kumar Singh , Marius S. Köppel , Daniel Lanchares , Ann Lee , Pelayo Leguina , Christos Leonidopoulos , Giuseppe Levi , Boying Li , Chang Liu , Marcus Liwicki , Karl Lowenmark , Enrico Lupi , Carlo Mancini-Terracciano , Dominik Maršík , Leonidas Matsakas , Hamam Mokayed , Federico Nardi , Amirhossein Nayebiastaneh , Xuan T. Nguyen , Aitor Orio , Jingjing Pan , Jigar Patel , Carmelo Pellegrino , María Pereira Martínez , Karolos Potamianos , Shah Rukh Qasim , Martin Ravn , Luis Recabarren Vergara , Humberto Reyes-González , Hipolito A. Riveros Guevara , Ippocratis D. Saltas , Rajkumar Saini , Fredrik Sandin , Alexander Schilling , Kylian Schmidt , Nicola Serra , Saqib Shahzad , Foteini Simistira Liwicki , Giles C. Strong , Kristian Tchiorniy , Mia Tosi , Andrey Ustyuzhanin , Xabier Cid Vidal , Kinga A. Wozniak , Mengqing Wu , Zahraa Zaher

Prior work on Automatically Scalable Computation (ASC) suggests that it is possible to parallelize sequential computation by building a model of whole-program execution, using that model to predict future computations, and then…

分布式、并行与集群计算 · 计算机科学 2018-09-21 Peter Kraft , Amos Waterland , Daniel Y Fu , Anitha Gollamudi , Shai Szulanski , Margo Seltzer

Protein inference plays a vital role in the proteomics study. Two major approaches could be used to handle the problem of protein inference; top-down and bottom-up. This paper presents a framework for protein inference, which uses hardware…

计算工程、金融与科学 · 计算机科学 2014-03-07 S. M. Vidanagamachchi , S. D. Dewasurendra , R. G. Ragel

The problem of inferring proteins from complex peptide cocktails (digestion products of biological samples) in shotgun proteomic workflow sets extreme demands on computational resources in respect of the required very high processing…

计算工程、金融与科学 · 计算机科学 2014-12-30 S. M. Vidanagamachchi , S. D. Dewasurendra , R. G. Ragel , M. Niranjan

Heterogeneous computing is emerging as a mandatory requirement for power-efficient system design. With this aim, modern heterogeneous platforms like Zynq All-Programmable SoC, that integrates ARM-based SMP and programmable logic, have been…

分布式、并行与集群计算 · 计算机科学 2015-08-28 Daniel Jiménez-González , Carlos Álvarez , Antonio Filgueras , Xavier Martorell , Jan Langer , Juanjo Noguera , Kees Vissers

As spatial and temporal resolutions of scientific instruments improve, the explosion in the volume of data produced is becoming a key challenge. It can be a critical bottleneck for integration between scientific instruments at the edge and…

仪器与探测器 · 物理学 2021-11-03 Kazutomo Yoshii , Rajesh Sankaran , Sebastian Strempfer , Maksim Levental , Mike Hammer , Antonino Miceli

In order to mitigate the security threat of quantum computers, NIST is undertaking a process to standardize post-quantum cryptosystems, aiming to assess their security and speed up their adoption in production scenarios. Several hardware…

硬件体系结构 · 计算机科学 2023-01-10 Gabriele Montanaro , Andrea Galimberti , Ernesto Colizzi , Davide Zoni

Extreme edge-AI systems, such as those in readout ASICs for radiation detection, must operate under stringent hardware constraints such as micron-level dimensions, sub-milliwatt power, and nanosecond-scale speed while providing clear…

Given the recent technological trends and novel computing paradigms spanning both software and hardware, physicists and software developers can no longer just rely on computers becoming faster to meet the ever-increasing computing demands…

性能 · 计算机科学 2025-03-03 Maksymilian Graczyk , Stefan Roiser

With the rising complexity of numerous novel applications that serve our modern society comes the strong need to design efficient computing platforms. Designing efficient hardware is, however, a complex multi-objective problem that deals…

硬件体系结构 · 计算机科学 2023-04-11 Alireza Ghaffari , Masoud Asgharian , Yvon Savaria

The hardware-software co-optimization of neural network architectures is becoming a major stream of research especially due to the emergence of commercial neuromorphic chips such as the IBM Truenorth and Intel Loihi. Development of specific…

神经与进化计算 · 计算机科学 2019-06-24 Roshan Gopalakrishnan , Yansong Chua , Ashish Jith Sreejith Kumar

The high volume of data transmission between the edge sensor and the cloud processor leads to energy and throughput bottlenecks for resource-constrained edge devices focused on computer vision. Hence, researchers are investigating different…

硬件体系结构 · 计算机科学 2023-10-27 Md Abdullah-Al Kaiser , Akhilesh R. Jaiswal

With the richness of present-day hardware architectures, tightening the synergy between hardware and software has attracted a great attention. The interest in unified approaches paved the way for newborn frameworks that target hardware and…

分布式、并行与集群计算 · 计算机科学 2019-05-24 Issam Damaj , Safaa Kasbah

Spiking neural networks excel at event-driven sensing. Yet, maintaining task-relevant context over long timescales both algorithmically and in hardware, while respecting both tight energy and memory budgets, remains a core challenge in the…

神经与进化计算 · 计算机科学 2026-05-05 Pengfei Sun , Zhe Su , Jascha Achterberg , Giacomo Indiveri , Dan F. M. Goodman , Danyal Akarca

Advances in life sciences over the last few decades have lead to the generation of a huge amount of biological data. Computing research has become a vital part in driving biological discovery where analysis and categorization of biological…

计算工程、金融与科学 · 计算机科学 2014-03-31 S. M. Vidanagamachchi , S. D. Dewasurendra , R. G. Ragel , M. Niranjan

Emerging AI applications such as ChatGPT, graph convolutional networks, and other deep neural networks require massive computational resources for training and inference. Contemporary computing platforms such as CPUs, GPUs, and TPUs are…

机器学习 · 计算机科学 2023-03-24 Febin Sunny , Mahdi Nikdast , Sudeep Pasricha