31324 search results - page 196 / 6265 » Compare |
HICSS
1998
IEEE
15 years 9 months ago
1998
IEEE
146
click to vote
HPCA
1998
IEEE
15 years 9 months ago
1998
IEEE
A key challenge in achieving high performance on software DSM systems is overcoming their relatively large communication latencies. In this paper, we consider two techniques which...
208
Voted
ICCCN
1998
IEEE
15 years 9 months ago
1998
IEEE
We evaluate several routing protocols for mobile, wireless, ad hoc networks via packet level simulations. The protocol suite includes routing protocols specifically designed for a...
177
Voted
SPIN
1999
Springer
15 years 9 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
121
Voted
TACAS
1999
Springer
15 years 9 months ago
1999
Springer
