3779 search results - page 28 / 756 » Linear Consistency Testing |
ACSC
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper describes the comparison between homeless and home-based Lazy Release Consistency (LRC) protocols which are used to implement Distributed Shared Memory (DSM) in cluster...
IFIP
2009
Springer
14 years 9 months ago
2009
Springer
Traffic repositories with TCP/IP header information are very important for network analysis. Researchers often assume that such repositories reliably represent all traffic that has...
TOPNOC
2008
14 years 11 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
MICCAI
2003
Springer
16 years 19 days ago
2003
Springer
A robust and automatic system has been developed to detect the visual axis and extract important feature landmarks from slit-lamp photographs, and objectively grade the severity of...
DAM
1998
14 years 11 months ago
1998
We first consider so-called (1,+s)-branching programs in which along every consistent path at most s variables are tested more than once. We prove that any such program computing...