Authors analyze the principles of formation content historical education for specialty 032 History and Archeology students at bachelor’s master’s degrees. The deployment invasion in Ukraine became a reason aggravation problem protecting one’s own cultural heritage, national culture memory. It was determined that competency-based approach to modern higher involves preparation independent profess...

We present Mapped Separation Logic, an instance of Separation Logic for reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover and it allows reasoning on properties about page tables, direct physical memory access, virtual memory access, and shared memory. Mapped Separation Logic fully supports all rules of abstract Separation Logic, including the frame rule....

Embedded multicore processors for hard real-time applications like automobile engine control require the usage of local memory on each processor core to precisely meet the real-time deadline constraints, since cache memory cannot satisfy the deadline requirements due to cache misses. To utilize local memory, programmers or compilers need to explicitly manage data movement and data replacement f...

For the programmer, storage media are usually assumed to have a minimum atomic unit of transfer of one byte. However , sometimes it is useful to have an even ner storage granularity of one bit, for instance in order to compress data. This paper describes an API in the lazy functional language Haskell for treating storage media as arbitrary-length streams of bits, without byte-alignment constrai...

V aluing the Arc (VTA) was a research programme that ran from 2007 to 2012 and mapped, modelled and valued ecosystem services within and flowing from the Eastern Arc Mountains, with the objective of informing decisions for sustainable management of the remaining natural habitats. The services we focused on were carbon, water, nature-based tourism, timber and non-timber forest products (charcoal...

The potential for substantial performance improvement in a main memory database system (MMDB) is promising, since I/O activity is kept at minimum. On the other hand, due to the volatility of main memory, the issue of failure recovery becomes more complex than in traditional disk resident database systems. In this paper, we present four checkpointing schemes for the MMDB. The proposed schemes ar...