Filters








572,203 Hits in 4.9 sec

Program Optimizations and Transformations in Calculation Form [chapter]

Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi
2006 Lecture Notes in Computer Science  
parallelization transformation, can be concisely reformalized in calculational form, and show that program transformation in calculational forms is of higher modularity and more suitable for efficient  ...  In this tutorial, we will explain the basic idea of program calculation, demonstrate that many program optimizations and transformations, such as the optimization technique known as loop fusion and the  ...  We believe that more optimizations and transformations can be formalized in calculational form to gain the advantages discussed above, and we are looking forward to see more practical applications.  ... 
doi:10.1007/11877028_5 fatcat:yg2ftladibbstbmu4jhzwfts2a

Design Optimization with Geometric Programming for Core Type Large Power Transformers

Tamás Orosz, István Vajda
2014 Electrical, Control and Communication Engineering  
This paper considers the optimization for three winding, three phase, core-form power transformers.  ...  This paper presents the implemented transformer cost optimization model and the optimization results.  ...  The first computer program for transformer optimization made by P.A. Abetti et al, in the General Electric corporation's laboratory in 1953 [1] , [2] , [3] and [5] .  ... 
doi:10.2478/ecce-2014-0012 fatcat:cp5vwvarp5ftjjmwfd4i26wzia

An Exponential Approximation Algorithm in Linear Programming

Victor Gordunovsky
2014 Procedia Computer Science  
The algorithm determines a non-iteration procedure for computing the optimal solution of a linear programming problem.  ...  We consider approximating system of linear equations to determine the optimal basis variables of the linear programming problem. The usefulness of the algorithm is illustrated by a numerical example.  ...  of linear programming problems (1) with proofs and examples are described in details in the publications 1,2 .  ... 
doi:10.1016/j.procs.2014.05.313 fatcat:u6tyk4strbfx3htzas2pqtapy4

Transforming flow information during code optimization for timing analysis

Raimund Kirner, Peter Puschner, Adrian Prantl
2010 Real-time systems  
To obtain a mapping that is safe and accurate, flow information is transformed in parallel to code transformations performed by an optimizing compiler.  ...  In general WCET analysis needs additional control-flow information, which may be provided manually by the user or calculated automatically by program analysis.  ...  within the research project "Sustaining Entire Code-Coverage on Code Optimization" (SECCO).  ... 
doi:10.1007/s11241-010-9091-8 fatcat:2s2aiyp5prgrdaqstvpn5iw334

Combined loop transformation and hierarchy allocation for data reuse optimization

Jason Cong, Peng Zhang, Yi Zou
2011 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)  
Loop transformation for data locality and memory hierarchy allocation are two major steps in data reuse optimization flow. But they were carried out independently.  ...  This paper presents a combined approach which optimizes loop transformation and memory hierarchy allocation simultaneously to achieve global optimal results on external memory bandwidth and on-chip data  ...  The allocation optimization can be expressed in a linear programming form as Problem 4.PROBLEM 4.  ... 
doi:10.1109/iccad.2011.6105324 dblp:conf/iccad/CongZZ11 fatcat:4gmi6ouh5vgzdljdkk5nddggee

Optimal power and resource-intensive process design under uncertainty

T.V. Lapteva, K.T. Nguen, S.A. Laptev
2019 IOP Conference Series: Earth and Environment  
A few approaches to account for uncertainty in optimization have been proposed [1], such as stochastic programming, robust optimization, approximate dynamic programming, and chanceconstrained optimization  ...  Accounting for the uncertainty in the criterion of the stochastic programming problem is often presented in the form of a mathematical expectation of some function.  ...  We will use linear in the parameters  functions , (15) and expressions for the q r z we can write TSOPSPC in the form of the deterministic nonlinear programming International Scientific and Practical  ... 
doi:10.1088/1755-1315/288/1/012101 fatcat:sxzlhacfojgdpjvansifk3fgdm

Automatic accurate time-bound analysis for high-level languages [chapter]

Yanhong A. Liu, Gustavo Gomez
1998 Lecture Notes in Computer Science  
We have implemented this approach and performed a number of experiments for analyzing Scheme programs. The measured worst-case times are closely bounded by the calculated bounds.  ...  The approach consists of transformations for building time-bound functions in the presence of partially known input structures, symbolic evaluation of the time-bound function based on input parameters,  ...  He assumed constant 1 for primitive parameters and relied on optimizations to obtain closed forms in terms of input parameters, but again closed forms can not be obtained for all time-bound functions.  ... 
doi:10.1007/bfb0057778 fatcat:bkua2vycozgy7k3plktvtspsba

Transformation of Meta-Information by Abstract Co-interpretation [chapter]

Raimund Kirner, Peter Puschner
2003 Lecture Notes in Computer Science  
In this context, data values are programs to be transformed by the compiler and meta-information is additional flow information required for the calculation of the WCET.  ...  The concept presented in this paper forms the foundation to construct such transformations of flow information for WCET analysis systematically.  ...  The CFG transformation for branch optimization is shown in figure 5 .  ... 
doi:10.1007/978-3-540-39920-9_21 fatcat:z62fn7tzmfgutjjzoytgwb6v6q

Analysis of the Green Power Transition on Optimal Power Transformer Designs

Tamás Orosz, Péter Sőrés, Dávid Raisz, Ádám Z. Tamus
2015 Periodica Polytechnica Electrical Engineering and Computer Science  
The main intent of the power transformer design optimization in the tendering stage is to find those mechanical and electrical parameters, which minimize the machines' total cost of the ownership by reducing  ...  To find the optimal transformer design parameters and make them harmonize with the economic constraints is a labour intensive task, because these quantities are linked with complex trade-off and physical  ...  Conclusion In this paper the calculation of transformer loss capitalization is presented and used for choosing the optimal transformer design.  ... 
doi:10.3311/ppee.8583 fatcat:pemkcfpnorcfrplzqhlxu3nkwa

A Reed Muller-based approach for optimization of general binary quantum multiplexers [article]

Kevin Jin, Tahsin Saffat, Marek Perkowski
2019 arXiv   pre-print
greatly reduce the gate cost of quantum multiplexers in both randomly generated data and FPRM benchmarks.  ...  Thus, the new forms can be used to optimize quantum circuits with arbitrary target unitary matrices, rather than only multi-controlled NOT gates such as CNOT, CCNOT, and their extensions.  ...  Pseudocode for the Program A program was written to automate the process of generating FPQF butterflies and calculating costs of the resulting circuits.  ... 
arXiv:1902.06229v1 fatcat:daznur6svrbxbgfjyqeulqma44

Page 2295 of American Society of Civil Engineers. Collected Journals Vol. 116, Issue ST8 [page]

1990 American Society of Civil Engineers. Collected Journals  
properties that are constants in a member and have polynomial forms in sectional sizes; and C,,, C,,, and C,,; = constants calculated by the Gauss integral.  ...  The procedure proceeds as follows: A linear program (LP) is formed from the original geometric programming (GP) through changing the GP into a single term by the Duffin condensational formula and then  ... 

Comment on "A Novel Method for Solving the Fully Neutrosophic Linear Programming Problems: Suggested Modifications"

Mohamed Abdel-Basset, Mai Mohamed, Florentin Smarandache
2020 Zenodo  
Consequently, the reader must consider only the modifications which are presented in this research.  ...  Conflict of interest We declare that we do not have any commercial or associative interest that represents a conflict of interest in connection with the work submitted.  ...  [3] illustrated that the optimal value of the NLPP is calculated using the optimal solution obtained in Step 5 as follows: then the optimal value of the NLPP can also be written as ̃≈ (522.93,610.02,693,780.09  ... 
doi:10.5281/zenodo.3659265 fatcat:alyymnm2xzfftfazbuntidlhsm

Comment on "A Novel Method for Solving the Fully Neutrosophic Linear Programming Problems: Suggested Modifications"

Mohamed Abdel-Basset, Mai Mohamed, Florentin Smarandache
2020 Zenodo  
Consequently, the reader must consider only the modifications which are presented in this research.  ...  Conflict of interest We declare that we do not have any commercial or associative interest that represents a conflict of interest in connection with the work submitted.  ...  [3] illustrated that the optimal value of the NLPP is calculated using the optimal solution obtained in Step 5 as follows: then the optimal value of the NLPP can also be written as ̃≈ (522.93,610.02,693,780.09  ... 
doi:10.5281/zenodo.3659264 fatcat:kvojozdm25hljd3kqspigspavy

FEM Based Preliminary Design Optimization in Case of Large Power Transformers

Tamás Orosz, David Pánek, Pavel Karban
2020 Applied Sciences  
In tendering, the price calculation is based on the preliminary design of the transformer.  ...  However, the knowledge of the exact conductor dimensions is essential to calculate the thermal behaviour of the windings and make a more accurate stray loss calculation.  ...  Geometric Programming A geometric program (GP) is a type of the non-linear mathematical optimization problem, characterized by the objective and constraint functions given in a special form.  ... 
doi:10.3390/app10041361 fatcat:7vnx3gf2ergetpjrjwazrfszzm

Software complex for modeling and optimization of program implementation on parallel calculation systems

Valery Bakanov
2018 Open Computer Science  
The built-in script Lua programming language is used to increase the flexibility of modeling and optimization capabilities.  ...  To solve this problem, a software environment (software stand) has been developed that allows implementing different strategies for building a framework for parallel programs and assessing the quality  ...  The second optimization option involves transforming the LPF form to execute the algorithm on the given eld (number, rst of all) of parallel calculators (which are computationally heterogeneous) while  ... 
doi:10.1515/comp-2018-0019 fatcat:nmhaxukdgjeovnuulxmgvjiuci
« Previous Showing results 1 — 15 out of 572,203 results