English
Related papers

Related papers: CleanQ: a lightweight, uniform, formally specified…

200 papers

In distributed quantum computing architectures, with the network and communications functionalities provided by the Quantum Internet, remote quantum processing units (QPUs) can communicate and cooperate for executing computational tasks…

Quantum Physics · Physics 2021-06-22 Davide Ferrari , Angela Sara Cacciapuoti , Michele Amoretti , Marcello Caleffi

Emerging wireless control applications demand for extremely high closed-loop reliability under strict latency constraints, which the conventional Automatic Repeat reQuest (ARQ) solutions with static schedules fail to provide. To overcome…

Information Theory · Computer Science 2021-11-30 Bin Han , Yao Zhu , Muxia Sun , Vincenzo Sciancalepore , Yulin Hu , Hans D. Schotten

Semantic communications are expected to improve the transmission efficiency in Internet of Things (IoT) networks. However, the distributed nature of networks and heterogeneity of devices challenge the secure utilization of semantic…

Signal Processing · Electrical Eng. & Systems 2024-12-12 Weihao Zeng , Xinyu Xu , Qianyun Zhang , Jiting Shi , Zhenyu Guan , Shufeng Li , Zhijin Qin

Various physical constraints limit the number of qubits that can be implemented in a single quantum processor, and thus it is necessary to connect multiple quantum processors via quantum interconnects. While several compiler implementations…

Quantum Physics · Physics 2023-02-02 Shin Nishio , Ryo Wakizaka

This paper presents a novel method for user interface (UI) generation based on the Transformer architecture, addressing the increasing demand for efficient and aesthetically pleasing UI designs in software development. Traditional UI design…

Human-Computer Interaction · Computer Science 2024-10-24 Shiyu Duan , Runsheng Zhang , Mengmeng Chen , Ziyi Wang , Shixiao Wang

Software Defined Networks has seen tremendous growth and deployment in different types of networks. Compared to traditional networks it decouples the control logic from network layer devices, and centralizes it for efficient traffic…

Networking and Internet Architecture · Computer Science 2019-02-22 Zohaib Latif , Kashif Sharif , Fan Li , Md Monjurul Karim , Yu Wang

Tensor networks (TNs) are a central computational tool in quantum science and artificial intelligence. However, the lack of unified software interface across tensor-computing frameworks severely limits the portability of TN applications,…

Quantum Physics · Physics 2026-01-01 Rong-Yang Sun , Tomonori Shirakawa , Hidehiko Kohshiro , D. N. Sheng , Seiji Yunoki

Designing natural language interfaces has historically required collecting supervised data to translate user requests into carefully designed intent representations. This requires enumerating and labeling a long tail of user requests, which…

Computation and Language · Computer Science 2024-01-09 Harsh Jhamtani , Hao Fang , Patrick Xia , Eran Levy , Jacob Andreas , Ben Van Durme

Large language models (LLMs) promise to accelerate UI design, yet current tools struggle with two fundamentals: externalizing designers' intent and controlling iterative change. We introduce SPEC, a structured, parameterized, hierarchical…

Human-Computer Interaction · Computer Science 2025-09-10 Yunnong Chen , Chengwei Shi , Liuqing Chen

Today, data analysis drives the decision-making process in virtually every human activity. This demands for software platforms that offer simple programming abstractions to express data analysis tasks and that can execute them in an…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-15 Luca De Martini , Alessandro Margara , Gianpaolo Cugola , Marco Donadoni , Edoardo Morassutto

By leveraging quantum-mechanical properties like superposition, entanglement, and interference, quantum computing (QC) offers promising solutions for problems that classical computing has not been able to solve efficiently, such as drug…

Human-Computer Interaction · Computer Science 2025-02-14 Hyeok Kim , Mingyoung J. Jeng , Kaitlin N. Smith

Weight quantization effectively reduces memory consumption and enable the deployment of Large Language Models on edge devices, yet existing hardware-friendly methods often rely on uniform quantization, which suffers from poor…

Machine Learning · Computer Science 2026-02-03 Xin Nie , Liang Dong , Haicheng Zhang , Jiawang Xiao , G. Sun

In today's age of digital technology, ethical concerns regarding computing systems are increasing. While the focus of such concerns currently is on requirements for software, this article spotlights the hardware domain, specifically…

Computers and Society · Computer Science 2024-04-26 Timo Speith , Julian Speith , Steffen Becker , Yixin Zou , Asia Biega , Christof Paar

The evolution of architectures, programming models, and algorithms is driving communication towards greater asynchrony and concurrency, usually in multithreaded environments. We present LCI, a communication library designed for efficient…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-26 Jiakun Yan , Marc Snir

Many tools and libraries are readily available to build and operate distributed Web applications. While the setup of operational environments is comparatively easy, practice shows that their continuous secure operation is more difficult to…

Cryptography and Security · Computer Science 2012-07-13 Matteo Maria Casalino , Michele Mangili , Henrik Plate , Serena Elisa Ponta

In this work we introduce an open source suite of quantum application-oriented performance benchmarks that is designed to measure the effectiveness of quantum computing hardware at executing quantum applications. These benchmarks probe a…

Helix is an open-source, extensible, Python-based software framework to facilitate reproducible and interpretable machine learning workflows for tabular data. It addresses the growing need for transparent experimental data analytics…

In this paper, we describe DiOS, a lightweight model operating system which can be used to execute programs that make use of POSIX APIs. Such executions are fully reproducible: running the same program with the same inputs twice will result…

Operating Systems · Computer Science 2019-07-09 Petr Ročkai , Zuzana Baranová , Jan Mrázek , Katarína Kejstová , Jiří Barnat

Intentional or unintentional leakage of confidential data is undoubtedly one of the most severe security threats that organizations face in the digital era. The threat now extends to our personal lives: a plethora of personal information is…

Cryptography and Security · Computer Science 2014-08-06 Michael Backes , Niklas Grimm , Aniket Kate

Machine Learning systems rely on data for training, input and ongoing feedback and validation. Data in the field can come from varied sources, often anonymous or unknown to the ultimate users of the data. Whenever data is sourced and used,…

Computers and Society · Computer Science 2019-04-08 Iain Barclay , Alun Preece , Ian Taylor , Dinesh Verma
‹ Prev 1 3 4 5 6 7 10 Next ›