1465 search results - page 129 / 293 » Making the Correct Mistakes |
157
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
161
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
190
click to vote
CIIT
2007
15 years 7 months ago
2007
The cooperation of wireless nodes in ad hoc networks is crucial to ensure the proper working of the whole network due to the absence of infrastructure. Misbehaving nodes can drama...
162
click to vote
LREC
2010
15 years 7 months ago
2010
The LTSE-VAD is one of the best known algorithms for voice activity detection. In this paper we present a modified version of this algorithm, that makes the VAD decision not takin...
189
click to vote
SDL
2001
15 years 7 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...