Trace data usually contains information about the underlying system execution such as running processes, memory usage, disk and file accesses and other runtime information. However, this raw data is not what the syste...
详细信息
Trace data usually contains information about the underlying system execution such as running processes, memory usage, disk and file accesses and other runtime information. However, this raw data is not what the system administrators are looking for. For instance, in a multi-core system, the system administrator may need to know what is the utilization of each core or even what are the performance bottlenecks of the system. This analytical information is not available directly from the trace data and, in fact, is hidden behind the mountains of trace raw data. The trace data needs to be analyzed to extract the valuable information. Thus, efficient trace analysis tools and techniques need to be developed to handle large trace data and extract and provide useful and analytical information. In this paper, we propose a stateful trace analysis and abstraction approach that shares the computation and storage of the common information between parallel abstraction processes. This technique leads to relatively simple patterns compared to other pattern-based techniques. Furthermore, since it computes and stores the common state once, shared between related processes, it has a better computation and storage efficiency than stateless methods. The architecture of the method, its applications, and evaluation are detailed in this paper.
Quality of service (QoS) generally represents the performance of packet networks. Quality of experience (QoE) defines the quality perceived by end-users of applications running on these networks. This paper relates th...
详细信息
In this paper, we propose an approach for designing and implementing a middleware for data dissemination in Wireless Sensor Networks (WSNs). The designing aspect considers three perspectives: device, network and appli...
详细信息
In this paper, we propose a global model for WiMAX networks planning. This model consists in solving, in one shot, the network planning problem without dividing it in several subproblems. The objective of the model is...
详细信息
In this paper, we propose a global model for WiMAX networks planning. This model consists in solving, in one shot, the network planning problem without dividing it in several subproblems. The objective of the model is to minimize the cost of the network while maximizing its survivability. The results show that the proposed model performs up to 40% better than the sequential one, which consists on solving the subproblems sequentially.
Considering the introduction of new internet protocol (IP) services, such as the high definition television (HDTV) over IP (IPTV) service, new network architectures and technologies should be introduced for the access...
详细信息
Considering the introduction of new internet protocol (IP) services, such as the high definition television (HDTV) over IP (IPTV) service, new network architectures and technologies should be introduced for the access network to improve the access rate. Actually, the best solution is to use the fiber-to-the-home (FTTH) architecture. However, this solution is still costly and cannot be widely deployed today. An interesting tradeoff is the fiber-to-the-node (FTTN) architecture, which reduces the copper portion of the access network. In this paper, we propose to tackle the FTTN network planning problem with the objective of minimizing the cost of the access network. An integer mathematical programming model is proposed for this problem. Next, a heuristic algorithm based on the tabu search principle is proposed to find “good” feasible solutions within a reasonable amount of computational time. Finally, numerical results are presented and analyzed.
In this paper, we tackle the wireless sensor network (WSN) planning problem considering coverage, target localization and network connectivity constraints. First, a combinatorial optimization model is proposed for thi...
详细信息
In this paper, we tackle the wireless sensor network (WSN) planning problem considering coverage, target localization and network connectivity constraints. First, a combinatorial optimization model is proposed for this problem and next, a starting greedy heuristic is proposed followed by a tabu search metaheuristic to find “good” feasible solutions rapidly. The solutions are compared to the optimal solutions found using CPLEX. The test results show the proposed approach finds good quality solutions.
In avionics, the size and complexity of softwareintensive systems increased considerably during recent years. Besides the size and the complexity, certification constraints also had negative impact on the cost and sch...
详细信息
In this paper a magnetophoretic chamber design is presented as a tool to evaluate the deflection patterns of magnetic microcarriers compatible with Magnetic Resonance Navigation (MRN) for drug delivery applications. S...
详细信息
In this paper a magnetophoretic chamber design is presented as a tool to evaluate the deflection patterns of magnetic microcarriers compatible with Magnetic Resonance Navigation (MRN) for drug delivery applications. Such micro-entities with different magnetic characteristics and subject to the force of a fluid flow show different deflection patterns while the effects of aggregations under different fluid flow velocities are critical to estimate the most adequate MRN strategy. Preliminary results indicate that the system and the corresponding methods presented here could become a practical tool to characterize the magnetophoretic behaviors of such microcarriers intended for navigation in the vascular network.
In avionics, the size and complexity of software-intensive systems increased considerably during recent years. Besides the size and the complexity, certification constraints also had negative impact on the cost and sc...
详细信息
In avionics, the size and complexity of software-intensive systems increased considerably during recent years. Besides the size and the complexity, certification constraints also had negative impact on the cost and schedule of avionics software projects. Model-Driven Development (MDD) and software Product Lines engineering (SPLE) offer an opportunity to improve the avionics software development process, reduce the cost and improve the time to market. Complexity of avionics software and certification constraints pose several challenges to SPLE adoption. software Product Lines (SPL) framework must provide bi-directional traceability between requirements and low level software assets (e.g. code and test), facilitate production of certification deliverables, allow validation on the target platform and provide code coverage. Also, SPL offer a scheme to manage the complexity of avionics software systems through variability management tools.
Locating features in software is an important activity for program comprehension and to support software reengineering. We present a novel automated approach to locate features in source code based on static analysis ...
详细信息
ISBN:
(纸本)9781467310673
Locating features in software is an important activity for program comprehension and to support software reengineering. We present a novel automated approach to locate features in source code based on static analysis and model checking. The technique is aimed at dynamically configured software, which is software in which the activation of specific features is controlled by configuration variables. The approach is evaluated on an industrial avionics system.
暂无评论