202 search results - page 18 / 41 » Logical Mobility and Locality Types |
121
click to vote
MA
1997
Springer
15 years 7 months ago
1997
Springer
: We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any...
122
click to vote
TLDI
2009
ACM
15 years 12 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
149
click to vote
ACRI
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Rule 54, in Wolfram’s notation, is one of elementary yet complexly behaving one-dimensional cellular automata. The automaton supports gliders, glider guns and other non...
127
click to vote
P2PKM
2004
15 years 4 months ago
2004
Abstract. We are interested in the development of a database management layer which is completely portable and, therefore, "pluggable" on top of multiple host platforms. ...
125
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...