4330 search results - page 209 / 866 » Analyzing security architectures |
149
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the development of the PALS system, an implementation of Prolog that efficiently exploits or-parallelism on share-nothing platforms. PALS makes use of a novel ...
187
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper examines several techniques for static timing analysis. In detail, the first part of the paper analyzes the connection of prediction accuracy (worst case execution tim...
175
click to vote
ANTSW
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper analyzes the popular ant-based clustering approach of Lumer/Faieta. Analysis of formulae unveils that ant-based clustering is strongly related to Kohonen’s S...
162
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
We present the results of a detailed study of the Virtual Interface (VI) paradigm as a communication foundation for a distributed computing environment. Using Active Messages and ...
174
click to vote
ICDCS
2007
IEEE
16 years 27 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...