Sciweavers

1628 search results - page 10 / 326
» Dynamically Adaptive Parallel Programs
Sort
View
CONCUR
2004
Springer
16 years 1 days ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes
IPPS
2005
IEEE
16 years 7 days ago
The SDVM - An Approach for Future Adaptive Computer Clusters
The Self Distributing Virtual Machine (SDVM) is a parallel computing machine which consists of a cluster of customary computers. The participating machines may have different comp...
Jan Haase, Frank Eschmann, Klaus Waldschmidt
91
Voted
IPPS
2006
IEEE
16 years 20 days ago
Improving locality of nonserial polyadic dynamic programming
Guangming Tan, Ninghui Sun, Dongbo Bu
152
Voted
IJCNN
2000
IEEE
15 years 11 months ago
Comparison of a Heuristic Dynamic Programming and a Dual Heuristic Programming Based Adaptive Critics Neurocontroller for a Turb
: This paper presents the design of a neurocontroller for a turbogenerator that augments/replaces the conventional Automatic Voltage Regulator (AVR) and the turbine governor. The n...
Ganesh K. Venayagamoorthy, Ronald G. Harley, Donal...