中文
相关论文

相关论文: Leader Confirmation Replication for Millisecond Co…

200 篇论文

The rising number of IoT devices is accelerating the research on new solutions that will be able to efficiently deal with unreliable connectivity in highly dynamic computing applications. To improve the overall performance in IoT…

网络与互联网体系结构 · 计算机科学 2021-02-24 Cao Vien Phung , Jasenka Dizdarevic , Francisco Carpio , Admela Jukan

We introduce CopySpec, a simple yet effective technique to tackle the inefficiencies LLMs face when generating responses that closely resemble previous outputs or responses that can be verbatim extracted from context. CopySpec identifies…

计算与语言 · 计算机科学 2025-05-26 Razvan-Gabriel Dumitru , Minglai Yang , Vikas Yadav , Mihai Surdeanu

Real-time sequential control agents are often bottlenecked by inference latency. Even modest per-step planning delays can destabilize control and degrade overall performance. We propose a speculation-and-correction framework that adapts the…

人工智能 · 计算机科学 2025-12-22 Ziyang Lin , Zixuan Sun , Sanhorn Chen , Xiaoyang Chen , Roy Zhao

Activity-tracking applications and location-based services using short-range communication (SRC) techniques have been abruptly demanded in the COVID-19 pandemic, especially for automated contact tracing. The attention from both public and…

密码学与安全 · 计算机科学 2020-07-03 Wenzhe Lv , Sheng Wu , Chunxiao Jiang , Yuanhao Cui , Xuesong Qiu , Yan Zhang

We study the fine-grained complexity of Leader Contributor Reachability (LCR) and Bounded-Stage Reachability (BSR), two variants of the safety verification problem for shared memory concurrent programs. For both problems, the memory is a…

计算机科学中的逻辑 · 计算机科学 2020-01-13 Peter Chini , Roland Meyer , Prakash Saivasan

Misunderstandings arise not only in interpersonal communication but also between humans and Large Language Models (LLMs). Such discrepancies can make LLMs interpret seemingly unambiguous questions in unexpected ways, yielding incorrect…

计算与语言 · 计算机科学 2024-04-22 Yihe Deng , Weitong Zhang , Zixiang Chen , Quanquan Gu

Building consensus sequences based on distributed, fault-tolerant consensus, as used for replicated state machines, typically requires a separate distributed state for every new consensus instance. Allocating and maintaining this state…

分布式、并行与集群计算 · 计算机科学 2020-04-02 Jan Skrzypczak , Florian Schintke , Thorsten Schütt

Supporting convolutional neural network (CNN) inference on resource-constrained IoT devices in a timely manner has been an outstanding challenge for emerging smart systems. To mitigate the burden on IoT devices, the prevailing solution is…

密码学与安全 · 计算机科学 2019-01-15 Yifan Tian , Jiawei Yuan , Shucheng Yu , Yantian Hou

Most of today's online services (e.g., social networks, search engines, market places) are centralized, which is recognized as unsatisfactory by a majority of users for various reasons (e.g., centralized governance, censorship, loss of…

分布式、并行与集群计算 · 计算机科学 2022-02-08 Kadir Korkmaz , Joachim Bruneau-Queyreix , Sonia Ben Mokthar , Laurent Réveillère

Conversational recommender systems (CRSs) aim to capture user preferences and provide personalized recommendations through multi-round natural language dialogues. However, most existing CRS models mainly focus on dialogue comprehension and…

信息检索 · 计算机科学 2024-07-09 Yunjia Xi , Weiwen Liu , Jianghao Lin , Bo Chen , Ruiming Tang , Weinan Zhang , Yong Yu

An indoor, real-time location system (RTLS) can benefit both hospitals and patients by improving clinical efficiency through data-driven optimization of procedures. Bluetooth-based RTLS systems are cost-effective but lack accuracy and…

信号处理 · 电气工程与系统科学 2020-09-09 Guanglin Tang , Yulong Yan , Chenyang Shen , Xun Jia , Meyer Zinn , Zipalkumar Trivedi , Alicia Yingling , Kenneth Westover , Steve Jiang

Large language models (LLMs) have excelled in various applications, yet serving them at scale is challenging due to their substantial resource demands and high latency. Our real-world studies reveal that over 70% of user requests to LLMs…

In the operation of networked control systems, where multiple processes share a resource-limited and time-varying cost-sensitive network, communication delay is inevitable and primarily influenced by, first, the control systems deploying…

系统与控制 · 电气工程与系统科学 2020-07-16 Mohammad H. Mamduhi , Dipankar Maity , Sandra Hirche , John S. Baras , Karl H. Johansson

BlockChain (BC) has attracted tremendous attention due to its immutable nature and the associated security and privacy benefits. BC has the potential to overcome security and privacy challenges of Internet of Things (IoT). However, BC is…

密码学与安全 · 计算机科学 2020-06-09 Ali Dorri , Salil S. Kanhere , Raja Jurdak , Praveen Gauravaram

Data replication is essential to ensure reliability, availability and fault-tolerance of massive distributed applications over large scale systems such as the Internet. However, these systems are prone to partitioning, which by Brewer's CAP…

分布式、并行与集群计算 · 计算机科学 2015-01-12 Matthieu Perrin , Achour Mostéfaoui , Claude Jard

Internet-scale distributed systems often replicate data at multiple geographic locations to provide low latency and high availability, despite node and network failures. Geo-replicated systems that adopt a weak consistency model allow…

分布式、并行与集群计算 · 计算机科学 2018-06-28 Nuno Preguiça

This work elaborates on a High performance computing (HPC) architecture based on Simple Linux Utility for Resource Management (SLURM) [1] for deploying heterogeneous Large Language Models (LLMs) into a scalable inference engine. Dynamic…

分布式、并行与集群计算 · 计算机科学 2025-08-26 Anderson de Lima Luiz , Shubham Vijay Kurlekar , Munir Georges

Proof-of-Stake systems randomly choose, on each round, one of the participants as a consensus leader that extends the chain with the next block such that the selection probability is proportional to the owned stake. However, distributed…

密码学与安全 · 计算机科学 2020-05-20 Mansoor Ahmed-Rengers , Kari Kostiainen

This paper considers the classical state machine replication (SMR) problem in a distributed system model inspired by cross-chain exchanges. We propose a novel SMR protocol adapted for this model. Each state machine transition takes $O(n)$…

分布式、并行与集群计算 · 计算机科学 2022-06-15 Yingjie Xue , Maurice Herlihy

Large-scale data collection, from national censuses to IoT-enabled smart homes, routinely gathers dozens of attributes per individual. These multi-attribute datasets are crucial for analytics but pose significant privacy risks. Local…

密码学与安全 · 计算机科学 2025-12-17 Shafizur Rahman Seeam , Ye Zheng , Yidan Hu