10870 search results - page 1874 / 2174 » Model Checking Programs |
181
Voted
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
In a dynamic market, being able to update one’s value based on information available to other bidders currently in the market can be critical to having profitable transactions. ...
185
click to vote
GCC
2007
Springer
16 years 26 days ago
2007
Springer
The Message Passing Interface (MPI) is a standard in parallel computing, and can also be used as a highperformance programming model for Grid application development. How to execu...
199
click to vote
GCC
2007
Springer
16 years 26 days ago
2007
Springer
The purpose of grid technology is to integrate various heterogeneous resources together to provide huge computation and storage capacity for users transparently. However, current ...
168
click to vote
ICCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Multiphysics and multiscale simulation systems are emerging as a new grand challenge in computational science, largely because of increased computing power provided by th...
183
click to vote
PVM
2007
Springer
16 years 25 days ago
2007
Springer
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...