Software formal verification can provide guarantees regarding the implementation of complex software systems in respect to their specifications. Unfortunately, the practical applications of formal verification techniq...
详细信息
The approach described in this paper addresses fast prototyping of complex media processing systems. The method provides a high-level means to emulate the streaming subsystems of complex consumer electronics systems. ...
详细信息
ISBN:
(纸本)0889863415
The approach described in this paper addresses fast prototyping of complex media processing systems. The method provides a high-level means to emulate the streaming subsystems of complex consumer electronics systems. This includes connection management for high-throughput signal processing elements, data buffering and routing. Moreover, it offers a high-level abstraction for the configuration and control of such streaming subsystems. As a result, the essential characteristics of stream processing can be modeled and analyzed, while at the same time, complex middleware and application software can be developed and tested, which will be independent of the underlying streaming technology. Prototyping is sped up by using standard implementation technology such as PCs with off-the-shelf PCI cards, Ethernet and TCP/IP networking. All low-level media processing components have adequate software interfaces that can remain the same when implemented in real embedded products.
This paper is dedicated to developing a real-time MEPG-4 parallel encoder on software distributed shared memory systems. Basically, the performance of a MPEG-4 parallel encoder implemented on distributedsystems is ma...
详细信息
B-mode ultrasound tongue imaging is a non-invasive and real-time method for visualizing vocal tract deformation. However, accurately extracting the tongue’s surface contour remains a significant challenge due to the ...
详细信息
ISBN:
(数字)9798350368741
ISBN:
(纸本)9798350368758
B-mode ultrasound tongue imaging is a non-invasive and real-time method for visualizing vocal tract deformation. However, accurately extracting the tongue’s surface contour remains a significant challenge due to the low signal-to-noise ratio (SNR) and prevalent speckle noise in ultrasound images. Traditional supervised learning models often require large labeled datasets, which are labor-intensive to produce and susceptible to noise interference. To address these limitations, we present a novel Counterfactual Ultrasound Anti-Interference Self-Supervised Network (CUAI-SSN), which integrates self-supervised learning (SSL) with counterfactual data augmentation, progressively disentangles confounding factors, ensuring that the model generalizes well across varied ultrasound conditions. Our approach leverages causal reasoning to decouple noise from relevant features, enabling the model to learn robust representations that focus on essential tongue structures. By generating counterfactual image-label pairs, our method introduces alternative, noise-independent scenarios that enhance model training. Furthermore, we introduce attention mechanisms to enhance the network’s ability to capture fine-grained details even in noisy conditions. Extensive experiments on real ultrasound tongue images demonstrate that CUAI-SSN outperforms existing methods, setting a new benchmark for automated contour extraction in ultrasound tongue imaging. Our code is publicly available at https://***/inexhaustible419/CounterfactualultrasoundAI.
The task coalescence problem which occurs during the development stage of a real-timedistributed system is investigated. An algorithm for coalescing task modules, evaluating performance, and searching for the optimal...
详细信息
In this dissertation, four scheduling problems in parallel video processing systems, real-timesystems, networks, and computational grids are considered. Communication delay in a processor network is very critical to ...
In this dissertation, four scheduling problems in parallel video processing systems, real-timesystems, networks, and computational grids are considered. Communication delay in a processor network is very critical to the throughput of a parallel video processing system. The interaction of communication and computation is examined here in a number of contexts. First, a simultaneous distribution and collection method (SD) from the root processor to children processors via a multi- port switch network is proposed. For the proposed mechanism, we analyze the video encoding time and derive a closed-form solution for a multi-port star interconnect network. The results show that the total encoding time is significantly faster than a previous method, parallel Interlaced (PI) [1], based on a bus network. In addition, we achieve scalability in terms of the number of processors because of the concurrent communication. The deleterious impact of communication on computation for computers is one of the factors that affect performance of computers in a network. A scheduling method considering this interference of communication on computation is proposed in detail and analyzed here from the perspective of divisible load theory in heterogeneous net- works and grids. Each processor is divided into two virtual processors with different computing speeds according to the degree of overlapping communication. These two virtual processors are used to obtain one equivalent computing speed. Through this process we obtain the closed-form solution for the processing time considering the effect of communication on computation. In addition, interference aware schedul- ing is extended from sequential distribution to simultaneous distribution and applied to parallel video processing. A concurrent scheduling method considering commu- nication interference (IA-COMP) reflects more realistic and accurate results in this specific application. It will be increasingly common that multiple source nodes ori
The driving force behind Dedos was our desire to meet the demand for dependable distributed control systems and to increase the productivity and quality of application programming for distributed control.
The driving force behind Dedos was our desire to meet the demand for dependable distributed control systems and to increase the productivity and quality of application programming for distributed control.
A number of solutions have been proposed for the problem of mutual exclusion in distributedsystems. Some of these approaches have since been extended to a prioritized environment suitable for real-time applications b...
详细信息
ISBN:
(纸本)0818680970
A number of solutions have been proposed for the problem of mutual exclusion in distributedsystems. Some of these approaches have since been extended to a prioritized environment suitable for real-time applications but impose a higher message passing overhead than out approach. We present a new protocol for prioritized mutual exclusion in a distributed environment. Our approach uses a token-based model working on a logical tree structure, which is dynamically modified. In addition, we utilize a set of local queues whose union would resemble a single global queue. The prioritized algorithm has an average overhead of O(log(n)) message per request for mutual exclusion with a worst-case overhead of O(n), where n represents the number of nodes in the system. Thus, our prioritized algorithm matches the message complexity of the best non-prioritized algorithms while previous prioritized algorithms have a higher message complexity, to our knowledge. Furthermore, the concept of local queues can be incorporated into arbitrary token-based protocols with or without priority support to reduce the amount of messages.
The domain of industrial automation increasingly requires intelligent control, distributedreal-time behaviors, and greater degrees of scalability. This has led to the creation of a new realtime, distributed, object-o...
详细信息
The domain of industrial automation increasingly requires intelligent control, distributedreal-time behaviors, and greater degrees of scalability. This has led to the creation of a new realtime, distributed, object-oriented virtual machine focused on the management of hybrid dynamic (i.e., continuous and discrete event) systems. This paper provides an outline of the virtual machine's programming model and some of its implications on the underlying execution environment.
暂无评论