1628 search results - page 10 / 326 » Dynamically Adaptive Parallel Programs |
CONCUR
2004
Springer
14 years 27 days ago
2004
Springer
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...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
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...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
IPPS
2000
IEEE
13 years 12 months ago
2000
IEEE
IJCNN
2000
IEEE
13 years 12 months ago
2000
IEEE
: 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...