3053 search results - page 64 / 611 » Performance of Generative Programming Based Protocol Impleme... |
POPL
2005
ACM
14 years 9 months ago
2005
ACM
We present PEAR (Protocol Extendable AnalyzeR), a tool automating the two static analyses for authentication protocols presented in [7, 8]. These analyses are based on a tagging s...
HPCC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. View-Oriented Parallel Programming(VOPP) is a novel programming style based on Distributed Shared Memory, which is friendly and easy for programmers to use. In this paper...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Babel is a high-performance, n-way language interoperability tool for the HPC community that now includes support for distributed computing via Remote Method Invocation (RMI). We ...
GECCO
2009
Springer
14 years 1 months ago
2009
Springer
Previously either due to hardware GPU limits or older versions of software, careful implementation of PRNGs was required to make good use of the limited numerical precision availa...