4800 search results - page 40 / 960 » OO Distributed Programming is Not Distributed OO Programming |
OPODIS
2008
15 years 3 months ago
2008
We focus on automated revision techniques for adding Unity properties to distributed programs. We show that unlike centralized programs, where multiple safety properties along with...
143
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
121
click to vote
PPOPP
2012
ACM
13 years 9 months ago
2012
ACM
We present Dynamic Out-of-Order Java (DOJ), a dynamic parallelization approach. In DOJ, a developer annotates code blocks as tasks to decouple these blocks from the parent executi...
108
click to vote
IDC
2009
Springer
15 years 8 months ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
109
click to vote
SP
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...