1087 search results - page 107 / 218 » Achieving Distributed Control through Model Checking |
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
ENVSOFT
2007
13 years 9 months ago
2007
A toolkit for distributed hydrologic modeling at multiple scales using two independent models within a geographic information system is presented. This open-source, freely availab...
CLUSTER
2000
IEEE
14 years 1 months ago
2000
IEEE
Multithreaded parallel system with software Distributed Shared Memory (DSM) is an attractive direction in cluster computing. In these systems, distributing workloads and keeping t...
SECON
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— While physical layer capture has been observed in real implementations of wireless devices which randomly accessing shared channels, fair rate control algorithms based ...