Large Scale Linear Programming Techniques

Author(s):  
R. J-B. Wets
Author(s):  
Akhil Langer ◽  
Ehsan Totoni ◽  
Udatta Palekar ◽  
Laxmikant V Kalé

Operating chips at high energy efficiency is one of the major challenges for modern large-scale supercomputers. Low-voltage operation of transistors increases the energy efficiency but leads to frequency and power variation across cores on the same chip. Finding energy-optimal configurations for such chips is a hard problem. In this work, we study how integer linear programming techniques can be used to obtain energy-efficient configurations of chips that have heterogeneous cores. Our proposed methodologies give optimal configurations as compared with competent but sub-optimal heuristics while having negligible timing overhead. The proposed ParSearch method gives up to 13.2% and 7% savings in energy while causing only 2% increase in execution time of two HPC applications: miniMD and Jacobi, respectively. Our results show that integer linear programming can be a very powerful online method to obtain energy-optimal configurations.


1994 ◽  
Vol 45 (5) ◽  
pp. 489-496 ◽  
Author(s):  
L. R. Fletcher ◽  
P. M. Soden ◽  
A. S. I. Zinober

Author(s):  
Naima El Ghandour ◽  
Moussa Benaissa ◽  
Yahia Lebbah

The Semantic Web uses ontologies to cope with the data heterogeneity problem. However, ontologies become themselves heterogeneous; this heterogeneity may occur at the syntactic, terminological, conceptual, and semantic levels. To solve this problem, alignments between entities of ontologies must be identified. This process is called ontology matching. In this paper, the authors propose a new method to extract alignment with multiple cardinalities using integer linear programming techniques. The authors conducted a series of experiments and compared them with currently used methods. The obtained results show the efficiency of the proposed method.


2014 ◽  
Vol 83 ◽  
pp. 104-115 ◽  
Author(s):  
Jimena Di Maggio ◽  
Cecilia Paulo ◽  
Vanina Estrada ◽  
Nora Perotti ◽  
Juan C. Diaz Ricci ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document