English
Related papers

Related papers: Implicit Simulations using Messaging Protocols

200 papers

Distributed software is very tricky to implement correctly as some errors only occur in peculiar situations. For such errors testing is not effective. Mathematically proving correctness is hard and time consuming, and therefore, it is…

Logic in Computer Science · Computer Science 2025-08-08 Jan Friso Groote , Jeroen J. A. Keiren

With the rise of computers, simulation models have emerged beside the more traditional statistical and mathematical models as a third pillar for ecological analysis. Broadly speaking, a simulation model is an algorithm, typically…

Populations and Evolution · Quantitative Biology 2018-12-24 Florian Hartig

The Autonomous System (AS) topology of the Internet (up to 61k ASs) is growing at a rate of about 10% per year. The Border Gateway Protocol (BGP) starts to show its limits in terms of the number of routing table entries it can dynamically…

Networking and Internet Architecture · Computer Science 2012-09-06 David Coudert , Luc Hogie , Aurélien Lancin , Dimitri Papadimitriou , Stéphane Pérennes , Issam Tahiri

We describe a new software package for simulating channelised, high-time resolution data streams from radio telescopes. The software simulates data from the telescope and observing system taking into account the observation strategy,…

Instrumentation and Methods for Astrophysics · Physics 2022-05-09 Rui Luo , George Hobbs , Suk Yee Yong , Andrew Zic , Lawrence Toomey , Shi Dai , Alex Dunning , Di Li , Tommy Marshman , Chen Wang , Pei Wang , Shuangqiang Wang , Songbo Zhang

Simulation has become the evaluation method of choice for many areas of distributing computing research. However, most existing simulation packages have several limitations on the size and complexity of the system being modeled. Fine…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-07-01 Dobre Ciprian , Cristea Valentin , Iosif C. Legrand

This paper proposes a distributed model predicted control (DMPC) approach for consensus control of multi-agent systems (MASs) with linear agent dynamics and bounded control input constraints. Within the proposed DMPC framework, each agent…

Systems and Control · Electrical Eng. & Systems 2020-09-16 Yougang Bian , Changkun Du , Manjiang Hu , Haikuo Liu

This paper introduces two ongoing research projects which seek to apply computer modelling techniques in order to simulate human behaviour within organisations. Previous research in other disciplines has suggested that complex social…

Neural and Evolutionary Computing · Computer Science 2010-07-05 Helen Celia , Christopher Clegg , Mark Robinson , Peer-Olaf Siebers , Uwe Aickelin , Christine Sprigg

Estimating statistical models within sensor networks requires distributed algorithms, in which both data and computation are distributed across the nodes of the network. We propose a general approach for distributed learning based on…

Machine Learning · Computer Science 2012-07-03 Qiang Liu , Alexander Ihler

This paper presents a Distributed Stochastic Model Predictive Control algorithm for networks of linear systems with multiplicative uncertainties and local chance constraints on the states and control inputs. The chance constraints are…

Optimization and Control · Mathematics 2023-03-07 Christoph Mark , Steven Liu

We present a computational algorithm for computing short range forces between particles. The algorithm has two distinguishing features. First, it is optimized for multi-processor computers, and will use as many processors as are available.…

Astrophysics · Physics 2008-02-03 Robert C. Ferrell , Edmund Bertschinger

Increasing data volumes delivered by a new generation of radio interferometers require computationally efficient and robust calibration algorithms. In this paper, we propose distributed calibration as a way of improving both computational…

Instrumentation and Methods for Astrophysics · Physics 2015-06-23 Sarod Yatawatta

Distributed automata are finite-state machines that operate on finite directed graphs. Acting as synchronous distributed algorithms, they use their input graph as a network in which identical processors communicate for a possibly infinite…

Formal Languages and Automata Theory · Computer Science 2018-12-21 Fabian Reiter

Modern out-of-order processors have increased capacity to exploit instruction level parallelism (ILP) and memory level parallelism (MLP), e.g., by using wide superscalar pipelines and vector execution units, as well as deep buffers for…

Programming Languages · Computer Science 2018-07-05 Vladimir Kiriansky , Haoran Xu , Martin Rinard , Saman Amarasinghe

Herein, design of false data injection attack on a distributed cyber-physical system is considered. A stochastic process with linear dynamics and Gaussian noise is measured by multiple agent nodes, each equipped with multiple sensors. The…

Systems and Control · Electrical Eng. & Systems 2020-02-06 Moulik Choraria , Arpan Chattopadhyay , Urbashi Mitra , Erik Strom

Model predictive control (MPC) for linear systems with quadratic costs and linear constraints is shown to admit an exact representation as an implicit neural network. A method to "unravel" the implicit neural network of MPC into an explicit…

Systems and Control · Electrical Eng. & Systems 2024-04-19 Ross Drummond , Pablo R Baldivieso-Monasterios , Giorgio Valmorbida

The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation software from personal computers (PC) to super computes. The power…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Ning Lu , Z. Todd Taylor , David P. Chassin , Ross T. Guttromson , R. Scott Studham

It is well known that quantum technology allows for an unprecedented level of data and software protection for quantum computers as well as for quantum-assisted classical computers. To exploit these properties, probabilistic one-time…

The investigation of input-output systems often requires a sophisticated choice of test inputs to make best use of limited experimental time. Here we present an iterative algorithm that continuously adjusts an ensemble of test inputs…

Biological Physics · Physics 2009-11-07 Christian K. Machens

Due to the expanding scope of machine learning (ML) to the fields of sensor networking, cooperative robotics and many other multi-agent systems, distributed deployment of inference algorithms has received a lot of attention. These…

Machine Learning · Computer Science 2024-01-09 Kinjal Bhar , He Bai , Jemin George , Carl Busart

Resource allocation is a fundamental problem in Industrial Internet of Things (IIoT) systems, in which devices work together under limited communication bandwidth to complete diverse tasks. This paper proposes a communication-efficient…

Optimization and Control · Mathematics 2026-05-26 Yuzhu Duan , Ziwen Yang , Xiaoming Duan , Shanying Zhu
‹ Prev 1 8 9 10 Next ›