English
Related papers

Related papers: Hailstorm : A Statically-Typed, Purely Functional …

200 papers

I/O efficiency is crucial to productivity in scientific computing, but the increasing complexity of the system and the applications makes it difficult for practitioners to understand and optimize I/O behavior at scale. Data-driven machine…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-04-19 Mihailo Isakov , Mikaela Currier , Eliakin del Rosario , Sandeep Madireddy , Prasanna Balaprakash , Philip Carns , Robert B. Ross , Glenn K. Lockwood , Michel A. Kinsy

Large Language Models excel in textual tasks but often struggle with physical-world reasoning tasks. Inspired by human cognition, where perception is fundamental to reasoning, we explore augmenting LLMs with enhanced perception abilities…

Artificial Intelligence · Computer Science 2025-12-02 Tuo An , Yunjiao Zhou , Han Zou , Jianfei Yang

Large language models (LLMs) have catalyzed an upsurge in automatic code generation, garnering significant attention for register transfer level (RTL) code generation. Despite the potential of RTL code generation with natural language, it…

Hardware Architecture · Computer Science 2024-08-14 Chenwei Xiong , Cheng Liu , Huawei Li , Xiaowei Li

The recent surge in security concerns for IoT devices highlights the increasing threat of cryptographic vulnerabilities. These weaknesses can lead to unauthorized access, data breaches, and manipulation of device functions, compromising the…

Cryptography and Security · Computer Science 2026-05-06 Tahsin Ahmed , Arjita Saha , Arian Nuhan , Nafim Ahmed Bin Mohammad Noor , Md Faisal Ahmed , Muhammad Iqbal Hossain

In recent years, numerous large-scale cyberattacks have exploited Internet of Things (IoT) devices, a phenomenon that is expected to escalate with the continuing proliferation of IoT technology. Despite considerable efforts in attack…

Cryptography and Security · Computer Science 2024-08-27 Alaeddine Diaf , Abdelaziz Amara Korba , Nour Elislem Karabadji , Yacine Ghamri-Doudane

Time-critical data aggregation in Internet of Things (IoT) networks demands efficient, collision-free scheduling to minimize latency for applications like smart cities and industrial automation. Traditional heuristic methods, with two-phase…

Networking and Internet Architecture · Computer Science 2025-11-25 Van-Vi Vo , Tien-Dung Nguyen , Duc-Tai Le , Hyunseung Choo

Nowadays IoT applications consist of a collection of loosely coupled modules, namely microservices, that can be managed and placed in a heterogeneous environment consisting of private and public resources. It follows that distributing the…

Networking and Internet Architecture · Computer Science 2021-10-26 Valentino Armani , Francescomaria Faticanti , Silvio Cretti , Seungwoo Kum , Domenico Siracusa

Internet of Things (IoT) sensors are ubiquitous technologies deployed across smart cities, industrial sites, and healthcare systems. They continuously generate time series data that enable advanced analytics and automation in industries.…

Machine Learning · Computer Science 2025-09-24 Muhammad Sakib Khan Inan , Kewen Liao

The rapid expansion of Internet of Things (IoT) ecosystems has introduced growing complexities in device management and network security. To address these challenges, we present a unified framework that combines context-driven large…

Networking and Internet Architecture · Computer Science 2024-12-31 Daniel Adu Worae , Athar Sheikh , Spyridon Mastorakis

The smart grid utilizes many Internet of Things (IoT) applications to support its intelligent grid monitoring and control. The requirements of the IoT applications vary due to different tasks in the smart grid. In this paper, we propose a…

Networking and Internet Architecture · Computer Science 2018-04-05 Pan Wang , Shidong Liu , Feng Ye , Xuejiao Chen

The Industrial Internet of Things (IIoT) has become a critical technology to accelerate the process of digital and intelligent transformation of industries. As the cooperative relationship between smart devices in IIoT becomes more complex,…

Networking and Internet Architecture · Computer Science 2024-02-28 Yujiao Hu , Yining Zhu , Huayu Zhang , Yan Pan , Qingmin Jia , Renchao Xie , Gang Yang , F. Richard Yu

In recent years, due to the trend in globalization, system integrators have had to deal with integrated circuit (IC)/intellectual property (IP) counterfeiting more than ever. These counterfeit hardware issues counterfeit hardware that have…

Cryptography and Security · Computer Science 2018-06-15 Fatemeh Tehranipoor

Event-driven programming is used in many fields of modern Computer Science. In event-driven programming languages user interacts with a program by triggering the events. We propose a new approach that we denote command-event driven…

Programming Languages · Computer Science 2015-03-18 Piotr J. Puczynski

Since the advent of LISP, the fifth generation programming language has developed for decades. However, compared with the fourth generation programming language, the fifth generation programming language has not been widely used because of…

Programming Languages · Computer Science 2022-06-03 Han Jipeng , Lichen Zhihang

Recently, we have witnessed the emergence of intermittently powered computational devices, an early example is the Intel WISP (Wireless Identification and Sensing Platform). How we engineer basic security services to realize mutual…

Cryptography and Security · Computer Science 2019-02-11 Yang Su , Yansong Gao , Omid Kavehei , Damith C. Ranasinghe

The IoT market is diverse and characterized by a multitude of vendors that support different device functions (e.g., speaker, camera, vacuum cleaner, etc.). Within this market, IoT security and observability systems use real-time…

Cryptography and Security · Computer Science 2024-03-05 Bar Meyuhas , Anat Bremler-Barr , Tal Shapira

The increasing heterogeneity of hardware and software in the Internet of Things (IoT) poses a major challenge for the portability, maintainability and deployment of software on devices with limited resources. WebAssembly (WASM), originally…

Hardware Architecture · Computer Science 2025-12-02 Mislav Has , Tao Xiong , Fehmi Ben Abdesslem , Mario Kušek

Reasoning is a fundamental capability of Large Language Models. While prior research predominantly focuses on enhancing narrow skills like math or code generation, improving performance on many other reasoning tasks remains challenging due…

Computation and Language · Computer Science 2025-05-22 Junlong Li , Daya Guo , Dejian Yang , Runxin Xu , Yu Wu , Junxian He

The monitoring of data generated by a large number of devices in Internet of Things (IoT) systems is an important and complex issue. Several studies have explored the use of generic rule engine, primarily based on the RETE algorithm, for…

Software Engineering · Computer Science 2023-10-11 Ken Chen

A novel language system has given rise to promising alternatives to standard formal and processor network models of computation. An interstring linked with a abstract machine environment, shares sub-expressions, transfers data, and…

Programming Languages · Computer Science 2010-05-31 Alexander Victor Berka