1268 search results - page 218 / 254 » Verifying distributed systems: the operational approach |
ICS
2005
Tsinghua U.
14 years 3 months ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
CLUSTER
2010
IEEE
13 years 1 months ago
2010
IEEE
Many-task computing aims to bridge the gap between two computing paradigms, high throughput computing and high performance computing. Many-task computing denotes highperformance co...
EDOC
2009
IEEE
14 years 4 months ago
2009
IEEE
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...
MATES
2007
Springer
14 years 4 months ago
2007
Springer
In real-life multi-agent planning problems, long-term plans will often be invalidated by changes in the environment during or after the planning process. When this happens, short-t...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— One of the principal guidelines in the design of haptic devices is to provide a suitable mechanical design that can improve control performance and the force-feedback fidelity...