1663 search results - page 297 / 333 » Validation and Verification of Simulation Models |
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
Recently, energy has become an important issue in highperformance computing. For example, supercomputers that have energy in mind, such as BlueGene/L, have been built; the idea is...
ASPDAC
2005
ACM
14 years 3 months ago
2005
ACM
－In high performance systems, process variations and fluctuations of operating environments have significant impact on the clock skew. Recently, hybrid structures of H-tree and m...
LAMAS
2005
Springer
14 years 3 months ago
2005
Springer
Use of tags to limit partner selection for playing has been shown to produce stable cooperation in agent populations playing the Prisoner’s Dilemma game. There is, however, a lac...
DFG
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
ICFEM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...