Research on synthesis of concurrent computing systems (Extended Abstract)

1983 ◽  
Vol 11 (3) ◽  
pp. 39-46 ◽  
Author(s):  
Richard M. King
1990 ◽  
Author(s):  
C. A. Eldering ◽  
S. T. Kowel ◽  
P. Brinkley ◽  
N. Matloff ◽  
T. Schubert ◽  
...  

Author(s):  
Konnov Nikolai Nikolaevich ◽  
Zinkin Sergey Aleksandrovich ◽  
Puchkova Ulyana Nikolaevna ◽  
Sinev Mikhail Petrovich ◽  
Boriskin Vyacheslav Vladimirovich ◽  
...  

2011 ◽  
Vol 61 (5) ◽  
pp. 1402-1406 ◽  
Author(s):  
Juan L.G. Guirao ◽  
Fernando L. Pelayo ◽  
Jose C. Valverde

2013 ◽  
Vol 24 (1) ◽  
Author(s):  
IGOR V. TARASYUK

We define a number of stochastic equivalences in the dtsPBC framework, which is a discrete time stochastic extension of finite Petri box calculus (PBC) enriched with iteration. These equivalences allow the identification of stochastic processes that have similar behaviour but are differentiated by the semantics of the calculus. We explain how the equivalences we propose can be used to reduce transition systems of expressions, and demonstrate how to apply the equivalences to compare the stationary behaviour. The equivalences guarantee a coincidence of performance indices for stochastic systems, and can be used for performance analysis simplification. We use a case study to outline a method of modelling, performance evaluation and behaviour preserving reduction of concurrent computing systems, and apply it to the dining philosophers system.


Author(s):  
Douglas L. Dorset ◽  
Barbara Moss

A number of computing systems devoted to the averaging of electron images of two-dimensional macromolecular crystalline arrays have facilitated the visualization of negatively-stained biological structures. Either by simulation of optical filtering techniques or, in more refined treatments, by cross-correlation averaging, an idealized representation of the repeating asymmetric structure unit is constructed, eliminating image distortions due to radiation damage, stain irregularities and, in the latter approach, imperfections and distortions in the unit cell repeat. In these analyses it is generally assumed that the electron scattering from the thin negativelystained object is well-approximated by a phase object model. Even when absorption effects are considered (i.e. “amplitude contrast“), the expansion of the transmission function, q(x,y)=exp (iσɸ (x,y)), does not exceed the first (kinematical) term. Furthermore, in reconstruction of electron images, kinematical phases are applied to diffraction amplitudes and obey the constraints of the plane group symmetry.


Sign in / Sign up

Export Citation Format

Share Document