臆断
发表于 2025-3-26 21:01:06
978-3-540-09541-5Springer-Verlag Berlin Heidelberg 1979
上下连贯
发表于 2025-3-27 05:05:46
Mathematical Studies of Information Processing978-3-540-35010-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
不舒服
发表于 2025-3-27 06:04:26
0302-9743 Overview: 978-3-540-09541-5978-3-540-35010-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
cauda-equina
发表于 2025-3-27 13:06:46
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626610.jpg
开始没有
发表于 2025-3-27 16:39:38
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
发表于 2025-3-27 17:58:40
http://reply.papertrans.cn/63/6267/626610/626610_36.png
疲惫的老马
发表于 2025-3-27 23:56:23
http://reply.papertrans.cn/63/6267/626610/626610_37.png
arterioles
发表于 2025-3-28 03:19:13
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" , ). In section 5 the parallel defect and the slowdown of a translator are introduced in all generality for arbitrary time unbounded program schemes.
GROSS
发表于 2025-3-28 07:44:39
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
发表于 2025-3-28 11:04:52
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.