Sciweavers

10072 search results - page 1704 / 2015
» Composition of Model Programs
Sort
View
ATAL
2007
Springer
16 years 25 days ago
On Revenue-Optimal Dynamic Auctions for Bidders with Interdependent Values
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. ...
Florin Constantin, David C. Parkes
FOSSACS
2007
Springer
16 years 25 days ago
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
Matthew Hague, C.-H. Luke Ong
GCC
2007
Springer
16 years 25 days ago
Improving the Performance of MPI Applications over Computational Grid
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...
Bo Song, Guangwen Yang, Qiming Fang
GCC
2007
Springer
16 years 25 days ago
A Component Based Interoperability Solution over Existing Grid Middleware
The purpose of grid technology is to integrate various heterogeneous resources together to provide huge computation and storage capacity for users transparently. However, current ...
Weiyuan Huang, Yongwei Wu, Jia Liu, Guangwen Yang,...
167
Voted
ICCS
2007
Springer
16 years 24 days ago
Multilingual Interfaces for Parallel Coupling in Multiphysics and Multiscale Systems
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...
Everest T. Ong, Jay Walter Larson, Boyana Norris, ...
« Prev « First page 1704 / 2015 Last » Next »