1237 search results - page 190 / 248 » Strictness and Totality Analysis |
164
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
We address the problem of message ordering for reliable multicast communication. End-to-end multicast ordering is useful for ensuring the collective integrity and consistency of d...
136
click to vote
HAPTICS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. The Nine Hole Peg Test (NHPT) is routinely used in clinical environments to evaluate a patient's fine hand control. A physician measures the total time required to i...
156
click to vote
HT
1999
ACM
15 years 10 months ago
1999
ACM
When the utility of a hypertext system depends on the number of users and amount of data in the system, the system exhibits network effects. This paper examines how the core diffe...
155
click to vote
HPCA
1999
IEEE
15 years 10 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
135
click to vote
FOCS
1998
IEEE
15 years 10 months ago
1998
IEEE
We study jitter control in networks with guaranteed quality of service (QoS) from the competitive analysis point of view: we propose on-line algorithms that control jitter and comp...