3958 search results - page 590 / 792 » Dynamic Graph Algorithms with Applications |
150
click to vote
ICCSA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we propose a novel hierarchical routing protocol for a large wireless sensor network (WSN) wherein sensors are arranged into a multi-layer architecture wit...
167
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Function evaluation is at the core of many compute-intensive applications which perform well on reconfigurable platforms. Yet, in order to implement function evaluation ...
210
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
222
click to vote
FSTTCS
1993
Springer
15 years 10 months ago
1993
Springer
We investigate the complexity and approximability of some location problems when two distance values are specified for each pair of potential sites. These problems involve the se...
165
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...