|
Bulletin of the Novosibirsk computing center. Ser.Computer science, 28, 2008.
|
CONTENTS
I.S. Anureev
A three-stage method of C program verification ............... 1
I.S.Anureev, E.V.Bodin, L.V.Gorodnyaya, A.G.Marchuk,
F.A.Murzin, N.V.Shilov
On the problem of computer language classification ........... 31
V.A.Bashkin
Nets of active resources for distributed systems modeling .... 43
N.S.Gribovskaya
Categorical modelling of trace equivalence for timed
automata models with invariants .............................. 55
P.A.Kalinnikov, F.A.Murzin, T.A.Pletneva
Some algorithms of image processing and their reflection
onto multiprocessor systems .................................. 67
P.A.Marchuk, F.A.Murzin
On structures of data and ontology of facto-graphical
information systems .......................................... 79
A.S.Nepomniaschaya
Parallel implementation of the Ramalingam decremental
algorithm for dynamic updating the single-sink
shortest paths subgraph ...................................... 93
D.K.Ponomaryov
On decomposability in logical calculi ........................ 111
I.V.Tarasyuk
A notion of congruence for dtsPBC ............................ 121
|