1724 search results - page 6 / 345 » Types as models: model checking message-passing programs |
LCN
2003
IEEE
14 years 27 days ago
2003
IEEE
Collective operations are an important aspect of the currently most important message-passing programming model MPI (Message Passing Interface). Many MPI applications make heavy u...
CONCUR
2000
Springer
13 years 12 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
POPL
2002
ACM
14 years 8 months ago
2002
ACM
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
TPDS
2002
13 years 7 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...