1724 search results - page 30 / 345 » Types as models: model checking message-passing programs |
ESOP
2001
Springer
14 years 6 days ago
2001
Springer
ICALP
1993
Springer
13 years 11 months ago
1993
Springer
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
REST
2010
ACM
13 years 9 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
CF
2010
ACM
13 years 11 months ago
2010
ACM
The Message Passing Interface (MPI) is one of the most widely used programming models for parallel computing. However, the amount of memory available to an MPI process is limited ...