English
Related papers

Related papers: MEC: An Open-source Fine-grained Mapping Equivalen…

200 papers

We recently found that the electromagnetic scattering problem can be very fast in an approach expressing the fields in terms of orthonormal basis functions. In this paper we apply computational conformal geometry with the conformal energy…

Optics · Physics 2025-12-19 Pengcheng Wan , Zhong-Heng Tan , S. T. Chui , Tiexiang Li , S. T. Yau

FPGAs have become a popular choice for deploying deep learning architectures (DLA). There are many researchers that have explored the deployment and mapping of DLA on FPGA. However, there has been a growing need to do design-time…

Machine Learning · Computer Science 2019-11-15 Tolulope A. Odetola , Katie M. Groves , Syed Rafay Hasan

Innovative Electronic Design Automation (EDA) solutions are important to meet the design requirements for increasingly complex electronic devices. Verilog, a hardware description language, is widely used for the design and verification of…

Machine Learning · Computer Science 2023-06-08 Enrique Dehaerne , Bappaditya Dey , Sandip Halder , Stefan De Gendt

As large language models demonstrate enormous potential in the field of Electronic Design Automation (EDA), generative AI-assisted chip design is attracting widespread attention from academia and industry. Although these technologies have…

Hardware Architecture · Computer Science 2025-07-30 Wenbo Liu , Forbes Hou , Jon Zhang , Hong Liu , Allen Lei

Multi-Access Edge Computing (MEC) emerged as a viable computing allocation method that facilitates offloading tasks to edge servers for efficient processing. The integration of MEC with 5G, referred to as 5G-MEC, provides real-time…

Networking and Internet Architecture · Computer Science 2025-03-25 Parisa Fard Moshiri , Murat Simsek , Burak Kantarci

The complexity of modern-day System-on-Chips (SoCs) is continually increasing, and it becomes increasingly challenging to deliver dependable and credible chips in a short time-to-market. Especially, in the case of test chips, where the aim…

Artificial Intelligence · Computer Science 2024-09-24 Hansa Mohanty , Deepak Narayan Gadde

This paper presents an evaluation framework that attempts to quantify the "degree of realism" of simulated financial time series, whatever the simulation method could be, with the aim of discover unknown characteristics that are not being…

Computational Finance · Quantitative Finance 2018-11-20 Javier Franco-Pedroso , Joaquin Gonzalez-Rodriguez , Maria Planas , Jorge Cubero , Rafael Cobo , Fernando Pablos

The evolution of information technology and electronics in general has been consistently increasing the use of embedded systems. While hardware development for these systems is already consistent, software development for embedded systems…

Software Engineering · Computer Science 2015-08-05 Rogerio Atem de Carvalho , Hudson Silva , Rafael Ferreira Toledo , Milena Silveira de Azevedo

Multimodal data is a precious asset enabling a variety of downstream tasks in machine learning. However, real-world data collected across different modalities is often not paired, which is a significant challenge to learn a joint…

Machine Learning · Computer Science 2025-08-11 Mustapha Bounoua , Giulio Franzese , Pietro Michiardi

Multi-access Edge Computing (MEC) is commonly recognized as a key supporting technology for the emerging 5G systems. When deployed in fully virtualized networks, i.e., following the Network Function Virtualization (NFV) paradigm, it will…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-03-06 Miltiades C. Filippou , Dario Sabella , Vincenzo Riccobene

Critical software systems face stringent requirements in safety, security, and reliability due to the circumstances surrounding their operation. Safety and security have progressively gained importance over the years due to the integration…

Software Engineering · Computer Science 2015-12-16 Julio Escribano-Barreno , Marisol García-Valls

The quality and correct functioning of software components embedded in electronic systems are of utmost concern especially for safety and mission-critical systems. Model-based testing and formal verification techniques can be employed to…

Formal Languages and Automata Theory · Computer Science 2019-01-08 Shahbaz Ali , Hailong Sun , Yongwang Zhao

Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms cannot be kept without proper attention to the considerably…

Computation and Language · Computer Science 2020-05-27 Raphaël Cohen , Eric Féron , Pierre-Loïc Garoche

Essence Framework EF aims at addressing the core problems of software engineering SE and its practices

Software Engineering · Computer Science 2018-12-06 Murat Pasa Uysal

Verification is a critical process for ensuring the correctness of modern processors. The increasing complexity of processor designs and the emergence of new instruction set architectures (ISAs) like RISC-V have created demands for more…

Hardware Architecture · Computer Science 2026-02-04 Yang Zhong , Haoran Wu , Xueqi Li , Sa Wang , David Boland , Yungang Bao , Kan Shi

The performance evaluation of biometric systems is a crucial step when designing and evaluating such systems. The evaluation process uses the Equal Error Rate (EER) metric proposed by the International Organization for Standardization…

Data Structures and Algorithms · Computer Science 2012-02-28 Romain Giot , Mohamad El-Abed , Christophe Rosenberger

This paper describes an efficiently scalable approach to measure technological similarity between patents by combining embedding techniques from natural language processing with nearest-neighbor approximation. Using this methodology we are…

Digital Libraries · Computer Science 2021-11-11 Daniel Hain , Roman Jurowetzki , Tobias Buchmann , Patrick Wolf

The current verification flow of complex systems uses different engines synergistically: virtual prototyping, formal verification, simulation, emulation and FPGA prototyping. However, none is able to verify a complete architecture.…

Logic in Computer Science · Computer Science 2018-02-12 Tomas Grimm , Djones Lettnin , Michael Hübner

Estimating the effort of software systems is an essential topic in software engineering, carrying out an estimation process reliably and accurately for a software forms a vital part of the software development phases. Many researchers have…

Software Engineering · Computer Science 2018-05-03 Najla Akram , AL-Saati , Taghreed Riyadh Alreffaee

Multi-access edge computing (MEC) is seen as a vital component of forthcoming 6G wireless networks, aiming to support emerging applications that demand high service reliability and low latency. However, ensuring the ultra-reliable and…

Systems and Control · Electrical Eng. & Systems 2024-05-08 Arian Ahmadi , Anders Høst-Madsen , Zixiang Xiong