Sciweavers

577 search results - page 55 / 116
» New interval methods for constrained global optimization
Sort
View
ICCSA
2004
Springer
15 years 11 months ago
Network Probabilistic Connectivity: Optimal Structures
Abstract. The problems of optimizing the network structure by the reliability criteria is discussed. The networks with absolutely reliable nodes and unreliable edges are considered...
Olga K. Rodionova, Alexey S. Rodionov, Hyunseung C...
ICCD
2008
IEEE
175views Hardware» more  ICCD 2008»
16 years 2 months ago
On-chip high performance signaling using passive compensation
— To address the performance limitation brought by the scaling issues of on-chip global wires, a new configuration for global wiring using on-chip lossy transmission lines(T-lin...
Yulei Zhang, Ling Zhang, Akira Tsuchiya, Masanori ...
ESOP
2005
Springer
15 years 11 months ago
Interprocedural Herbrand Equalities
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
Markus Müller-Olm, Helmut Seidl, Bernhard Ste...
NSDI
2007
15 years 7 months ago
S4: Small State and Small Stretch Routing Protocol for Large Wireless Sensor Networks
Routing protocols for wireless sensor networks must address the challenges of reliable packet delivery at increasingly large scale and highly constrained node resources. Attempts ...
Yun Mao, Feng Wang, Lili Qiu, Simon S. Lam, Jonath...
CAD
2005
Springer
15 years 5 months ago
CAD tools for aesthetic engineering
The role of computers and of computer-aided design tools for the creation of geometrical shapes that will be judged primarily by aesthetic ations is reviewed. Examples are the pro...
Carlo H. Séquin