33356 search results - page 365 / 6672 » Models of Continual Computation |
129
click to vote
ICNS
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— The theory of promises describes policy governed services, in a framework of completely autonomous agents, which assist one another by voluntary cooperation alone. We p...
197
click to vote
FCCM
2008
IEEE
16 years 1 months ago
2008
IEEE
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...
186
Voted
ENTCS
2007
15 years 6 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
134
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Among the multiple causes of high error rates in spreadsheets, lack of proper training and of deep understanding of the computational model upon which spreadsheet computations res...
198
click to vote
GRID
2007
Springer
16 years 27 days ago
2007
Springer
—Due to the dynamic nature of grid environments, schedule algorithms always need assistance of a long-time-ahead load prediction to make decisions on how to use grid resources ef...