Sciweavers

4894 search results - page 676 / 979
» Dynamic Abstraction Planning
Sort
View
QOSIP
2005
Springer
16 years 7 days ago
Optimizing Routing Decisions Under Inaccurate Network State Information
Abstract. Maintaining accurate network state information in the Traffic Engineering Databases of each node along a network is extremely difficult. The BYPASS Based Routing (BBR) me...
Xavier Masip-Bruin, Sergio Sánchez-Ló...
SPIN
2005
Springer
16 years 7 days ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina
TEAA
2005
Springer
105views Hardware» more  TEAA 2005»
16 years 7 days ago
An Efficient Zoning Technique for Multi-dimensional Access Methods
Abstract. In emerging database applications that deal with large sets of multidimensional data, the performance of the query system significantly depends on the performance of its ...
Byunggu Yu, Seon Ho Kim
WAC
2005
Springer
156views Communications» more  WAC 2005»
16 years 7 days ago
Adaptive Scheduling in Wireless Sensor Networks
Abstract. As the number of Wireless Sensor Networks (WSNs) applications is anticipated to grow substantially in coming years, new and radical strategies for effectively managing s...
Antonio G. Ruzzelli, Michael J. O'Grady, Gregory M...
ASPDAC
2004
ACM
107views Hardware» more  ASPDAC 2004»
16 years 5 days ago
Interconnect capacitance estimation for FPGAs
Abstract—The dynamic power consumed by a digital CMOS circuit is directly proportional to capacitance. In this paper, we consider pre-routing capacitance estimation for FPGAs and...
Jason Helge Anderson, Farid N. Najm