the progress in hardware technologies for implementing portable, low power and low cost electronic systems for consumer products has been major the last years. the complexity of embedded systems will further increase ...
详细信息
ISBN:
(纸本)9781424410590
the progress in hardware technologies for implementing portable, low power and low cost electronic systems for consumer products has been major the last years. the complexity of embedded systems will further increase at a rate which is not met by the development of advanced CAD tools for managing the large design space. this will likely lead to increased design problems regarding system implementation, test and verification. In the next 15-20 years, it is likely that the consumer products are based on computing devices which are grouped together in networks including thousands or even millions of nodes. the AE thER project deals with managing the complexity of such systems based on emerging technologies for future applications. this paper presents how the design complexity can be managed at the hardware level by integrating self-adaptive characteristics, and how the trade-off in performance and flexibility can be optimized to fulfill all application requirements while reducing the design complexity.
Despite what the media can have us to think, blockchain has a broad range of applications outside of cryptocurrencies. From health resources to regulation, real estate, and finance, innovation is poised to transform a...
详细信息
We study the problem of energy-balanced data propagation in wireless sensor networks. the energy balance property is crucial for maximizing the time the network is functional, by avoiding early energy depletion of a l...
详细信息
ISBN:
(纸本)9781450308984
We study the problem of energy-balanced data propagation in wireless sensor networks. the energy balance property is crucial for maximizing the time the network is functional, by avoiding early energy depletion of a large portion of sensors. We propose a distributed, adaptive data propagation algorithm that exploits limited, local network density information for achieving energy-balance while at the same time minimizing energy dissipation. We investigate both uniform and heterogeneous sensor placement distributions. By a detailed experimental evaluation and comparison with well-known energy-balanced protocols, we show that our density-based protocol improves energy efficiency significantly while also having better energy balance properties. Furthermore, we compare the performance of our protocol with a centralized, off-line optimum solution derived by a linear program which maximizes the network lifetime and show that it achieves near-optimal performance for uniform sensor deployments.
the proceedings contain 17 papers. the topics discussed include: learning to optimize: balancing two conflict metrics in MB-HTS networks;design and implementation of a bundle protocol unified API;5G new radio non-terr...
ISBN:
(纸本)9781665473774
the proceedings contain 17 papers. the topics discussed include: learning to optimize: balancing two conflict metrics in MB-HTS networks;design and implementation of a bundle protocol unified API;5G new radio non-terrestrial networks multiuser precoding;frame synchronization algorithms for satellite Internet of things scenarios;distributed SDN-based load-balanced routing for low earth orbit satellite constellation networks;timing alignment of distributed gateways: theoretical analysis and experimental demonstration;co-existence of terrestrial and non-terrestrial networks on adjacent frequency bands;rethinking LEO constellations routing withthe unsplittable multi-commodity flows problem;joint graph-based user scheduling and beamforming in LEO-MIMO satellite communication systems;network selection and computation offloading in non-terrestrial network edge computing environments for vehicular applications;and satellite beam densification for high-demand areas.
Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path...
详细信息
ISBN:
(纸本)9781450342391
Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path, inconsistency analysis in distributed databases, and verification methods that use incomplete anytime algorithms, such as bounded model checking. In this paper, we present multi-valued ATL* (mv-ATL(less than or similar to)*), an expressive logic to specify strategic abilities in multi-agent systems. We show that our general method for model-independent translation from multi-valued to two-valued model checking cannot be directly extended to mv-ATL(less than or similar to)*. We also propose two ways of overcoming the problem. Firstly, we identify constraints on mv-ATL(less than or similar to)* formulas for which the model-independent translation can be suitably adapted. Secondly, we present a model-dependent reduction that can be applied to all formulas of mv-ATL(less than or similar to)*. We show that, in all cases, the complexity of verification increases only polynomially when new truth values are added to the evaluation domain. We also consider several examples that show possible applications of mv-ATL(less than or similar to)* and motivate its use for model checking MAS.
this three volume book contains the proceedings of 5thinternationalconference on Advanced computing, Networking and Informatics (ICACNI 2017). the book focuses on the recent advancement of the broad areas of advance...
ISBN:
(数字)9789811086366
ISBN:
(纸本)9789811086359
this three volume book contains the proceedings of 5thinternationalconference on Advanced computing, Networking and Informatics (ICACNI 2017). the book focuses on the recent advancement of the broad areas of advanced computing, networking and informatics. It also includes novel approaches devised by researchers from across the globe. this book brings together academic scientists, professors, research scholars and students to share and disseminate information on knowledge and scientific research works related to computing, networking, and informatics to discuss the practical challenges encountered and the solutions adopted. the book also promotes translation of basic research into applied investigation and convert applied investigation into practice.
Numerical algorithms on parallel systems built upon modern multicore processors are facing two challenging obstacles that keep realistic applications from reaching the theoretically available compute performance. Firs...
详细信息
ISBN:
(纸本)9783642038686
Numerical algorithms on parallel systems built upon modern multicore processors are facing two challenging obstacles that keep realistic applications from reaching the theoretically available compute performance. First;the parallelization on several system levels has to be exploited to the full extent. Second, provision of data to the compute cores needs to be adapted to the constraints of a hardware-controlled nested cache hierarchy with shared resources. In this paper we analyze dedicated optimization techniques on modern multicore systems for stencil kernels on regular three-dimensional grids. We combine various methods like a compressed grid algorithm with finite shifts in each time step and loop skewing into an optimized parallel in-place stencil implementation of the three-dimensional Laplacian operator. In that context, memory requirements are reduced by a factor of approximately two while considerable performance gains are observed on modern Intel and AMD based multicore systems.
Forest vehicle routing is an important step in optimization of forest transportation system to minimize the total cost. To perform this work, we propose a mathematical model and use two metaheuristics approaches, a re...
详细信息
ISBN:
(纸本)9782960053241
Forest vehicle routing is an important step in optimization of forest transportation system to minimize the total cost. To perform this work, we propose a mathematical model and use two metaheuristics approaches, a reactive tabu search and an extended great deluge. the objective is to minimize the total cost and respecting the time window of all customers which is sometime important in this field. Finally, the experimental results obtained withthe two metaheuristics approaches of the named vehicle routing problem are showed, discussed and compared to identify the best solution.
through a review of literature and experimentation with enabling technologies, it was concluded that the Access Grid (an open-source, videoconferencing platform) held significant potential to facilitate the sharing of...
详细信息
ISBN:
(纸本)9789898111814
through a review of literature and experimentation with enabling technologies, it was concluded that the Access Grid (an open-source, videoconferencing platform) held significant potential to facilitate the sharing of audiovisual material in the area of collaborative industrial design;however, it would have to be extended to allow for high-definition visualization and remote desktop control. As a result, researchers in Canada and Germany developed new tools to accomplish this, and utilized them to remotely manipulate industrial designs in real-time and with very low latency. Additionally, automated captioning and translation services were developed to better facilitate cross-cultural business-to-business collaboration. Future research directions for this project involve the continued prototyping of these tools, leading either to their deployment within industry or further improvement within the Access Grid Community.
Withthe expansion in data volumes, disk arrays require high speed and large volumes to adapt the cloud computing environment. Solid State Drives (SSDs) now have the trend to substitute the traditional external storag...
详细信息
ISBN:
(纸本)9781538637906
Withthe expansion in data volumes, disk arrays require high speed and large volumes to adapt the cloud computing environment. Solid State Drives (SSDs) now have the trend to substitute the traditional external storage because of their better performance than Hard Disk Drives (HDDs), so they are proper to be utilized in disk arrays. However, traditional I/O scheduler in RAID systems use uniform I/O distribution to balance the workload, which is not suitable for SSD-based RAID. It is because that typical SSD has asymmetric performance on read/write operations, which can result in unbalanced I/O accesses in an SSD array. Furthermore, an even I/O distribution can have an uneven write distribution, which leads to unbalanced lifetime of various SSDs and affects the lifetime of SSD arrays significantly. Obviously, this problem cannot be well addressed through internal wear leveling mechanisms in SSDs. To address the above problems, in this paper, we propose an effective global I/O scheduler called "EGS", which can optimize the I/O performance and prolong the lifetime of SSD-based RAID-5 arrays. According to different access time of read/write operations, we separate the read and write operations to give different weights, and make each disk has a same amount of window (consists of several read/write U0s) simultaneously. On the other hand, to avoid unbalanced write distribution, we design an additional policy to prolong SSDs' lifetime. To demonstrate the effectiveness of EGS, we conduct several simulations via Disksim. the results show that, compared to traditional I/O scheduling algorithms, EGS saves average response time by up to 40%, and increases the lifetime of SSD array by approximately 45%.
暂无评论