Our daily life activity leaves digital trails in an increasing number of databases (commercial web sites, internet service providers, search engines, location tracking systems, etc). Personal digital trails are commonly exposed to accidental disclosures resulting from negligence or piracy and to ill-intentioned scrutinization and abusive usages fostered by fuzzy privacy policies. No one is shel...

Array remappings are useful to many applications on dis tributed memory parallel machines They are available in High Performance Fortran a Fortran based data parallel language This paper describes techniques to handle dy namic mappings through simple array copies array remap pings are translated into copies between statically mapped distinct versions of the array It discusses the language re st...

Array remappings are useful to many applications on distributed memory parallel machines. They are integrated into High Performance For-tran, a Fortran 90-based data-parallel language. This paper describes techniques for handling dynamic mappings through simple array copies: array remappings are translated into copies between statically mapped distinct versions of the array. It discusses the la...

Detecting global predicates is an important task in testing and debugging distributed programs. In this paper, we propose an approach that effectively precludes useless events for global predicate detection, facilitating the process of an independent on-line checking routine. To identify more useless events than a simple causality-check method can do, our method tracks and maintains the precede...