5790 search results - page 228 / 1158 » Distributed programming with distributed authorization |
122
click to vote
ECOOPW
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
124
click to vote
NIPS
2007
15 years 4 months ago
2007
Recently, we have introduced a novel approach to dynamic programming and reinforcement learning that is based on maintaining explicit representations of stationary distributions i...
121
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Targeted optimization of program segments can provide an additional program speedup over the highest default optimization level, such as -O3 in GCC. The key challenge is how to au...
113
click to vote
ICPP
1993
IEEE
15 years 7 months ago
1993
IEEE
: This paper presents a Data-Distributed Execution approach that exploits interation-level parallelism in loops operating over arrays. It performs data-dependency analysis, based o...