3341 search results - page 420 / 669 » A Communication Virtual Machine |
163
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
127
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
Distributed Genetic Algorithm (DGA) is one of the most promising choices among the optimization methods. In this paper we describe DGAFrame, a flexible framework for evolutionary...
149
click to vote
IPCCC
2007
IEEE
15 years 11 months ago
2007
IEEE
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...
131
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
The design of algorithms that can run unchanged yet efficiently on a variety of machines characterized by different degrees of parallelism and communication capabilities is a hig...
107
click to vote
ISCC
2007
IEEE
15 years 11 months ago
2007
IEEE
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...