88 search results - page 16 / 18 » A Transformation Framework for Communicating Multiprocessor-... |
WETICE
2008
IEEE
14 years 18 days ago
2008
IEEE
: Grid Services became a widely used technology for building service oriented applications. The Web Service Resource Framework (WSRF) is the current standard used for building such...
ISSTA
2006
ACM
14 years 6 days ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
ESEC
1999
Springer
13 years 10 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
ICS
1994
Tsinghua U.
13 years 10 months ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
ASIACRYPT
2009
Springer
13 years 10 months ago
2009
Springer
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...