Heterogeneous cluster environments are becoming an increasingly popular platform for executing parallel applications. Efficient heterogeneous parallel applications must account for the differences inherent in such an ...
详细信息
Computational Grids are a promising platform for executing large-scale resource intensive applications. However, resource management and scheduling in the Grid environment is a complex undertaking as resources are (ge...
详细信息
The proceedings contain 32 papers. The topics discussed include: reformulation: a way to combine dynamic properties and B refinement;mechanized analysis of behavioral conformance in the Eiffel base libraries;proofs of...
ISBN:
(纸本)3540417915
The proceedings contain 32 papers. The topics discussed include: reformulation: a way to combine dynamic properties and B refinement;mechanized analysis of behavioral conformance in the Eiffel base libraries;proofs of correctness of cache-coherence protocols;how to make FDR spin: LTL model checking of CSP by refinement;avoiding state explosion for distributedsystems with timestamps;a rigorous approach to modeling and analyzing e-commerce architectures;a formal model for reasoning about adaptive QoS-enabled middleware;improvements in BDD-based reachability analysis of timed automata;serialising parallel processes in a hardware/software partitioning context;faithful translations among models and specifications;composing contracts: an adventure in financial engineering;coverage directed generation of system-level test cases for the validation of a DSP system;and a modular approach to the specification and validation of an electrical flight control system.
暂无评论