中文
相关论文

相关论文: Dexpler: Converting Android Dalvik Bytecode to Jim…

200 篇论文

Automatic parallelization remains a challenging problem in software engineering, particularly in identifying code regions where loops can be safely executed in parallel on modern multi-core architectures. Traditional static analysis…

软件工程 · 计算机科学 2026-04-01 Izavan dos S. Correia , Henrique C. T. Santos , Tiago A. E. Ferreira

This paper presents the philosophy, design and feature-set of Neural Network Distiller, an open-source Python package for DNN compression research. Distiller is a library of DNN compression algorithms implementations, with tools, tutorials…

机器学习 · 计算机科学 2019-10-29 Neta Zmora , Guy Jacob , Lev Zlotnik , Bar Elharar , Gal Novik

In recent years, there has been significant progress in the development and industrial adoption of static analyzers. Such analyzers typically provide a large, if not huge, number of configurable options controlling the precision and…

Android has been the most popular smartphone system with multiple platform versions active in the market. To manage the application's compatibility with one or more platform versions, Android allows apps to declare the supported platform…

软件工程 · 计算机科学 2020-09-01 Daoyuan Wu , Debin Gao , David Lo

This paper describes a distributed collaborative wiki-based platform that has been designed to facilitate the development of Semantic Web applications. The applications designed using this platform are able to build semantic data through…

软件工程 · 计算机科学 2008-06-10 Mariano Rico , David Camacho , Oscar Corcho

Although Extract Method is a key refactoring for improving program comprehension, refactoring tools for such purpose are often underused. To address this shortcoming, we present JExtract, a recommendation system based on structural…

软件工程 · 计算机科学 2015-06-22 Danilo Silva , Ricardo Terra , Marco Tulio Valente

Rapid growth in the number of small sensor devices known as the Internet of Things (IoT) has seen the development of lightweight encryption algorithms. Two well-known lightweight algorithms are SIMON and SIMECK which have been specifically…

密码学与安全 · 计算机科学 2024-10-08 Jonathan Cook , Sabih ur Rehman , M. Arif Khan

We present an XML-based simulation authoring environment. The proposed description language allows to describe mathematical objects such as systems of ordinary differential equations, partial differential equations in two dimensions, or…

数学软件 · 计算机科学 2011-03-01 Stéphane Mottelet , André Pauss

Proponents of the programming language Prolog share the opinion Prolog is more appropriate for transforming XML-documents as other well-established techniques and languages like XSLT. In order to clarify this position this work proposes a…

编程语言 · 计算机科学 2021-04-26 René Haberland

In this paper we present GridapTopOpt, an extendable framework for level set-based topology optimisation that can be readily distributed across a personal computer or high-performance computing cluster. The package is written in Julia and…

数学软件 · 计算机科学 2026-01-26 Zachary J. Wegert , Jordi Manyer , Connor Mallon , Santiago Badia , Vivien J. Challis

Tactile sensing plays a key role in enabling dexterous and reliable robotic manipulation, but realizing this capability requires substantial calibration to convert raw sensor readings into physically meaningful quantities. Despite its…

机器人学 · 计算机科学 2025-11-12 Rohan Kota , Kaival Shah , J. Edward Colgate , Gregory Reardon

Cloud computing and the evolution of management methodologies such as Lean Management or Agile entail a profound transformation in both system construction and maintenance approaches. These practices are encompassed within the term…

计算与语言 · 计算机科学 2023-11-03 Thibault Chanus , Michael Aubertin

Recent studies show that deployed deep learning (DL) models such as those of Tensor Flow Lite (TFLite) can be easily extracted from real-world applications and devices by attackers to generate many kinds of attacks like adversarial attacks.…

软件工程 · 计算机科学 2024-04-02 Mingyi Zhou , Xiang Gao , Pei Liu , John Grundy , Chunyang Chen , Xiao Chen , Li Li

Large language models (LLMs) enable the rapid generation of data wrangling scripts based on natural language instructions, but these scripts may not fully adhere to user-specified requirements, necessitating careful inspection and iterative…

人机交互 · 计算机科学 2025-08-05 Jiajun Zhu , Xinyu Cheng , Zhongsu Luo , Yunfan Zhou , Xinhuan Shu , Di Weng , Yingcai Wu

Simultaneous translation on both text and speech focuses on a real-time and low-latency scenario where the model starts translating before reading the complete source input. Evaluating simultaneous translation models is more complex than…

计算与语言 · 计算机科学 2020-08-03 Xutai Ma , Mohammad Javad Dousti , Changhan Wang , Jiatao Gu , Juan Pino

In this demonstration, we present an open source toolkit for evaluating non-intrusive load monitoring research; a field which aims to disaggregate a household's total electricity consumption into individual appliances. The toolkit contains:…

其他计算机科学 · 计算机科学 2014-11-11 Jack Kelly , Nipun Batra , Oliver Parson , Haimonti Dutta , William Knottenbelt , Alex Rogers , Amarjeet Singh , Mani Srivastava

DistServe improves the performance of large language models (LLMs) serving by disaggregating the prefill and decoding computation. Existing LLM serving systems colocate the two phases and batch the computation of prefill and decoding across…

分布式、并行与集群计算 · 计算机科学 2024-06-07 Yinmin Zhong , Shengyu Liu , Junda Chen , Jianbo Hu , Yibo Zhu , Xuanzhe Liu , Xin Jin , Hao Zhang

Developers often resort to online Q&A forums such as Stack Overflow (SO) for filling their programming needs. Although code examples on those forums are good starting points, they are often incomplete and inadequate for developers' local…

软件工程 · 计算机科学 2019-05-30 Tianyi Zhang , Di Yang , Cristina Videira Lopes , Miryung Kim

The security of software builds has attracted increased attention in recent years in response to incidents like solarwinds and xz. Now, several companies including Oracle and Google rebuild open source projects in a secure environment and…

密码学与安全 · 计算机科学 2025-08-05 Jens Dietrich , Behnaz Hassanshahi

Descartes is a tool that implements extreme mutation operators and aims at finding pseudo-tested methods in Java projects. It leverages the efficient transformation and runtime features of PIT. The demonstration compares Descartes with…

软件工程 · 计算机科学 2019-03-11 Oscar Luis Vera-Pérez , Martin Monperrus , Benoit Baudry
‹ 上一页 1 8 9 10 下一页 ›