5790 search results - page 724 / 1158 » Distributed programming with distributed authorization |
144
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Nested data-parallelism (NDP) is a declarative style for programming irregular parallel applications. NDP languages provide language features favoring the NDP style, efficient com...
162
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
130
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
151
click to vote
ICS
2007
Tsinghua U.
15 years 10 months ago
2007
Tsinghua U.
Process arrival pattern, which denotes the timing when different processes arrive at an MPI collective operation, can have a significant impact on the performance of the operatio...
137
click to vote
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...