The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Time synchronization is critical for parallel and distributed simulation (PADS). In this paper we first compare the two main synchronization mechanisms in PADS, namely conservative and optimistic protocols. Then we propose a Minimum Time Buckets synchronization algorithm, which can optimistically schedule events without sending anti-messages. Comparing to the well-known Breathing Time Bucket (MTB)...
Parallel simulation technology is broadly used in complex system and real time simulations, such as Autonomous Decentralized System (ADS) and Internet of Things (IoT). Rollback mechanism is a key factor to improve the performance of optimistic parallel simulation. In this paper we first introduce the common time synchronization protocols and rollback recovery mechanisms in parallel simulation. Then...
Lock-based parallel programs are easy to write. However, they are inherently slow as the synchronization is blocking in nature. Non-blocking lock-free programs, which use atomic instructions such as compare-and-set (CAS), are significantly faster. However, lock-free programs are notoriously difficult to design and debug. This can be greatly eased if the primitives work on multiple memory locations...
A number of other important tasks can not be effectively carried out without proper time synchronization in wireless sensor networks. So time synchronization is an important part of wireless sensor network, and it has high research value. In this paper, an improved IROS synchronization algorithm is proposed based on the study of ROS synchronization protocol. By studying the correlation between the...
We propose a novel semi-automatic methodology to formally verify clock-domain synchronization protocols in industrial-scale hardware designs. Establishing the functional correctness of all clock-domain crossings (CDCs) is crucial in every system-on-chip (SoC) assembly flow. While other semi-automatic approaches require non-trivial manual deductive reasoning, our approach produces a small sequence...
To cope with data collision problem in consensus synchronization algorithm caused by utilizing pseudo-periodic broadcast method, this paper presents a novel gossip averaging based clock synchronization protocol, which combines the a synchronism of rumor communication and the robustness of neighbor averaging. We design a randomized link-activated based relative skew estimation strategy, which realizes...
This paper studies algorithm design and analysis in time synchronization for wireless sensor networks (WSNs) with random bounded communication delays. A least square estimation based time synchronization (LSTS for short) algorithm is proposed. Mathematic modeling of the algorithm is presented. The LSTS algorithm ensures asymptotic convergence of drift estimations and boundedness of global time-synchronization...
Modern computer architectures, particularly multicore systems, include shared hardware resources such as caches and interconnects that introduce timing-interference channels. Unmanaged access to such resources can adversely affect the execution time of other tasks, and lead to unpredictable execution times and associated analysis pessimism that can entirely negate the benefits of a multicore processor...
Operational network health management against the security, reliability, and performance problems is a critical part of building highly dependable network services. In traditional networks, the management practice takes mainly remote approaches through provisioning and configuration to cope with the network-centric infrastructure where the main network functionalities such as data, control, and management...
Information-centric networking (ICN) enables communication in isolated islands, where fixed infrastructure is not available, but also supports seamless communication if the infrastructure is up and running again. In disaster scenarios, when a fixed infrastructure is broken, content discovery algorithms are required to learn what content is locally available. For example, if preferred content is not...
Hadoop is a popular open-source framework that allows distributed analysis of large datasets using the MapReduce programming model. A distributed file system HDFS is implemented to provide high-throughput access to datasets. HDFS can achieve high performance metadata service but has two disadvantages. First, when the metadata server stores metadata on persistent devices, it is restricted to read and...
Wireless sensor networks (WSNs) powered by energy harvesting is a promising technology for monitoring and diagnostic systems in smart grid. However, the limitation and instability of harvesting energy leads to the requirement of high energy-efficient time synchronization algorithms for WSNs. In this paper, in order to minimize the energy consumption, we propose an improved hybrid time synchronization...
Rechargeable sensor networks have been studied as candidates for next-generation wireless sensor networks. However, rechargeable sensor nodes cannot always communicate with other nodes, because they typically do not receive a stable supply of power. To cope with this problem, we propose a dynamic synchronization protocol that allows the synchronization of transmission and reception in rechargeable...
In this paper we consider various flavors of the stack resource policy (SRP) for arbitrating access to shared resources in a hierarchical scheduling framework (HSF) upon a uni-processor. We propose algorithms for exploring and selecting the (local) resource ceilings within components, such that it results in an optimal composition of resource-sharing components in an HSF. Existing methods are non-optimal,...
The modern industrial and substation automation Ethernet networks have demanding requirements about high availability. Recently, the IEEE 802.1 WG proposes the IEEE 802.1aq, also known as Shortest Path Bridging, to manage Ethernet redundant networks. The IEEE 1588 protocol can exploit the SPB capabilities to manage multiple paths in order to improve synchronization availability. In the paper, the...
Under current analysis, soft real-time tardiness bounds applicable to global earliest-deadline-first scheduling and related policies depend on per-task worst-case execution times. By splitting job budgets to create sub jobs with shorter periods and worst-case execution times, such bounds can be reduced to near zero for implicit-deadline sporadic task systems. However, doing so could potentially cause...
In this paper, the the analyte networking architecture and technical characteristics on the basis of in-depth study of the key technologies of the Internet of Things, and the perception of Things layer as the starting point, focus on the RFID technology in the context of Internet of Things, presented anew anti-collision algorithm, and passed to set up the experimental platform to prove that the new...
Multiple access channel is a well-known communication model that deploys properties of many network systems, such as Aloha multi-access systems, local area Ethernet networks, satellite communication systems, packet radio networks. The fundamental aspect of this model is to provide efficient communication and computation in the presence of restricted access to the communication resource: at most one...
The advantages of cloud computing have revitalized interest in thin client computing. In this thin client computing approach, an application is executed on the thin client server, which in the cloud computing paradigm is part of a cloud environment. The user interacts with a viewer, that acts as a service-hatch: forwarding the user events over the network to the server and accepting the returned graphical...
Time synchronization is important for many applications running in wireless sensor network. A classical algorithm, Timing-Sync Protocol for Sensor Networks (TPSN), has been widely adopted, which can achieve of the goal of high accuracy and energy-efficiency. However, the accuracy of TPSN algorithm will decrease in practical environments since communication conflicts occur in an ad-hoc wireless environment...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.