中文
相关论文

相关论文: MESURE Tool to benchmark Java Card platforms

200 篇论文

Computer science marches towards energy-aware practices. This trend impacts not only the design of computer architectures, but also the design of programs. However, developers still lack affordable and accurate technology to measure energy…

其他计算机科学 · 计算机科学 2017-06-12 Tarsila Bessa , Christopher Gull , Pedro Quintão , Michael Frank , José Nacif , Fernando Magno Quintão Pereira

The environmental impact of software is gaining increasing attention as the demand for computational resources continues to rise. In order to optimize software resource consumption and reduce carbon emissions, measuring and evaluating…

软件工程 · 计算机科学 2025-07-01 Geerd-Dietger Hoffmann , Verena Majuntke

Machine learning (ML) needs industry-standard performance benchmarks to support design and competitive evaluation of the many emerging software and hardware solutions for ML. But ML training presents three unique benchmarking challenges…

Context: Software testability is the degree to which a software system or a unit under test supports its own testing. To predict and improve software testability, a large number of techniques and metrics have been proposed by both…

软件工程 · 计算机科学 2018-12-07 Vahid Garousi , Michael Felderer , Feyza Nur Kilicaslan

With the advent of public access to small gate-based quantum processors, it becomes necessary to develop a benchmarking methodology such that independent researchers can validate the operation of these processors. We explore the usefulness…

This paper surveys benchmarking principles, machine learning devices including GPUs, FPGAs, and ASICs, and deep learning software frameworks. It also reviews these technologies with respect to benchmarking from the perspectives of a…

分布式、并行与集群计算 · 计算机科学 2020-02-19 Wei Dai , Daniel Berleant

Benchmarking quantum computers helps to quantify them and bringing the technology to the market. Various application-level metrics exist to benchmark a quantum device at an application level. This paper presents a revised holistic scoring…

量子物理 · 物理学 2024-06-07 Koen J. Mesman , Ward van der Schoot , Matthias Möller , Niels M. P. Neumann

Technology mapping is an essential step in EDA flow. However, the function of the circuit may be changed after technology mapping, and equivalence checking (EC) based verification is highly necessary. The traditional EC method has…

硬件体系结构 · 计算机科学 2023-12-25 Liwei Ni , Zonglin Yang , Jiaxi Zhang , Changhong Feng , Jianhua Liu , Guojie Luo , Huawei Li , Biwei Xie , Xingquan Li

The evaluation of robot capabilities to navigate human crowds is essential to conceive new robots intended to operate in public spaces. This paper initiates the development of a benchmark tool to evaluate such capabilities; our long term…

As quantum computers grow in size and scope, a question of great importance is how best to benchmark performance. Here we define a set of characteristics that any benchmark should follow -- randomized, well-defined, holistic, device…

In the measurement process, there are many parameters affecting the measurement results: the influence of the probe system, material stiffness of measured workpiece, the calibration of the probe with a reference sphere, the thermal effects.…

计算工程、金融与科学 · 计算机科学 2013-11-26 Valéry Wolff , Tin Tran Dinh , Stephane Raynaud

This article highlights how small modifications to either the source code of a benchmark program or the compilation options may impact its behavior on a specific machine. It argues that for evaluating machines, benchmark providers and users…

软件工程 · 计算机科学 2013-09-04 Raphael 'kena' Poss

In the field of scientific computing, one often finds several alternative software packages (with open or closed source code) for solving a specific problem. These packages sometimes even use alternative methodological approaches, e.g.,…

Despite large progress in Explainable and Safe AI, practitioners suffer from a lack of regulation and standards for AI safety. In this work we merge recent regulation efforts by the European Union and first proposals for AI guidelines with…

Software vulnerabilities can have serious consequences, which is why many techniques have been proposed to defend against them. Among these, vulnerability detection techniques are a major area of focus. However, there is a lack of a…

软件工程 · 计算机科学 2023-03-30 Yingzhou Bi , Jiangtao Huang , Penghui Liu , Lianmei Wang

Vehicles embed lots of sensors supporting driving and safety. Combined with connectivity, they bring new possibilities for Connected, Cooperative and Automated Mobility (CCAM) services that exploit local and global data for a wide…

网络与互联网体系结构 · 计算机科学 2023-08-30 Felipe Mogollón , Zaloa Fernández , Josu Pérez , Ángel Martín

Performance is a critical quality attribute in software development, yet the impact of method-level code changes on performance evolution remains poorly understood. While developers often make intuitive assumptions about which types of…

软件工程 · 计算机科学 2025-08-12 Kaveh Shahedi , Nana Gyambrah , Heng Li , Maxime Lamothe , Foutse Khomh

In benchmarking, organizations look outward to examine others' performance in their industry or sector. Often, they can learn from the best practices of some of them and improve. In order to develop this idea within the framework of Data…

最优化与控制 · 数学 2019-12-04 Nuria Ramón , José L. Ruiz , Inmaculada Sirvent

We present a novel approach for constructing discrete optimization benchmarks that enables fine-grained control over problem properties, and such benchmarks can facilitate analyzing discrete algorithm behaviors. We build benchmark problems…

神经与进化计算 · 计算机科学 2026-04-09 Furong Ye , Frank Neumann , Thomas Bäck , Niki van Stein

Decisions impacting human lives are increasingly being made or assisted by automated decision-making algorithms. Many of these algorithms process personal data for predicting recidivism, credit risk analysis, identifying individuals using…

计算机与社会 · 计算机科学 2022-09-02 Furkan Gursoy , Ioannis A. Kakadiaris