English
Related papers

Related papers: HpC: A Calculus for Hybrid and Mobile Systems -- F…

200 papers

Industrial Internet of Things (I-IoT) enables fully automated production systems by continuously monitoring devices and analyzing collected data. Machine learning methods are commonly utilized for data analytics in such systems.…

Cryptography and Security · Computer Science 2022-03-17 Onat Gungor , Tajana Rosing , Baris Aksanli

We present a slow control system to gather all relevant environment information necessary to effectively and reliably run an HPC (High Performance Computing) system at a high value over price ratio. The scalable and reliable overall concept…

Other Computer Science · Computer Science 2018-02-05 Peter Bernd Otte , Dalibor Djukanovic

Message-passing based concurrent languages are widely used in developing large distributed and coordination systems. This paper presents the buffered $\pi$-calculus --- a variant of the $\pi$-calculus where channel names are classified into…

Logic in Computer Science · Computer Science 2012-12-27 Xiaojie Deng , Yu Zhang , Yuxin Deng , Farong Zhong

The provision of reliable and efficient communication is a key requirement for the deployment of autonomous cars as well as for future Intelligent Transportation Systems (ITSs) in smart cities. Novel communications technologies will have to…

Networking and Internet Architecture · Computer Science 2018-02-22 Benjamin Sliwa , Johannes Pillmann , Fabian Eckermann , Lars Habel , Michael Schreckenberg , Christian Wietfeld

A strategy for the orchestration of hybrid classical-quantum workloads on supercomputers featuring quantum devices is proposed. The method makes use of heterogeneous job launches with Slurm to interleave classical and quantum computation,…

Quantum Physics · Physics 2023-12-11 Aniello Esposito , Sebastien Cabaniols , Jessica R. Jones , David Brayford

Holonomic Quantum Computation (HQC) is an all-geometrical approach to quantum information processing. In the HQC strategy information is encoded in degenerate eigen-spaces of a parametric family of Hamiltonians. The computational network of…

Quantum Physics · Physics 2009-11-06 Jiannis Pachos , Paolo Zanardi

A holographic multiple-input multiple-output (MIMO)-based integrated sensing and communications (ISAC) framework is proposed for both downlink and uplink scenarios. The spatial correlation is incorporated into the communication channel…

Information Theory · Computer Science 2025-01-16 Boqun Zhao , Chongjun Ouyang , Xingqi Zhang , Yuanwei Liu

Opportunistic computing is a paradigm for completely self-organised pervasive networks. Instead of relying only on fixed infrastructures as the cloud, users' devices act as service providers for each other. They use pairwise contacts to…

Networking and Internet Architecture · Computer Science 2022-05-30 Davide Mascitti , Marco Conti , Andrea Passarella , Laura Ricci , Sajal K. Das

Interactive high-performance computing is doubtlessly beneficial for many computational science and engineering applications whenever simulation results should be visually processed in real time, i.e. during the computation process.…

Computational Engineering, Finance, and Science · Computer Science 2018-07-03 Ralf-Peter Mundani , Jérôme Frisch , Vasco Varduhn , Ernst Rank

In this work we present a robust interface coupling algorithm called Compact Interface quasi-Newton (CIQN). It is designed for computationally intensive applications using an MPI multi-code partitioned scheme. The algorithm allows to reuse…

Computational Engineering, Finance, and Science · Computer Science 2020-06-02 A. Santiago , M. Zavala-Aké , R. Borell , G. Houzeaux

Hybrid Communicating Sequential Processes (HCSP) is a powerful formal modeling language for hybrid systems, which is an extension of CSP by introducing differential equations for modeling continuous evolution and interrupts for modeling…

Logic in Computer Science · Computer Science 2016-09-09 Gaogao Yan , Li Jiao , Yangjia Li , Shuling Wang , Naijun Zhan

The radical advances in mobile computing, the IoT technological evolution along with cyberphysical components (e.g., sensors, actuators, control centers) have led to the development of smart city applications that generate raw or…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-25 Dimitrios Tomaras , Michail Tsenos , Vana Kalogeraki , Dimitrios Gunopulos

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

Future network services present a significant challenge for network providers due to high number and high variety of co-existing requirements. Despite many advancements in network architectures and management schemes, congested network…

Networking and Internet Architecture · Computer Science 2024-06-06 Neta Rozen-Schiff , Itzcak Pechtalt , Amit Navon , Leon Bruckman

Modern technology driven information systems are part of our daily lives. However, this deep integration poses new challenges to the human computer interaction (HCI) professionals. With the rapid growth of mobile and cloud computing and the…

Human-Computer Interaction · Computer Science 2026-03-30 Rajan Das Gupta , Ashikur Rahman , Md Imrul Hasan Showmick , Md. Yeasin Rahat , Md. Jakir Hossen

A path-integral hybrid Monte Carlo approach with enveloping bridging potentials (PIHMC-EBP) is proposed for calculating numerically exact tunneling splittings in molecular systems. The central idea is to construct an approximately…

Chemical Physics · Physics 2026-04-15 Yu-Chen Wang , Jeremy O. Richardson

There are many interesting physical processes which involve the generation of high density plasmas in large volumes. However, when modeling these systems numerically, the large densities and volumes present a significant computational…

Computational Physics · Physics 2007-05-23 A. E. Schulz , A. D. Greenwood , K. L. Cartwright , P. J. Mardahl

In more and more application areas, we are witnessing the emergence of complex workflows that combine computing, analytics and learning. They often require a hybrid execution infrastructure with IoT devices interconnected to cloud/HPC…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-10 Daniel Rosendo , Alexandru Costan , Gabriel Antoniu , Matthieu Simonin , Jean-Christophe Lombardo , Alexis Joly , Patrick Valduriez

With the ever-increasing range of applications of Internet in Things (IoT) and sensor networks, challenges are emerging in various categories of classification tasks. Applications such as vehicular networking, UAV swarm coordination and…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-01 Andrew Nash , Dirk Pesch , Krishnendu Guha

This article introduces our vision for a new interaction paradigm: Heads-Up Computing, a concept involving the provision of seamless computing support for daily activities. Its synergistic and user-centric approach frees humans from common…

Human-Computer Interaction · Computer Science 2023-05-10 Shengdong Zhao , Felicia Tan , Katherine Fennedy