1162 search results - page 47 / 233 » Minimum Cycle Bases in Graphs Algorithms and Applications |
136
Voted
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— The research field of partitioning for electronic systems started to attract significant attention of scientists about fifteen years ago. Gaining ever more importance due to...
132
click to vote
FLAIRS
2003
15 years 5 months ago
2003
The goal of the MavHome smart home project is to build an intelligent home environment that is aware of its inhabitants and their activities. Such a home is designed to provide ma...
117
Voted
ISAAC
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We first consider adaptive serial diagnosis for multiprocessor systems. We present an adaptive diagnosis algorithm using N + t − 1 tests, which is the smallest possibl...
150
click to vote
ISCC
1999
IEEE
15 years 8 months ago
1999
IEEE
Due to the wide range of services being supported, telecommunications networks are loaded with massive quantities of information. This stimulates extra concern for network surviva...
114
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...