Multiprocessor systems-on-chips (MPSoCs) are defined as one of the main drivers of the industrial semiconductors revolution. They are good candidates for systems and applications such as multimedia. Memory is becoming...
详细信息
作者:
Sharir, MNYU
COURANT INST MATH SCINEW YORKNY 10012 TEL AVIV UNIV
SCH MATH SCIIL-69978 TEL AVIVISRAEL
We review recent progress in the study of arrangements of surfaces in higher dimensions. This progress involves new and nearly tight bounds on the complexity of lower envelopes, single cells, zones, and other substruc...
详细信息
ISBN:
(纸本)3540602208
We review recent progress in the study of arrangements of surfaces in higher dimensions. This progress involves new and nearly tight bounds on the complexity of lower envelopes, single cells, zones, and other substructures in such arrangements, and the design of efficient algorithms (near optimal in the worst case) for constructing and manipulating these structures. We then present applications of the new results to motion planning, Voronoi diagrams, visibility, and geometric optimization.
Nowadays Computer Vision application are ubiquitous, and their presence on embedded devices is more and more widespread. Heterogeneous embedded systems featuring a clustered manycore accelerator are a very promising t...
详细信息
The proceedings contain 52 papers. The topics discussed include: approximation algorithms and hardness results for packing element-disjoint Steiner trees in planar graphs;approximations for aligned coloring and spilla...
ISBN:
(纸本)3642036848
The proceedings contain 52 papers. The topics discussed include: approximation algorithms and hardness results for packing element-disjoint Steiner trees in planar graphs;approximations for aligned coloring and spillage minimization in interval and chordal graphs;unsplittable flow in paths and trees and column-restricted packing integer programs;truthful mechanisms via greedy iterative packing;resource minimization job scheduling;the power of preemption on unrelated machines and applications to scheduling orders;new hardness results for Diophantine approximation;optimal sherali-adams gaps from pairwise independence;an approximation scheme for terrain guarding;strong parallel repetition theorem for free projection games;random low degree polynomials are hard to approximate;pseudorandom generators and typically- correct derandomization;and tolerant linearity testing and locally testable codes.
Similarly to Maximum Satisfiability (MaxSAT), Minimum Satisfiability (MinSAT) is an optimization extension of the Boolean Satisfiability (SAT) decision problem. In recent years, both problems have been studied in term...
详细信息
Similarly to Maximum Satisfiability (MaxSAT), Minimum Satisfiability (MinSAT) is an optimization extension of the Boolean Satisfiability (SAT) decision problem. In recent years, both problems have been studied in terms of exact and approximation algorithms. In addition, the MaxSAT problem has been characterized in terms of Maximal Satisfiable Subsets (MSSes) and Minimal Correction Subsets (MCSes), as well as Minimal Unsatisfiable Subsets (MUSes) and minimal hitting set dualization. However, and in contrast with MaxSAT, no such characterizations exist for MinSAT. This paper addresses this issue by casting the MinSAT problem in a more general framework. The paper studies Maximal Falsifiability, the problem of computing a subset-maximal set of clauses that can be simultaneously falsified, and shows that MinSAT corresponds to the complement of a largest subset-maximal set of simultaneously falsifiable clauses, i.e. the solution of the Maximum Falsifiability (MaxFalse) problem. Additional contributions of the paper include novel algorithms for Maximum and Maximal Falsifiability, as well as minimal hitting set dualization results for the MaxFalse problem. Moreover, the proposed algorithms are validated on practical instances.
The testing process of industrial strength applications usually takes more time to ensure that all the components are rigorously tested to have failure-free operation upon delivery. This research work proposed a hybri...
详细信息
Artificial neural networks (ANN) and evolutionary algorithms are two relatively young research areas that were subject to a steadily growing interest during the past years. This paper examines the use of different evo...
详细信息
In this paper, the optimal parachute decelerating trajectory of mini-UAVs is studied. The mini-UAV trajectory model of parachute decelerating segment is established. The influences to parachute drag are analyzed and t...
详细信息
In order to improve the accuracy of short-term power load forecasting, an algorithm that simultaneously optimizes SVR parameters and optimizes the selection of input features is proposed. Firstly, the input features a...
详细信息
In this paper we study both the throughput and the energy optimization problem for a distributed system subject to failures that executes a workflow at different speed levels. The application is modeled as a directed ...
详细信息
ISBN:
(纸本)9780769547176
In this paper we study both the throughput and the energy optimization problem for a distributed system subject to failures that executes a workflow at different speed levels. The application is modeled as a directed acyclic graph composed of typed tasks linked by dependency constraints. A continuous flow, or a great number of application instances has to be processed optimizing the collaborative system performance which implies to increase the throughput - the number of application instances processed by time unit - or to decrease the period - the time needed to output one instance of the system. The system is designed as a collaborative platform of distributed machines. Each machine collaborates with others by performing all the instances of at least one task of the DAG. The problem we tackle is to optimize the configuration of the platform. In this article we propose two polynomial algorithms that optimize the two objectives of period (i.e., throughput) and energy minimization and we prove that the proposed algorithms give optimal results. Our optimization approach is hierarchic in the sens that we either minimize the energy consumption for an optimal period or minimize the period for the optimal energy consumption.
暂无评论