4305 search results - page 54 / 861 » Analysing Protocol Implementations |
ICNC
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we review a visual approach and propose it for analysing computer-network activity, which is based on the use of unsupervised connectionist neural network models and...
MEMOCODE
2005
IEEE
14 years 2 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
INFOCOM
1999
IEEE
14 years 1 months ago
1999
IEEE
As Internet services rapidly become an essential part of the global infrastructure, it is necessary for the protocols underlying these services to be robust and failsafe. To achiev...
EUROSYS
2009
ACM
14 years 6 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
WMI
2001
13 years 10 months ago
2001
Middleware layers placed between user clients and application servers have been used to perform a variety of functions to support the vision of nomadic computing across varying pla...