Sciweavers

753 search results - page 18 / 151
» Fragments-based Model Reduction: Some Case Studies
Sort
View
GECCO
2006
Springer
265views Optimization» more  GECCO 2006»
14 years 13 days ago
Cutting stock waste reduction using genetic algorithms
A new model for the One-dimensional Cutting Stock problem using Genetic Algorithms (GA) is developed to optimize construction steel bars waste. One-dimensional construction stocks...
Yaser M. A. Khalifa, O. Salem, A. Shahin
CPHYSICS
2007
93views more  CPHYSICS 2007»
13 years 8 months ago
Convergence rate of dimension reduction in Bose-Einstein condensates
In this paper, we study dimension reduction of the three-dimensional (3D) Gross–Pitaevskii equation (GPE) modeling Bose–Einstein condensation under different limiting interact...
Weizhu Bao, Yunyi Ge, Dieter Jaksch, Peter A. Mark...
ASE
2004
167views more  ASE 2004»
13 years 8 months ago
Cluster-Based Partial-Order Reduction
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
Twan Basten, Dragan Bosnacki, Marc Geilen
CORR
2010
Springer
88views Education» more  CORR 2010»
13 years 9 months ago
On the Proximity Factors of Lattice Reduction-Aided Decoding
Lattice reduction-aided decoding enables significant complexity saving and near-optimum performance in multi-input multi-output (MIMO) communications. However, its remarkable perfo...
Cong Ling
ISVLSI
2006
IEEE
82views VLSI» more  ISVLSI 2006»
14 years 2 months ago
Reliability-Aware SOC Voltage Islands Partition and Floorplan
— Based on the proposed reliability characterization model, reliability-bounded low-power design as a methodology to balance reliability enhancement and power reduction in chip d...
Shengqi Yang, Wayne Wolf, Narayanan Vijaykrishnan,...