6120 search results - page 1084 / 1224 » The Power of Linear Functions |
110
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
As computing breaches petascale limits both in processor performance and storage capacity, the only way that current and future gains in performance can be achieved is by increasi...
147
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...
130
click to vote
DSRT
2006
IEEE
15 years 9 months ago
2006
IEEE
The vision of grid computing is to make computational power, storage capacity, data and applications available to users as readily as electricity and other utilities. Grid infrast...
136
Voted
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
Whereas the established interconnection networks (ICTN) achieve low latency by operating in the linear region, i.e. oversizing the fabric, the recent strict cost and power constrai...
133
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...