Journal "Software Engineering"
a journal on theoretical and applied science and technology
ISSN 2220-3397

Issue content

Issue N9 2015 year

V'jukova N. I., Galatenko V. A., Samborskij S. V.
Combining Instruction Selection and Scheduling in Software Pipelining
pp. 3–10
Vasenin V. A., Itkes A. A., Shapchenko K. A., Bukhonov V. Yu.
Relational Access Control Model Based on Chains of Relations
pp. 11–19
Bakanov V. M.
Dynamics Control Computing in the Processor Data Flow Architecture for Different Types of Algorithms
pp. 20–24
Antonov S. V., Krivchikov M. A.
A Formal Model for the Floating Point Computations for the Dependently-Typed Lambda Calculus
pp. 25–31
Bezdushny A. A.
MemoPIM: Personal Information and Knowledge Management with Semantic Technologies
pp. 32–42
Telnov V. P., Mishev A. V.
The Semantic Web and Search Agents for High School.
pp. 43–48