Sciweavers

5506 search results - page 688 / 1102
» Minimal Logic Programs
Sort
View
CCE
2008
15 years 6 months ago
Optimal synthesis of heat exchanger networks involving isothermal process streams
This paper proposes a new MINLP model for heat exchanger network synthesis that includes streams with phase change. The model considers every possible combination of process strea...
José María Ponce-Ortega, Arturo Jim&...
CONSTRAINTS
2008
70views more  CONSTRAINTS 2008»
15 years 6 months ago
Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation
We present a novel approach to automatically reformulating constraints defined as tables of allowed assignments to variables. Constraints of this form are common in a variety of se...
Hadrien Cambazard, Barry O'Sullivan
JSW
2007
96views more  JSW 2007»
15 years 6 months ago
IP-based Clustering for Peer-to-Peer Overlays
— The efficiency of overlay networks built on top of the IP network is often threatened by the mismatch between the topologies of the overlay and the underlying IP network, resu...
Piotr Karwaczynski, Jaka Mocnik
TVLSI
2002
93views more  TVLSI 2002»
15 years 6 months ago
Simultaneous switching noise in on-chip CMOS power distribution networks
Simultaneous switching noise (SSN) has become an important issue in the design of the internal on-chip power distribution networks in current very large scale integration/ultra lar...
Kevin T. Tang, Eby G. Friedman
CEE
2010
97views more  CEE 2010»
15 years 5 months ago
A novel implementation of radix-4 floating-point division/square-root using comparison multiples
A new implementation for minimally redundant radix-4 floating-point SRT division/square-root (division/sqrt) with the recurrence in the signed-digit format is introduced. The imp...
Hooman Nikmehr, Braden Phillips, Cheng-Chew Lim