An extension to the existing bulk synchronous parallel time warp (BSP-TW) dynamic load-balancing algorithms was presented. The algorithm allowed the management to work without interruption from external workload. Expe...
详细信息
An extension to the existing bulk synchronous parallel time warp (BSP-TW) dynamic load-balancing algorithms was presented. The algorithm allowed the management to work without interruption from external workload. Experiments results on a manufacturing simulation model showed that significance performance improvement could be achieved with external workload management.
It is known that functional refinement does not preserve the security properties of a system. The authors propose a trace-based method for specifying the security properties of a system and a method which ensures that...
We explore the view of a computation as a relational section of a (trivial) fibre bundle: initial states lie in the base of the bundle and final states lie in the fibres located at their initial states. This leads us ...
详细信息
An occam program is usually translated into a machine program executed in parallel with a set of system processes such as communication protocol and scheduler, where the target program appears in a form which cannot b...
详细信息
We give here a general definition of term rewriting in the simply typed λ-calculus, and use it to define higher-order forms of term rewriting systems, and equational unification and their properties. This provides a ...
详细信息
The input-output behaviour of recursive program schemes with parameters called-by-name is expressed as a non-deterministic choice between calls of recursive program schemes with parameters called-by-value, and can the...
详细信息
The authors present a real-time programming language, including concurrency, which could be used in the formal development of embedded systems. The semantics of the language is provided in the form of a time interval ...
详细信息
A prototype proof system for "W: A Logic for Z" has been produced using the 2OBJ metalogical theorem-prover. 2OBJ permits an encoding which is very similar in structure to that of W, and the details are pres...
详细信息
暂无评论