Search
Search Results
-
Aging Properties of Actual and Virtual Waiting Times in the GI|G|1|∞ Queuing Model
AbstractThe article considers a single-channel non-Poisson queuing model GI|G|1| ∞ with a FIFO “first-in-first-out” service discipline in stationary...
-
OpenFlow-based Software-Defined Networking Queue Model
SDN imposes requirements on manufacturers of infocommunication equipment. It concerns new scenarios support relating to network applications, for... -
Examining queue-jum** phenomenon in heterogeneous traffic stream at signalized intersection using UAV-based data
This research presents an in-depth microscopic analysis of heterogeneous and undisciplined traffic at the signalized intersection. Traffic data...
-
An evaluation of approaches to model checking real-time task schedulability analysis
This article is a follow-up contribution that extends the conference paper (Nxumalo, in: Laarman, Sokolova (eds)Model Checking Software - 27th...
-
A formal framework to design and prove trustworthy memory controllers
In order to prove conformance to memory standards and bound memory access latency, recently proposed real-time DRAM controllers rely on paper and...
-
A spaceborne advanced storage system for remote sensing microsatellites
With the development of satellite miniaturization and remote sensing, the establishment of microsatellite constellations is an inevitable trend. Due...
-
A smart admission control and cache replacement approach in content delivery networks
Content Delivery Networks (CDNs) distribute most data traffic nowadays by caching the contents in a network of servers to provide users with the...
-
Design and realization of hybrid resource management system for heterogeneous cluster
As user-generated data diversifies, an increasing number of big data tasks now encompass unstructured data forms, including audio, imagery, and video...
-
CSDG-FAS: Closed-Space Domain Generalization for Face Anti-spoofing
Domain generalization based Face Anti-spoofing (FAS) aims to enhance its ability to work in unseen domains. Existing methods endeavor to extract a...
-
A YARN-based Energy-Aware Scheduling Method for Big Data Applications under Deadline Constraints
Hadoop is a distributed framework for processing big data. One of the critical parts of Hadoop is YARN, which carries out scheduling and resource...
-
A dynamic queuing model based distributed task offloading algorithm using deep reinforcement learning in mobile edge computing
In mobile edge computing (MEC), offloading computing tasks from edge clients to edge nodes can reduce the burden on edge clients, especially for...
-
Verification of Stability Condition in Unreliable Two-Class Retrial System with Constant Retrial Rates
A two-class single-server retrial system with Poisson inputs is considered. In this system, unlike conventional retrial systems, each new ith class... -
Bounded Temporal Fairness for FIFO Financial Markets
Financial exchange operators cater to the needs of their users while simultaneously ensuring compliance with the financial regulations. In this work,... -
A novel scheduling algorithm development and analysis for heterogeneous IoT protocol control system to achieve SCADA optimization: a next generation post covid solution
In this paper, a new intelligent message scheduling algorithm is designed for complex Internet of Things (IoT) systems where machine to machine (M2M)...
-
CLQLMRS: improving cache locality in MapReduce job scheduling using Q-learning
Scheduling of MapReduce jobs is an integral part of Hadoop and effective job scheduling has a direct impact on Hadoop performance. Data locality is...
-
Adaptive Buffering Scheme for PCM/DRAM-Based Hybrid Memory Architecture
Phase Change Memory (PCM) motivates new hybrid memory architecture that consists of PCM and DRAM. A critical issue in the PCM/DRAM-based hybrid... -
Distraction descriptor for brainprint authentication modelling using probability-based Incremental Fuzzy-Rough Nearest Neighbour
This paper aims to design distraction descriptor, elicited through the object variation, to refine the granular knowledge incrementally, using the...
-
Some Basic Properties of Length Rate Quotient
Length Rate Quotient (LRQ) is the first algorithm of interleaved sha** – a novel concept proposed to provide per-flow sha** for a flow aggregate... -
A Verification Tool for Real-Time Task Schedulability Analysis
We present a tool that implements a spotlight abstraction technique for model checking the schedulability of real-time tasks in operating systems. We... -
Weakly Synchronous Systems with Three Machines Are Turing Powerful
Communicating finite-state machines (CFMs) are a Turing powerful model of asynchronous message-passing distributed systems. In weakly synchronous...