642 search results - page 85 / 129 » Once Upon a Type |
CSFW
1998
IEEE
15 years 4 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]....
108
click to vote
OOPSLA
1999
Springer
15 years 4 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...
IPPS
1997
IEEE
15 years 4 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...
CIKM
1997
Springer
15 years 4 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 ...
103
click to vote
HPCN
1997
Springer
15 years 4 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...