Sciweavers

2536 search results - page 321 / 508
» Constructing Optimal Highways
Sort
View
116
Voted
ISQED
2005
IEEE
76views Hardware» more  ISQED 2005»
15 years 9 months ago
Technology Mapping for Reliability Enhancement in Logic Synthesis
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
Zhaojun Wo, Israel Koren
164
Voted
MOBIQUITOUS
2005
IEEE
15 years 9 months ago
Decentralizing Query Processing in Sensor Networks
Recent research has led to the advent of software systems capable of performing query processing in sensor networks. They perform query processing in a sensor network by construct...
Ross Rosemark, Wang-Chien Lee
117
Voted
ISPD
2005
ACM
116views Hardware» more  ISPD 2005»
15 years 9 months ago
A fast algorithm for power grid design
This paper presents an efficient heuristic algorithm to design a power distribution network of a chip by employing a successive partitioning and grid refinement scheme. In an it...
Jaskirat Singh, Sachin S. Sapatnekar
119
Voted
GECCO
2005
Springer
134views Optimization» more  GECCO 2005»
15 years 9 months ago
Tracking extrema in dynamic environments using a coevolutionary agent-based model of genotype edition
Typical applications of evolutionary optimization in static environments involve the approximation of the extrema of functions. For dynamic environments, the interest is not to lo...
Chien-Feng Huang, Luis Mateus Rocha
121
Voted
VMCAI
2005
Springer
15 years 9 months ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard