11561 search results - page 355 / 2313 » Open Distributed Processing |
220
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Spectrum management has been identified as a crucial step towards enabling the technology of the cognitive radio network (CRN). Most of the current works dealing with spectrum ma...
165
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
157
click to vote
FORTE
1997
1997
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
15 years 8 months ago
In this paper, we propose an implementation method for specifications of distributed systems described in a subclass of LOTOS where operators such as choice and disabling can be ...
182
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
Classical morphology is built up in such a way that all operators occur in pairs, e.g., dilation and erosion, opening and closing, etc. This phenomenon, which is a straightforward...
199
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...