Academic Articles & Research Papers

Deadlock detection in distributed systems

The author describes a series of deadlock detection techniques based on centralized, hierarchical, and distributed control organizations. The point of view is that of practical implications. An up-to-date and comprehensive survey of deadloc...

Actors: A Model of Concurrent Computation in Distributed Systems

A foundational model of concurrency is developed in this thesis. It examines issues in the design of parallel systems and show why the actor model is suitable for exploiting large-scale parallelism. Concurrency in actors is constrained only...

Neural networks for switching

The author argues that a strong impetus for using neural networks is that they provide a framework for designing massively parallel machines. He notes that the highly interconnected architecture of switching networks suggests similarities t...

EdgeAIGC: Model caching and resource allocation for edge artificial intelligence generated content

With the rapid development of generative artificial intelligence technology, the traditional cloud-based centralized model training and inference face significant limitations due to high transmission latency and costs, which restrict user-s...

Joint Optimization of Transform and Quantization for High Efficiency Video Coding

In high efficiency video coding (HEVC), transformation and quantization are separately performed to eliminate the perceptual redundancy of visual signals. However, a uniform quantizer can inevitably degrade the compression efficiency of fix...

Application of Robust Estimation for Time Synchronization and Retaining in Local Area Network

In view of the defect existed in the time synchronization of Local Area Network(LAN) using hardware and software methods,this paper introduces the principle of time synchronization in LAN and the method of robust estimation.The model of tim...

A QoS Routing Algorithm Based on Software-Defined Vehiclar Ad-Hoc Network

A Vehicular Ad-Hoc Network(VANET) is a Mobile Ad-Hoc Network(MANET) composed of mobile vehicular nodes.It does not rely on infrastructure to either establish a communication link orrealize communication. Owingto the high mobility of vehicle...

Tetracaine hydrochloride gel delays and reduces catheter-related bladder discomfort after transurethral resection: a randomized controlled trial.

Electroweak monopoles and the electroweak phase transition

Abstract We consider an isolated electroweak monopole solution within the Standard Model with a nonlinear Born–Infeld extension of the hypercharge gauge field. Monopole (and dyon) solutions in such an extension are regular and their masses ...

A <italic>&#x03BC;</italic>-Synthesis Framework for Multi-Domain Robust Load Frequency Control Under Concurrent Communication Delays and Parametric Uncertainties

The integration of communication networks into modern power systems introduces variable time delays that degrade the performance of traditional Load Frequency Control (LFC), while the shift towards renewable energy sources increases system ...

High-Performance Tuning for Model Predictive Control for a Renewable Energy Grid-Interface Converter With LCL Filter

Model predictive control (MPC) has emerged as a highly regarded control strategy in power electronics for renewable energy applications. While it minimizes tracking errors and control effort, a significant challenge is the lack of systemati...

Aurelia: Dynamic asynchronous BFT with bandwidth-efficient bootstrapping

Dynamic asynchronous Byzantine Fault-Tolerant (BFT) protocols provide strong consistency guarantees in open networks with unbounded communication delays and evolving membership, making them a fundamental building block for long-lived distri...

Kalman Filtering for Discrete Stochastic Systems with Multiplicative Noises and Random Two-Step Sensor Delays

This paper is concerned with the optimal Kalman filtering problem for a class of discrete stochastic systems with multiplicative noises and random two-step sensor delays. Three Bernoulli distributed random variables with known conditional p...

Performance debugging for distributed systems of black boxes

Many interesting large-scale systems are distributed systems of multiple communicating components. Such systems can be very hard to debug, especially when they exhibit poor performance. The problem becomes much harder when systems are compo...

Synthesizing distributed systems

In system synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is distributed, the goal is to construct the system's underlying processes. Results on multi-player games imply...

The timed asynchronous distributed system model

We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and hardware clock drifts. These measurements confirm that this model adeq...

Simulação na validação de sistemas computacionais para a agricultura de precisão Simulation in the validation of precision farming computing systems

Sistemas computacionais têm tido aplicação crescente na construção de sistemas para o setor agrícola; contudo, o trabalho de projeto desse tipo de sistemas tem-se tornado mais complexo devido à necessidade de se estabelecer cooperação entre...

Distributed System Design

Future requirements for computing speed, system reliability, and cost-effectiveness entail the development of alternative computers to replace the traditional von Neumann organization. As computing networks come into being, one of the lates...

Tumor probability mapping of fluorescence intensity during image-guided surgery of head and neck cancer

Abstract Achieving negative surgical margins remains a critical determinant of local recurrence and survival in head and neck cancer (HNC) surgery. Current intraoperative margin assessment techniques, including frozen section analysis, suff...

Decentralized intelligence in smart grids: a comprehensive survey of edge computing and federated learning

Modern power grids are becoming more distributed and data-intensive, while centralized, cloud-based analytics struggle to keep pace. Routing everything through a central system introduces delays, strains network capacity, complicates compli...