4693 search results - page 734 / 939 » Verifying Hybrid Systems |
154
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
The Domain Name System (DNS) is the world’s largest distributed computing system that performs the key function of translating user-friendly domain names to IP addresses through...
158
click to vote
ICAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Detection and diagnosis of faults in a large-scale distributed system is a formidable task. Interest in monitoring and using traces of user requests for fault detection has been o...
115
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
—A novel clock and data recovery architecture with adaptive loop gain is proposed for spread spectrum SerDes applications such as the Serial AT Attachment. The proposed design co...
145
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
142
click to vote
IPTPS
2005
Springer
15 years 11 months ago
2005
Springer
Most earlier studies of DHTs under churn have either depended on simulations as the primary investigation tool, or on establishing bounds for DHTs to function. In this paper, we pr...