461 search results - page 61 / 93 » Verifying parallel programs with dynamic communication struc... |
HPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
We develop an adaptive load distribution protocol for logical volume I/O workload in clustered storage systems. It exploits data redundancy among decentralized storage servers to ...
ACSW
2006
13 years 8 months ago
2006
Service providers of the future could dynamically negotiate for, and create their infrastructure on Grid based utility computing and communication providers. Such commercialisatio...
ISPASS
2003
IEEE
14 years 19 days ago
2003
IEEE
Emerging application domains such as interactive vision, animation, and multimedia collaboration display dynamic scalable parallelism, and high computational requirements, making ...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents the hardware architecture of DynaCORE, a dynamically reconfigurable system-on-chip for network applications. DynaCORE is an application specific coprocessor ...
COORDINATION
2004
Springer
14 years 23 days ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...