40 search results - page 6 / 8 » Efficient application migration under compiler guidance |
ICS
2000
Tsinghua U.
13 years 10 months ago
2000
Tsinghua U.
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
PVM
2005
Springer
13 years 11 months ago
2005
Springer
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
SIGMOD
2009
ACM
14 years 6 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
IJCAI
1989
13 years 7 months ago
1989
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
ICNP
1999
IEEE
13 years 10 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...