Geodesic

Volume 24 (2017) no. 4

Sommaire

On the spatial boundedness of cellular RDA-nets
p. 391-409
Tree centroid properties clarification
p. 410-414
On the minimization problem for sequential programs
p. 415-433
Data rates assessment on L2–L3 CPU bus and bus between CPU and RAM in modern CPUs
p. 434-444
Investigation of a Markov model for computer system security threats
p. 445-458
Using event logs for local correction of process models
p. 459-480
Automated system for teaching Computational Complexity of Algorithms course
p. 481-495
Testing timed nondeterministic finite state machines with the guaranteed fault coverage
p. 496-507
The expansion of self-similar functions in the Faber--Schauder system
p. 508-515