1246 search results - page 155 / 250 » Recursive Timed Automata |
136
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— We consider a network of spatially distributed sensors deployed to track the intensity of a diffusing source whose location is fixed, but unknown. The sensors make discrete ti...
114
Voted
DFT
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we present two novel methodologies for testing the interconnect fabrics of network-on-chip (NoC) based chips. Both use the concept of recursive testing, with differ...
217
click to vote
KGC
1997
Springer
15 years 9 months ago
1997
Springer
The tree isomorphism problem is the problem of determining whether two trees are isomorphic. The tree canonization problem is the problem of producing a canonical tree isomorphic t...
137
click to vote
FCT
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. We present algorithms for maintaining shortest path information in dynamic outerplanar digraphs with sublogarithmic query time. By choosing appropriate parameters we achi...
126
Voted
ENTCS
2007
15 years 5 months ago
2007
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations usi...