642 search results - page 85 / 129 » Once Upon a Type |
163
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
183
click to vote
OOPSLA
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we present the Generic Graph Component Library (GGCL), a generic programming framework for graph data structures and graph algorithms. Following the theme of the Sta...
145
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried depen...
141
click to vote
CIKM
1997
Springer
15 years 10 months ago
1997
Springer
CT This paper explores several methods for visualizing the thematic content of large document collections. As opposed to traditional query-driven document retrieval, these methods ...
171
click to vote
HPCN
1997
Springer
15 years 10 months ago
1997
Springer
We describe the distributed high performance computing system we have developed to integrate together a heterogeneous set of high performance computers, high capacity storage syst...