Sciweavers

6102 search results - page 379 / 1221
» Generating Optimizing Specializers
Sort
View
CGO
2004
IEEE
15 years 7 months ago
Optimizing Translation Out of SSA Using Renaming Constraints
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...
Fabrice Rastello, François de Ferriè...
DATE
2004
IEEE
123views Hardware» more  DATE 2004»
15 years 7 months ago
Synthesis and Optimization of Threshold Logic Networks with Application to Nanotechnologies
We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions. The main purpose of this work is to bridge the wide gap that currentl...
Rui Zhang, Pallav Gupta, Lin Zhong, Niraj K. Jha
VLDB
1987
ACM
104views Database» more  VLDB 1987»
15 years 7 months ago
Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs
Severalmethodshavebeenproposedto compile recursive Datalog programs. The most well-known perform a rewriting of rules using MAGIC or PROBLEM predicates in order to push selections...
Georges Gardarin
132
Voted
WSC
2008
15 years 6 months ago
Simulation optimization for industrial scheduling using hybrid genetic representation
Simulation modeling has the capability to represent complex real-world systems in details and therefore it is suitable to develop simulation models for generating detailed operati...
Marcus Andersson, Amos Ng, Henrik Grimm
WSC
2008
15 years 6 months ago
Optimization of Multi-Project Environment (OPMPE)
Construction business is project oriented and that is why every construction organization is dependent on projects. Typically they undertake multiple projects with limited multipl...
Lokman Hossain, Janaka Ruwanpura