中文
相关论文

相关论文: Extending Lifetime of Embedded Systems by WebAssem…

200 篇论文

As Internet censors rapidly evolve new blocking techniques, circumvention tools must also adapt and roll out new strategies to remain unblocked. But new strategies can be time consuming for circumventors to develop and deploy, and usually…

密码学与安全 · 计算机科学 2024-02-20 Erik Chi , Gaukas Wang , J. Alex Halderman , Eric Wustrow , Jack Wampler

The growth in the adoption of the WebAssembly (WASM) standard has given rise to a rapidly increasing landscape of binary applications that are natively ported to the environment of websites. The flexibility of WASM has made it the preferred…

密码学与安全 · 计算机科学 2026-03-11 Lorenzo Corrias , Lorenzo Pisu , Davide Maiorca , Giorgio Giacinto

The Internet of Things supports various industrial applications. The cooperation and coordination of smart things are a promising strategy for satisfying requirements that are beyond the capacity of a single smart thing. One of the major…

软件工程 · 计算机科学 2021-03-10 Frédéric Lemoine , Tatiana Aubonnet , Noëmie Simoni

The automotive industry is transitioning from traditional ECU-based systems to software-defined vehicles. A central role of this revolution is played by containers, lightweight virtualization technologies that enable the flexible…

The Internet-of-Things (IoT) is a revolutionary technology that is rapidly changing the world. IoT systems strive to provide automated solutions for almost every life aspect; traditional devices are becoming connected, ubiquitous,…

信号处理 · 电气工程与系统科学 2020-01-24 Issam Damaj , Safaa Kasbah

GlideinWMS is a workload manager provisioning resources for many experiments, including CMS and DUNE. The software is distributed both as native packages and specialized production containers. Following an approach used in other communities…

分布式、并行与集群计算 · 计算机科学 2025-07-30 Marco Mambelli , Bruno Moreira Coimbra , Namratha Urs , Ilya Baburashvili

The omnipresence of IoT devices in Industry 4.0 is expected to foster higher reliability, safety, and efficiency. However, interconnecting a large number of wireless devices without jeopardizing the system performance proves challenging. To…

信号处理 · 电气工程与系统科学 2021-08-11 Luis F. Abanto-Leon , Matthias Hollick , Gek Hong Sim

Development, deployment and maintenance of networked software has been revolutionized by DevOps, which have become essential to boost system software quality and to enable agile evolution. Meanwhile the Internet of Things (IoT) connects…

软件工程 · 计算机科学 2021-11-04 Koen Zandberg , Emmanuel Baccelli

Serverless computing is an excellent fit for big data processing because it can scale quickly and cheaply to thousands of parallel functions. Existing serverless platforms isolate functions in ephemeral, stateless containers, preventing…

分布式、并行与集群计算 · 计算机科学 2020-06-22 Simon Shillaker , Peter Pietzuch

WebAssembly (abbreviated Wasm) has emerged as a cornerstone of web development, offering a compact binary format that allows high-performance applications to run at near-native speeds in web browsers. Despite its advantages, Wasm's binary…

软件工程 · 计算机科学 2024-09-12 Xinyu She , Yanjie Zhao , Haoyu Wang

We introduce Wasm Logic, a sound program logic for first-order, encapsulated WebAssembly. We design a novel assertion syntax, tailored to WebAssembly's stack-based semantics and the strong guarantees given by WebAssembly's type system, and…

编程语言 · 计算机科学 2020-05-22 Conrad Watt , Petar Maksimović , Neelakantan R. Krishnaswami , Philippa Gardner

WebAssembly (Wasm) is an emerging binary format that draws great attention from our community. However, Wasm binaries are weakly protected, as they can be read, edited, and manipulated by adversaries using either the officially provided…

密码学与安全 · 计算机科学 2023-08-08 Shangtong Cao , Ningyu He , Yao Guo , Haoyu Wang

Workflow management systems (WMS) support the composition and deployment of workflow-oriented applications in distributed computing environments. They hide the complexity of managing large-scale applications, which includes the controlling…

分布式、并行与集群计算 · 计算机科学 2020-06-04 Muhammad H. Hilman , Maria A. Rodriguez , Rajkumar Buyya

WebAssembly, or Wasm, is a low-level binary language that enables execution of near-native-performance code in web browsers. Wasm has proven to be useful in applications including gaming, audio and video processing, and cloud computing,…

软件工程 · 计算机科学 2024-10-14 Mohammad Robati Shirzad , Patrick Lam

In this era, significant transformations in industries and tool utilization are driven by AI/Large Language Models (LLMs) and advancements in Machine Learning. There's a growing emphasis on Machine Learning Operations(MLOps) for managing…

软件工程 · 计算机科学 2025-02-26 Rabimba Karanjai , Lei Xu , Weidong Shi

Industry 4.0 is changing fundamentally data collection, its storage and analysis in industrial processes, enabling novel application such as flexible manufacturing of highly customized products. Real-time control of these processes,…

分布式、并行与集群计算 · 计算机科学 2020-05-06 Florian Hofer , Martin Sehr , Alberto Sangiovanni-Vincentelli , Barbara Russo

As technology and communication advances, more devices (and things) are able to connect to the Internet and talk to each other to achieve a common goal which results in the emergence of the Internet of Things (IoT) era. It is believed that…

软件工程 · 计算机科学 2018-03-09 Yousef Abuseta

Wireless sensor network (WSN) has been developed for decades and have performed well in the performance, power consumption, and congestion control. However, the following problems have not been addressed, such as inaccurate cost estimation…

分布式、并行与集群计算 · 计算机科学 2022-10-31 Tiannan Gao , Minxian Xu

The Robot Operating System (ROS) has become the de facto standard middleware in robotics, widely adopted across domains ranging from education to industrial applications. The RoboStack distribution, a conda-based packaging system for ROS,…

WebAssembly (Wasm), as a compact, fast, and isolation-guaranteed binary format, can be compiled from more than 40 high-level programming languages. However, vulnerabilities in Wasm binaries could lead to sensitive data leakage and even…

密码学与安全 · 计算机科学 2024-08-19 Ningyu He , Zhehao Zhao , Hanqin Guan , Jikai Wang , Shuo Peng , Ding Li , Haoyu Wang , Xiangqun Chen , Yao Guo