11212 search results - page 1861 / 2243 » Semi-persistent Data Structures |
139
Voted
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract— It has been claimed that multicast state cannot be aggregated. In this paper, we will debunk this myth and present a simple technique that can be used to aggregate mult...
165
click to vote
TPHOL
2000
IEEE
15 years 9 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
130
click to vote
ITICSE
2000
ACM
15 years 9 months ago
2000
ACM
We describe a Java toolkit that is designed to support the creation of powerful and extensible GUI interfaces during the first year computer science course. The goals of this tool...
221
click to vote
MOBIHOC
2000
ACM
15 years 9 months ago
2000
ACM
—An ad hoc network is a multi-hop wireless network formed by a collection of mobile nodes without the intervention of fixed infrastructure. Limited bandwidth and a high degree o...
123
Voted
SC
2000
ACM
15 years 9 months ago
2000
ACM
In this paper, we present and evaluate two techniques that use different styles of hardware support to provide data structure specific processor cache information. In one approach...