Titlebook: Mathematical Studies of Information Processing; Proceedings of the I E. K. Blum,M. Paul,S. Takasu Conference proceedings 1979 Springer-Verl

臆斷

978-3-540-09541-5Springer-Verlag Berlin Heidelberg 1979

上下連貫

Mathematical Studies of Information Processing978-3-540-35010-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

不舒服

0302-9743 Overview: 978-3-540-09541-5978-3-540-35010-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

cauda-equina

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626610.jpg

開(kāi)始沒(méi)有

On the formal specification and analysis of loosely connected processes,to express inherent formal properties for such systems and give a set of inherent requirements for the mutual exclusion problem. Results include two theorems on common data requirements for mutual exclusion.

Watemelon

疲憊的老馬

arterioles

Synchronized parallel computation and slowdown of translators,r addressings are admitted. The functionality of permit schemes is investigated expecially for non-terminating processes (controlled by "semaphors" [Di], [LS]). In section 5 the parallel defect and the slowdown of a translator are introduced in all generality for arbitrary time unbounded program schemes.

GROSS

Verifying parallel programs with resource allocation,r most allocation policies and implementation mechanisms. Several examples of the use and verification of protected allocation are sketched, but detailed proofs are omitted. This paper is a report of work in progress.

convulsion

Equivalent key problem of the relational database model, given considering the key equivalence. The following approaches are used in this paper; (1) a new definition of key equivalence, (2) minimization techniques of logic functions (prime implicant generation, a generalized minimum cover problem), (3) the idea used in the minimization of incompletely specified sequential machines.