2192 search results - page 282 / 439 » Plumbing and Other Utilities |
FMCAD
2006
Springer
14 years 2 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
GECCO
2010
Springer
14 years 2 months ago
2010
Springer
This paper reports about the application of a new variant of multiobjective Mixed-Integer Evolution Strategy to a warehouse design optimization problem. The algorithm is able to d...
ASPDAC
2000
ACM
14 years 1 months ago
2000
ACM
Quality of service (QoS) has been an important topic of many research communities. Combined with an advanced and retargetable compiler, variability of applicationsspecific very lar...
ICS
2000
Tsinghua U.
14 years 1 months ago
2000
Tsinghua U.
The Midimew network is an excellent contender for implementing the communication subsystem of a high performance computer. This network is an optimal 2D topology in the sense ther...
KES
2000
Springer
14 years 1 months ago
2000
Springer
: ActiveCube is a bi-directional user interface that supports a person's creative work through constructing and interacting with 3-D virtual objects by using actual physical c...