3500 search results - page 218 / 700 » Implementing Java on Clusters |
96
Voted
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we present a new solution for the implementation of flexible protection mechanisms in the context of mobile agent systems, where security problems are currently a ...
106
click to vote
QOSA
2009
Springer
15 years 5 months ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
92
Voted
IWPC
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper describes a collection of algorithms that we developed and implemented to facilitate the automatic recovery of the modular structure of a software system from its sourc...
94
Voted
IPPS
1997
IEEE
15 years 4 months ago
1997
IEEE
MPI (Message Passing Interface) is a proposed message passing standard for development of efficient and portable parallel programs. An implementation of MPI is presented and eval...